mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ensure that -Zmiri-check-number-validity detects integers with provenance

Browse Source
This commit is contained in:
Ralf Jung 2022-03-26 13:10:20 -04:00
parent 017b0fb737
commit ede470e1fc
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/compile-fail/ptr_integer_array_transmute.rs Normal file
View File

@ -0,0 +1,6 @@
// compile-flags: -Zmiri-check-number-validity
fn main() {
let r = &mut 42;
let _i: [usize; 1] = unsafe { std::mem::transmute(r) }; //~ ERROR encountered a pointer, but expected plain (non-pointer) bytes
}

6
tests/compile-fail/ptr_integer_transmute.rs Normal file
View File

@ -0,0 +1,6 @@
// compile-flags: -Zmiri-check-number-validity
fn main() {
let r = &mut 42;
let _i: usize = unsafe { std::mem::transmute(r) }; //~ ERROR expected initialized plain (non-pointer) bytes
}