https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58687
--- Comment #32 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- The evidence from the DR discussion is that it's the *less* portable interpretation - that none of the implementations tested behaved as you suggest.
