db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / cse-cmp-next.c
blob50fdbac097643d1e987f211ea9bc9eed319269cc
1 void foo(int p, int i, int f, int *ref, int *dst, int *src)
3 if (p)
4 f = ref[i];
5 if (f)
6 dst[i] = src[i];
9 /*
10 * check-name: cse-cmp-next
11 * check-command: test-linearize -Wno-decl $file
13 * check-output-ignore
14 * check-output-pattern(1,2): mul\\.