| /illumos-gate/usr/src/tools/smatch/src/validation/ |
| H A D | sm_loops6.c | 10 __smatch_implied(a); in test()
11 __smatch_implied(a); in test()
14 __smatch_implied(b); in test()
15 __smatch_implied(b); in test()
18 __smatch_implied(c); in test()
19 __smatch_implied(c); in test()
22 __smatch_implied(d); in test()
23 __smatch_implied(d); in test()
28 __smatch_implied(e); in test()
30 __smatch_implied(e); in test()
|
| H A D | sm_casts4.c | 29 __smatch_implied(l); in main()
30 __smatch_implied(ul); in main()
31 __smatch_implied(i); in main()
32 __smatch_implied(ui); in main()
33 __smatch_implied(c); in main()
34 __smatch_implied(uc); in main()
|
| H A D | sm_casts5.c | 29 __smatch_implied(l); in main()
30 __smatch_implied(ul); in main()
31 __smatch_implied(i); in main()
32 __smatch_implied(ui); in main()
33 __smatch_implied(c); in main()
34 __smatch_implied(uc); in main()
|
| H A D | sm_casts6.c | 29 __smatch_implied(l); in main()
30 __smatch_implied(ul); in main()
31 __smatch_implied(i); in main()
32 __smatch_implied(ui); in main()
33 __smatch_implied(c); in main()
34 __smatch_implied(uc); in main()
|
| H A D | sm_implied14.c | 18 __smatch_implied(a); in func()
19 __smatch_implied(b); in func()
21 __smatch_implied(a); in func()
22 __smatch_implied(b); in func()
31 __smatch_implied(b); in func()
33 __smatch_implied(b); in func()
|
| H A D | sm_mtag3.c | 8 __smatch_implied(&x); in main()
9 __smatch_implied((unsigned long)(array + 1) - (unsigned long)array); in main()
10 __smatch_implied(array + 1 - array); in main()
11 __smatch_implied(array + 1); in main()
12 __smatch_implied((int *)0 + 1); in main()
|
| H A D | sm_mtag5.c | 17 __smatch_implied(&x); in main()
18 __smatch_implied(&aaa); in main()
19 __smatch_implied(&aaa.b); in main()
20 __smatch_implied(array); in main()
21 __smatch_implied(&array[1]); in main()
|
| H A D | sm_chunk2.c | 17 __smatch_implied(aaa[0]); in main()
18 __smatch_implied(aaa[5]); in main()
20 __smatch_implied(aaa[5]); in main()
23 __smatch_implied(aaa[z]); in main()
25 __smatch_implied(aaa[z]); in main()
|
| H A D | sm_compare3.c | 17 __smatch_implied(c); in main()
26 __smatch_implied(g); in main()
27 __smatch_implied(e); in main()
30 __smatch_implied(g - e); in main()
31 __smatch_implied(g - f); in main()
|
| H A D | sm_bitwise1.c | 6 __smatch_implied(x & 0x1); in test()
7 __smatch_implied(x & 0x2); in test()
8 __smatch_implied(x & ~(0xffU)); in test()
9 __smatch_implied(x & ~(0xff)); in test()
|
| H A D | sm_mod.c | 10 __smatch_implied(a); in frob()
12 __smatch_implied(a); in frob()
18 __smatch_implied(b); in frob()
20 __smatch_implied(b); in frob()
|
| H A D | sm_compare5.c | 11 __smatch_implied(a); in func()
12 __smatch_implied(b); in func()
15 __smatch_implied(c); in func()
16 __smatch_implied(d); in func()
|
| H A D | sm_compare4.c | 13 __smatch_implied(a); in func()
16 __smatch_implied(b); in func()
19 __smatch_implied(c); in func()
22 __smatch_implied(d); in func()
|
| H A D | sm_inline1.c | 17 __smatch_implied(*x); in main()
19 __smatch_implied(*x); in main()
23 __smatch_implied(y); in main()
25 __smatch_implied(y); in main()
|
| H A D | sm_initializer.c | 19 __smatch_implied(foo.bar.b); in test()
20 __smatch_implied(foo.bar.c); in test()
21 __smatch_implied(foo.x); in test()
22 __smatch_implied(foo.y); in test()
|
| H A D | sm_inline3.c | 23 __smatch_implied(my_pointer->a); in test()
24 __smatch_implied(my_pointer->b); in test()
25 __smatch_implied(foo.a); in test()
26 __smatch_implied(foo.b); in test()
|
| H A D | sm_range6.c | 9 __smatch_implied(a); in func()
10 __smatch_implied(b); in func()
11 __smatch_implied(c); in func()
|
| H A D | sm_math2.c | 11 __smatch_implied(a); in test()
12 __smatch_implied(b); in test()
13 __smatch_implied(c); in test()
|
| H A D | sm_select5.c | 15 __smatch_implied(ret); in test()
16 __smatch_implied(a); in test()
18 __smatch_implied(a); in test()
|
| H A D | sm_implied16.c | 24 __smatch_implied(x); in func()
25 __smatch_implied(a); in func()
29 __smatch_implied(a); in func()
|
| H A D | sm_range5.c | 7 __smatch_implied(x); in main()
10 __smatch_implied(x); in main()
|
| H A D | sm_bitwise2.c | 8 __smatch_implied(x); in test()
10 __smatch_implied(y); in test()
|
| H A D | sm_casts3.c | 8 __smatch_implied(a); in func()
9 __smatch_implied(b); in func()
|
| H A D | sm_strlen3.c | 8 __smatch_implied(strlen("foo")); in func()
9 __smatch_implied(strnlen("foo", 2)); in func()
|
| H A D | sm_implied13.c | 9 __smatch_implied(a); in main()
12 __smatch_implied(a); in main()
|