1void foo(void)
2{
3        int a = a || 0;
4        if (a) ;
5}
6
7/*
8 * check-name: internal infinite loop (0)
9 * check-command: sparse -Wno-decl $file
10 * check-timeout:
11 */
12