https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68783
Bug ID: 68783 Summary: Improve verification of loop->latch in verify_loop_structure Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: enhancement Priority: P3 Component: other Assignee: unassigned at gcc dot gnu.org Reporter: vries at gcc dot gnu.org Target Milestone: --- We can try harder to verify the loop latch against the loop state and actual cfg. I've committed a patch to implement this ( https://gcc.gnu.org/viewcvs?rev=230866&root=gcc&view=rev ), but reverted it due to PR68549.