diff options
| author | rakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-09 06:51:43 +0000 |
|---|---|---|
| committer | rakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-09 06:51:43 +0000 |
| commit | d8a0d6b8af37fd836425e5d8e2f510c7e8753bd5 (patch) | |
| tree | f5af72013d20563b8340bcf3462e935b8ad07bef /gcc/cfgloop.c | |
| parent | 85c11f8971a88d45613596396aa8215103fbdd1c (diff) | |
| download | gcc-d8a0d6b8af37fd836425e5d8e2f510c7e8753bd5.tar.gz | |
* cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
(create_preheaders): Check that loops are available.
(fix_loop_structure): Clean up, improve comments.
* tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
Check that loops are available. Set LOOP_CLOSED_SSA to the loops
state flags.
* tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
* predict.c (tree_estimate_probability): Do not call
calculate_dominance_info. Call create_preheaders.
* tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
flags.
* cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
* cfgloop.h (LOOP_CLOSED_SSA): New constant.
* tree-cfg.c (tree_split_edge): Make an assert more precise.
* tree-ssa-threadedge.c (thread_across_edge): Comment the function
arguments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123670 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgloop.c')
| -rw-r--r-- | gcc/cfgloop.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c index 12ce92cdd9e..b30e3527a6c 100644 --- a/gcc/cfgloop.c +++ b/gcc/cfgloop.c @@ -1548,6 +1548,8 @@ loop_preheader_edge (const struct loop *loop) edge e; edge_iterator ei; + gcc_assert ((current_loops->state & LOOPS_HAVE_PREHEADERS) != 0); + FOR_EACH_EDGE (e, ei, loop->header->preds) if (e->src != loop->latch) break; |