http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48453
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> --- It would be nice to have a DR # for this. In any case, if in practice the compiler is already Ok, we can probably close it, right?