Auto merge of #1974 - RalfJung:const, r=RalfJung

bors · bors · commit 0db40903769f · 2022-02-12T11:19:37.000Z
implement const_deallocate as a NOP
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
@@ -59,6 +59,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 // See <https://github.com/rust-lang/rust/issues/93935>.
                 this.write_null(dest)?;
             }
+            "const_deallocate" => {
+                // complete NOP
+            }
 
             // Raw memory accesses
             "volatile_load" => {

Original file line number	Diff line number	Diff line change
`@@ -59,6 +59,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`59`	`59`	`// See <https://github.com/rust-lang/rust/issues/93935>.`
`60`	`60`	`this.write_null(dest)?;`
`61`	`61`	`}`
	`62`	`+ "const_deallocate" => {`
	`63`	`+ // complete NOP`
	`64`	`+ }`
`62`	`65`
`63`	`66`	`// Raw memory accesses`
`64`	`67`	`"volatile_load" => {`