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