2020-02-24 09:22:02 -06:00
|
|
|
// This should fail even without validation/SB
|
|
|
|
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
|
2017-09-16 04:39:51 -05:00
|
|
|
|
2021-03-27 19:36:41 -05:00
|
|
|
#![allow(dead_code, unused_variables, unaligned_references)]
|
2017-01-31 03:36:46 -06:00
|
|
|
|
|
|
|
#[repr(packed)]
|
|
|
|
struct Foo {
|
|
|
|
x: i32,
|
|
|
|
y: i32,
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2022-06-22 00:57:06 -05:00
|
|
|
for _ in 0..10 {
|
|
|
|
// Try many times as this might work by chance.
|
|
|
|
let foo = Foo { x: 42, y: 99 };
|
2021-03-27 19:36:41 -05:00
|
|
|
let p = &foo.x;
|
2022-05-25 11:15:37 -05:00
|
|
|
let i = *p; //~ERROR alignment 4 is required
|
2020-08-17 10:09:09 -05:00
|
|
|
}
|
2017-06-22 23:01:24 -05:00
|
|
|
}
|