Thank you for your help. Your patches and advice have solved my issue.
On Tue, Jul 14, 2015 at 1:51 PM, Julia Lawall <[email protected]> wrote:
> Two patches are attachd that should help with this. They can be applied
> in any order.
>
> > bash> cat binop4.cocci
> > @@
> > identifier i, i2;
> > expression E1, E2;
> > constant c;
> > binary operator b;
> > @@
> >
> > + if( E1->i ) {
> > + i2 = E2;
> > + if (i2 b c) {
> > - if( E1->i && (i2 = E2) b c ) {
> > ...
> > - }
> > + }
> > + }
>
> Even with the patches, it is necessary to adjust the above code. The
> problem is that with a binary operator metavariable, we don't know the
> precedence or associativity of the operator. However we have the paren
> isomorphism that will drop extra parentheses in the semantic patch
> (without changing th structure of the AST), so you can just add
> parentheses to the semantic patch to get the precedence or associativity
> you want. I guess you would want ((i2 = E2) b c).
>
> julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
