coccinelle/null/deref_null.cocci

1 // SPDX-License-Identifier: GPL-2.0-only
11 // Comments: -I ... -all_includes can give more complete results
23 position p1;
26  (E != NULL && ...) ? <+...E->f@p1...+> : ...
35   (E != NULL) && ... && <+...E->f@p2...+>
37   (E == NULL) || ... || <+...E->f@p2...+>
39  sizeof(<+...E->f@p2...+>)
45 position p1;
48 if@p1 ((E == NULL && ...) || ...) S1 else S2
59 position p!={pr1.p1,pr2.p2};
60 position ifm.p1;
63 if@p1 ((E == NULL && ...) || ...)
79  --subE
81  subE--
85  E->f@p // bad use
94 p1 << ifm.p1;
104 p1 << ifm.p1;
120 position p!={pr1.p1,pr2.p2};
121 position ifm.p1;
124 if@p1 ((E == NULL && ...) || ...)
140  --subE
142  subE--
146  E->f@p // bad use
154 p1 << ifm.p1;
163 p1 << ifm.p1;
180 position p!={pr1.p1,pr2.p2};
181 position ifm.p1;
184 if@p1 ((E == NULL && ...) || ...)
200  --subE
202  subE--
206 * E->f@p // bad use
219 position p1;
222  (E != NULL && ...) ? <+...E->f@p1...+> : ...
231   (E != NULL) && ... && <+...E->f@p2...+>
233   (E == NULL) || ... || <+...E->f@p2...+>
235  sizeof(<+...E->f@p2...+>)
241 position p1;
244 if@p1 ((E == NULL && ...) || ...) S1 else S2
253 position p!={pr11.p1,pr12.p2};
254 position ifm1.p1;
257 if@p1 ((E == NULL && ...) || ...)
273  --subE
275  subE--
279 * E->f@p // bad use