http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39055
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |paolo.carlini at oracle dot | |com --- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-04 13:04:59 UTC --- Thanks. I'm looking at the messages and indeed, it seems that GCC and EDG are actually correct, but we want a formal DR Resolution in order to close this, right? I don't know exactly how things are managed in Core: should somebody ask (Mike?) to open an issue?