test/cocci/bad_zero.cocci

   1 // Copyright: (C) 2009 Gilles Muller, Julia Lawall, INRIA, DIKU.  GPLv2.
   2 //
   3 // -no_includes -include_headers
   4 //
   5
   6 @ disable is_zero @
   7 expression *E;
   8 @@
   9
  10   E ==
  11 - 0
  12 + NULL
  13
  14 @ disable is_zero @
  15 expression *E;
  16 @@
  17
  18 - 0
  19 + NULL
  20   == E
  21
  22 @ disable isnt_zero @
  23 expression *E;
  24 @@
  25
  26   E !=
  27 - 0
  28 + NULL
  29
  30 @ disable isnt_zero @
  31 expression *E;
  32 @@
  33
  34 - 0
  35 + NULL
  36   != E
  37
  38 @ disable is_zero @
  39 expression *E;
  40 @@
  41
  42   E =
  43 - 0
  44 + NULL