xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/dead-phisrc.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)

foo(void)1 static void foo(void)
2 {
3 	extern int *a;
4 
5 	if (a || *a)
6 		;
7 	if (a[0] || a[1])
8 		;
9 }
10 
11 /*
12  * check-name: dead-phisrc
13  * check-command: test-linearize $file
14  *
15  * check-output-ignore
16  * check-output-excludes: phisrc
17  */
18