tests/pci_noputm.cocci

   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;
  42 iterator name for_each_pci_dev;
  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;