diff options
| author | Ralf Jung <post@ralfj.de> | 2025-06-28 15:28:27 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-06-29 00:16:19 +0200 |
| commit | 75c6e1493102e9dcbf997d4766d99c7b2b6bc7c2 (patch) | |
| tree | 46e656760c82e353affc62c750e5f431c1feab93 /src/tools | |
| parent | 58dce8ca86e2825ab2610fd9d70050f78a8d16d5 (diff) | |
| download | rust-75c6e1493102e9dcbf997d4766d99c7b2b6bc7c2.tar.gz rust-75c6e1493102e9dcbf997d4766d99c7b2b6bc7c2.zip | |
rename Pointer::from_addr_invalid to match strict provenance API
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/shims/unix/mem.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/unix/mem.rs b/src/tools/miri/src/shims/unix/mem.rs index aefeee6f7a3..15bbd244259 100644 --- a/src/tools/miri/src/shims/unix/mem.rs +++ b/src/tools/miri/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"); |