scripts/coccinelle/misc/ifaddr.cocci

   1 /// the address of a variable or field is non-zero is likely always to bo
   2 /// non-zero
   3 ///
   4 // Confidence: High
   5 // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.  GPLv2.
   6 // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.  GPLv2.
   7 // URL: http://coccinelle.lip6.fr/
   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 statement S1,S2;
  18 position p;
  19 @@
  20
  21 *if@p (&x)
  22  S1 else S2
  23
  24 @script:python depends on org@
  25 p << r.p;
  26 @@
  27
  28 cocci.print_main("test of a variable/field address",p)
  29
  30 @script:python depends on report@
  31 p << r.p;
  32 @@
  33
  34 msg = "ERROR: test of a variable/field address"
  35 coccilib.report.print_report(p[0],msg)