diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-03-05 15:39:39 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-03-05 15:39:39 +0000 |
| commit | 510dbcce34f09967759f452e24c29269821f563d (patch) | |
| tree | 8606673318a2a3b91606db9905c216c6dc8b6a64 /gcc/tree-parloops.c | |
| parent | 50bcfce08b0d5bb511e7cef4e955f47364d510b0 (diff) | |
| download | gcc-510dbcce34f09967759f452e24c29269821f563d.zip gcc-510dbcce34f09967759f452e24c29269821f563d.tar.gz gcc-510dbcce34f09967759f452e24c29269821f563d.tar.bz2 | |
cfgloop.c (verify_loop_structure): Verify dominators before using them.
2012-03-05 Richard Guenther <rguenther@suse.de>
* 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
Diffstat (limited to 'gcc/tree-parloops.c')
| -rw-r--r-- | gcc/tree-parloops.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-parloops.c b/gcc/tree-parloops.c index e791ac3..abae3fd 100644 --- a/gcc/tree-parloops.c +++ b/gcc/tree-parloops.c @@ -2226,10 +2226,11 @@ parallelize_loops (void) } gen_parallel_loop (loop, reduction_list, n_threads, &niter_desc); +#ifdef ENABLE_CHECKING verify_flow_info (); - verify_dominators (CDI_DOMINATORS); verify_loop_structure (); verify_loop_closed_ssa (true); +#endif } free_stmt_vec_info_vec (); |