diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-14 08:13:25 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-14 08:13:25 +0000 |
| commit | d40f2f77bf372b0ce5fc16000c6ec1b95bd654c0 (patch) | |
| tree | 4954fbbdb04d9a6999d7748fc7c1c66632f7de33 | |
| parent | d001bd14c2ad4310dae0c47a1607e67acacc62dd (diff) | |
| parent | 9f13ac8e6bd2eb7ee622f82ced40bbf8c27df466 (diff) | |
| download | rust-d40f2f77bf372b0ce5fc16000c6ec1b95bd654c0.tar.gz rust-d40f2f77bf372b0ce5fc16000c6ec1b95bd654c0.zip | |
Merge pull request #4138 from geetanshjuneja/deref
Use deref_poiner_as instead of deref_pointer
| -rw-r--r-- | src/tools/miri/src/shims/unix/macos/foreign_items.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/unix/macos/foreign_items.rs b/src/tools/miri/src/shims/unix/macos/foreign_items.rs index 2afe0b5cd30..85c963774a1 100644 --- a/src/tools/miri/src/shims/unix/macos/foreign_items.rs +++ b/src/tools/miri/src/shims/unix/macos/foreign_items.rs @@ -120,7 +120,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { this.check_no_isolation("`_NSGetExecutablePath`")?; let buf_ptr = this.read_pointer(buf)?; - let bufsize = this.deref_pointer(bufsize)?; + let bufsize = this.deref_pointer_as(bufsize, this.machine.layouts.u32)?; // Using the host current_exe is a bit off, but consistent with Linux // (where stdlib reads /proc/self/exe). |