[Cocci] Checking data structure modification with SmPL

[elfring@users.sourceforge.net (SF Markus Elfring)]

>> * Do I need to fiddle with another SmPL disjunction to express
>>   the possibility that "var" could be more than a simple identifier?
> 
> Ultimately, var shouldend up at an identifier, so I don't see the need.

How do you think about a variant like the following?

(expression)->element


>> * How should the support for longer arrow chains be specified?
> 
> No idea what you are asking, but I am not keen on adding yet another
> metavariable type for this, which anyway doesn't correspond to anything in
> the C grammar.

Does the following approach make my consideration a bit more clear?

var->(expression)->(expression)->element


How should a more detailed pointer access variation be handled here?

Regards,
Markus