summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@lip6.fr>2015-10-26 22:28:26 +0100
committerMichal Marek <mmarek@suse.cz>2015-10-26 22:41:18 +0100
commit4743775c6de44b3c36e15bcab2dee928b6361a16 (patch)
tree5bf2da40ed2744dae5bee547edcbefbd9899d23c
parentcoccinelle: ifnullfree: various cleanups (diff)
downloadlinux-4743775c6de44b3c36e15bcab2dee928b6361a16.tar.xz
linux-4743775c6de44b3c36e15bcab2dee928b6361a16.zip
coccinelle: ifnullfree: handle various destroy functions
Extend ifnullfree to the various destroy functions that were recently extended to tolerate NULL arguments. Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>
-rw-r--r--scripts/coccinelle/free/ifnullfree.cocci10
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/coccinelle/free/ifnullfree.cocci b/scripts/coccinelle/free/ifnullfree.cocci
index d4a072d5b505..52bd235286fa 100644
--- a/scripts/coccinelle/free/ifnullfree.cocci
+++ b/scripts/coccinelle/free/ifnullfree.cocci
@@ -25,6 +25,12 @@ expression E;
debugfs_remove_recursive(E);
|
usb_free_urb(E);
+|
+ kmem_cache_destroy(E);
+|
+ mempool_destroy(E);
+|
+ dma_pool_destroy(E);
)
@r depends on context || report || org @
@@ -33,7 +39,9 @@ position p;
@@
* if (E != NULL)
-* \(kfree@p\|debugfs_remove@p\|debugfs_remove_recursive@p\|usb_free_urb@p\)(E);
+* \(kfree@p\|debugfs_remove@p\|debugfs_remove_recursive@p\|
+* usb_free_urb@p\|kmem_cache_destroy@p\|mempool_destroy@p\|
+* dma_pool_destroy@p\)(E);
@script:python depends on org@
p << r.p;