coccinelle/null/badzero.cocci

2 /// Compare pointer-typed values to NULL rather than 0
14 // Requires: 1.0.0
27 expression *E;
32   (E = f(...)) ==
33 - 0
36   (E = f(...)) !=
37 - 0
40 - 0
42   == (E = f(...))
44 - 0
46   != (E = f(...))
51 expression *E;
57   (E = f(...)) ==
58 * 0@p
60   (E = f(...)) !=
61 * 0@p
63 * 0@p
64   == (E = f(...))
66 * 0@p
67   != (E = f(...))
74 coccilib.org.print_todo(p[0], "WARNING comparing pointer to 0")
80 coccilib.report.print_report(p[0], "WARNING comparing pointer to 0")
86 expression E,E1;
89  E = f(...)
90  ... when != E = E1
91  !E
101 expression *E;
105 E = f(...)
107 (E == 0
108 |E != 0
109 |0 == E
110 |0 != E
120 // This rule may lead to inconsistent path problems, if E is defined in two
123 expression *E;
128 E = f(...)
131 - E == 0
132 + !E
134 - E != 0
135 + E
137 - 0 == E
138 + !E
140 - 0 != E
141 + E
144 ?E = E1
147 expression *E;
154 E = f(...)
157 * E == 0@p1
159 * E != 0@p2
161 * 0@p1 == E
163 * 0@p1 != E
166 ?E = E1
172 coccilib.org.print_todo(p[0], "WARNING comparing pointer to 0, suggest !E")
178 coccilib.org.print_todo(p[0], "WARNING comparing pointer to 0")
184 coccilib.report.print_report(p[0], "WARNING comparing pointer to 0, suggest !E")
190 coccilib.report.print_report(p[0], "WARNING comparing pointer to 0")
193 expression *E;
197   E ==
198 - 0
201   E !=
202 - 0
205 - 0
207   == E
209 - 0
211   != E
215 expression *E;
220 * E == 0@p
222 * E != 0@p
224 * 0@p == E
226 * 0@p != E
233 coccilib.org.print_todo(p[0], "WARNING comparing pointer to 0")
239 coccilib.report.print_report(p[0], "WARNING comparing pointer to 0")