From d08539fe1711164e5faf166f494dc9de931bb64e Mon Sep 17 00:00:00 2001
From: versat <versat@users.noreply.github.com>
Date: Wed, 18 Sep 2019 09:22:57 +0200
Subject: [PATCH] windows.cfg: Fix PostMessage() configuration

First argument is optional (allowed to be NULL). See also the annotation
"_In_opt_".
Reference:
https://docs.microsoft.com/en-us/windows/win32/api/winuser/nf-winuser-postmessagea
---
 cfg/windows.cfg      | 19 +++++++++++++++++--
 test/cfg/windows.cpp |  2 ++
 2 files changed, 19 insertions(+), 2 deletions(-)

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 426207b67..0e3004568 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -2738,15 +2738,30 @@ HFONT CreateFont(
   _In_ UINT   Msg,
   _In_ WPARAM wParam,
   _In_ LPARAM lParam); -->
+  <function name="SendMessage,SendMessageA,SendMessageW">
+    <noreturn>false</noreturn>
+    <arg nr="1" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="4" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- BOOL WINAPI PostMessage(
   _In_opt_ HWND   hWnd,
   _In_     UINT   Msg,
   _In_     WPARAM wParam,
   _In_     LPARAM lParam); -->
-  <function name="SendMessage,SendMessageA,SendMessageW,PostMessage,PostMessageA,PostMessageW">
+  <function name="PostMessage,PostMessageA,PostMessageW">
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
-      <not-null/>
       <not-uninit/>
     </arg>
     <arg nr="2" direction="in">
diff --git a/test/cfg/windows.cpp b/test/cfg/windows.cpp
index 1d515cd4e..d2a82e6ac 100644
--- a/test/cfg/windows.cpp
+++ b/test/cfg/windows.cpp
@@ -190,6 +190,8 @@ void validCode()
     void * pAlloc1 = _aligned_malloc(100, 2);
     _aligned_free(pAlloc1);
 
+    ::PostMessage(nullptr, WM_QUIT, 0, 0);
+
     // Valid Library usage, no leaks, valid arguments
     HINSTANCE hInstLib = LoadLibrary(L"My.dll");
     FreeLibrary(hInstLib);