static int foo(void)
{
        if (0)
                return 0;
}

/*
 * check-name: null-phi
 */