0001 // SPDX-License-Identifier: GPL-2.0-only
0002 /// NULL check before some freeing functions is not needed.
0003 ///
0004 /// Based on checkpatch warning
0005 /// "kfree(NULL) is safe this check is probably not required"
0006 /// and kfreeaddr.cocci by Julia Lawall.
0007 ///
0008 // Copyright: (C) 2014 Fabian Frederick.
0009 // Comments: -
0010 // Options: --no-includes --include-headers
0011
0012 virtual patch
0013 virtual org
0014 virtual report
0015 virtual context
0016
0017 @r2 depends on patch@
0018 expression E;
0019 @@
0020 - if (E != NULL)
0021 (
0022 kfree(E);
0023 |
0024 kvfree(E);
0025 |
0026 kfree_sensitive(E);
0027 |
0028 kvfree_sensitive(E, ...);
0029 |
0030 vfree(E);
0031 |
0032 debugfs_remove(E);
0033 |
0034 debugfs_remove_recursive(E);
0035 |
0036 usb_free_urb(E);
0037 |
0038 kmem_cache_destroy(E);
0039 |
0040 mempool_destroy(E);
0041 |
0042 dma_pool_destroy(E);
0043 )
0044
0045 @r depends on context || report || org @
0046 expression E;
0047 position p;
0048 @@
0049
0050 * if (E != NULL)
0051 * \(kfree@p\|kvfree@p\|kfree_sensitive@p\|kvfree_sensitive@p\|vfree@p\|
0052 * debugfs_remove@p\|debugfs_remove_recursive@p\|
0053 * usb_free_urb@p\|kmem_cache_destroy@p\|mempool_destroy@p\|
0054 * dma_pool_destroy@p\)(E, ...);
0055
0056 @script:python depends on org@
0057 p << r.p;
0058 @@
0059
0060 cocci.print_main("NULL check before that freeing function is not needed", p)
0061
0062 @script:python depends on report@
0063 p << r.p;
0064 @@
0065
0066 msg = "WARNING: NULL check before some freeing functions is not needed."
0067 coccilib.report.print_report(p[0], msg)
