db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / load-converted.c
blob91e04af4f627837db07007b9f8952eba1d87c89e
1 static int foo(int *p, int i)
3 int a = p[i];
4 int b = p[i];
5 return (a - b);
8 /*
9 * check-name: load-converted
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-excludes: add\\.