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

[nrk at disroot dot org]

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

--- Comment #3 from nrk at disroot dot org ---
> Feel free to reopen it if you're able to reproduce it with gcc 12 or later

Huh, I linked to godbolt specifically because I wanted to test gcc 12 and see
if the bug still persists or not since my local version is at 11.2.1. But looks
like I messed it up.

In any case, thanks for fixing it!