diff options
| author | Urgau <urgau@numericable.fr> | 2025-07-22 23:11:52 +0200 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2025-07-31 22:35:22 +0200 |
| commit | 21ec0d5a4c0ebf11175a95f5f01749f8dcf134e7 (patch) | |
| tree | 31b23e5db96c36dc53bb3b2a1c858d70bc79f354 | |
| parent | 8a3a7e625a8b607c018cdcf776fa79e29eaa56c8 (diff) | |
| download | rust-21ec0d5a4c0ebf11175a95f5f01749f8dcf134e7.tar.gz rust-21ec0d5a4c0ebf11175a95f5f01749f8dcf134e7.zip | |
Allow `dangling_pointers_from_locals` lint in tests
| -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 { |