From ec66d2934be8496ca75c72d6baf0cfaf923632bd Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 12 Feb 2022 12:17:37 +0100
Subject: [PATCH] implement const_deallocate as a NOP

---
 src/shims/intrinsics.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index d0d35dc458..df41a88aee 100644
--- 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" => {