Skip to content

Commit e08c9d1

Browse files
committed
Allow invalid ref casting in Miri unaligned_ref_addr_of test
1 parent 746bb7e commit e08c9d1

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/tools/miri/tests/fail/unaligned_pointers/unaligned_ref_addr_of.rs

+2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
// This should fail even without Stacked Borrows.
22
//@compile-flags: -Zmiri-disable-stacked-borrows -Cdebug-assertions=no
33

4+
#![allow(invalid_reference_casting)] // for u16 -> u32
5+
46
fn main() {
57
// Try many times as this might work by chance.
68
for _ in 0..20 {

0 commit comments

Comments
 (0)