Searched refs:__smatch_compare (Results 1 – 12 of 12) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/validation/ |
| H A D | sm_compare12.c | 18 __smatch_compare(a, d); in options_write()
19 __smatch_compare(a, b + c); in options_write()
21 __smatch_compare(a, b + c); in options_write()
24 __smatch_compare(a, b + c); in options_write()
|
| H A D | sm_compare13.c | 8 __smatch_compare(x, y); in cmp_x()
12 __smatch_compare(x, y); in cmp_x()
15 __smatch_compare(x, y); in cmp_x()
|
| H A D | sm_compare3.c | 18 __smatch_compare(b, c); in main()
28 __smatch_compare(g, e); in main()
29 __smatch_compare(e, g); in main()
|
| H A D | sm_compare7.c | 9 __smatch_compare(a, b); in options_write()
13 __smatch_compare(g, e); in options_write()
|
| H A D | sm_compare8.c | 7 __smatch_compare(a, b); in options_write()
|
| H A D | sm_compare9.c | 7 __smatch_compare(a, b); in options_write()
|
| H A D | sm_compare18.c | 13 __smatch_compare(a, b); in options_write()
|
| H A D | sm_compare10.c | 10 __smatch_compare(a, c); in options_write()
|
| H A D | sm_compare6.c | 12 __smatch_compare(x, y); in returns_less()
|
| H A D | sm_compare17.c | 20 __smatch_compare(a, xxx); in options_write()
|
| H A D | sm_compare11.c | 16 __smatch_compare(a, d); in options_write()
|
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_debug.h | 40 static inline void __smatch_compare(long long one, long long two){} in __smatch_compare() function
|