http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33255
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED CC|gcc-bugs at gcc dot gnu.org | Resolution| |FIXED Target Milestone|--- |4.8.0 --- Comment #29 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-22 21:00:06 UTC --- I suppose we can close this, right? In case there are issues with the implementation, belong to new, separate PRs.