tests/video1bis.cocci

   1 @@
   2 local function ioctlfn;
   3 identifier dev, cmd, arg;
   4 identifier v;
   5 type T;
   6 statement S1, S2;
   7 identifier fld;
   8 @@
   9
  10 -     if (copy_from_user(v,arg,sizeof(v)) != 0) S1 else {}