1#define C 3
2
3int foo(int x) { return ~(C - x) == (x + ~C); }
4
5/*
6 * check-name: simplify-not-sub-cte
7 * check-command: test-linearize -Wno-decl $file
8 *
9 * check-output-ignore
10 * check-output-contains: ret\\..*\\$1
11 */
12