gnu.cfg: Added support for qsort_r().

Author: orbitcowboy

cfg/gnu.cfg

@@ -1157,6 +1157,30 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- https://man7.org/linux/man-pages/man3/qsort.3.html -->
+  <!-- void qsort_r(void *base, size_t n, size_t size, int (*cmp)(const void *, const void *, void *), void *arg); -->
+  <function name="qsort_r">
+    <noreturn>false</noreturn>
+    <returnValue type="void"/>
+    <leak-ignore/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+      <not-uninit/>
+      <minsize type="argvalue" arg="2"/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="4" direction="out">
+      <not-null/>
+      <not-bool/>
+    </arg>
+  </function>  
   <!-- http://man7.org/linux/man-pages/man3/ffs.3.html -->
   <!-- int ffsl(long int i); 
        int ffsll(long long int i); -->