do not set the file type to an error code

This commit is contained in:
Ralf Jung 2024-10-26 09:09:14 +02:00
parent 3f763c776e
commit 4a34e2784b

View file

@ -339,7 +339,10 @@ trait EvalContextExtPrivate<'tcx>: crate::MiriInterpCxExt<'tcx> {
_ => interp_ok(this.eval_libc("DT_UNKNOWN").to_u8()?.into()),
}
}
Err(e) => this.io_error_to_errnum(e)?.to_i32(),
Err(_) => {
// Fallback on error
interp_ok(this.eval_libc("DT_UNKNOWN").to_u8()?.into())
}
}
}
}