[bpt/coccinelle.git] / tests / video.cocci

@@
local function ioctlfn;
identifier dev, cmd, arg;
//fresh identifier i, f;
identifier v;
type T;
identifier fld;
expression E1, E2;
@@

  ioctlfn(
-       struct video_device *dev,
+       struct inode *i, struct file *f,
        unsigned int cmd, void *arg) {
    <...
-     T v;
+     T *v;
      ...
-     if (copy_from_user(&v,arg,sizeof(v)) != 0) return E1;
      <...
-     v.fld
+     v->fld
      ...>
?-    if (copy_to_user(arg,&v,sizeof(v))) return E2;
    ...>
  }
Commit	Line	Data
34e49164 C	1	@@
	2	local function ioctlfn;
	3	identifier dev, cmd, arg;
	4	//fresh identifier i, f;
	5	identifier v;
	6	type T;
	7	identifier fld;
faf9a90c	8	expression E1, E2;
34e49164 C	9	@@
	10
	11	ioctlfn(
	12	- struct video_device *dev,
	13	+ struct inode i, struct file f,
	14	unsigned int cmd, void *arg) {
	15	<...
	16	- T v;
	17	+ T *v;
	18	...
	19	- if (copy_from_user(&v,arg,sizeof(v)) != 0) return E1;
	20	<...
	21	- v.fld
	22	+ v->fld
	23	...>
	24	?- if (copy_to_user(arg,&v,sizeof(v))) return E2;
	25	...>
	26	}