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 290c966a2bc8a8acb3b3e440c5286a713444a554..297029676962bd702ce058a0a3defa46c304068b 100644 (file)
--- a/tests/compile-fail/reallocate-change-alloc.rs
+++ b/tests/compile-fail/reallocate-change-alloc.rs
@@ -1,14 +1,9 @@
-#![feature(alloc, allocator_api)]
-
-extern crate alloc;
-
-use alloc::heap::Heap;
-use alloc::allocator::*;
+use std::alloc::{alloc, realloc, Layout};
 
 fn main() {
     unsafe {
-        let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();
-        let _y = Heap.realloc(x, Layout::from_size_align_unchecked(1, 1), Layout::from_size_align_unchecked(1, 1)).unwrap();
-        let _z = *x; //~ ERROR: 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
     }
 }