db/vim_db: don't complain when the file is not found
[smatch.git] / validation / infinite-loop0.c
blob0e3e3805c25fc046430cdd7e5e39f9be68528fe9
1 void foo(void)
3 int a = a || 0;
4 if (a) ;
7 /*
8 * check-name: internal infinite loop (0)
9 * check-command: sparse -Wno-decl $file
10 * check-timeout: