From 15082d5d75673410b323b279cf75c2e6df7bcfa9 Mon Sep 17 00:00:00 2001
From: ms65 <sebastian.matuschka@astute.de>
Date: Tue, 9 Jan 2018 10:35:29 +0100
Subject: [PATCH 1/3] windows.cfg: Add CRITICAL_SECTION handling functions.

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

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 19a4a05648f..5c964cbc0eb 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -3738,6 +3738,89 @@ HFONT CreateFont(
       <not-uninit/>
     </arg>
   </function>
+  <!--void WINAPI InitializeCriticalSection(
+  _Out_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="InitializeCriticalSection">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--BOOL WINAPI InitializeCriticalSectionAndSpinCount(
+  _Out_ LPCRITICAL_SECTION lpCriticalSection,
+  _In_  DWORD              dwSpinCount);-->
+  <function name="InitializeCriticalSectionAndSpinCount">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--DWORD WINAPI SetCriticalSectionSpinCount(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection,
+  _In_    DWORD              dwSpinCount);-->
+  <function name="SetCriticalSectionSpinCount">
+    <noreturn>false</noreturn>
+    <returnValue type="DWORD"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--void WINAPI DeleteCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="DeleteCriticalSection">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--void WINAPI EnterCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="EnterCriticalSection">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--BOOL WINAPI TryEnterCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="TryEnterCriticalSection">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!--void WINAPI LeaveCriticalSection(
+  _Inout_ LPCRITICAL_SECTION lpCriticalSection);-->
+  <function name="LeaveCriticalSection">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <podtype name="LARGE_INTEGER" sign="s" size="8"/>
   <podtype name="POINTER_SIGNED" sign="s"/>
   <podtype name="POINTER_UNSIGNED" sign="u"/>

From d8d200aa702487f0eab4314b0cdf657566db10ba Mon Sep 17 00:00:00 2001
From: versat <sebastian.matuschka@astute.de>
Date: Tue, 9 Jan 2018 14:30:38 +0100
Subject: [PATCH 2/3] windows.cfg: Add missing function
 InitializeCriticalSectionEx

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

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 5c964cbc0eb..f4e88929cf2 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -3762,6 +3762,26 @@ HFONT CreateFont(
       <not-bool/>
     </arg>
   </function>
+  <!--BOOL WINAPI InitializeCriticalSectionEx(
+  _Out_ LPCRITICAL_SECTION lpCriticalSection,
+  _In_  DWORD              dwSpinCount,
+  _In_  DWORD              Flags);-->
+  <function name="InitializeCriticalSectionEx">
+    <noreturn>false</noreturn>
+    <returnValue type="BOOL"/>
+    <arg nr="1">
+      <not-null/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!--DWORD WINAPI SetCriticalSectionSpinCount(
   _Inout_ LPCRITICAL_SECTION lpCriticalSection,
   _In_    DWORD              dwSpinCount);-->

From 8c71cadf059ba0aa4654e5c3f736312cab5563a1 Mon Sep 17 00:00:00 2001
From: ms65 <sebastian.matuschka@astute.de>
Date: Wed, 10 Jan 2018 11:00:32 +0100
Subject: [PATCH 3/3] windows.cfg: Fix missing not-uninit entry for
 DeleteCriticalSection.

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

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index f4e88929cf2..62b800adb52 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -3804,6 +3804,7 @@ HFONT CreateFont(
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
+      <not-uninit/>
       <not-bool/>
     </arg>
   </function>