We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 460e92b commit 3c39dc2Copy full SHA for 3c39dc2
src/tools/miri/tests/pass/ptr_raw.rs
@@ -20,6 +20,15 @@ fn basic_raw() {
20
assert_eq!(*x, 23);
21
}
22
23
+fn assign_overlapping() {
24
+ // Test an assignment where LHS and RHS alias.
25
+ // In Mir, that's UB (see `fail/overlapping_assignment.rs`), but in surface Rust this is allowed.
26
+ let mut mem = [0u32; 4];
27
+ let ptr = &mut mem as *mut [u32; 4];
28
+ unsafe { *ptr = *ptr };
29
+}
30
+
31
fn main() {
32
basic_raw();
33
+ assign_overlapping();
34
0 commit comments