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

gnu.cfg: Added support for tee(). Reference: http://man7.org/linux/man-pages/man2/tee.2.html

This commit is contained in:
orbitcowboy 2019-04-26 17:55:47 +02:00
parent 3ca2db062c
commit d724f86e01
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
cfg/gnu.cfg
View File

@ -68,6 +68,7 @@
</function>
<!-- ssize_t splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags); -->
<function name="splice">
<leak-ignore/>
<returnValue type="ssize_t"/>
<noreturn>false</noreturn>
<arg nr="1" direction="in">
@ -91,6 +92,30 @@
<not-uninit/>
</arg>
</function>
<!-- ssize_t tee(int fd_in, int fd_out, size_t len, unsigned int flags); -->
<function name="tee">
<returnValue type="ssize_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
<not-bool/>
<valid>0:</valid>
</arg>
<arg nr="2" direction="in">
<not-uninit/>
<not-bool/>
<valid>0:</valid>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
<not-bool/>
<valid>1:</valid>
</arg>
<arg nr="4" direction="in">
<not-uninit/>
</arg>
</function>
<!-- int pipe2(int pipefd[2],int flags); -->
<function name="pipe2">
<returnValue type="int"/>