Home
last modified time | relevance | path

Searched refs:__smatch_value (Results 1 – 22 of 22) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_select3.c7 __smatch_value("a"); in func()
11 __smatch_value("a"); in func()
12 __smatch_value("c"); in func()
14 __smatch_value("c"); in func()
16 __smatch_value("a"); in func()
18 __smatch_value("a"); in func()
19 __smatch_value("c"); in func()
24 __smatch_value("a"); in func()
25 __smatch_value("c"); in func()
27 __smatch_value("c"); in func()
[all …]
H A Dsm_range3.c8 __smatch_value("x"); in func()
10 __smatch_value("x"); in func()
13 __smatch_value("x"); in func()
15 __smatch_value("x"); in func()
18 __smatch_value("x"); in func()
20 __smatch_value("x"); in func()
23 __smatch_value("x"); in func()
25 __smatch_value("x"); in func()
28 __smatch_value("x"); in func()
30 __smatch_value("x"); in func()
[all …]
H A Dsm_compound_conditions2.c15 __smatch_value("aaa"); in func()
17 __smatch_value("aaa"); in func()
19 __smatch_value("aaa"); in func()
22 __smatch_value("aaa"); in func()
24 __smatch_value("aaa"); in func()
26 __smatch_value("aaa"); in func()
29 __smatch_value("aaa"); in func()
31 __smatch_value("aaa"); in func()
33 __smatch_value("aaa"); in func()
36 __smatch_value("aaa"); in func()
[all …]
H A Dsm_loops2.c10 __smatch_value("x"); in func()
11 __smatch_value("x"); in func()
16 __smatch_value("x"); in func()
18 __smatch_value("x"); in func()
19 __smatch_value("x"); in func()
22 __smatch_value("x"); in func()
23 __smatch_value("x"); in func()
26 __smatch_value("x"); in func()
27 __smatch_value("x"); in func()
H A Dsm_range2.c6 __smatch_value("a"); in frob()
8 __smatch_value("a"); in frob()
9 __smatch_value("a"); in frob()
12 __smatch_value("b"); in frob()
14 __smatch_value("b"); in frob()
17 __smatch_value("c"); in frob()
20 __smatch_value("d"); in frob()
25 __smatch_value("d"); in frob()
26 __smatch_value("e"); in frob()
H A Dsm_equiv1.c13 __smatch_value("one"); in func()
14 __smatch_value("two"); in func()
16 __smatch_value("one"); in func()
17 __smatch_value("two"); in func()
19 __smatch_value("one"); in func()
20 __smatch_value("two"); in func()
22 __smatch_value("one"); in func()
23 __smatch_value("two"); in func()
H A Dsm_loops1.c10 __smatch_value("a"); in func()
11 __smatch_value("a"); in func()
13 __smatch_value("a"); in func()
14 __smatch_value("a"); in func()
16 __smatch_value("a"); in func()
17 __smatch_value("a"); in func()
19 __smatch_value("a"); in func()
20 __smatch_value("a"); in func()
H A Dsm_compare.c15 __smatch_value("a"); in frob()
17 __smatch_value("b"); in frob()
19 __smatch_value("c"); in frob()
21 __smatch_value("c"); in frob()
23 __smatch_value("a"); in frob()
24 __smatch_value("b"); in frob()
25 __smatch_value("c"); in frob()
H A Dsm_implied8.c11 __smatch_value("x"); in func()
13 __smatch_value("x"); in func()
15 __smatch_value("x"); in func()
17 __smatch_value("x"); in func()
19 __smatch_value("x"); in func()
22 __smatch_value("x"); in func()
23 __smatch_value("x"); in func()
H A Dsm_range4.c8 __smatch_value("a"); in frob()
12 __smatch_value("b"); in frob()
16 __smatch_value("c"); in frob()
19 __smatch_value("a"); in frob()
20 __smatch_value("b"); in frob()
21 __smatch_value("c"); in frob()
H A Dsm_compare2.c11 __smatch_value("a"); in main()
17 __smatch_value("b"); in main()
20 __smatch_value("a"); in main()
21 __smatch_value("b"); in main()
23 __smatch_value("a"); in main()
24 __smatch_value("b"); in main()
H A Dsm_math1.c13 __smatch_value("y"); in func()
16 __smatch_value("y"); in func()
19 __smatch_value("z"); in func()
20 __smatch_value("x"); in func()
23 __smatch_value("x"); in func()
H A Dsm_implied9.c10 __smatch_value("y"); in func()
12 __smatch_value("y"); in func()
16 __smatch_value("y"); in func()
18 __smatch_value("y"); in func()
21 __smatch_value("y"); in func()
H A Dsm_compound_conditions3.c8 __smatch_value("aaa"); in func()
10 __smatch_value("aaa"); in func()
13 __smatch_value("aaa"); in func()
16 __smatch_value("aaa"); in func()
H A Dsm_equiv2.c18 __smatch_value("red"); in func()
19 __smatch_value("blue"); in func()
21 __smatch_value("red"); in func()
22 __smatch_value("blue"); in func()
H A Dsm_implied10.c10 __smatch_value("y"); in func()
12 __smatch_value("y"); in func()
15 __smatch_value("offset"); in func()
17 __smatch_value("offset"); in func()
H A Dsm_select_assign.c14 __smatch_value("val"); in func()
18 __smatch_value("i"); in func()
20 __smatch_value("val"); in func()
26 __smatch_value("val"); in func()
H A Dsm_implied7.c7 __smatch_value("a"); in frob()
9 __smatch_value("a"); in frob()
11 __smatch_value("a"); in frob()
H A Dsm_select4.c11 __smatch_value("x"); in func()
13 __smatch_value("x"); in func()
14 __smatch_value("x"); in func()
H A Dsm_equiv3.c22 __smatch_value("red"); in func()
23 __smatch_value("blue"); in func()
H A Dsm_loops3.c19 __smatch_value("x"); in func()
/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.h10 static inline void __smatch_value(const char *unused){} in __smatch_value() function