make sure we find some things without validation or stacked borrows, respectively

Author: RalfJung

tests/compile-fail/stacked_borrows/load_invalid_mut.rs

@@ -1,3 +1,6 @@
+// Make sure we catch this even without validation
+// compile-flags: -Zmiri-disable-validation
+
 // Make sure that we cannot load from memory a `&mut` that got already invalidated.
 fn main() {
     let x = &mut 42;

tests/compile-fail/stacked_borrows/load_invalid_shr.rs

@@ -1,3 +1,6 @@
+// Make sure we catch this even without validation
+// compile-flags: -Zmiri-disable-validation
+
 // Make sure that we cannot load from memory a `&` that got already invalidated.
 fn main() {
     let x = &mut 42;

tests/compile-fail/unaligned_pointers/unaligned_ptr1.rs

@@ -1,5 +1,5 @@
-// This should fail even without validation
-// compile-flags: -Zmiri-disable-validation
+// This should fail even without validation or Stacked Borrows.
+// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
 
 fn main() {
     let x = [2u16, 3, 4]; // Make it big enough so we don't get an out-of-bounds error.

tests/compile-fail/unaligned_pointers/unaligned_ptr2.rs

@@ -1,5 +1,5 @@
-// This should fail even without validation.
-// compile-flags: -Zmiri-disable-validation
+// This should fail even without validation or Stacked Borrows.
+// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
 
 fn main() {
     let x = [2u32, 3]; // Make it big enough so we don't get an out-of-bounds error.

tests/compile-fail/unaligned_pointers/unaligned_ptr3.rs

@@ -1,5 +1,5 @@
-// This should fail even without validation.
-// compile-flags: -Zmiri-disable-validation
+// This should fail even without validation or Stacked Borrows.
+// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
 
 fn main() {
     let x = [2u16, 3, 4, 5]; // Make it big enough so we don't get an out-of-bounds error.

tests/compile-fail/validity/dangling_ref1.rs

@@ -1,3 +1,5 @@
+// Make sure we catch this even without Stacked Borrows
+// compile-flags: -Zmiri-disable-stacked-borrows
 use std::mem;
 
 fn main() {

tests/compile-fail/validity/dangling_ref2.rs

@@ -1,3 +1,5 @@
+// Make sure we catch this even without Stacked Borrows
+// compile-flags: -Zmiri-disable-stacked-borrows
 use std::mem;
 
 fn main() {

tests/compile-fail/validity/dangling_ref3.rs

@@ -1,3 +1,5 @@
+// Make sure we catch this even without Stacked Borrows
+// compile-flags: -Zmiri-disable-stacked-borrows
 use std::mem;
 
 fn dangling() -> *const u8 {