tests/badaw.cocci

   1 @loc@
   2 identifier f;
   3 position pl;
   4 @@
   5
   6   f@pl(...)
   7
   8 @probe forall@
   9 identifier E;
  10 identifier f,g;
  11 int ret;
  12 statement S;
  13 position loc.pl;
  14 @@
  15
  16   E = f@pl(...);
  17   ... when any
  18 (
  19   g(...,E,...);
  20 |
  21   return ret;
  22 )
  23
  24 @exists@
  25 identifier probe.f, probe.g;
  26 @@
  27
  28   f(...)
  29   ...
  30   g(...)