https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108691
--- Comment #11 from David Spickett <david.spickett at linaro dot org> --- Thanks for the quick fix! > That still leaves us with missing abnormal edges - David, was this reduced > from an actual program? Further to this, someone pointed out to me that an indirect call to setjmp is undefined behaviour: https://pubs.opengroup.org/onlinepubs/9699919799/functions/setjmp.html So even if this was real code, it's undefined behaviour. (it just so happens that llvm's IR is able to represent that situation)