db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / simplify-add-neg.c
blobc24b8e19e5c3d1e9e786b58d7bbe3a7da9b30d17
1 int add_neg(int x, int y) { return x + -y; }
3 /*
4 * check-name: simplify-add-neg
5 * check-command: test-linearize -Wno-decl $file
7 * check-output-ignore
8 * check-output-contains: sub\\..*%arg1, %arg2
9 */