Rustup for BodyCache changes

Author: Aaron1011

rust-version

@@ -1 +1 @@
-2da942f32802c8233a09744024dfbc34431adf65
+fdc0011561c6365c596dfd8fa1ef388162bc89c7

src/helpers.rs

@@ -131,7 +131,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         let this = self.eval_context_mut();
 
         // Push frame.
-        let mir = this.load_mir(f.def, None)?;
+        let mir = this.load_mir(f.def, None)?.body();
         let span = this.stack().last()
             .and_then(Frame::current_source_info)
             .map(|si| si.span)

src/shims/foreign_items.rs

@@ -141,14 +141,14 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                     .expect("No panic runtime found!");
                 let panic_runtime = tcx.crate_name(*panic_runtime);
                 let start_panic_instance = this.resolve_path(&[&*panic_runtime.as_str(), "__rust_start_panic"])?;
-                return Ok(Some(this.load_mir(start_panic_instance.def, None)?));
+                return Ok(Some(this.load_mir(start_panic_instance.def, None)?.body()));
             }
             // Similarly, we forward calls to the `panic_impl` foreign item to its implementation.
             // The implementation is provided by the function with the `#[panic_handler]` attribute.
             "panic_impl" => {
                 let panic_impl_id = this.tcx.lang_items().panic_impl().unwrap();
                 let panic_impl_instance = ty::Instance::mono(*this.tcx, panic_impl_id);
-                return Ok(Some(this.load_mir(panic_impl_instance.def, None)?));
+                return Ok(Some(this.load_mir(panic_impl_instance.def, None)?.body()));
             }
 
             "exit" | "ExitProcess" => {

src/shims/mod.rs

@@ -49,7 +49,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         }
 
         // Otherwise, load the MIR.
-        Ok(Some(this.load_mir(instance.def, None)?))
+        Ok(Some(this.load_mir(instance.def, None)?.body()))
     }
 
     fn align_offset(