db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / simplify-same-add-subr.c
blob071021c485d7a2334014c3a1dcd69becd3918f65
1 int add_subr(int x, int y) { return (x + y) - y; }
3 /*
4 * check-name: simplify-same-add-subr
5 * check-command: test-linearize -Wno-decl $file
7 * check-output-start
8 add_subr:
9 .L0:
10 <entry-point>
11 ret.32 %arg1
14 * check-output-end