tests/bad_assign.cocci

   1 @@
   2 expression x;
   3 expression E;
   4 constant c;
   5 statement S1, S2;
   6 @@
   7
   8 + x = E;
   9 + NOTHING_XXX;
  10   if (
  11 -     c == (x = E)
  12 +     x == c
  13      )
  14   S1 else S2
  15
  16 @@
  17 expression x;
  18 expression E;
  19 constant c;
  20 statement S1, S2;
  21 @@
  22
  23 + x = E;
  24 + NOTHING_XXX;
  25   if (
  26 -     (x = E) == c
  27 +     x == c
  28      )
  29   S1 else S2
  30
  31 @@
  32 expression x;
  33 expression E;
  34 constant c;
  35 statement S1, S2;
  36 @@
  37
  38 + x = E;
  39 + NOTHING_XXX;
  40   if (
  41 -     c != (x = E)
  42 +     x != c
  43      )
  44   S1 else S2
  45
  46 @@
  47 expression x;
  48 expression E;
  49 constant c;
  50 statement S1, S2;
  51 @@
  52
  53 + x = E;
  54 + NOTHING_XXX;
  55   if (
  56 -     (x = E) != c
  57 +     x != c
  58      )
  59   S1 else S2
  60
  61 @@
  62 expression x;
  63 expression E, E1;
  64 statement S1, S2;
  65 @@
  66
  67 + x = E;
  68 + NOTHING_XXX;
  69   if (
  70 -     E1 == (x = E)
  71 +     E1 == x
  72      )
  73   S1 else S2
  74
  75 @@
  76 expression x;
  77 expression E, E1;
  78 statement S1, S2;
  79 @@
  80
  81 + x = E;
  82 + NOTHING_XXX;
  83   if (
  84 -     (x = E) == E1
  85 +     x == E1
  86      )
  87   S1 else S2
  88
  89 @@
  90 expression x;
  91 expression E,E1;
  92 statement S1, S2;
  93 @@
  94
  95 + x = E;
  96 + NOTHING_XXX;
  97   if (
  98 -     E1 != (x = E)
  99 +     E1 != x
 100      )
 101   S1 else S2
 102
 103 @@
 104 expression x;
 105 expression E,E1;
 106 statement S1, S2;
 107 @@
 108
 109 + x = E;
 110 + NOTHING_XXX;
 111   if (
 112 -     (x = E) != E1
 113 +     x != E1
 114      )
 115   S1 else S2
 116
 117 @@
 118 expression x;
 119 expression E;
 120 statement S1, S2;
 121 @@
 122
 123 + x = E;
 124 + NOTHING_XXX;
 125   if (
 126 -     x = E
 127 +     x
 128      )
 129   S1 else S2
 130
 131 @@
 132 expression x;
 133 expression E;
 134 statement S1, S2;
 135 @@
 136
 137 + x = E;
 138 + NOTHING_XXX;
 139   if (!
 140 -     (x = E)
 141 +     x
 142      )
 143   S1 else S2
 144
 145 @@
 146 @@
 147
 148 - NOTHING_XXX;