[Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.3/4.4/4.5 Regression]    |[4.3/4.4 Regression] ICE:
                   |ICE: verify_flow_info       |verify_flow_info failed
                   |failed when casting-out     |when casting-out attribute
                   |attribute noreturn with     |noreturn with -fno-tree-ccp
                   |-fno-tree-ccp               |-fno-tree-copy-prop
                   |-fno-tree-copy-prop         |-fno-tree-dce
                   |-fno-tree-dce               |

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-12 09:23:52 UTC ---
Can't reproduce this with 4.4 (and 4.4 doesn't have any gimple_call_set_fn in
tree-ssa-pre).  Are you sure this wasn't just 4.5/4.6 regression?