> > Could you send a real example that seems inappropriate?
> Line 180 of lib/rwsem-spinlock.c
>
>  out:
>         ;
>
> Line 160 of scripts/kconfig/expr.c
>         default:
>                 ;

OK, I think this is actually the only way the problem can happen.  So you
can do:

@@
identifier l;
statement S;

(
l:;
|
S;
)

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to