https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103827
--- Comment #9 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Jason, did you intend to close this as invalid? I think we agreed on the original testcase being valid - we can assume that calls to extern void foo (const std::string ); can assume the string argument being unchanged by foo.