Merge pull request rust-lang#315 from RalfJung/validation

Enable more validation tests

Author: oli-obk

tests/compile-fail/memleak_rc.rs

@@ -1,6 +1,3 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 //error-pattern: the evaluated program leaked memory
 
 use std::rc::Rc;

tests/compile-fail/panic.rs

@@ -1,6 +1,5 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
 // compile-flags: -Zmir-emit-validate=0
-
 //error-pattern: the evaluated program panicked
 
 fn main() {

tests/compile-fail/zst2.rs

@@ -1,6 +1,5 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
 // compile-flags: -Zmir-emit-validate=0
-
 // error-pattern: the evaluated program panicked
 
 #[derive(Debug)]

tests/compile-fail/zst3.rs

@@ -1,6 +1,5 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
 // compile-flags: -Zmir-emit-validate=0
-
 // error-pattern: the evaluated program panicked
 
 #[derive(Debug)]

tests/run-pass/rc.rs

@@ -1,6 +1,3 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 use std::cell::RefCell;
 use std::rc::Rc;
 

tests/run-pass/send-is-not-static-par-for.rs

@@ -10,9 +10,6 @@
 
 //ignore-windows
 
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 use std::sync::Mutex;
 
 fn par_for<I, F>(iter: I, f: F)

tests/run-pass/std.rs

@@ -1,6 +1,3 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 use std::cell::{Cell, RefCell};
 use std::rc::Rc;
 use std::sync::Arc;