db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / phi-ret.c
blobbc3e04749f8d7997fbe4fa6828cdd52b4c4de669
1 int foo(int p, int q, int v)
3 if (q) {
4 if (p) {
5 v = p;
6 p = 0;
8 } else
9 p = 0;
10 if (p)
11 return v + 1;
12 return q;
16 * check-name: phi-ret
17 * check-command: test-linearize -Wno-decl $file
19 * check-output-ignore
20 * check-output-excludes: phi\\.