On Sun, 19 Jul 2015, SF Markus Elfring wrote:

> > 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 just mentioned typedefs to make clear the difference between the name of 
a type and the type of a variable.

julia

> >> 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

Reply via email to