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

@@
type T;
identifier d;
expression e;
@@

T *d;
...
while ((d = \(pci_get_device\|pci_get_device_reverse\|pci_get_subsys\|pci_get_class\)(..., d)) != NULL)
 {... when != pci_dev_put(d)
      when != e = d
(
   return d;
|
+  pci_dev_put(d);
?  return ...;
)
...}

@@
identifier d;
type T;
expression e, e1;
@@

T *d;
...
while ((d = \(pci_get_device\|pci_get_device_reverse\|pci_get_subsys\|pci_get_class\)(..., d)) != NULL)
  {... when != pci_dev_put(d)
       when != e = d
+ pci_dev_put(d);
? break;
  ...}
... when != pci_dev_put(d)
    when != e1 = d
    when != return d;

@@
identifier d;
type T;
expression e;
iterator name for_each_pci_dev;
@@

T *d;
...
for_each_pci_dev(d)
  {... when != pci_dev_put(d)
       when != e = d
(
   return d;
|
+  pci_dev_put(d);
?  return ...;
)
...}

@@
identifier d;
type T;
expression e, e1;
@@

T *d;
...
for_each_pci_dev(d)
  {... when != pci_dev_put(d)
       when != e = d
+ pci_dev_put(d);
? break;
  ...}
... when != pci_dev_put(d)
    when != e1 = d
    when != return d;

@@
type T;
identifier d;
expression e;
@@

T *d;
...
for (d = \(pci_get_device\|pci_get_device_reverse\|pci_get_subsys\|pci_get_class\)(...); d != NULL; d = \(pci_get_device\|pci_get_device_reverse\|pci_get_subsys\|pci_get_class\)(...,d))
 {... when != pci_dev_put(d)
      when != e = d
(
   return d;
|
+  pci_dev_put(d);
?  return ...;
)
...}

@@
identifier d;
type T;
expression e, e1;
@@

T *d;
...
for (d = \(pci_get_device\|pci_get_device_reverse\|pci_get_subsys\|pci_get_class\)(...); d != NULL; d = \(pci_get_device\|pci_get_device_reverse\|pci_get_subsys\|pci_get_class\)(...,d))
  {... when != pci_dev_put(d)
       when != e = d
+ pci_dev_put(d);
? break;
  ...}
... when != pci_dev_put(d)
    when != e1 = d
    when != return d;
Commit	Line	Data
34e49164 C	1	@@
	2	type T;
	3	identifier d;
	4	expression e;
	5	@@
	6
	7	T *d;
	8	...
	9	while ((d = \(pci_get_device\\|pci_get_device_reverse\\|pci_get_subsys\\|pci_get_class\)(..., d)) != NULL)
	10	{... when != pci_dev_put(d)
	11	when != e = d
	12	(
	13	return d;
	14	\|
	15	+ pci_dev_put(d);
	16	? return ...;
	17	)
	18	...}
	19
	20	@@
	21	identifier d;
	22	type T;
	23	expression e, e1;
	24	@@
	25
	26	T *d;
	27	...
	28	while ((d = \(pci_get_device\\|pci_get_device_reverse\\|pci_get_subsys\\|pci_get_class\)(..., d)) != NULL)
	29	{... when != pci_dev_put(d)
	30	when != e = d
	31	+ pci_dev_put(d);
	32	? break;
	33	...}
	34	... when != pci_dev_put(d)
	35	when != e1 = d
	36	when != return d;
	37
	38	@@
	39	identifier d;
	40	type T;
	41	expression e;
faf9a90c	42	iterator name for_each_pci_dev;
34e49164 C	43	@@
	44
	45	T *d;
	46	...
	47	for_each_pci_dev(d)
	48	{... when != pci_dev_put(d)
	49	when != e = d
	50	(
	51	return d;
	52	\|
	53	+ pci_dev_put(d);
	54	? return ...;
	55	)
	56	...}
	57
	58	@@
	59	identifier d;
	60	type T;
	61	expression e, e1;
	62	@@
	63
	64	T *d;
	65	...
	66	for_each_pci_dev(d)
	67	{... when != pci_dev_put(d)
	68	when != e = d
	69	+ pci_dev_put(d);
	70	? break;
	71	...}
	72	... when != pci_dev_put(d)
	73	when != e1 = d
	74	when != return d;
	75
	76	@@
	77	type T;
	78	identifier d;
	79	expression e;
	80	@@
	81
	82	T *d;
	83	...
	84	for (d = \(pci_get_device\\|pci_get_device_reverse\\|pci_get_subsys\\|pci_get_class\)(...); d != NULL; d = \(pci_get_device\\|pci_get_device_reverse\\|pci_get_subsys\\|pci_get_class\)(...,d))
	85	{... when != pci_dev_put(d)
	86	when != e = d
	87	(
	88	return d;
	89	\|
	90	+ pci_dev_put(d);
	91	? return ...;
	92	)
	93	...}
	94
	95	@@
	96	identifier d;
	97	type T;
	98	expression e, e1;
	99	@@
	100
	101	T *d;
	102	...
	103	for (d = \(pci_get_device\\|pci_get_device_reverse\\|pci_get_subsys\\|pci_get_class\)(...); d != NULL; d = \(pci_get_device\\|pci_get_device_reverse\\|pci_get_subsys\\|pci_get_class\)(...,d))
	104	{... when != pci_dev_put(d)
	105	when != e = d
	106	+ pci_dev_put(d);
107	? break;
108	...}
109	... when != pci_dev_put(d)
110	when != e1 = d
111	when != return d;