https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95007
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- I guess I'm thinking about the case where a string literal has been exposed as a non-const "char *": the RFE here is for -fanalyzer to be able to detect if we ever write to such a string (with interprocedural analysis etc etc).