rename Pointer::from_addr_invalid to match strict provenance API

RalfJung · RalfJung · commit 2bfccbb6586b · 2025-06-29T00:16:19.000+02:00
diff --git a/src/shims/unix/mem.rs b/src/shims/unix/mem.rs
@@ -49,7 +49,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
             && matches!(&*this.tcx.sess.target.os, "macos" | "solaris" | "illumos")
             && (flags & map_fixed) != 0
         {
-            return interp_ok(Scalar::from_maybe_pointer(Pointer::from_addr_invalid(addr), this));
+            return interp_ok(Scalar::from_maybe_pointer(Pointer::without_provenance(addr), this));
         }
 
         let prot_read = this.eval_libc_i32("PROT_READ");

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`49`	`49`	`&& matches!(&*this.tcx.sess.target.os, "macos" \| "solaris" \| "illumos")`
`50`	`50`	`&& (flags & map_fixed) != 0`
`51`	`51`	`{`
`52`		`- return interp_ok(Scalar::from_maybe_pointer(Pointer::from_addr_invalid(addr), this));`
	`52`	`+ return interp_ok(Scalar::from_maybe_pointer(Pointer::without_provenance(addr), this));`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`let prot_read = this.eval_libc_i32("PROT_READ");`