xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/null-phi.c (revision 6a9d71e52548eedf5ce59148e7e6b8ce5f61a4a0) 
1 static int foo(void)
2 {
3 	if (0)
4 		return 0;
5 }
6 
7 /*
8  * check-name: null-phi
9  */
10