db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / killed-insn.c
blobd1cdd02eea1a5affd9c75ca2ffa346e1206a9a87
1 static void foo(int v)
3 int a[2] = { };
4 a;
5 a[1] = v;
8 /*
9 * check-name: killed-insn
10 * check-command: test-linearize $file
12 * check-output-ignore
13 * check-output-excludes: store\\.