db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / infinite-loop02.c
blob22028473a0935d679356394a1574d477a335e13e
1 void foo(void)
3 int a = 1;
4 while ((a = !a))
8 /*
9 * check-name: infinite loop 02
10 * check-command: sparse -Wno-decl $file
11 * check-timeout: