[Bug analyzer/96395] gcc.dg/analyzer/explode-2.c fails when compiled as C++

[dmalcolm at gcc dot gnu.org]

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

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.

FWIW I've spent the last 4 months rewriting the state-tracking heart of the
analyzer, with a patch kit I hope to land next month.  Along with many other
changes, explode-2.c changes behavior significantly in my new implementation.

It sounds like we might have to coordinate on how we get our changes into
trunk.

I believe that that test case currently isn't compiled with g++.  Are you
changing that?  Feel free to special-case it if need be if you need that to get
your changes in.