https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81747
--- Comment #4 from Segher Boessenkool <segher at gcc dot gnu.org> --- Yeah, but the condition in which BRANCH_EDGE is called starts with if (EDGE_COUNT (previous_bb_in_path->succs) == 2 so I'm confused now.