Home
last modified time | relevance | path

Searched refs:__smatch_buf_size (Results 1 – 10 of 10) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_buf_size6.c12 __smatch_buf_size(p); in function()
13 __smatch_buf_size(&p[0]); in function()
14 __smatch_buf_size(array); in function()
15 __smatch_buf_size(&array); in function()
16 __smatch_buf_size(&array[0]); in function()
H A Dsm_buf_size7.c10 __smatch_buf_size(a); in test()
11 __smatch_buf_size(b); in test()
12 __smatch_buf_size(c); in test()
13 __smatch_buf_size(d); in test()
H A Dsm_buf_size1.c10 __smatch_buf_size(a); in func()
11 __smatch_buf_size(b); in func()
12 __smatch_buf_size(c); in func()
13 __smatch_buf_size(d); in func()
H A Dsm_buf_size5.c12 __smatch_buf_size(&foo); in function()
13 __smatch_buf_size(&(foo.buf[0])); in function()
14 __smatch_buf_size(&foo.x[0]); in function()
15 __smatch_buf_size(&foo.x[1]); in function()
H A Dsm_buf_size8.c34 __smatch_buf_size(p->msg); in test()
37 __smatch_buf_size(q->msg); in test()
40 __smatch_buf_size(a->foo); in test()
43 __smatch_buf_size(b->bar); in test()
H A Dsm_buf_size4.c10 __smatch_buf_size(a); in main()
11 __smatch_buf_size(b); in main()
12 __smatch_buf_size(s); in main()
H A Dsm_buf_size2.c14 __smatch_buf_size(a); in func()
15 __smatch_buf_size(b); in func()
16 __smatch_buf_size(c); in func()
H A Dsm_buf_size3.c10 __smatch_buf_size(a); in func()
11 __smatch_buf_size((int *)a); in func()
H A Dsm_array_overflow5.c19 __smatch_buf_size(p->buf); in main()
/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.h34 static inline void __smatch_buf_size(const void *buf){} in __smatch_buf_size() function