blob: 0e3e3805c25fc046430cdd7e5e39f9be68528fe9 [file] [log] [blame]
void foo(void)
{
int a = a || 0;
if (a) ;
}
/*
* check-name: internal infinite loop (0)
* check-command: sparse -Wno-decl $file
* check-timeout:
*/