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

posix.cfg: Improved configuration of mq_timedsend().

This commit is contained in:
orbitcowboy 2022-12-22 11:58:32 +01:00
parent f5b9445767
commit 347c10db3b
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cfg/posix.cfg
View File

@ -3101,6 +3101,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<arg nr="2" direction="in">
<not-uninit/>
<not-bool/>
<not-null/>
<minsize type="argvalue" arg="3"/>
<strz/>
</arg>
@ -3111,6 +3112,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/>
</arg>
<arg nr="5" direction="in">
<not-null/>
<not-uninit/>
<not-bool/>
</arg>
@ -4766,7 +4768,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-null/>
</arg>
</function>
<!-- int posix_trace_timedgetnext_event(trace_id_t trid, struct posix_trace_event_info *restrict event, void *restrict data, size_t num_bytes, size_t *restrict data_len, int *restrict unavailable, const struct timespec *restrict abstime); -->
<!-- int posix_trace_timedgetnext_event(trace_id_t trid, struct posix_trace_event_info *restrict event, void *restrict data, size_t num_bytes, size_t *restrict data_len, int *restrict unavailable, const struct timespec *restrict abstime); -->
<function name="posix_trace_timedgetnext_event">
<returnValue type="int"/>
<noreturn>false</noreturn>

7
test/cfg/posix.c
View File

@ -36,6 +36,13 @@
#include <string.h>
#include <strings.h>
void nullPointer_mq_timedsend(mqd_t mqdes, const char* msg_ptr, size_t msg_len, unsigned msg_prio, const struct timespec* abs_timeout) {
// cppcheck-suppress nullPointer
(void) mq_timedsend(mqdes, NULL, msg_len, msg_prio, abs_timeout);
// cppcheck-suppress nullPointer
(void) mq_timedsend(mqdes, msg_ptr, msg_len, msg_prio, NULL);
}
#if __TRACE_H__ // <trace.h>
void nullPointer_posix_trace_event(trace_event_id_t event_id, const void* restrictdata_ptr, size_t data_len)