Thank you for clarifying this. It's a tricky one. It is well documented in the [Defect Report 712](http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#712) (following your gcc.gnu.org link).