Re: [3/3] Coccinelle: pci_free_consistent: Extend when constraints for two SmPL ellipses

From: Markus Elfring
Date: Wed May 15 2019 - 04:39:06 EST


>> 1, "id = (T2)(e)" is rare.
>
> Thanks for checking. I don't really care if it is rare.

I got related source code analysis concerns.


> There should not be much cost to this.

Each additional filter will influence the software run times and
possible results.


> On the other hand, I do care about causing false negatives.

Do you find the missing warning after the addition of such an exclusion
specification interesting?

Regards,
Markus