Merge pull request rust-lang#238 from RalfJung/tests

Add little script to build libstd

Author: oli-obk

.travis.yml

@@ -12,9 +12,7 @@ before_script:
 script:
 - |
   # get ourselves a MIR-ful libstd
-  cd xargo &&
-  RUSTFLAGS='-Zalways-encode-mir' xargo build &&
-  cd ..
+  xargo/build.sh
 - |
   # Test plain miri
   cargo build &&

tests/compile-fail/reallocate-bad-alignment-2.rs

@@ -0,0 +1,17 @@
+#![feature(alloc, allocator_api)]
+
+extern crate alloc;
+
+use alloc::heap::Heap;
+use alloc::allocator::*;
+
+// error-pattern: tried to deallocate or reallocate using incorrect alignment or size
+
+use alloc::heap::*;
+fn main() {
+    unsafe {
+        let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();
+        // Try realloc with a too big alignment.
+        let _y = Heap.realloc(x, Layout::from_size_align_unchecked(1, 2), Layout::from_size_align_unchecked(1, 1)).unwrap();
+    }
+}

tests/compile-fail/reallocate-bad-alignment.rs

@@ -11,6 +11,7 @@ use alloc::heap::*;
 fn main() {
     unsafe {
         let x = Heap.alloc(Layout::from_size_align_unchecked(1, 2)).unwrap();
+        // Try realloc with a too small alignment.
         let _y = Heap.realloc(x, Layout::from_size_align_unchecked(1, 1), Layout::from_size_align_unchecked(1, 2)).unwrap();
     }
 }

xargo/build.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+cd "$(readlink -e "$(dirname "$0")")"
+RUSTFLAGS='-Zalways-encode-mir' xargo build