tests/type_infer.cocci

   1 @ disable all @
   2 expression *xx;
   3 @@
   4
   5 - foo(xx);
   6
   7 @ disable all @
   8 type T1;
   9 identifier x;
  10 expression E1;
  11 @@
  12
  13 - T1 x = kmalloc(E1);
  14   ...
  15 - memset(E1);
  16