tests/testifdef.cocci

   1 @exists@
   2 local idexpression x;
   3 statement S;
   4 constant C;
   5 @@
   6
   7 * x = kmalloc(...)
   8 ...
   9 if (x == NULL) S
  10 ... when != x
  11     when != if (...) { <+...x...+> }
  12 * return \(-C\|NULL\);