Skip to content

Commit 8c39660

Browse files
committed
Auto merge of #1320 - RalfJung:tests, r=RalfJung
compile-fail test organization Move compile-fail tests to appropriate directories. (run-pass tests often test many things in one file, organized by functions. But for compile-fail tests that is not possible.)
2 parents e042e2c + b2bf4ec commit 8c39660

File tree

73 files changed

+2
-2
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

73 files changed

+2
-2
lines changed

tests/compile-fail/deref-invalid-ptr.rs renamed to tests/compile-fail/dangling_pointers/deref-invalid-ptr.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,6 @@
22
// compile-flags: -Zmiri-disable-validation
33

44
fn main() {
5-
let x = 2usize as *const u32;
6-
let _y = unsafe { &*x as *const u32 }; //~ ERROR invalid use of 2 as a pointer
5+
let x = 16usize as *const u32;
6+
let _y = unsafe { &*x as *const u32 }; //~ ERROR invalid use of 16 as a pointer
77
}

0 commit comments

Comments
 (0)