db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / canonical-arg.c
bloba8ecc9bd0083c84a5920f647c38a11d1324f1b76
1 int def(void);
3 int canon_arg_arg(int a, int b)
5 return (a + b) == (b + a);
8 int canon_arg_reg(int a)
10 int b = def();
11 return (a + b) == (b + a);
15 * check-name: canonical-arg
16 * check-command: test-linearize -Wno-decl $file
18 * check-output-ignore
19 * check-output-returns: 1