[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

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
           Priority|P3                          |P2

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-25 16:02:19 UTC ---
Make it return a TODO instead.  Of course the

#ifdef ENABLE_CHECKING
  /* FIXME: no point to verify flow info after bundling on ia64.  Use this
     hack for achieving this.  */
  if (!reload_completed)
    verify_flow_info ();
#endif

hack is odd and probably instead should go into verify_flow_info.