[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 #4 from Michael Morrell <mmorrell at tachyum dot com> ---
To run this, just use "gcc -fanalyzer -S -o /dev/null setjmp.c"