https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78383
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- The label does not have DECL_NONLOCAL set (but it should?). But the obvious error in cfgcleanup is that it fails to verify if the label jumped to belongs to the current function, either by handling target_block == NULL or by checking DECL_CONTEXT.