[Bug analyzer/97394] Incorrect analyzer output for setjmp

[mmorrell at tachyum dot com via Gcc-bugs]

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

--- Comment #2 from Michael Morrell <mmorrell at tachyum dot com> ---
Created attachment 49358
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49358&action=edit
Expected output