blob: 045bb46464fae90d171e6f6b44a424b62e7381ed (
plain)
1
2
3
4
5
6
7
8
9
|
#![allow(deprecated, invalid_value)]
// This test is adapted from https://github.com/rust-lang/miri/issues/1340#issue-600900312.
fn main() {
// Deliberately using `mem::uninitialized` to make sure that despite all the mitigations, we consider this UB.
// The array avoids a `Scalar` layout which detects uninit without even doing validation.
let _val: [f32; 1] = unsafe { std::mem::uninitialized() };
//~^ ERROR: uninitialized
}
|
