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;
}
}
|