The following valid testcase triggers an ICE since GCC 4.2.0 when compiled with "-fmudflap":
==================================== #include<setjmp.h> jmp_buf buf; void foo(volatile char* p) { if (__builtin_setjmp(buf)) *p; } ==================================== bug.c: In function 'foo': bug.c:6: error: control flow in the middle of basic block 11 bug.c:6: error: control flow in the middle of basic block 11 bug.c:6: internal compiler error: verify_flow_info failed Please submit a full bug report, [etc.] -- Summary: [4.2/4.3/4.4 regression] ICE with __builtin_setjmp and - fmudflap Product: gcc Version: 4.4.0 Status: UNCONFIRMED Keywords: ice-on-valid-code, monitored Severity: normal Priority: P3 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: reichelt at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35314