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

implement const_deallocate as a NOP
rust-lang · Feb 12, 2022 · 0db4090 · 0db4090
2 parents 2ba1e84 + ec66d29
commit 0db4090
Showing 1 changed file with 3 additions and 0 deletions.
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" => {