https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81262
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Bet asm goto isn't handled correctly in fix_up_fall_thru_edges or in add_labels_and_missing_jumps. Looking at the former, I'm puzzled how it works at all, seems e.g. the cond_jump variable can hold edge for completely unrelated bb (isn't cleared like e.g. fall_thru is). I believe all the function-local vars should be moved into the FOR_EACH_BB_FN block except for cur_bb.