user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

some UB gets masked by optimizations

Browse source
This commit is contained in:
Ralf Jung 2020-04-18 09:15:59 +02:00
parent c6ab27577b
commit 0345ee42da
3 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/compile-fail/dangling_pointers/dyn_size.rs
View file

@ -1,5 +1,5 @@
// should find the bug even without these
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
// should find the bug even without these, but gets masked by optimizations
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows -Zmir-opt-level=0
struct SliceWithHead(u8, [u8]);

4
tests/compile-fail/unaligned_pointers/dyn_alignment.rs
View file

@ -1,5 +1,5 @@
// should find the bug even without these
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
// should find the bug even without these, but gets masked by optimizations
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows -Zmir-opt-level=0
#[repr(align(256))]
#[derive(Debug)]

3
tests/compile-fail/validity/nonzero.rs
View file

@ -1,4 +1,5 @@
// compile-flags: -Zmir-opt-level=1
// gets masked by optimizations
// compile-flags: -Zmir-opt-level=0
#![feature(rustc_attrs)]
#![allow(unused_attributes)]