[Bug analyzer/95000] -fanalyzer confused by switch

[dmalcolm at gcc dot gnu.org]

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

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

I've filed PR analyzer/95007 to track the RFE for a warning about writes to a
string literal.

Clearly there's a bug somewhere in the handling for the path condition for the
warning in comment #0; am investigating.