We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
dangling_pointers_from_locals
1 parent 8a3a7e6 commit 21ec0d5Copy full SHA for 21ec0d5
src/tools/miri/tests/fail/validity/dangling_ref3.rs
@@ -1,5 +1,8 @@
1
// Make sure we catch this even without Stacked Borrows
2
//@compile-flags: -Zmiri-disable-stacked-borrows
3
+
4
+#![allow(dangling_pointers_from_locals)]
5
6
use std::mem;
7
8
fn dangling() -> *const u8 {
0 commit comments