From f3907e4c9e0ea776b077250bcebb08cf899f0b16 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Tue, 19 Apr 2022 21:13:09 +0200
Subject: [PATCH] posix.cfg: Added support for aio_suspend().

---
 cfg/posix.cfg    | 21 +++++++++++++++++++++
 test/cfg/posix.c |  9 +++++++++
 2 files changed, 30 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index a37842d0a..1c7ca1498 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -14,6 +14,27 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- https://man7.org/linux/man-pages/man3/aio_suspend.3.html -->
+  <!-- int aio_suspend(const struct aiocb *const aiocb_list[], int nitems, const struct timespec *restrict timeout); -->
+  <function name="aio_suspend">
+    <use-retval/>
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3" 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">
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 59090d3f8..fb3e3f92b 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -7,6 +7,7 @@
 // No warnings about bad library configuration, unmatched suppressions, etc. exitcode=0
 //
 
+#include <aio.h>
 #include <stdlib.h>
 #include <stdio.h> // <- FILE
 #include <dirent.h>
@@ -29,6 +30,14 @@
 #include <wchar.h>
 #include <string.h>
 
+int nullPointer_aio_suspend(const struct aiocb *const aiocb_list[], int nitems, const struct timespec *restrict timeout)
+{
+    // cppcheck-suppress nullPointer
+    (void)aio_suspend(NULL, nitems, timeout);
+    // No warning is expected
+    return aio_suspend(aiocb_list, nitems, timeout);
+}
+
 // Note: Since glibc 2.28, this function symbol is no longer available to newly linked applications.
 void invalidFunctionArg_llseek(int fd, loff_t offset, int origin)
 {