coccinelle: ifnullfree: add vfree(), kvfree*() functions

Extend the list of free functions with kvfree(), kvfree_sensitive(),
vfree().

Signed-off-by: Denis Efremov <efremov@linux.com>
Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
This commit is contained in:
Denis Efremov 2020-09-02 07:40:59 +03:00 committed by Julia Lawall
parent a2fc3718bc
commit 5e0c074e5b

View File

@ -20,8 +20,14 @@ expression E;
- if (E != NULL)
(
kfree(E);
|
kvfree(E);
|
kfree_sensitive(E);
|
kvfree_sensitive(E, ...);
|
vfree(E);
|
debugfs_remove(E);
|
@ -42,9 +48,10 @@ position p;
@@
* if (E != NULL)
* \(kfree@p\|kfree_sensitive@p\|debugfs_remove@p\|debugfs_remove_recursive@p\|
* \(kfree@p\|kvfree@p\|kfree_sensitive@p\|kvfree_sensitive@p\|vfree@p\|
* debugfs_remove@p\|debugfs_remove_recursive@p\|
* usb_free_urb@p\|kmem_cache_destroy@p\|mempool_destroy@p\|
* dma_pool_destroy@p\)(E);
* dma_pool_destroy@p\)(E, ...);
@script:python depends on org@
p << r.p;