On Thu, 8 Feb 2018, Francois-Xavier Le Bail wrote:
> expression *e;
> define 'e' is a pointer expression.
> Is there a way to define 'e' is *not* a pointer expression?
The above will highlight all expressions that have not been inferred to
have a pointer type. But note that that doesn't mean that it has been
inferred that the expression as a non-pointer type. It could be that not
enough information is available.
Another option would be:
Now it should require that e1 actually has a known type and it is not a
Another approach would be:
position p != bad.p;
If you are actually interested in structure types, you could also say
> Cocci mailing list
Cocci mailing list