remove some frame parameters that are no longer needed

RalfJung · RalfJung · commit 40c12d197399 · 2024-03-09T18:28:14.000+01:00
diff --git a/src/helpers.rs b/src/helpers.rs
@@ -411,7 +411,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
                 .ok_or_else(|| err_ub_format!("callee has fewer arguments than expected"))?;
             // Make the local live, and insert the initial value.
             this.storage_live(local)?;
-            let callee_arg = this.local_to_place(this.frame_idx(), local)?;
+            let callee_arg = this.local_to_place(local)?;
             this.write_immediate(*arg, &callee_arg)?;
         }
         if callee_args.next().is_some() {

Original file line number	Diff line number	Diff line change
`@@ -411,7 +411,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {`
`411`	`411`	`.ok_or_else(\|\| err_ub_format!("callee has fewer arguments than expected"))?;`
`412`	`412`	`// Make the local live, and insert the initial value.`
`413`	`413`	`this.storage_live(local)?;`
`414`		`- let callee_arg = this.local_to_place(this.frame_idx(), local)?;`
	`414`	`+ let callee_arg = this.local_to_place(local)?;`
`415`	`415`	`this.write_immediate(*arg, &callee_arg)?;`
`416`	`416`	`}`
`417`	`417`	`if callee_args.next().is_some() {`