xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/global-noalias.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 int a, b, c, d, e;
2 
3 void foo(void)
4 {
5 	if (a)
6 		b = c;
7 	else
8 		b = d;
9 	if (c)
10 		a = b;
11 	if (b)
12 		e = a;
13 }
14 
15 /*
16  * check-name: global no-alias
17  * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file
18  * check-output-ignore
19  * check-output-pattern(4,7): load\\.
20  * check-output-pattern(4): store\\.
21  */
22