On Mon, Aug 6, 2012 at 12:44 PM, <[email protected]> wrote: > I guess it is a label that no one jumps to? You could use a position > variable to record the labels that there is a jump to, eg > > goto l; > ... > l@p: > > and then remove labels that are not marked by this position variable. >
This sounds wonderful but I don't feel smart enough to fill in the blanks yet :-) if you have some good examples I'd love it :-) ron _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
