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.
julia
The problem is that foo->bar + 10 is still a pointer expression of the same
type as bar, so e will match the whole ting and not just foo->bar as intended.
- Lars
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
