diff options
Diffstat (limited to 'src/tools/miri/tests/fail/validity/dangling_ref3.rs')
| -rw-r--r-- | src/tools/miri/tests/fail/validity/dangling_ref3.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/tests/fail/validity/dangling_ref3.rs b/src/tools/miri/tests/fail/validity/dangling_ref3.rs index 8e8a75bd7ec..0fecd8f1c28 100644 --- a/src/tools/miri/tests/fail/validity/dangling_ref3.rs +++ b/src/tools/miri/tests/fail/validity/dangling_ref3.rs @@ -1,5 +1,8 @@ // Make sure we catch this even without Stacked Borrows //@compile-flags: -Zmiri-disable-stacked-borrows + +#![allow(dangling_pointers_from_locals)] + use std::mem; fn dangling() -> *const u8 { |