db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / simplify-zero-sub.c
blob70ce7c9088447a4e7050490759b22f0b8a2498e7
1 int zero_sub(int x) { return 0 - x; }
3 /*
4 * check-name: simplify-zero-sub
5 * check-command: test-linearize -Wno-decl $file
7 * check-output-ignore
8 * check-output-contains: neg\\..* %arg1
9 */