add another test for #2068

This commit is contained in:
Ralf Jung 2022-04-20 10:39:17 -04:00
parent c9039de613
commit d4a85f6305

View File

@ -0,0 +1,14 @@
// compile-flags: -Zmiri-disable-validation
use std::mem::MaybeUninit;
fn main() { unsafe {
let mut x = MaybeUninit::<i64>::uninit();
// Put in a ptr.
x.as_mut_ptr().cast::<&i32>().write_unaligned(&0);
// Overwrite parts of that pointer with 'uninit' through a Scalar.
let ptr = x.as_mut_ptr().cast::<i32>();
*ptr = MaybeUninit::uninit().assume_init();
// Reading this back should hence work fine.
let _c = *ptr;
} }