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.
