1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
int foo(int p, int q, int v) { if (q) { if (p) { v = p; p = 0; } } else p = 0; if (p) return v + 1; return q; } /* * check-name: phi-ret * check-command: test-linearize -Wno-decl $file * * check-output-ignore * check-output-excludes: phi\\. */