http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56868
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-04-07 21:10:04 UTC --- Don't we have an old issue with folding happening too early in some cases? I'm wondering if this isn't just an example, but I can't quickly find that issue.
