db/fixup_kernel.sh: fix clear_user() handling

[smatch.git] / validation / optim / null-phi.c

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

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