http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47399
--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-12-12 08:07:23 UTC --- Since the commit for PR 41539, the example(s) of comment 0 (#1, #2, #3) compile and print "13" at run time. TODO: Check whether we now allow invalid code. Check the c.l.f thread.