static inline int fun(int a)
{
        if (a)
                return 1;
}

static int foo(int a)
{
        return fun(a);
}

/*
 * check-name: missing-return1
 * check-command: sparse -vir -flinearize=last $file
 */