13 __smatch_value("one");
14 __smatch_value("two");
15 }
16 __smatch_value("one");
17 __smatch_value("two");
18 if (one == 2) {
19 __smatch_value("one");
20 __smatch_value("two");
21 }
22 __smatch_value("one");
23 __smatch_value("two");
24 return 0;
25 }
26 /*
27 * check-name: smatch equivalent variables #1
28 * check-command: smatch -I.. -m64 sm_equiv1.c
29 *
30 * check-output-start
31 sm_equiv1.c:13 func() one = 1
32 sm_equiv1.c:14 func() two = 1
33 sm_equiv1.c:16 func() one = s64min-s64max
34 sm_equiv1.c:17 func() two = s64min-s64max
35 sm_equiv1.c:19 func() one = 2
36 sm_equiv1.c:20 func() two = 2
37 sm_equiv1.c:22 func() one = s64min-s64max
38 sm_equiv1.c:23 func() two = s64min-s64max
39 * check-output-end
40 */
|
13 __smatch_value("one");
14 __smatch_value("two");
15 }
16 __smatch_value("one");
17 __smatch_value("two");
18 if (one == 2) {
19 __smatch_value("one");
20 __smatch_value("two");
21 }
22 __smatch_value("one");
23 __smatch_value("two");
24 return 0;
25 }
26 /*
27 * check-name: smatch equivalent variables #1
28 * check-command: smatch -I.. -m64 sm_equiv1.c
29 *
30 * check-output-start
31 sm_equiv1.c:13 func() one = 1
32 sm_equiv1.c:14 func() two = 1
33 sm_equiv1.c:16 func() one = 0-u64max
34 sm_equiv1.c:17 func() two = 0-u64max
35 sm_equiv1.c:19 func() one = 2
36 sm_equiv1.c:20 func() two = 2
37 sm_equiv1.c:22 func() one = 0-u64max
38 sm_equiv1.c:23 func() two = 0-u64max
39 * check-output-end
40 */
|