[Bug analyzer/125304] -Wanalyzer-free-of-non-heap false positive with std::string due to CAST_REG comparison bug

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Note that "-fdiagnostics-add-output=sarif:analyzer-graphs=yes" is an
experimental local modification I've made, to add more internal info about the
analysis to the SARIF output, such as for the use of AI agents.