https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Created attachment 49366 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49366&action=edit [PATCH] analyzer: don't use <setjmp.h> in tests [PR97394] Thanks for filing this bug. Does this patch fix the testsuite for you?
