diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-05 15:39:39 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-05 15:39:39 +0000 |
| commit | ef0e6535b80c9f1a89dabbfad77214bd68ea08e6 (patch) | |
| tree | 8606673318a2a3b91606db9905c216c6dc8b6a64 /gcc/cfgloop.c | |
| parent | e9eae8c80d53a1b5fe2dfa4f7cbd65e5e519113e (diff) | |
| download | ppe42-gcc-ef0e6535b80c9f1a89dabbfad77214bd68ea08e6.tar.gz ppe42-gcc-ef0e6535b80c9f1a89dabbfad77214bd68ea08e6.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184937 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgloop.c')
| -rw-r--r-- | gcc/cfgloop.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c index fa64797f550..160486f13b1 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; |
