1 // SPDX-License-Identifier: GPL-2.0-only
2 /// The address of a variable or field is likely always to be non-zero.
3 ///
4 // Confidence: High
5 // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
6 // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
7 // URL: https://coccinelle.gitlabpages.inria.fr/website
8 // Comments:
9 // Options: --no-includes --include-headers
10
11 virtual org
12 virtual report
13 virtual context
14
15 @r@
16 expression x;
17 position p;
18 @@
19
20 *\(&x@p == NULL \| &x@p != NULL\)
21
22 @script:python depends on org@
23 p << r.p;
24 @@
25
26 cocci.print_main("test of a variable/field address",p)
27
28 @script:python depends on report@
29 p << r.p;
30 @@
31
32 msg = "ERROR: test of a variable/field address"
33 coccilib.report.print_report(p[0],msg)
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.