http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50693
--- Comment #22 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-12 15:19:54 UTC --- Yeah, maybe we can just throw them away with -O3. Or decay them (on BB merging) to # DEBUG user_label: that exposes the label to more code motion issues, so its location would be less precise, but nothing prevents inter-block code-motion for labels at the start of a fallthru destination either.
