diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2011-02-14 17:59:10 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2011-02-14 17:59:10 +0000 |
| commit | c7dd803e61952604df6992be3c5b68cb1abfd983 (patch) | |
| tree | 320a3607dd8780b767137a8f417688b91a15da32 /gcc/loop-unroll.c | |
| parent | c6150df67f5d7cb05a5784509d9158e0ecc471d8 (diff) | |
| download | gcc-c7dd803e61952604df6992be3c5b68cb1abfd983.tar.gz | |
re PR tree-optimization/46494 (ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-fre -ftree-vrp)
PR tree-optimization/46494
* loop-unroll.c (split_edge_and_insert): Adjust comment.
* loop-init.c (loop_optimizer_finalize): Do not call verify_flow_info.
(pass_rtl_loop_done): Add TODO_verify_flow.
* fwprop.c (pass_rtl_fwprop): Likewise.
* modulo-sched.c (pass_sms): Likewise.
* tree-ssa-dom.c (pass_dominator): Likewise.
* tree-ssa-loop-ch.c (pass_ch): Likewise.
* tree-ssa-loop.c (pass_complete_unrolli): Likewise.
(pass_tree_loop_done): Likewise.
* tree-ssa-pre.c (execute_pre): Likewise.
* tree-ssa-reassoc.c (pass_reassoc): Likewise.
* tree-ssa-sink.c (pass_sink_code): Likewise.
* tree-vrp.c (pass_vrp): Likewise.
From-SVN: r170141
Diffstat (limited to 'gcc/loop-unroll.c')
| -rw-r--r-- | gcc/loop-unroll.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/loop-unroll.c b/gcc/loop-unroll.c index 67d6ea0cf64..6deff4141a3 100644 --- a/gcc/loop-unroll.c +++ b/gcc/loop-unroll.c @@ -900,7 +900,7 @@ split_edge_and_insert (edge e, rtx insns) CFG. For this purpose we used to set the BB_SUPERBLOCK flag on BB and call break_superblocks when going out of cfglayout mode. But it turns out that this never happens; and that if it does ever happen, - the verify_flow_info call in loop_optimizer_finalize would fail. + the TODO_verify_flow at the end of the RTL loop passes would fail. There are two reasons why we expected we could have control flow insns in INSNS. The first is when a comparison has to be done in parts, and |