Auto merge of #2726 - RalfJung:provenance-test, r=RalfJung

bors · bors · commit 0876519fe31f · 2022-12-11T22:05:56.000Z
add provenance-related test One of the cases in rust-lang/miri#2182 actually works as intended since #104054 (or maybe even earlier); make sure we test that.
diff --git a/src/tools/miri/tests/pass/provenance.rs b/src/tools/miri/tests/pass/provenance.rs
@@ -10,6 +10,7 @@ fn main() {
     bytewise_ptr_methods();
     bytewise_custom_memcpy();
     bytewise_custom_memcpy_chunked();
+    int_load_strip_provenance();
 }
 
 /// Some basic smoke tests for provenance.
@@ -137,3 +138,9 @@ fn bytewise_custom_memcpy_chunked() {
         assert_eq!(*ptr, 42);
     }
 }
+
+fn int_load_strip_provenance() {
+    let ptrs = [&42];
+    let ints: [usize; 1] = unsafe { mem::transmute(ptrs) };
+    assert_eq!(ptrs[0] as *const _ as usize, ints[0]);
+}

Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,7 @@ fn main() {`
`10`	`10`	`bytewise_ptr_methods();`
`11`	`11`	`bytewise_custom_memcpy();`
`12`	`12`	`bytewise_custom_memcpy_chunked();`
	`13`	`+ int_load_strip_provenance();`
`13`	`14`	`}`
`14`	`15`
`15`	`16`	`/// Some basic smoke tests for provenance.`
`@@ -137,3 +138,9 @@ fn bytewise_custom_memcpy_chunked() {`
`137`	`138`	`assert_eq!(*ptr, 42);`
`138`	`139`	`}`
`139`	`140`	`}`
	`141`	`+`
	`142`	`+fn int_load_strip_provenance() {`
	`143`	`+ let ptrs = [&42];`
	`144`	`+ let ints: [usize; 1] = unsafe { mem::transmute(ptrs) };`
	`145`	`+ assert_eq!(ptrs[0] as *const _ as usize, ints[0]);`
	`146`	`+}`