[Bug other/68783] New: Improve verification of loop->latch in verify_loop_structure

[vries at gcc dot gnu.org]

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.