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

posix.cfg: Added support for more interfaces.

This commit is contained in:
orbitcowboy 2022-04-20 07:45:38 +02:00
parent 5a3d84d84d
commit df84bed889
2 changed files with 99 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
cfg/posix.cfg
View File

@ -16,7 +16,9 @@
</function>
<!-- https://man7.org/linux/man-pages/man3/aio_read.3.html -->
<!-- int aio_read(struct aiocb *aiocbp); -->
<function name="aio_read">
<!-- https://man7.org/linux/man-pages/man3/aio_write.3.html -->
<!-- int aio_write(struct aiocb *aiocbp); -->
<function name="aio_read,aio_write">
<use-retval/>
<returnValue type="int"/>
<noreturn>false</noreturn>
@ -26,6 +28,62 @@
<not-bool/>
</arg>
</function>
<!-- https://man7.org/linux/man-pages/man3/aio_return.3.html -->
<!-- ssize_t aio_return(struct aiocb *aiocbp); -->
<function name="aio_return">
<use-retval/>
<returnValue type="ssize_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="inout">
<not-null/>
<not-bool/>
</arg>
</function>
<!-- https://man7.org/linux/man-pages/man3/aio_error.3.html -->
<!-- int aio_error(struct aiocb *aiocbp); -->
<function name="aio_error">
<use-retval/>
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="inout">
<not-null/>
<not-bool/>
</arg>
</function>
<!-- https://man7.org/linux/man-pages/man3/aio_fsync.3.html -->
<!-- int aio_fsync(int op, struct aiocb *aiocbp); -->
<function name="aio_fsync">
<use-retval/>
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
<not-bool/>
</arg>
<arg nr="2" direction="inout">
<not-null/>
<not-bool/>
</arg>
</function>
<!-- https://man7.org/linux/man-pages/man3/aio_cancel.3.html -->
<!-- int aio_cancel(int fd, struct aiocb *aiocbp); -->
<function name="aio_cancel">
<use-retval/>
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
<valid>0:</valid>
<not-bool/>
</arg>
<arg nr="2" direction="inout">
<not-bool/>
</arg>
</function>
<!-- https://man7.org/linux/man-pages/man3/aio_suspend.3.html -->
<!-- int aio_suspend(const struct aiocb *const aiocb_list[], int nitems, const struct timespec *restrict timeout); -->
<function name="aio_suspend">

40
test/cfg/posix.c
View File

@ -30,6 +30,38 @@
#include <wchar.h>
#include <string.h>
int nullPointer_aio_cancel(int fd, struct aiocb *aiocbp)
{
// No warning is expected
(void)aio_cancel(fd, NULL);
// No warning is expected
return aio_cancel(fd, aiocbp);
}
int nullPointer_aio_fsync(int op, struct aiocb *aiocbp)
{
// cppcheck-suppress nullPointer
(void)aio_fsync(op, NULL);
// No warning is expected
return aio_fsync(op, aiocbp);
}
ssize_t nullPointer_aio_return(struct aiocb *aiocbp)
{
// cppcheck-suppress nullPointer
(void)aio_return(NULL);
// No warning is expected
return aio_return(aiocbp);
}
int nullPointer_aio_error(const struct aiocb *aiocbp)
{
// cppcheck-suppress nullPointer
(void)aio_error(NULL);
// No warning is expected
return aio_error(aiocbp);
}
int nullPointer_aio_read(struct aiocb *aiocbp)
{
// cppcheck-suppress nullPointer
@ -38,6 +70,14 @@ int nullPointer_aio_read(struct aiocb *aiocbp)
return aio_read(aiocbp);
}
int nullPointer_aio_write(struct aiocb *aiocbp)
{
// cppcheck-suppress nullPointer
(void)aio_write(NULL);
// No warning is expected
return aio_write(aiocbp);
}
int nullPointer_aio_suspend(const struct aiocb *const aiocb_list[], int nitems, const struct timespec *restrict timeout)
{
// cppcheck-suppress nullPointer