>> @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
