diff options
Diffstat (limited to 'src/test/ui/consts/issue-miri-1910.rs')
-rw-r--r-- | src/test/ui/consts/issue-miri-1910.rs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/test/ui/consts/issue-miri-1910.rs b/src/test/ui/consts/issue-miri-1910.rs deleted file mode 100644 index 29e0ea950..000000000 --- a/src/test/ui/consts/issue-miri-1910.rs +++ /dev/null @@ -1,12 +0,0 @@ -// error-pattern unable to turn pointer into raw bytes -// normalize-stderr-test: "alloc[0-9]+\+0x[a-z0-9]+" -> "ALLOC" -#![feature(const_ptr_read)] - -const C: () = unsafe { - let foo = Some(&42 as *const i32); - let one_and_a_half_pointers = std::mem::size_of::<*const i32>()/2*3; - (&foo as *const _ as *const u8).add(one_and_a_half_pointers).read(); -}; - -fn main() { -} |