[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 #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #3)
> FWIW, I'm not able to reproduce this issue with trunk.  Note that
> g:fd111c419d146ee47c7df9a36a535e8d843d4802 fixed a state-explosion bug in
> how switch statements are handled, so perhaps that fixed it.
(also g:b28491dc2d79763ecbff4f0b9f1f3e48a443be1d, FWIW)