]> git.proxmox.com Git - rustc.git/blame - src/test/ui/consts/const-eval/ub-uninhabit.rs
Update unsuspicious file list
[rustc.git] / src / test / ui / consts / const-eval / ub-uninhabit.rs
CommitLineData
cdc7bbd5 1// stderr-per-bitwidth
0bf4aa26
XL
2
3use std::mem;
0531ce1d 4
8faf50e0
XL
5#[derive(Copy, Clone)]
6enum Bar {}
0531ce1d 7
e1599b0c 8#[repr(C)]
74b04a01
XL
9union MaybeUninit<T: Copy> {
10 uninit: (),
11 init: T,
0731742a
XL
12}
13
74b04a01 14const BAD_BAD_BAD: Bar = unsafe { MaybeUninit { uninit: () }.init };
a1dfa0c6 15//~^ ERROR it is undefined behavior to use this value
0bf4aa26
XL
16
17const BAD_BAD_REF: &Bar = unsafe { mem::transmute(1usize) };
a1dfa0c6 18//~^ ERROR it is undefined behavior to use this value
0bf4aa26 19
74b04a01 20const BAD_BAD_ARRAY: [Bar; 1] = unsafe { MaybeUninit { uninit: () }.init };
a1dfa0c6 21//~^ ERROR it is undefined behavior to use this value
0531ce1d 22
0731742a 23fn main() {}