RFC -- More problems with disappearing labels

[Mark Mitchell]

>>>>> "Jeffrey" == Jeffrey A Law <law@cygnus.com> writes:

    Jeffrey> If we deferred cleaup until life analysis, then we could
    Jeffrey> actually verify that when we find a dangling REG_LABEL
    Jeffrey> note that the destination of set in the insn with the
    Jeffrey> REG_LABEL note is never used.

I like this one.

If the block containing the REG_LABEL is reachable, and the register
set isn't dead, then we're in trouble, and we should abort.  That
seems like a good consistency check.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com