diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/shims/windows/foreign_items.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/tools/miri/src/shims/windows/foreign_items.rs b/src/tools/miri/src/shims/windows/foreign_items.rs index fa8eaaed58c..184ba997fc8 100644 --- a/src/tools/miri/src/shims/windows/foreign_items.rs +++ b/src/tools/miri/src/shims/windows/foreign_items.rs @@ -425,6 +425,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> { // Just make it fail. this.write_null(dest)?; } + "GetFileType" if this.frame_in_std() => { + #[allow(non_snake_case)] + let [_hFile] = + this.check_shim(abi, Abi::System { unwind: false }, link_name, args)?; + // Return unknown file type. + this.write_null(dest)?; + } "AddVectoredExceptionHandler" if this.frame_in_std() => { #[allow(non_snake_case)] let [_First, _Handler] = |