posix.cfg: Added support for aio_read()

Author: orbitcowboy

cfg/posix.cfg

@@ -14,6 +14,18 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- https://man7.org/linux/man-pages/man3/aio_read.3.html -->
+  <!-- int aio_read(struct aiocb *aiocbp); -->
+  <function name="aio_read">
+    <use-retval/>
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <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">

test/cfg/posix.c

@@ -30,6 +30,14 @@
 #include <wchar.h>
 #include <string.h>
 
+int nullPointer_aio_read(struct aiocb *aiocbp)
+{
+    // cppcheck-suppress nullPointer
+    (void)aio_read(NULL);
+    // No warning is expected
+    return aio_read(aiocbp);
+}
+
 int nullPointer_aio_suspend(const struct aiocb *const aiocb_list[], int nitems, const struct timespec *restrict timeout)
 {
     // cppcheck-suppress nullPointer