Re: [PATCH] Coccinelle: add atomic_as_refcounter script

From: Julia Lawall
Date: Thu Aug 17 2017 - 07:50:35 EST


> +identifier fname =~ ".*free.*";
> +identifier fname2 =~ ".*destroy.*";
> +identifier fname3 =~ ".*del.*";
> +identifier fname4 =~ ".*queue_work.*";
> +identifier fname5 =~ ".*schedule_work.*";
> +identifier fname6 =~ ".*call_rcu.*";

Personally, I find the above regular expressions much easier to understand
than the merged version that Markus proposed. But the performance issue is
only on whether to use regular expressions or not. If you use regular
expressions, Coccinelle will not do some optimizations. But once you
decide to use regular expressions, the performance hit is already taken -
for a good cause here, to my understanding. So just put whatever you find
convenient, in terms of readability, precision, etc. It seems that del is
not very precise, because it is a substring of multiple words with
different meanings. Maybe it should be improved, or maybe one can just
live with the false positives (eg delay), if they actually are false
positives.

julia