std.cfg: Added support for std::string::push_back().

2017-10-06 16:51:10 +02:00 · 2017-10-06 16:51:10 +02:00 · 4b4796a35f
parent 92673afc8f
commit 4b4796a35f
1 changed files with 7 additions and 0 deletions
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@ -5894,6 +5894,13 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
      <valid>0:</valid>
    </arg>
  </function>
+  <!-- void push_back (char c); -->
+  <function name="std::string::push_back">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
  <function name="std::string::back">
    <noreturn>false</noreturn>
    <returnValue type="char"/>