xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/cse-fcmp.c (revision 3ce5372277f4657ad0e52d36c979527c4ca22de2)
1 extern void fun(void);
2 
3 int foo(double a, double b)
4 {
5 	if (a < b)
6 		fun();
7 	if (a < b)
8 		return 1;
9 
10 	return 0;
11 }
12 
13 /*
14  * check-name: cse-fcmp
15  * check-command: test-linearize -Wno-decl $file
16  *
17  * check-output-ignore
18  * check-output-pattern(1): fcmp
19  */
20