From 510dbcce34f09967759f452e24c29269821f563d Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 5 Mar 2012 15:39:39 +0000 Subject: cfgloop.c (verify_loop_structure): Verify dominators before using them. 2012-03-05 Richard Guenther * cfgloop.c (verify_loop_structure): Verify dominators before using them. * graphite-clast-to-gimple.c (graphite_verify): Do not verify dominators from here. * graphite-scop-detection.c (create_sese_edges): Likewise. * loop-doloop.c (doloop_optimize_loops): Likewise. * loop-init.c (loop_optimizer_init): Likewise. * loop-unroll.c (unroll_and_peel_loops): Likewise. * loop-unswitch.c (unswitch_loops): Likewise. * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Likewise. * tree-parloops.c (parallelize_loops): Likewise. Verify only when checking is enabled. * tree-loop-distribution.c (tree_loop_distribution): Likewise. From-SVN: r184937 --- gcc/graphite-scop-detection.c | 1 - 1 file changed, 1 deletion(-) (limited to 'gcc/graphite-scop-detection.c') diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c index 0a3680b..3f4d7d8 100644 --- a/gcc/graphite-scop-detection.c +++ b/gcc/graphite-scop-detection.c @@ -1026,7 +1026,6 @@ create_sese_edges (VEC (sd_region, heap) *regions) #ifdef ENABLE_CHECKING verify_loop_structure (); - verify_dominators (CDI_DOMINATORS); verify_ssa (false); #endif } -- cgit v1.1