Auto merge of #1308 - RalfJung:miri, r=RalfJung

[rust.git] / tests / compile-fail / reallocate-change-alloc.rs

diff --git a/tests/compile-fail/reallocate-change-alloc.rs b/tests/compile-fail/reallocate-change-alloc.rs
index d8234e933300b5dba91d91f0795101b5e0e45a43..297029676962bd702ce058a0a3defa46c304068b 100644 (file)
--- a/tests/compile-fail/reallocate-change-alloc.rs
+++ b/tests/compile-fail/reallocate-change-alloc.rs
@@ -1,15 +1,9 @@
-#![feature(alloc, allocator_api)]
-
-extern crate alloc;
-
-use alloc::alloc::Global;
-use std::alloc::*;
+use std::alloc::{alloc, realloc, Layout};
 
 fn main() {
     unsafe {
-        let x = Global.alloc(Layout::from_size_align_unchecked(1, 1));
-        let _y = Global.realloc(x, Layout::from_size_align_unchecked(1, 1), 1);
-        let _z = *(x as *mut u8); //~ ERROR constant evaluation error [E0080]
-        //~^ NOTE dangling pointer was dereferenced
+        let x = alloc(Layout::from_size_align_unchecked(1, 1));
+        realloc(x, Layout::from_size_align_unchecked(1, 1), 1);
+        let _z = *x; //~ ERROR dereferenced after this allocation got freed
     }
 }