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

Allow invalid ref casting in Miri unaligned_ref_addr_of test

Browse Source
This commit is contained in:
Urgau 2023-12-17 18:40:49 +01:00
parent 746bb7e136
commit e08c9d1f81
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ref_addr_of.rs
View File

@ -1,6 +1,8 @@
// This should fail even without Stacked Borrows. // This should fail even without Stacked Borrows.
//@compile-flags: -Zmiri-disable-stacked-borrows -Cdebug-assertions=no //@compile-flags: -Zmiri-disable-stacked-borrows -Cdebug-assertions=no
#![allow(invalid_reference_casting)] // for u16 -> u32
fn main() { fn main() {
// Try many times as this might work by chance. // Try many times as this might work by chance.
for _ in 0..20 { for _ in 0..20 {