> Isomorphisms have a cost, so the provided isomorphism only converts !X to
> X == NULL when X is a pointer.

It seems that the Coccinelle software has got restrictions on
the interpretation of pointers so far.
Is a pointer recognised for application of isomorphisms by
the semantic patch language only when the metavariable type contains
an asterisk (instead of expecting that SmPL expression metavariables
can benefit from this functionality already without an explicit “*”)?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to