Hello, The following information is provided in the manual for the semantic patch language.
“A metavariable declaration local idexpression v means that v is an expression that is restricted to be a local variable. … A more complex description of a location, such as a->b is considered to be an expression, not an idexpression.” https://github.com/coccinelle/coccinelle/blob/14ce94ab4805f70405525829b5e11ea55f6f1d1b/docs/manual/cocci_syntax.tex#L281 I would expect that a local variable can refer also to a detailed data structure (instead of mostly using simple data types). * Can it become interesting then how the access to varying members from such a data structure hierarchy will be specified in the SmPL script? * Is the specification of an access approach possible which would be independent from the nesting level? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
