http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57367
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> --- Remember that -O2 is required for this kind of middle-end check. A front-end check would not.
paolo.carlini at oracle dot com Wed, 22 May 2013 05:33:55 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57367
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> --- Remember that -O2 is required for this kind of middle-end check. A front-end check would not.