http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52114
--- Comment #12 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-02-05 11:11:34 UTC --- I agree it should, thanks Daniel. In fact, I see that implementing the trick in a fully correct way is less than trivial and, AFAIK, there is no hint at all in the Standard that something similar is in order.
