db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / memops-missed02.c
blob6f02864979436cd38468205cd6e01052fa2d0f12
1 void foo(int a[])
3 int i, val;
4 for (;; i++)
5 val = a[i] ? a[i] : val;
8 /*
9 * check-name: memops-missed02
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-pattern(1): load\\.