scripts/coccinelle/misc/test_addr.cocci

   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)