diff --git a/compiler/rustc_codegen_llvm/src/gotoc/intrinsic.rs b/compiler/rustc_codegen_llvm/src/gotoc/intrinsic.rs index 109227f9097c..73cdd93a96d0 100644 --- a/compiler/rustc_codegen_llvm/src/gotoc/intrinsic.rs +++ b/compiler/rustc_codegen_llvm/src/gotoc/intrinsic.rs @@ -304,6 +304,9 @@ impl<'tcx> GotocCtx<'tcx> { "atomic_xsub_relaxed" => codegen_atomic_binop!(sub), "breakpoint" => Stmt::skip(loc), "bswap" => self.codegen_expr_to_place(p, fargs.remove(0).bswap()), + "caller_location" => { + codegen_unimplemented_intrinsic!("https://github.com/model-checking/rmc/issues/374") + } "ceilf32" => codegen_simple_intrinsic!(Ceilf), "ceilf64" => codegen_simple_intrinsic!(Ceil), "copy" => codegen_intrinsic_copy!(Memmove),