db: don't print "failed to open" warnings...
[smatch.git] / validation / alias-mixed.c
blob0cfbe36b8a40bd50795df20f86e277df69ee0d8e
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 void 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