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

dmalcolm at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri Jul 31 14:04:26 GMT 2020


--- 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

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.

More information about the Gcc-bugs mailing list