From ff7dba91e177dfb712477faddb9e91bece7e743c Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 27 Sep 2019 17:07:16 +0200
Subject: [PATCH] posix.cfg: Added support for more interfaces, found by
 daca@home.

---
 cfg/posix.cfg | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index ad989c6c8..6d83b6676 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2,6 +2,18 @@
 <!-- Description of the interfaces described by previous and current POSIX standards.
      Current reference: http://pubs.opengroup.org/onlinepubs/9699919799/ -->
 <def format="2">
+  <!-- https://pubs.opengroup.org/onlinepubs/9699919799/functions/wait.html -->
+  <!-- Note: These are defined as macros in POSIX system headers -->
+  <function name="WIFEXITED,WEXITSTATUS,WIFSIGNALED,WTERMSIG,WIFSTOPPED,WSTOPSIG,WIFCONTINUED">
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <use-retval/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!-- http://man7.org/linux/man-pages/man3/a64l.3.html -->
   <!-- long a64l(const char *str64); -->
   <function name="a64l">