http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58459
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mpolacek at gcc dot gnu.org --- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- (In reply to Richard Biener from comment #3) > It is actually different behavior of PRE and not LIM doing the invariant > motion. > So it should reproduce with -O2 already (maybe you can double-check that). Yes, that's right.