db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / cse-fcmp.c
blobf2a73f57fc1d8d0a412be9d2b9e8ba948ae75e2c
1 extern void fun(void);
3 int foo(double a, double b)
5 if (a < b)
6 fun();
7 if (a < b)
8 return 1;
10 return 0;
14 * check-name: cse-fcmp
15 * check-command: test-linearize -Wno-decl $file
17 * check-output-ignore
18 * check-output-pattern(1): fcmp