[Bug tree-optimization/47271] [4.6 Regression] if-conversion removes a test (if), the function generates invalid outputs

[jakub at gcc dot gnu.org]

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

--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-24 20:20:40 UTC ---
One more nit, perhaps the bb_postdominates_preds is too expensive for release
checking?  It might be just gcc_checking_assert...