nullPointerRedundantCheck false positive with try-catch

[Valentin]

The following code triggers warning:
warning GDE5FDDA5: Either the condition '!a' is redundant or there is possible null pointer dereference: a. [nullPointerRedundantCheck]

The code is simplified. The issue also reproduces when "a" is a class member and the function is a class method.

int main()
{
    static int* a = nullptr;

    if (!a)
    {
        try
        {
            a = new int(10);
        }
        catch (...)
        {
            return 1;
        }
    }

    std::cout << *a << std::endl;

    return 0;
}

[CHR]

Thanks for reporting, the issue is covered by this ticket: https://trac.cppcheck.net/ticket/10572