http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18635
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> 2010-11-26 17:37:33 UTC --- There are lots of ways to put your program into an invalid state. Of course there's "no point" to doing it, and noone's asking for the code to *work* The question is whether the compiler is expected to diagnose the code and reject it.