diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs index d0d35dc45817..df41a88aeeb6 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 . this.write_null(dest)?; } + "const_deallocate" => { + // complete NOP + } // Raw memory accesses "volatile_load" => {