Would you like to suggest another filter approach?
I don't understand what you are trying to do. Why don't you just put a *
in the is_assigned rule? That rule describes the case where a variable is
assigned and not used afterwards. But I think you will need to add when
any to your when list, to avoid the shortest path issue. Or not make the
following disjunction:
(
y@p = (t) (x)(...)
|
y@p = (t) (u)->mf(...)
|
y@p = (t) (u).mf(...)
)
which indeed serves no purpose, because the first line matches everything
that the other two lines match.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
