http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50071
Mikael Morin <mikael at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mikael at gcc dot gnu.org --- Comment #1 from Mikael Morin <mikael at gcc dot gnu.org> 2011-08-13 11:05:19 UTC --- OK, it's valid. But is there any real need for this? The labels in the derived types aren't usable, are they? One could just throw them away.