int foo(int a, int b)
{
        int var = 0;
        int r;

        if (a)
                var = 1;
        if (b)
                r = var;

        return r;               // undef if !b
}

/*
 * check-name: variable partially undefined
 * check-description: trigger a bug in symbol/memop simplification
 * check-description: sparse-llvm is used here as semantic checker of sparse's IR
 * check-command: sparse-llvm -Wno-decl $file
 * check-output-ignore
 */