testsuite: get all tags in once
[smatch.git] / validation / alias-mixed.c
blob4293047749a39e869f5414b366c72bfc9ca8ee3d
1 extern int g;
4 static int foo(int *p)
6 *p = 1;
7 g = 2;
8 return *p == 1;
11 static int bar(int *p)
13 g = 1;
14 *p = 2;
15 return g == 1;
18 static test(void)
20 foo(&g);
21 bar(&g);
25 * check-name: alias symbol/pointer
26 * check-command: test-linearize $file
27 * check-output-ignore
29 * check-output-excludes: ret\\..* *\\$1