reject deallocation of read-only allocations

RalfJung · RalfJung · commit 3bcba11c353c · 2021-05-23T11:53:23.000+02:00
diff --git a/compiler/rustc_mir/src/interpret/memory.rs b/compiler/rustc_mir/src/interpret/memory.rs
@@ -321,6 +321,9 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> Memory<'mir, 'tcx, M> {
             }
         };
 
+        if alloc.mutability == Mutability::Not {
+            throw_ub_format!("deallocating immutable allocation {}", ptr.alloc_id);
+        }
         if alloc_kind != kind {
             throw_ub_format!(
                 "deallocating {}, which is {} memory, using {} deallocation operation",

Original file line number	Diff line number	Diff line change
`@@ -321,6 +321,9 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> Memory<'mir, 'tcx, M> {`
`321`	`321`	`}`
`322`	`322`	`};`
`323`	`323`
	`324`	`+ if alloc.mutability == Mutability::Not {`
	`325`	`+ throw_ub_format!("deallocating immutable allocation {}", ptr.alloc_id);`
	`326`	`+ }`
`324`	`327`	`if alloc_kind != kind {`
`325`	`328`	`throw_ub_format!(`
`326`	`329`	`"deallocating {}, which is {} memory, using {} deallocation operation",`