db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / bad-phisrc2.c
blob78eae28856fd8eae8eb1d9d5cb5fc0f294441f3d
1 int bad_phisrc2(int p, int a, int r)
3 if (p)
4 r = a;
5 else if (r)
7 return r;
11 * check-name: bad-phisrc2
12 * check-command: test-linearize -Wno-decl $file
14 * check-output-ignore
15 * check-output-contains: select\\.