http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55281
--- Comment #7 from Marc Glisse <glisse at gcc dot gnu.org> 2012-11-12 16:39:27 UTC --- (In reply to comment #6) > I'm just testing that, so I know it doesn't have side-effects. I meant: instead of testing, so the optimization still occurs when there is a side effect. > COND_EXPR handling which I've copied was doing the same thing. Ah, indeed. > The reason for the > fold-const.c change was that while you handle that case in forwprop, it only > triggers if forwprop actually simplifies the condition, but if e.g. copyprop > does that, then nothing will fix it up afterwards till expansion. Understood.