https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- This seems to be: http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1635 http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#2008 might be related, and seems to agree with GCC.