[tree-ssa] labels after returns

[law@redhat.com]

In message <1081772243.3970.5.camel@localhost.localdomain>, Diego Novillo write
s:
 >On Mon, 2004-04-12 at 02:24, Andrew Pinski wrote:
 >
 >> testcase from gcc.c-torture/compile/20021108-1.c:
 >> int
 >> main()
 >> {
 >> l1:
 >>    return &&l1-&&l2;
 >> l2:;
 >> }
 >> 
 >I thought this was invalid and thus fair game to remove?
No, they are not fair game to remove.  The labels are fair game to 
move though.  [A user label which is not used in control flow altering
ways must be preserved, but its location need not be preserved. ]

jeff