xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/if-pointer.c (revision 71815ce76261aa773c97600750fdce92334d1990)
1 int foo(int c, int a, int b)
2 {
3 	int l, *p = &l;
4 
5 	if (c)
6 		*p = a;
7 	else
8 		*p = b;
9 
10 	return l + *p;
11 }
12 
13 /*
14  * check-name: if-then-else pointer
15  * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file
16  * check-known-to-fail
17  * check-output-ignore
18  * check-output-excludes: load\\.
19  * check-output-excludes: store\\.
20  * check-output-contains: phi\\.
21  */
22