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