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