db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / reassoc-op-op1.c
blob3d050c142249a2ca451222c1f5269e7887efde90
1 int foo(int x, int *ptr)
3 int t = x + 1;
4 *ptr = t;
5 return t + -1;
8 /*
9 * check-name: reassoc-op-op1
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-pattern(1): add\\.