Skip to content

Commit 9f13ac8

Browse files
Added deref_poiner_as in _NSGetExecutablePath
1 parent 78fdd59 commit 9f13ac8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: src/tools/miri/src/shims/unix/macos/foreign_items.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -120,7 +120,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
120120
this.check_no_isolation("`_NSGetExecutablePath`")?;
121121

122122
let buf_ptr = this.read_pointer(buf)?;
123-
let bufsize = this.deref_pointer(bufsize)?;
123+
let bufsize = this.deref_pointer_as(bufsize, this.machine.layouts.u32)?;
124124

125125
// Using the host current_exe is a bit off, but consistent with Linux
126126
// (where stdlib reads /proc/self/exe).

0 commit comments

Comments
 (0)