db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / bad-phisrc1.c
blobaa12dd0ae54207e21e75c7dc3a90439928901bb4
1 void foo(int a, int b)
3 if (b)
4 while ((a += 5) > a)
8 /*
9 * check-name: bad-phisrc1
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-excludes: phi\\.
14 * check-output-excludes: phisource\\.