From 2aecd30cd8481bce4a6429e6eda54f0edb5ed355 Mon Sep 17 00:00:00 2001
From: "yurii.putin" <ura_bmstu@mail.ru>
Date: Mon, 19 Nov 2018 18:23:00 +0100
Subject: [PATCH] Change cfg

Add some function (posix_memalign, reallocarray,aligned_alloc,valloc) to cfg. Add attribute format-str to some function.
---
 cfg/posix.cfg | 20 ++++++++++++++++++++
 cfg/std.cfg   | 45 +++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 65 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 4d7014289..5fb358991 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -3943,6 +3943,26 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <valid>1:</valid>
     </arg>
   </function>
+  <!-- int posix_memalign(void **memptr, size_t alignment, size_t size); -->
+  <function name="posix_memalign">
+    <use-retval/>
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <memory>
+    <alloc init="false">posix_memalign</alloc>
+    <dealloc>free</dealloc>
+  </memory>
   <memory>
     <alloc init="true">strdup</alloc>
     <alloc init="true">strndup</alloc>
diff --git a/cfg/std.cfg b/cfg/std.cfg
index 0bb5049b3..82facb1f4 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -1857,6 +1857,7 @@
     </arg>
     <arg nr="2">
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="3"/>
   </function>
@@ -3661,6 +3662,29 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void *aligned_alloc(size_t alignment, size_t size); -->
+  <function name="aligned_alloc,std::aligned_alloc">
+    <use-retval/>
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <!-- void *valloc(size_t size); -->
+  <function name="valloc,std::valloc">
+    <use-retval/>
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- const void * memchr ( const void * ptr, int value, size_t num );-->
   <!-- void * memchr (       void * ptr, int value, size_t num );-->
   <function name="memchr,std::memchr">
@@ -4099,6 +4123,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="2"/>
   </function>
@@ -4234,6 +4259,22 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void *reallocarray(void *ptr, size_t nmemb, size_t size); -->
+  <function name="reallocarray,std::reallocarray">
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- int remove(const char *filename); -->
   <function name="remove,std::remove">
     <returnValue type="int"/>
@@ -5726,6 +5767,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <arg nr="2">
       <not-null/>
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="3"/>
   </function>
@@ -5798,6 +5840,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <arg nr="3">
       <not-null/>
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="4"/>
   </function>
@@ -6628,6 +6671,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <memory>
     <alloc init="false">malloc</alloc>
     <alloc init="true">calloc</alloc>
+    <alloc init="false">aligned_alloc</alloc>
+    <alloc init="false">valloc</alloc>
     <dealloc>free</dealloc>
   </memory>
   <resource>