rustup

RalfJung · RalfJung · commit e70473d9442d · 2022-08-14T07:51:45.000-04:00
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-75b7e52e92c3b00fc891b47f5b2efdff0a2be55a
+2fbc08e2ce64dee45a29cb6133da6b32366268aa
diff --git a/tests/fail/provenance/strict_provenance_cast.rs b/tests/fail/provenance/strict_provenance_cast.rs
@@ -1,6 +1,7 @@
 //@compile-flags: -Zmiri-strict-provenance
+#![feature(strict_provenance)]
 
 fn main() {
     let addr = &0 as *const i32 as usize;
-    let _ptr = addr as *const i32; //~ ERROR: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported
+    let _ptr = std::ptr::from_exposed_addr::<i32>(addr); //~ ERROR: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported
 }
diff --git a/tests/fail/provenance/strict_provenance_cast.stderr b/tests/fail/provenance/strict_provenance_cast.stderr
@@ -1,8 +1,8 @@
 error: unsupported operation: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
   --> $DIR/strict_provenance_cast.rs:LL:CC
    |
-LL |     let _ptr = addr as *const i32;
-   |                ^^^^^^^^^^^^^^^^^^ integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
+LL |     let _ptr = std::ptr::from_exposed_addr::<i32>(addr);
+   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
    |
    = help: use Strict Provenance APIs (https://doc.rust-lang.org/nightly/std/ptr/index.html#strict-provenance, https://crates.io/crates/sptr) instead
    = note: backtrace:

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-75b7e52e92c3b00fc891b47f5b2efdff0a2be55a`
	`1`	`+2fbc08e2ce64dee45a29cb6133da6b32366268aa`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`//@compile-flags: -Zmiri-strict-provenance`
	`2`	`+#![feature(strict_provenance)]`
`2`	`3`
`3`	`4`	`fn main() {`
`4`	`5`	`let addr = &0 as *const i32 as usize;`
`5`		- let _ptr = addr as *const i32; //~ ERROR: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported
	`6`	+ let _ptr = std::ptr::from_exposed_addr::<i32>(addr); //~ ERROR: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported
`6`	`7`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	error: unsupported operation: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
`2`	`2`	`--> $DIR/strict_provenance_cast.rs:LL:CC`
`3`	`3`	`\|`
`4`		`-LL \| let _ptr = addr as *const i32;`
`5`		- \| ^^^^^^^^^^^^^^^^^^ integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
	`4`	`+LL \| let _ptr = std::ptr::from_exposed_addr::<i32>(addr);`
	`5`	+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
`6`	`6`	`\|`
`7`	`7`	`= help: use Strict Provenance APIs (https://doc.rust-lang.org/nightly/std/ptr/index.html#strict-provenance, https://crates.io/crates/sptr) instead`
`8`	`8`	`= note: backtrace:`