xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-cse.c (revision 1edba515a3484e0f74b638b203d462b3112ac84d)
1 int foo(int a)
2 {
3 	return ((a == 0) + 1) != ((a == 0) + 1);
4 }
5 
6 /*
7  * check-name: kill-cse
8  * check-description:
9  *	Verify that instructions removed at CSE are
10  *	properly adjust the usage of their operands.
11  * check-command: test-linearize -Wno-decl $file
12  *
13  * check-output-start
14 foo:
15 .L0:
16 	<entry-point>
17 	ret.32      $0
18 
19 
20  * check-output-end
21  */
22