tests/bad_zero.cocci

   1 // to be used without isomorphisms
   2
   3 @@
   4 expression *E;
   5 @@
   6
   7   E ==
   8 - 0
   9 + NULL
  10
  11 @@
  12 expression *E;
  13 @@
  14
  15 - 0
  16 + NULL
  17   == E
  18
  19 @@
  20 expression *E;
  21 @@
  22
  23   E !=
  24 - 0
  25 + NULL
  26
  27 @@
  28 expression *E;
  29 @@
  30
  31 - 0
  32 + NULL
  33   != E
  34
  35 // assignments
  36
  37 @@
  38 expression *E;
  39 expression E1;
  40 @@
  41
  42   (E = E1) ==
  43 - 0
  44 + NULL
  45
  46 @@
  47 expression *E;
  48 expression E1;
  49 @@
  50
  51 - 0
  52 + NULL
  53   == (E = E1)
  54
  55 @@
  56 expression *E;
  57 expression E1;
  58 @@
  59
  60   (E = E1) !=
  61 - 0
  62 + NULL
  63
  64 @@
  65 expression *E;
  66 expression E1;
  67 @@
  68
  69 - 0
  70 + NULL
  71   != (E = E1)