[Bug analyzer/106620] Incorrectly thinks execution can continue after a return statement

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

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

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #1)

> I've made lots of implementation changes to -fanalyzer in gcc 12 in beyond
"and beyond", I meant to say