db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / phi-count00.c
blob38db0edaea0ea4487941e45e6f5f4c6bd2028285
1 inline int inl(int d, int e, int f)
3 switch (d) {
4 case 0:
5 return e;
6 case 1:
7 return f;
8 default:
9 return 0;
13 void foo(int a, int b, int c)
15 while (1) {
16 if (inl(a, b, c))
17 break;
22 * check-name: phi-count00
23 * check-command: test-linearize -Wno-decl $file
25 * check-output-ignore
26 * check-output-pattern(0,2): phisrc