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.
