> typedef int mytype; > > mytype x; > > Clearly this would not be the same as > > typedef int x;
I see a bit more here. But my knowledge in the application of the semantic patch language is still evolving also around such details. The corresponding distinction is not clear enough for me so far. Is the handling of "typedefs" another detail for later considerations? >> I am still unfamiliar with the consequences from the use of >> variables like "v" and "x" when they are not position variables >> as you suggest in your example script. > > They match the closest enclosing expression. I see that there are also a few other items mentioned in the manual. Unfortunately, the description is terse. https://github.com/coccinelle/coccinelle/blob/af8131522ee9aff575e4345f5068f4f138264cd6/docs/manual/cocci_syntax.tex#L258 But I am unsure about when this special SmPL construct will help in the discussed use case. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
