Bless miri tests

oli-obk · oli-obk · commit 2cdd83adba2d · 2024-02-14T20:16:53.000Z
diff --git a/src/tools/miri/tests/fail/stacked_borrows/static_memory_modification.rs b/src/tools/miri/tests/fail/stacked_borrows/static_memory_modification.rs
@@ -3,6 +3,6 @@ static X: usize = 5;
 #[allow(mutable_transmutes)]
 fn main() {
     let _x = unsafe {
-        std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc1 which is read-only
+        std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc2 which is read-only
     };
 }

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,6 @@ static X: usize = 5;`
`3`	`3`	`#[allow(mutable_transmutes)]`
`4`	`4`	`fn main() {`
`5`	`5`	`let _x = unsafe {`
`6`		`- std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc1 which is read-only`
	`6`	`+ std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc2 which is read-only`
`7`	`7`	`};`
`8`	`8`	`}`