remove redundant tests / flags

diff --git a/tests/compile-fail/intptrcast_alignment_check.rs b/tests/compile-fail/intptrcast_alignment_check.rs
index 5a35844d1256d98a5b5ea5326d4e68f163429c82..4e12a8a9e25e18ee872c5bd9c99aaf7609069ac8 100644 (file)
--- a/tests/compile-fail/intptrcast_alignment_check.rs
+++ b/tests/compile-fail/intptrcast_alignment_check.rs
@@ -1,5 +1,5 @@
 // Validation makes this fail in the wrong place
-// compile-flags: -Zmiri-disable-validation -Zmiri-seed=0000000000000000
+// compile-flags: -Zmiri-disable-validation
 
 // Even with intptrcast and without validation, we want to be *sure* to catch bugs
 // that arise from pointers being insufficiently aligned. The only way to achieve

diff --git a/tests/compile-fail/intptrcast_cast_int_to_fn_ptr.rs b/tests/compile-fail/intptrcast_cast_int_to_fn_ptr.rs
deleted file mode 100644 (file)
index f4064cf..0000000
--- a/tests/compile-fail/intptrcast_cast_int_to_fn_ptr.rs
+++ /dev/null
@@ -1,10 +0,0 @@
-// Validation makes this fail in the wrong place
-// compile-flags: -Zmiri-disable-validation -Zmiri-seed=0000000000000000
-
-fn main() {
-    let g = unsafe {
-        std::mem::transmute::<usize, fn(i32)>(42)
-    };
-
-    g(42) //~ ERROR dangling pointer was dereferenced
-}

diff --git a/tests/compile-fail/intptrcast_null_pointer_deref.rs b/tests/compile-fail/intptrcast_null_pointer_deref.rs
deleted file mode 100644 (file)
index 0c5d466..0000000
--- a/tests/compile-fail/intptrcast_null_pointer_deref.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-// compile-flags: -Zmiri-seed=0000000000000000
-
-fn main() {
-    let x: i32 = unsafe { *std::ptr::null() }; //~ ERROR invalid use of NULL pointer
-    panic!("this should never print: {}", x);
-}

diff --git a/tests/compile-fail/intptrcast_wild_pointer_deref.rs b/tests/compile-fail/intptrcast_wild_pointer_deref.rs
deleted file mode 100644 (file)
index 2ee664e..0000000
--- a/tests/compile-fail/intptrcast_wild_pointer_deref.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-// compile-flags: -Zmiri-seed=0000000000000000
-
-fn main() {
-    let p = 44 as *const i32;
-    let x = unsafe { *p }; //~ ERROR dangling pointer was dereferenced
-    panic!("this should never print: {}", x);
-}