Skip to content

Commit ecb89bc

Browse files
committed
Allow dangling_pointers_from_locals lint in tests
1 parent 5ebd1a1 commit ecb89bc

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/tools/miri/tests/fail/validity/dangling_ref3.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
// Make sure we catch this even without Stacked Borrows
22
//@compile-flags: -Zmiri-disable-stacked-borrows
3+
4+
#![allow(dangling_pointers_from_locals)]
5+
36
use std::mem;
47

58
fn dangling() -> *const u8 {

0 commit comments

Comments
 (0)