]>
Commit | Line | Data |
---|---|---|
cdc7bbd5 | 1 | // stderr-per-bitwidth |
0bf4aa26 XL |
2 | |
3 | use std::mem; | |
0531ce1d | 4 | |
8faf50e0 XL |
5 | #[derive(Copy, Clone)] |
6 | enum Bar {} | |
0531ce1d | 7 | |
e1599b0c | 8 | #[repr(C)] |
74b04a01 XL |
9 | union MaybeUninit<T: Copy> { |
10 | uninit: (), | |
11 | init: T, | |
0731742a XL |
12 | } |
13 | ||
74b04a01 | 14 | const BAD_BAD_BAD: Bar = unsafe { MaybeUninit { uninit: () }.init }; |
a1dfa0c6 | 15 | //~^ ERROR it is undefined behavior to use this value |
0bf4aa26 XL |
16 | |
17 | const BAD_BAD_REF: &Bar = unsafe { mem::transmute(1usize) }; | |
a1dfa0c6 | 18 | //~^ ERROR it is undefined behavior to use this value |
0bf4aa26 | 19 | |
74b04a01 | 20 | const BAD_BAD_ARRAY: [Bar; 1] = unsafe { MaybeUninit { uninit: () }.init }; |
a1dfa0c6 | 21 | //~^ ERROR it is undefined behavior to use this value |
0531ce1d | 22 | |
0731742a | 23 | fn main() {} |