check Allocation invariant during printing

RalfJung · RalfJung · commit 05489e7ec8ee · 2022-04-17T21:08:58.000-04:00
diff --git a/compiler/rustc_middle/src/mir/pretty.rs b/compiler/rustc_middle/src/mir/pretty.rs
@@ -851,6 +851,7 @@ fn write_allocation_bytes<'tcx, Tag: Provenance, Extra>(
         }
         if let Some(&tag) = alloc.relocations().get(&i) {
             // Memory with a relocation must be defined
+            assert!(alloc.init_mask().is_range_initialized(i, i + ptr_size).is_ok());
             let j = i.bytes_usize();
             let offset = alloc
                 .inspect_with_uninit_and_ptr_outside_interpreter(j..j + ptr_size.bytes_usize());

Original file line number	Diff line number	Diff line change
`@@ -851,6 +851,7 @@ fn write_allocation_bytes<'tcx, Tag: Provenance, Extra>(`
`851`	`851`	`}`
`852`	`852`	`if let Some(&tag) = alloc.relocations().get(&i) {`
`853`	`853`	`// Memory with a relocation must be defined`
	`854`	`+ assert!(alloc.init_mask().is_range_initialized(i, i + ptr_size).is_ok());`
`854`	`855`	`let j = i.bytes_usize();`
`855`	`856`	`let offset = alloc`
`856`	`857`	`.inspect_with_uninit_and_ptr_outside_interpreter(j..j + ptr_size.bytes_usize());`