http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54158
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |INVALID --- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-02 10:45:09 UTC --- Indeed, I have recollections of the resolution being implemented. Let's close this. If I can quickly find a pointer I will add it here.