common_functions: add special handling of sprintf() and snprintf()
[smatch.git] / validation / sm_equiv1.c
blob8bd7e575002262d2c2f12b639e5ae19010eb1546
1 #include "check_debug.h"
3 int *something();
5 int *one;
6 int *two;
7 int func(void)
9 one = something();
10 two = one;
12 if (two == 1) {
13 __smatch_value("one");
14 __smatch_value("two");
16 __smatch_value("one");
17 __smatch_value("two");
18 if (one == 2) {
19 __smatch_value("one");
20 __smatch_value("two");
22 __smatch_value("one");
23 __smatch_value("two");
24 return 0;
27 * check-name: smatch equivalent variables #1
28 * check-command: smatch -I.. -m64 sm_equiv1.c
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