1*eea0ef50SSascha Wildner/// the address of a variable or field is non-zero is likely always to be 2*eea0ef50SSascha Wildner/// non-zero 3*eea0ef50SSascha Wildner/// 4*eea0ef50SSascha Wildner// Confidence: High 5*eea0ef50SSascha Wildner// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. 6*eea0ef50SSascha Wildner// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. 7*eea0ef50SSascha Wildner// URL: http://coccinelle.lip6.fr/ 8*eea0ef50SSascha Wildner// Comments: 9*eea0ef50SSascha Wildner// Options: -no_includes -include_headers 10*eea0ef50SSascha Wildner 11*eea0ef50SSascha Wildnervirtual org 12*eea0ef50SSascha Wildnervirtual report 13*eea0ef50SSascha Wildnervirtual context 14*eea0ef50SSascha Wildner 15*eea0ef50SSascha Wildner@r@ 16*eea0ef50SSascha Wildnerexpression x; 17*eea0ef50SSascha Wildnerstatement S1,S2; 18*eea0ef50SSascha Wildnerposition p; 19*eea0ef50SSascha Wildner@@ 20*eea0ef50SSascha Wildner 21*eea0ef50SSascha Wildner*if@p (&x) 22*eea0ef50SSascha Wildner S1 else S2 23*eea0ef50SSascha Wildner 24*eea0ef50SSascha Wildner@script:python depends on org@ 25*eea0ef50SSascha Wildnerp << r.p; 26*eea0ef50SSascha Wildner@@ 27*eea0ef50SSascha Wildner 28*eea0ef50SSascha Wildnercocci.print_main("test of a variable/field address",p) 29*eea0ef50SSascha Wildner 30*eea0ef50SSascha Wildner@script:python depends on report@ 31*eea0ef50SSascha Wildnerp << r.p; 32*eea0ef50SSascha Wildner@@ 33*eea0ef50SSascha Wildner 34*eea0ef50SSascha Wildnermsg = "ERROR: test of a variable/field address" 35*eea0ef50SSascha Wildnercoccilib.report.print_report(p[0],msg) 36