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/fwprop.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/fwprop.c')
| -rw-r--r-- | gcc/fwprop.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/fwprop.c b/gcc/fwprop.c index 704e1431233..b2fd9556bbb 100644 --- a/gcc/fwprop.c +++ b/gcc/fwprop.c @@ -1471,8 +1471,10 @@ struct rtl_opt_pass pass_rtl_fwprop = 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ - TODO_df_finish | TODO_verify_rtl_sharing | - TODO_dump_func /* todo_flags_finish */ + TODO_df_finish + | TODO_verify_flow + | TODO_verify_rtl_sharing + | TODO_dump_func /* todo_flags_finish */ } }; |