diff options
author | Julia Lawall <Julia.Lawall@lip6.fr> | 2015-10-26 21:28:26 (GMT) |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2015-10-26 21:41:18 (GMT) |
commit | 4743775c6de44b3c36e15bcab2dee928b6361a16 (patch) | |
tree | 5bf2da40ed2744dae5bee547edcbefbd9899d23c /scripts/coccinelle/free | |
parent | ca047e715c638eacf58cb830c3ef36cecc45c3f8 (diff) | |
download | linux-4743775c6de44b3c36e15bcab2dee928b6361a16.tar.xz |
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>
Diffstat (limited to 'scripts/coccinelle/free')
-rw-r--r-- | scripts/coccinelle/free/ifnullfree.cocci | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/coccinelle/free/ifnullfree.cocci b/scripts/coccinelle/free/ifnullfree.cocci index d4a072d..52bd235 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; |