tests/inhpos.cocci

   1 // the point of this example is that if p doesn't get bound, then p1 can
   2 // be anything
   3
   4 @a@
   5 position p;
   6 @@
   7
   8 f@p(...)
   9
  10 @@
  11 position p1 != a.p;
  12 @@
  13
  14 - g@p1(...);