false positive on local variable when template specialization used

[Jyrki Kolho]

Looks like a false positive on the return statement of the global function:

class Foo {
    template <unsigned int i>
    bool bar()
    {
        return true;
    }
};

template <>
bool Foo::bar<9>()
{
    return true;
}

int global()
{
    int bar = 1;     // Reusing the name of the template function
    return bar;
}

false_positive.cpp:18:12: error: Uninitialized variable: bar < 9 > [uninitvar]
return bar;
^

[versat]

I am absolutely no template expert, but I agree that this looks like a false positive.
g++ accepts the code without complaints. The debug output of Cppcheck looks a bit strange.
I will create a ticket for that.

[versat]

I have created a ticket: https://trac.cppcheck.net/ticket/9467
Thank you for your report!