diff --git a/tests/run-pass/ref-invalid-ptr.rs b/tests/run-pass/ref-invalid-ptr.rs new file mode 100644 index 000000000000..ebbbb77748d4 --- /dev/null +++ b/tests/run-pass/ref-invalid-ptr.rs @@ -0,0 +1,7 @@ +fn main() { + let x = 2usize as *const u32; + let _y = unsafe { &*x as *const u32 }; + + let x = 0usize as *const u32; + let _y = unsafe { &*x as *const u32 }; +}