1 int beq0(int a) { return a == 0; } 2 int bnotne0(int a) { return !(a != 0); } 3 int bnot(int a) { return !a; } 4 5 /* 6 * check-name: bool-eq0 7 * check-command: test-linearize -Wno-decl $file 8 * check-output-ignore 9 * 10 * check-output-excludes: setne\\. 11 * check-output-contains: seteq\\. 12 */ 13