http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58492
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-09-23 CC| |hubicka at gcc dot gnu.org Target Milestone|--- |4.9.0 Summary|ICE: verify_flow_info |[4.9 Regression] ICE: |failed |verify_flow_info failed Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Results in <bb2> f.constprop (); return; and f.constprop is stmt_ends_bb_p () now, the original recursion isn't. That's because it's likely got an endless loop and noreturn? calling out IPA-PTA is probably bogus. f is found const by IPA pure const (but f.constprop isn't updated via clone hook?) and ends up const looping. IPA-PTA doesn't do anything and copyprop simply first triggers verification.