walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

gnu.cfg: Add support for pvalloc() and __builtin_alloca().

This commit is contained in:
versat 2019-03-18 11:44:35 +01:00
parent 992e1293b7
commit bb7888e70b
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
cfg/gnu.cfg
View File

@ -18,6 +18,12 @@
<alloc init="true">backtrace_symbols</alloc> <alloc init="true">backtrace_symbols</alloc>
<dealloc>free</dealloc> <dealloc>free</dealloc>
</memory> </memory>
<memory>
<alloc init="false" buffer-size="arg-value:1">pvalloc</alloc>
<dealloc>free</dealloc>
</memory>
<!-- https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html -->
<define name="__builtin_alloca" value="alloca"/>
<!-- void xexit(int status); --> <!-- void xexit(int status); -->
<function name="xexit"> <function name="xexit">
<noreturn>true</noreturn> <noreturn>true</noreturn>
@ -77,6 +83,17 @@
<not-bool/> <not-bool/>
</arg> </arg>
</function> </function>
<!-- https://linux.die.net/man/3/pvalloc -->
<!-- void *pvalloc(size_t size); -->
<function name="pvalloc">
<use-retval/>
<returnValue type="void *"/>
<noreturn>false</noreturn>
<arg nr="1" direction="in">
<not-uninit/>
<valid>0:</valid>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man3/asprintf.3.html --> <!-- http://man7.org/linux/man-pages/man3/asprintf.3.html -->
<!-- int asprintf(char **strp, const char *fmt, ...); --> <!-- int asprintf(char **strp, const char *fmt, ...); -->
<function name="asprintf"> <function name="asprintf">