add provenance-related test

Author: RalfJung

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]);
+}