http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50693
--- Comment #21 from Alex Gaynor <alex.gaynor at gmail dot com> 2011-10-11 16:02:56 UTC --- Given the concern for preserving labels for debugging, perhaps allowing the merging of basic blocks that eliminate labels could be conditional on either a new function attribute or command line flag?
