xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/cse-size.c (revision 4e5ef1cee66fbfbbd2b3e56b81e2bb5700f4a59e)
1 static void foo(void)
2 {
3 	unsigned short p = 0;
4 	int x;
5 
6 	for (;;)
7 		if (p)
8 			p = x;
9 }
10 
11 /*
12  * check-name: cse-size
13  * check-command: test-linearize -Wno-decl $file
14  *
15  * check-output-ignore
16  * check-output-pattern(2): phi\\.
17  */
18