Thank you, this approach works for me. I will look more into isomorphisms. On Wed, Jul 15, 2015 at 10:17 AM, Julia Lawall <[email protected]> wrote:
> > @@ > > identifier i; > > expression E; > > statement S; > > @@ > > > > + i = E; > > if ( > > ! > > - (i = E) > > + i > > ) S > > Try this one without the ! and with S converted to > > S1 else S2 > > with S1 and S2 being statement metavariables. I think that the various > isoorphisms should cause this to do everything. But you can check it by > running spatch --parse-cocci file.cocci. for this, it is more readable if > you give your rule a short name, like r, because it will put the name of > the rule in each metavariable that it prints, and the defaut is quite > long. > > julia
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
