db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / simplify-same-subl-add.c
blobe7ae08092556ff3cb6429484249afd0a4d6007e1
1 int subl_add(int x, int y) { return x - (x + y); }
3 /*
4 * check-name: simplify-same-subl-add
5 * check-command: test-linearize -Wno-decl $file
7 * check-output-ignore
8 * check-output-contains: neg\\..* %arg2
9 * check-output-excludes: add\\.
10 * check-output-excludes: sub\\.