coccinelle/null/badzero.cocci

1 /// Compare pointer-typed values to NULL rather than 0
6 //# using the option -all_includes and the option -I to specify an
16 // SPDX-License-Identifier:	GPL-2.0
29 expression *E;
34   (E = f(...)) ==
35 - 0
38   (E = f(...)) !=
39 - 0
42 - 0
44   == (E = f(...))
46 - 0
48   != (E = f(...))
53 expression *E;
59   (E = f(...)) ==
62   (E = f(...)) !=
66   == (E = f(...))
69   != (E = f(...))
88 expression E,E1;
91  E = f(...)
92  ... when != E = E1
93  !E
100 with Not_found -> Hashtbl.add negtable f ()
103 expression *E;
107 E = f(...)
109 (E == 0
110 |E != 0
111 |0 == E
112 |0 != E
120 with Not_found -> include_match false
122 // This rule may lead to inconsistent path problems, if E is defined in two
125 expression *E;
130 E = f(...)
133 - E == 0
134 + !E
136 - E != 0
137 + E
139 - 0 == E
140 + !E
142 - 0 != E
143 + E
146 ?E = E1
149 expression *E;
156 E = f(...)
159 * E == 0@p1
161 * E != 0@p2
163 * 0@p1 == E
165 * 0@p1 != E
168 ?E = E1
174 coccilib.org.print_todo(p[0], "WARNING comparing pointer to 0, suggest !E")
186 coccilib.report.print_report(p[0], "WARNING comparing pointer to 0, suggest !E")
195 expression *E;
199   E ==
200 - 0
203   E !=
204 - 0
207 - 0
209   == E
211 - 0
213   != E
217 expression *E;
222 * E == 0@p
224 * E != 0@p
226 * 0@p == E
228 * 0@p != E