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 kfree_sensitive(E); 25| 26 debugfs_remove(E); 27| 28 debugfs_remove_recursive(E); 29| 30 usb_free_urb(E); 31| 32 kmem_cache_destroy(E); 33| 34 mempool_destroy(E); 35| 36 dma_pool_destroy(E); 37) 38 39@r depends on context || report || org @ 40expression E; 41position p; 42@@ 43 44* if (E != NULL) 45* \(kfree@p\|kfree_sensitive@p\|debugfs_remove@p\|debugfs_remove_recursive@p\| 46* usb_free_urb@p\|kmem_cache_destroy@p\|mempool_destroy@p\| 47* dma_pool_destroy@p\)(E); 48 49@script:python depends on org@ 50p << r.p; 51@@ 52 53cocci.print_main("NULL check before that freeing function is not needed", p) 54 55@script:python depends on report@ 56p << r.p; 57@@ 58 59msg = "WARNING: NULL check before some freeing functions is not needed." 60coccilib.report.print_report(p[0], msg) 61