http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49413
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-06-15 01:00:34 UTC --- Personally, I find the expression "over-optimization" misleading: either we have a compiler *bug*, which therefore is performing an incorrect transformation, or we don't, thus the code is triggering undefined behavior (which happens to show up at high optimization level). In either case, I don't see "over-optimization".