This commit is contained in:
Ralf Jung 2022-10-24 12:00:35 +02:00
parent a157e0e88f
commit 7b83059146
2 changed files with 1 additions and 8 deletions

View file

@ -1 +1 @@
b1ab3b738ac718da74cd4aa0bb7f362d0adbdf84
56f132565eb31eeb9ec7e1800a6ab2ca354e710e

View file

@ -418,13 +418,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
// Indicate an error.
this.write_null(dest)?;
}
"GetFileInformationByHandleEx" if this.frame_in_std() => {
#[allow(non_snake_case)]
let [_hFile, _FileInformationClass, _lpFileInformation, _dwBufferSize] =
this.check_shim(abi, Abi::System { unwind: false }, link_name, args)?;
// Just make it fail.
this.write_null(dest)?;
}
"GetFileType" if this.frame_in_std() => {
#[allow(non_snake_case)]
let [_hFile] =