diff options
| author | Julia Lawall <Julia.Lawall@lip6.fr> | 2015-10-26 22:28:26 +0100 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2015-10-26 22:41:18 +0100 |
| commit | 4743775c6de44b3c36e15bcab2dee928b6361a16 (patch) | |
| tree | 5bf2da40ed2744dae5bee547edcbefbd9899d23c | |
| parent | ca047e715c638eacf58cb830c3ef36cecc45c3f8 (diff) | |
| download | op-kernel-dev-4743775c6de44b3c36e15bcab2dee928b6361a16.zip op-kernel-dev-4743775c6de44b3c36e15bcab2dee928b6361a16.tar.gz | |
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.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; |
