1*4882a593Smuzhiyun// SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun/// The address of a variable or field is likely always to be non-zero. 3*4882a593Smuzhiyun/// 4*4882a593Smuzhiyun// Confidence: High 5*4882a593Smuzhiyun// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. 6*4882a593Smuzhiyun// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. 7*4882a593Smuzhiyun// URL: http://coccinelle.lip6.fr/ 8*4882a593Smuzhiyun// Comments: 9*4882a593Smuzhiyun// Options: --no-includes --include-headers 10*4882a593Smuzhiyun 11*4882a593Smuzhiyunvirtual org 12*4882a593Smuzhiyunvirtual report 13*4882a593Smuzhiyunvirtual context 14*4882a593Smuzhiyun 15*4882a593Smuzhiyun@r@ 16*4882a593Smuzhiyunexpression x; 17*4882a593Smuzhiyunstatement S1,S2; 18*4882a593Smuzhiyunposition p; 19*4882a593Smuzhiyun@@ 20*4882a593Smuzhiyun 21*4882a593Smuzhiyun*if@p (&x) 22*4882a593Smuzhiyun S1 else S2 23*4882a593Smuzhiyun 24*4882a593Smuzhiyun@script:python depends on org@ 25*4882a593Smuzhiyunp << r.p; 26*4882a593Smuzhiyun@@ 27*4882a593Smuzhiyun 28*4882a593Smuzhiyuncocci.print_main("test of a variable/field address",p) 29*4882a593Smuzhiyun 30*4882a593Smuzhiyun@script:python depends on report@ 31*4882a593Smuzhiyunp << r.p; 32*4882a593Smuzhiyun@@ 33*4882a593Smuzhiyun 34*4882a593Smuzhiyunmsg = "ERROR: test of a variable/field address" 35*4882a593Smuzhiyuncoccilib.report.print_report(p[0],msg) 36