rust/tests/compile-fail/modifying_constants.rs

// This should fail even without validation/SB
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows

fn main() {
    let x = &1; // the `&1` is promoted to a constant, but it used to be that only the pointer is marked static, not the pointee
    let y = unsafe { &mut *(x as *const i32 as *mut i32) };
    *y = 42;  //~ ERROR tried to modify constant memory
    assert_eq!(*x, 42);
}
add an option to disable Stacked Borrows 2020-02-24 16:22:02 +01:00			`// This should fail even without validation/SB`
			`// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows`
Ignore tests the bool thing will be fixed by the validation I have planned, and we already ignored another test around modifing constants. 2018-07-24 22:29:08 +02:00
deallocate all locals on function exit and transitively freeze constants through pointers 2016-11-17 14:48:34 +01:00			`fn main() {`
freeze -> static 2017-02-07 20:28:54 +01:00			let x = &1; // the `&1` is promoted to a constant, but it used to be that only the pointer is marked static, not the pointee
deallocate all locals on function exit and transitively freeze constants through pointers 2016-11-17 14:48:34 +01:00			`let y = unsafe { &mut (x as const i32 as *mut i32) };`
don't use NOTE in tests 2018-10-19 11:50:17 +02:00			`*y = 42; //~ ERROR tried to modify constant memory`
deallocate all locals on function exit and transitively freeze constants through pointers 2016-11-17 14:48:34 +01:00			`assert_eq!(*x, 42);`
			`}`