tests/double_assign.cocci

   1 @s@
   2 identifier i;
   3 position p0;
   4 @@
   5
   6 i =@p0 ...;
   7
   8 @r exists@
   9 identifier s.i;
  10 position s.p0,p;
  11 @@
  12
  13 i =@p0 ...;
  14 ...
  15 i =@p <+... i ...+>;
  16
  17 @@
  18 identifier s.i;
  19 position s.p0;
  20 position p != r.p;
  21 @@
  22
  23 - i =@p0 ...;
  24 ... when strict
  25   i =@p ...;