about summary refs log tree commit diff
path: root/tests/ui/consts/mut-ptr-to-static.rs
blob: e2e256980d2fa2df37683d238d32780e52f625e8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
//@run-pass
#![feature(sync_unsafe_cell)]

use std::cell::SyncUnsafeCell;
use std::ptr;

#[repr(C)]
struct SyncPtr {
    foo: *mut u32,
}
unsafe impl Sync for SyncPtr {}

static mut STATIC: u32 = 42;

static INTERIOR_MUTABLE_STATIC: SyncUnsafeCell<u32> = SyncUnsafeCell::new(42);

// A static that mutably points to STATIC.
static PTR: SyncPtr = SyncPtr { foo: ptr::addr_of_mut!(STATIC) };
static INTERIOR_MUTABLE_PTR: SyncPtr =
    SyncPtr { foo: ptr::addr_of!(INTERIOR_MUTABLE_STATIC) as *mut u32 };

fn main() {
    let ptr = PTR.foo;
    unsafe {
        assert_eq!(*ptr, 42);
        *ptr = 0;
        assert_eq!(*PTR.foo, 0);
    }

    let ptr = INTERIOR_MUTABLE_PTR.foo;
    unsafe {
        assert_eq!(*ptr, 42);
        *ptr = 0;
        assert_eq!(*INTERIOR_MUTABLE_PTR.foo, 0);
    }
}