On 08/18/2014 11:49 AM, Julia Lawall wrote:
Actually, isn't the whoe structure field the wrong way to go about it
here? Don't we just want a pointer-typed expression, of whatever form it
has? That will unfortunately require lots of type information, but I
don't see how to do it otherewise, because any kind of variable or
structure field reference can also be an integer. There isno reason why
eg the structure field reference is the array.
expression *e; matches a pointer.
The problem is that (foo->bar + 10) with foo->bar being a pointer is still a
expression of the pointer type and so e will match the whole expression
rather than just matching foo->bar.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
