src/tools/miri/tests/pass/static_mut.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use std::ptr::addr_of;

static mut FOO: i32 = 42;

static BAR: Foo = Foo(addr_of!(FOO));

#[allow(dead_code)]
struct Foo(*const i32);

unsafe impl Sync for Foo {}

fn main() {
    unsafe {
        assert_eq!(*BAR.0, 42);
        FOO = 5;
        assert_eq!(FOO, 5);
        assert_eq!(*BAR.0, 5);
    }
}