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

Add some interfaces + small changes to existing ones

This commit is contained in:
alexander 2017-05-29 00:47:24 +02:00
parent 26ec339120
commit 49a28d00f9
3 changed files with 181 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

170
cfg/gnu.cfg
View File

@ -586,4 +586,174 @@
<!-- see http://kernelnewbies.org/FAQ/LikelyUnlikely --> <!-- see http://kernelnewbies.org/FAQ/LikelyUnlikely -->
<define name="likely(X)" value="(X)"/> <define name="likely(X)" value="(X)"/>
<define name="unlikely(X)" value="(X)"/> <define name="unlikely(X)" value="(X)"/>
<!-- int epoll_create(int size);
int epoll_create1(int flags); -->
<function name="epoll_create,epoll_create1">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
</function>
<!-- int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); -->
<function name="epoll_ctl">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="2">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="3">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="4">
<not-bool/>
<not-null/>
</arg>
</function>
<!-- int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout); -->
<function name="epoll_wait">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="2">
<not-bool/>
<not-null/>
</arg>
<arg nr="3">
<not-bool/>
<not-uninit/>
<valid>1:</valid>
</arg>
<arg nr="4">
<not-bool/>
<not-uninit/>
</arg>
</function>
<!-- int epoll_pwait(int epfd, struct epoll_event *events, int maxevents, int timeout, const sigset_t *sigmask); -->
<function name="epoll_pwait">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="2">
<not-bool/>
<not-null/>
</arg>
<arg nr="3">
<not-bool/>
<not-uninit/>
<valid>1:</valid>
</arg>
<arg nr="4">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="5">
<not-bool/>
<not-null/>
<not-uninit/>
</arg>
</function>
<resource>
<dealloc>close</dealloc>
<alloc init="true">epoll_create</alloc>
</resource>
<resource>
<dealloc>close</dealloc>
<alloc init="true">epoll_create1</alloc>
</resource>
<podtype name="epoll_event"/>
<!-- int epoll_create(int size);
int epoll_create1(int flags); -->
<function name="epoll_create,epoll_create1">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
</function>
<!-- int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); -->
<function name="epoll_ctl">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="2">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="3">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="4">
<not-bool/>
<not-null/>
</arg>
</function>
<!-- int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout); -->
<function name="epoll_wait">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="2">
<not-bool/>
<not-null/>
</arg>
<arg nr="3">
<not-bool/>
<not-uninit/>
<valid>1:</valid>
</arg>
<arg nr="4">
<not-bool/>
<not-uninit/>
</arg>
</function>
<!-- int epoll_pwait(int epfd, struct epoll_event *events, int maxevents, int timeout, const sigset_t *sigmask); -->
<function name="epoll_pwait">
<noreturn>false</noreturn>
<arg nr="1">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="2">
<not-bool/>
<not-null/>
</arg>
<arg nr="3">
<not-bool/>
<not-uninit/>
<valid>1:</valid>
</arg>
<arg nr="4">
<not-bool/>
<not-uninit/>
</arg>
<arg nr="5">
<not-bool/>
<not-null/>
<not-uninit/>
</arg>
</function>
<resource>
<dealloc>close</dealloc>
<alloc init="true">epoll_create</alloc>
</resource>
<resource>
<dealloc>close</dealloc>
<alloc init="true">epoll_create1</alloc>
</resource>
<podtype name="epoll_event"/>
</def> </def>

14
cfg/posix.cfg
View File

@ -2966,13 +2966,20 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</arg> </arg>
<arg nr="2"/> <arg nr="2"/>
</function> </function>
<function name="siglongjmp">
<noreturn>true</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigsetjmp.html --> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigsetjmp.html -->
<!-- int sigsetjmp(sigjmp_buf env, int savemask); --> <!-- int sigsetjmp(sigjmp_buf env, int savemask); -->
<function name="sigsetjmp"> <function name="sigsetjmp">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<arg nr="1"> <arg nr="1"/>
<not-uninit/>
</arg>
<arg nr="2"> <arg nr="2">
<not-uninit/> <not-uninit/>
</arg> </arg>
@ -3136,7 +3143,6 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<podtype name="trace_event_set_t"/> <podtype name="trace_event_set_t"/>
<podtype name="trace_id_t"/> <podtype name="trace_id_t"/>
<podtype name="stat"/> <podtype name="stat"/>
<podtype name="jmp_buf"/>
<podtype name="sigjmp_buf"/> <podtype name="sigjmp_buf"/>
<podtype name="sigset_t"/> <podtype name="sigset_t"/>
<podtype name="termios"/> <podtype name="termios"/>

2
cfg/std.cfg
View File

@ -2307,7 +2307,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
</function> </function>
<!-- void longjmp(jmp_buf env, int val); --> <!-- void longjmp(jmp_buf env, int val); -->
<function name="longjmp,std::longjmp"> <function name="longjmp,std::longjmp">
<noreturn>false</noreturn> <noreturn>true</noreturn>
<leak-ignore/> <leak-ignore/>
<arg nr="1"> <arg nr="1">
<not-uninit/> <not-uninit/>