Messages in this thread | | | Subject | Re: coccinelle: also catch kzfree() issues | From | SF Markus Elfring <> | Date | Tue, 16 Feb 2016 21:02:17 +0100 |
| |
>> @free@ >> +identifier kfree =~ "kz?free"; > > Thanks for the suggestions. However, the regular expression is not such a > good idea.
How much is such a SmPL constraint still usable then?
> Coccinelle doesn't make any optimizations based on regulat expressions.
Where can your software optimise the source code search?
> It would be better to put a disjunction with kfree and kzfree explicitly, > as in the other cases.
What are the circumstances for corresponding benefits?
Regards, Markus
| |