Re: [Cocci] [PATCH v2] coccinelle: api: add kzfree script

From: Denis Efremov
Date: Thu Jun 04 2020 - 17:25:40 EST

It looks like a good idea to add type cast, like:

+// Ignore kzfree definition
+// Ignore kasan test
+@r depends on !patch && !(file in "lib/test_kasan.c") && !(file in "mm/slab_common.c") forall@
+expression *E;
+position p;
+type T;
+* \(memset\|memset_explicit\)((T)E, 0, ...);
+ ... when != E
+ when strict
+* \(kfree\|vfree\|kvfree\)(E)@p;

and to exclude file "mm/util.c" because it will contain the definition of

I will wait for your recommendation about commented lines and will send v3 after.