1 int ftest(double a, double b) 2 { 3 return a == 0.125 || b == 0.125; 4 } 5 6 /* 7 * check-name: CSE OP_SETFVAL 8 * check-command: test-linearize -Wno-decl $file 9 * 10 * check-output-ignore 11 * check-output-pattern(1): setfval\\. 12 */