[Bug analyzer/94355] support for C++ new expression

[vanyacpp at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94355

--- Comment #6 from Ivan Sorokin <vanyacpp at gmail dot com> ---
I played with -fanalyzer on godbolt (GCC trunk). I noticed that -fanalyzer
doesn't report double free in this (convoluted) case:

#include <cstdlib>

int main()
{
    int* p = new int;
    delete p;
    free(p);
}