blob: 00882b7ecca6e4bb01af249720d5b8ac462e21fa [file] [log] [blame]
// `PrimVal`s in Miri are represented with 8 bytes (u64) and at the time of writing, the `-x`
// will sign extend into the entire 8 bytes. Then, if you tried to write the `-x` into
// something smaller than 8 bytes, like a 4 byte pointer, it would crash in byteorder crate
// code that assumed only the low 4 bytes would be set. Actually, we were masking properly for
// everything except pointers before I fixed it, so this was probably impossible to reproduce on
// 64-bit.
//
// This is just intended as a regression test to make sure we don't reintroduce this problem.
#![allow(integer_to_ptr_transmutes)]
#[cfg(target_pointer_width = "32")]
fn main() {
use std::mem::transmute;
// Make the weird PrimVal.
let x = 1i32;
let bad = unsafe { transmute::<i32, *const u8>(-x) };
// Force it through the Memory::write_primval code.
drop(Box::new(bad));
}
#[cfg(not(target_pointer_width = "32"))]
fn main() {}