| //! This is a regression test for <https://github.com/rust-lang/miri/issues/4188>: The precondition | |
| //! check in `ptr::swap_nonoverlapping` was incorrectly disabled in Miri. | |
| //@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> "" | |
| //@normalize-stderr-test: "\n +at [^\n]+" -> "" | |
| //@error-in-other-file: aborted execution | |
| fn main() { | |
| let mut data = 0usize; | |
| let ptr = std::ptr::addr_of_mut!(data); | |
| unsafe { | |
| std::ptr::swap_nonoverlapping(ptr, ptr, 1); | |
| } | |
| } |