2020-04-16 06:21:23 -05:00
|
|
|
#![allow(const_err)] // make sure we cannot allow away the errors tested here
|
2021-03-31 03:09:16 -05:00
|
|
|
// stderr-per-bitwidth
|
2020-04-16 06:21:23 -05:00
|
|
|
//! Test the "array of int" fast path in validity checking, and in particular whether it
|
|
|
|
//! points at the right array element.
|
|
|
|
|
|
|
|
use std::mem;
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
union MaybeUninit<T: Copy> {
|
|
|
|
uninit: (),
|
|
|
|
init: T,
|
|
|
|
}
|
|
|
|
|
|
|
|
const UNINIT_INT_0: [u32; 3] = unsafe {
|
|
|
|
//~^ ERROR it is undefined behavior to use this value
|
2021-06-13 16:16:00 -05:00
|
|
|
//~| type validation failed at [0]: encountered uninitialized bytes
|
2020-04-16 06:21:23 -05:00
|
|
|
[
|
|
|
|
MaybeUninit { uninit: () }.init,
|
|
|
|
1,
|
|
|
|
2,
|
|
|
|
]
|
|
|
|
};
|
|
|
|
const UNINIT_INT_1: [u32; 3] = unsafe {
|
|
|
|
//~^ ERROR it is undefined behavior to use this value
|
2021-06-13 16:16:00 -05:00
|
|
|
//~| type validation failed at [1]: encountered uninitialized bytes
|
2020-04-16 06:21:23 -05:00
|
|
|
mem::transmute(
|
|
|
|
[
|
|
|
|
0u8,
|
|
|
|
0u8,
|
|
|
|
0u8,
|
|
|
|
0u8,
|
|
|
|
1u8,
|
|
|
|
MaybeUninit { uninit: () }.init,
|
|
|
|
1u8,
|
|
|
|
1u8,
|
|
|
|
2u8,
|
|
|
|
2u8,
|
|
|
|
MaybeUninit { uninit: () }.init,
|
|
|
|
2u8,
|
|
|
|
]
|
|
|
|
)
|
|
|
|
};
|
|
|
|
const UNINIT_INT_2: [u32; 3] = unsafe {
|
|
|
|
//~^ ERROR it is undefined behavior to use this value
|
2021-06-13 16:16:00 -05:00
|
|
|
//~| type validation failed at [2]: encountered uninitialized bytes
|
2020-04-16 06:21:23 -05:00
|
|
|
mem::transmute(
|
|
|
|
[
|
|
|
|
0u8,
|
|
|
|
0u8,
|
|
|
|
0u8,
|
|
|
|
0u8,
|
|
|
|
1u8,
|
|
|
|
1u8,
|
|
|
|
1u8,
|
|
|
|
1u8,
|
|
|
|
2u8,
|
|
|
|
2u8,
|
|
|
|
2u8,
|
|
|
|
MaybeUninit { uninit: () }.init,
|
|
|
|
]
|
|
|
|
)
|
|
|
|
};
|
|
|
|
|
|
|
|
fn main() {}
|