https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88983
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2019-01-31 CC| |dmalcolm at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Confirmed, *jump_target is a RETURN_EXPR here: 4000 switch (TREE_CODE (*jump_target)) 4001 { 4002 case LABEL_DECL: [..] 4006 break; 4007 4008 case INTEGER_CST: [..] 4032 break; 4033 4034 default: 4035 gcc_unreachable (); <--- aborts here 4036 }