tests/bad_iso_example.cocci

   1 @r@
   2 expression E,E1;
   3 statement S1,S2;
   4 @@
   5
   6 + E = E1;
   7 if (
   8 -   !(E = E1)
   9 +   E
  10    )
  11 S1 else S2
  12
  13 // @@
  14 // expression E,E1;
  15 // statement S1,S2;
  16 // @@
  17
  18 // + E = E1;
  19 // if (
  20 // -   E = E1
  21 // +   E
  22 //    )
  23 // S1 else S2