[Bug tree-optimization/46494] [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-fre -ftree-vrp

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46494

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-02-14 17:59:13 UTC ---
Author: ebotcazou
Date: Mon Feb 14 17:59:10 2011
New Revision: 170141

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170141
Log:
    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.

Added:
    trunk/gcc/testsuite/gcc.dg/pr46494.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fwprop.c
    trunk/gcc/loop-init.c
    trunk/gcc/loop-unroll.c
    trunk/gcc/modulo-sched.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-dom.c
    trunk/gcc/tree-ssa-loop-ch.c
    trunk/gcc/tree-ssa-loop.c
    trunk/gcc/tree-ssa-pre.c
    trunk/gcc/tree-ssa-reassoc.c
    trunk/gcc/tree-ssa-sink.c
    trunk/gcc/tree-vrp.c