1// SPDX-License-Identifier: GPL-2.0-only 2/// NULL check before some freeing functions is not needed. 3/// 4/// Based on checkpatch warning 5/// "kfree(NULL) is safe this check is probably not required" 6/// and kfreeaddr.cocci by Julia Lawall. 7/// 8// Copyright: (C) 2014 Fabian Frederick. 9// Comments: - 10// Options: --no-includes --include-headers 11 12virtual patch 13virtual org 14virtual report 15virtual context 16 17@r2 depends on patch@ 18expression E; 19@@ 20- if (E != NULL) 21( 22 kfree(E); 23| 24 kvfree(E); 25| 26 kfree_sensitive(E); 27| 28 kvfree_sensitive(E, ...); 29| 30 vfree(E); 31| 32 debugfs_remove(E); 33| 34 debugfs_remove_recursive(E); 35| 36 usb_free_urb(E); 37| 38 kmem_cache_destroy(E); 39| 40 mempool_destroy(E); 41| 42 dma_pool_destroy(E); 43) 44 45@r depends on context || report || org @ 46expression E; 47position p; 48@@ 49 50* if (E != NULL) 51* \(kfree@p\|kvfree@p\|kfree_sensitive@p\|kvfree_sensitive@p\|vfree@p\| 52* debugfs_remove@p\|debugfs_remove_recursive@p\| 53* usb_free_urb@p\|kmem_cache_destroy@p\|mempool_destroy@p\| 54* dma_pool_destroy@p\)(E, ...); 55 56@script:python depends on org@ 57p << r.p; 58@@ 59 60cocci.print_main("NULL check before that freeing function is not needed", p) 61 62@script:python depends on report@ 63p << r.p; 64@@ 65 66msg = "WARNING: NULL check before some freeing functions is not needed." 67coccilib.report.print_report(p[0], msg) 68