From 9e623b15b16ded323ea795bd3796274ddcc302f0 Mon Sep 17 00:00:00 2001
From: Sebastian <versat@users.noreply.github.com>
Date: Thu, 12 Apr 2018 16:09:11 +0200
Subject: [PATCH] windows.cfg: Add SetFilePointer() function configuration
 (#1167)

---
 cfg/windows.cfg | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 4232b935c..0595dd84e 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -5175,6 +5175,28 @@ HFONT CreateFont(
       <not-bool/>
     </arg>
   </function>
+  <!-- DWORD WINAPI SetFilePointer(
+  _In_        HANDLE hFile,
+  _In_        LONG   lDistanceToMove,
+  _Inout_opt_ PLONG  lpDistanceToMoveHigh,
+  _In_        DWORD  dwMoveMethod); -->
+  <function name="SetFilePointer">
+    <noreturn>false</noreturn>
+    <returnValue type="DWORD"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <!-- nullptr is valid -->
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- Intrinsic __noop https://docs.microsoft.com/en-us/cpp/intrinsics/noop -->
   <function name="__noop">
     <noreturn>false</noreturn>