mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix error returned from readdir_r when isolation is enabled

Browse Source
This commit is contained in:
Ralf Jung 2024-10-26 08:58:48 +02:00
parent 3432b91bbc
commit 72664f7760
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/src/shims/unix/fs.rs
View File

@ -1130,8 +1130,8 @@ fn macos_fbsd_readdir_r(
// Reject if isolation is enabled. // Reject if isolation is enabled.
if let IsolatedOp::Reject(reject_with) = this.machine.isolated_op { if let IsolatedOp::Reject(reject_with) = this.machine.isolated_op {
this.reject_in_isolation("`readdir_r`", reject_with)?; this.reject_in_isolation("`readdir_r`", reject_with)?;
// Set error code as "EBADF" (bad fd) // Return error code, do *not* set `errno`.
return this.set_last_error_and_return_i32(LibcError("EBADF")); return interp_ok(this.eval_libc("EBADF"));
} }
let open_dir = this.machine.dirs.streams.get_mut(&dirp).ok_or_else(|| { let open_dir = this.machine.dirs.streams.get_mut(&dirp).ok_or_else(|| {