Skip to content

Commit 3c57752

Browse files
orbitcowboyorbitcowboy
committed
posix.cfg: Added support for more posix_trace..() functions
1 parent 5991c33 commit 3c57752

2 files changed

Lines changed: 134 additions & 0 deletions

File tree

‎cfg/posix.cfg‎

Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4739,6 +4739,95 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
47394739
<not-uninit/>
47404740
</arg>
47414741
</function>
4742+
<!-- int posix_trace_trygetnext_event(trace_id_t trid,
4743+
struct posix_trace_event_info *restrict event,
4744+
void *restrict data, size_t num_bytes,
4745+
size_t *restrict data_len, int *restrict unavailable); -->
4746+
<function name="posix_trace_trygetnext_event">
4747+
<returnValue type="int"/>
4748+
<use-retval/>
4749+
<noreturn>false</noreturn>
4750+
<arg nr="1" direction="in">
4751+
<not-uninit/>
4752+
</arg>
4753+
<arg nr="2" direction="out">
4754+
<not-null/>
4755+
</arg>
4756+
<arg nr="3" direction="out">
4757+
<not-null/>
4758+
</arg>
4759+
<arg nr="4" direction="in">
4760+
<valid>0:</valid>
4761+
</arg>
4762+
<arg nr="5" direction="out">
4763+
<not-null/>
4764+
</arg>
4765+
<arg nr="6" direction="out">
4766+
<not-null/>
4767+
</arg>
4768+
</function>
4769+
<!-- 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); -->
4770+
<function name="posix_trace_timedgetnext_event">
4771+
<returnValue type="int"/>
4772+
<noreturn>false</noreturn>
4773+
<use-retval/>
4774+
<pure/>
4775+
<arg nr="1" direction="in">
4776+
<not-uninit/>
4777+
</arg>
4778+
<arg nr="2" direction="out">
4779+
<not-null/>
4780+
</arg>
4781+
<arg nr="3" direction="out">
4782+
<not-null/>
4783+
</arg>
4784+
<arg nr="4" direction="in">
4785+
<not-uninit/>
4786+
<valid>0:</valid>
4787+
</arg>
4788+
<arg nr="5" direction="out">
4789+
<not-null/>
4790+
</arg>
4791+
<arg nr="6" direction="out">
4792+
<not-null/>
4793+
</arg>
4794+
<arg nr="7" direction="in">
4795+
<not-null/>
4796+
</arg>
4797+
</function>
4798+
<!-- int posix_trace_getnext_event(trace_id_t trid,
4799+
struct posix_trace_event_info *restrict event,
4800+
void *restrict data, size_t num_bytes,
4801+
size_t *restrict data_len, int *restrict unavailable); -->
4802+
<function name="posix_trace_getnext_event">
4803+
<returnValue type="int"/>
4804+
<noreturn>false</noreturn>
4805+
<use-retval/>
4806+
<arg nr="1" direction="in">
4807+
<not-uninit/>
4808+
</arg>
4809+
<arg nr="2" direction="out">
4810+
<not-uninit/>
4811+
<not-null/>
4812+
</arg>
4813+
<arg nr="3" direction="in">
4814+
<not-uninit/>
4815+
<not-null/>
4816+
<minsize type="argvalue" arg="4"/>
4817+
</arg>
4818+
<arg nr="4" direction="in">
4819+
<not-uninit/>
4820+
<valid>0:</valid>
4821+
</arg>
4822+
<arg nr="5" direction="out">
4823+
<not-null/>
4824+
<not-uninit/>
4825+
</arg>
4826+
<arg nr="6" direction="out">
4827+
<not-null/>
4828+
<not-uninit/>
4829+
</arg>
4830+
</function>
47424831
<!-- int pthread_attr_getstacksize(const pthread_attr_t *attr, size_t *stacksize); -->
47434832
<!-- int pthread_attr_getguardsize(const pthread_attr_t *attr, size_t *guardsize); -->
47444833
<function name="pthread_attr_getstacksize,pthread_attr_getguardsize">

‎test/cfg/posix.c‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,51 @@
3636
#include <string.h>
3737
#include <strings.h>
3838

39+
#if __TRACE_H__ // <trace.h>
40+
void nullPointer_posix_trace_trygetnext_event(trace_id_t trid,
41+
struct posix_trace_event_info *event,
42+
void *data, size_t num_bytes,
43+
size_t *data_len, int *unavailable)
44+
{
45+
// cppcheck-suppress nullPointer
46+
(void) posix_trace_trygetnext_event(trid, NULL, data, num_bytes, data_len, unavailable);
47+
// cppcheck-suppress nullPointer
48+
(void) posix_trace_trygetnext_event(trid, event, NULL, num_bytes, data_len, unavailable);
49+
// cppcheck-suppress nullPointer
50+
(void) posix_trace_trygetnext_event(trid, event, data, num_bytes, NULL, unavailable);
51+
// cppcheck-suppress nullPointer
52+
(void) posix_trace_trygetnext_event(trid, event, data, num_bytes, data_len, NULL);
53+
}
54+
55+
int nullPointer_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)
56+
{
57+
// cppcheck-suppress nullPointer
58+
(void) posix_trace_timedgetnext_event(trid, NULL, data, num_bytes, data_len, unavailable, abstime);
59+
// cppcheck-suppress nullPointer
60+
(void) posix_trace_timedgetnext_event(trid, event, NULL, num_bytes, data_len, unavailable, abstime);
61+
// cppcheck-suppress nullPointer
62+
(void) posix_trace_timedgetnext_event(trid, event, data, num_bytes, NULL, unavailable, abstime);
63+
// cppcheck-suppress nullPointer
64+
(void) posix_trace_timedgetnext_event(trid, event, data, num_bytes, data_len, NULL, abstime);
65+
// cppcheck-suppress nullPointer
66+
(void) posix_trace_timedgetnext_event(trid, event, data, num_bytes, data_len, unavailable, NULL);
67+
return posix_trace_timedgetnext_event(trid, event, data, num_bytes, data_len, unavailable, abstime);
68+
}
69+
70+
int nullPointer_posix_trace_getnext_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)
71+
{
72+
// cppcheck-suppress nullPointer
73+
(void) posix_trace_getnext_event(trid, NULL, data, num_bytes, data_len, unavailable);
74+
// cppcheck-suppress nullPointer
75+
(void) posix_trace_getnext_event(trid, event, NULL, num_bytes, data_len, unavailable);
76+
// cppcheck-suppress nullPointer
77+
(void) posix_trace_getnext_event(trid, event, data, num_bytes, NULL, unavailable);
78+
// cppcheck-suppress nullPointer
79+
(void) posix_trace_getnext_event(trid, event, data, num_bytes, data_len, NULL);
80+
return posix_trace_getnext_event(trid, event, data, num_bytes, data_len, unavailable);
81+
}
82+
#endif // __TRACE_H__
83+
3984
void nullPointer_pthread_attr_getstack(const pthread_attr_t *attr, void *stackaddr, size_t stacksize) {
4085
// cppcheck-suppress nullPointer
4186
(void) pthread_attr_getstack(NULL, &stackaddr, &stacksize);

0 commit comments

Comments
 (0)