Re: Coccinelle: reduce false positives

From: SF Markus Elfring
Date: Thu Feb 01 2018 - 07:28:56 EST


> +@safe depends on context || org || report exists@
> +expression x;
> +position p;
> +@@
> +
> +(
> + x = kmalloc(...)
> +|
> + x = kvasprintf(...)
â

* How do you think about to reduce also a bit of duplicate SmPL code?

* Can it help to work with nested SmPL disjunctions here?

Regards,
Markus