[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 #3 from Michael Morrell <mmorrell at tachyum dot com> ---
Created attachment 49359
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49359&action=edit
Incorrect output