diff options
Diffstat (limited to 'scripts/coccinelle/free/devm_free.cocci')
| -rw-r--r-- | scripts/coccinelle/free/devm_free.cocci | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/scripts/coccinelle/free/devm_free.cocci b/scripts/coccinelle/free/devm_free.cocci index a5af9e335190..0880729badbc 100644 --- a/scripts/coccinelle/free/devm_free.cocci +++ b/scripts/coccinelle/free/devm_free.cocci @@ -3,7 +3,7 @@ /// functions. Values allocated using the devm_functions are freed when /// the device is detached, and thus the use of the standard freeing /// function would cause a double free. -/// See Documentation/driver-model/devres.txt for more information. +/// See Documentation/driver-api/driver-model/devres.rst for more information. /// /// A difficulty of detecting this problem is that the standard freeing /// function might be called from a different function than the one @@ -17,7 +17,7 @@ // Confidence: Moderate // Copyright: (C) 2011 Julia Lawall, INRIA/LIP6. // Copyright: (C) 2011 Gilles Muller, INRIA/LiP6. -// URL: http://coccinelle.lip6.fr/ +// URL: https://coccinelle.gitlabpages.inria.fr/website // Comments: // Options: --no-includes --include-headers @@ -52,8 +52,6 @@ expression x; | x = devm_ioremap(...) | - x = devm_ioremap_nocache(...) -| x = devm_ioport_map(...) ) @@ -85,17 +83,13 @@ position p; | x = ioremap(...) | - x = ioremap_nocache(...) -| x = ioport_map(...) ) ... ( kfree@p(x) | - kzfree@p(x) -| - __krealloc@p(x, ...) + kfree_sensitive@p(x) | krealloc@p(x, ...) | @@ -118,9 +112,7 @@ position p != safe.p; ( * kfree@p(x) | -* kzfree@p(x) -| -* __krealloc@p(x, ...) +* kfree_sensitive@p(x) | * krealloc@p(x, ...) | |