From 590834b0328c2975ebfbfe3c71010c916ad6cdda Mon Sep 17 00:00:00 2001
From: Chris Denton <christophersdenton@gmail.com>
Date: Fri, 21 Oct 2022 18:24:46 +0100
Subject: [PATCH] add GetFileType stub

---
 src/tools/miri/src/shims/windows/foreign_items.rs | 7 +++++++
 1 file changed, 7 insertions(+)

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 @@ fn emulate_foreign_item_by_name(
                 // 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] =