http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56483
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Keywords| |lto, missed-optimization Last reconfirmed| |2013-03-01 Component|lto |middle-end AssignedTo|unassigned at gcc dot |rguenth at gcc dot gnu.org |gnu.org | Ever Confirmed|0 |1 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-01 11:00:18 UTC --- gimple_cond_single_var_p should be inlined at its single caller, it isn't any good abstraction. integer_zerop isn't a good enough test for what the single caller tries to assert as far as I can see. You'd need to test whether it's precision is 1 as well (or whether it's BOOLEAN_TYPE). The IR reader cannot be fixed (the middle-end shouldn't use frontend boolean_*_node) - frontends have different representation for their boolean_{true,false,type}_nodes. Well. Confirmed and mine.