https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57466
--- Comment #12 from Paolo Carlini <paolo.carlini at oracle dot com> --- I'm having another look at this, and the last comments added to DR1584 and coming to the conclusion that gcc probably doesn't need further work, in particular the patch that I had to revert pointed to a real issue. Other comments?
