[Cocci] Not pointer expression
julia.lawall at lip6.fr
Thu Feb 8 15:44:52 CET 2018
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:
e at p
position p != bad.p;
*e at p
If you are actually interested in structure types, you could also say
> Cocci mailing list
> Cocci at systeme.lip6.fr
More information about the Cocci