On Fri, 20 Aug 2010, Lucas De Marchi wrote:

> On Thu, Aug 19, 2010 at 4:25 PM, Julia Lawall <[email protected]> wrote:
> >> I still didn't get what the "already tagged token" means. Every now
> >> and then I get this error.
> >
> > It means that there are two matches to the code that want to update the
> > same token.
> 
> Humn... now I (think I) got it. But, in this script (even if it's
> wrong for its purpose) there is only 1 rule with a disjunction. Why
> there are two matches for the same token?

One rule can match in more than one way.  Rules that describe only a 
single expression match anywhere in every expression.

julia

> >> Now what I am trying to do is to change expressions like "E == NULL"
> >> to "!E", similar to what badzero.cocci does. I trimmed down my script
> >> I my test file in order to help solving and this is what I got:
> >>
> >> badnull.cocci
> >> --------------------------
> >> @fix disable is_zero,isnt_zero @
> >
> > You probably want to disable is_null and isnt_null1, instead.
> 
> You are right. I've changed this and it works now.
> 
> 
> Lucas De Marchi
> 
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to