about summary refs log tree commit diff
path: root/tests/ui/mir/null/place_without_read.rs
blob: a259053d22bc28d8aa2706153aa5c631ccd2b219 (plain)
1
2
3
4
5
6
7
8
9
10
11
// Make sure that we don't insert a check for places that do not read.
//@ run-pass
//@ compile-flags: -C debug-assertions

fn main() {
    let ptr: *const u16 = std::ptr::null();
    unsafe {
        let _ = *ptr;
        let _ = &raw const *ptr;
    }
}