1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c
index fa64797..160486f 100644
--- a/gcc/cfgloop.c
+++ b/gcc/cfgloop.c
@@ -1318,6 +1318,9 @@ verify_loop_structure (void)
   loop_iterator li;
   struct loop_exit *exit, *mexit;
 
+  /* We need up-to-date dominators, verify them.  */
+  verify_dominators (CDI_DOMINATORS);
+
   /* Check sizes.  */
   sizes = XCNEWVEC (unsigned, num);
   sizes[0] = 2;