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: http://coccinelle.lip6.fr/ 8// Comments: 9// Options: --no-includes --include-headers 10 11virtual org 12virtual report 13virtual context 14 15@r@ 16expression x; 17statement S1,S2; 18position p; 19@@ 20 21*if@p (&x) 22 S1 else S2 23 24@script:python depends on org@ 25p << r.p; 26@@ 27 28cocci.print_main("test of a variable/field address",p) 29 30@script:python depends on report@ 31p << r.p; 32@@ 33 34msg = "ERROR: test of a variable/field address" 35coccilib.report.print_report(p[0],msg) 36