one more place -> ptr rename

RalfJung · RalfJung · commit a4cc58efc6db · 2019-08-04T10:54:07.000+02:00
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
@@ -370,8 +370,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             }
 
             "move_val_init" => {
-                let ptr = this.deref_operand(args[0])?;
-                this.copy_op(args[1], ptr.into())?;
+                let place = this.deref_operand(args[0])?;
+                this.copy_op(args[1], place.into())?;
             }
 
             "offset" => {

Original file line number	Diff line number	Diff line change
`@@ -370,8 +370,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`370`	`370`	`}`
`371`	`371`
`372`	`372`	`"move_val_init" => {`
`373`		`- let ptr = this.deref_operand(args[0])?;`
`374`		`- this.copy_op(args[1], ptr.into())?;`
	`373`	`+ let place = this.deref_operand(args[0])?;`
	`374`	`+ this.copy_op(args[1], place.into())?;`
`375`	`375`	`}`
`376`	`376`
`377`	`377`	`"offset" => {`