int beq0(int a) { return a == 0; } | |
int bnotne0(int a) { return !(a != 0); } | |
int bnot(int a) { return !a; } | |
/* | |
* check-name: bool-eq0 | |
* check-command: test-linearize -Wno-decl $file | |
* check-output-ignore | |
* | |
* check-output-excludes: setne\\. | |
* check-output-contains: seteq\\. | |
*/ |