canon_not(int a,int b)1 int canon_not(int a, int b) { return (a & ~b) == (~b & a); } 2 3 /* 4 * check-name: canonical-not 5 * check-command: test-linearize -Wno-decl $file 6 * 7 * check-output-ignore 8 * check-output-returns: 1 9 */ 10