[PATCH 1/5] arch/sparc64: Add missing pci_dev_put

[Julia Lawall <julia@diku.dk>]

From: Julia Lawall <julia@diku.dk>

There should be a pci_dev_put when breaking out of a loop that iterates
over calls to pci_get_device and similar functions.

This was fixed using the following semantic patch.

// <smpl>
@@
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 ...;
)
...}
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
---

diff -u -p a/arch/sparc64/kernel/isa.c b/arch/sparc64/kernel/isa.c
--- a/arch/sparc64/kernel/isa.c	2007-08-12 13:27:06.000000000 +0200
+++ b/arch/sparc64/kernel/isa.c	2007-11-19 08:06:48.000000000 +0100
@@ -155,6 +155,7 @@ void __init isa_init(void)
  		isa_br = kzalloc(sizeof(*isa_br), GFP_KERNEL);
  		if (!isa_br) {
  			printk(KERN_DEBUG "isa: cannot allocate sparc_isa_bridge");
+			pci_dev_put(pdev);
  			return;
  		}

@@ -168,6 +169,7 @@ void __init isa_init(void)
  			printk(KERN_DEBUG "isa: device registration error for %s!\n",
  			       dp->path_component_name);
  			kfree(isa_br);
+			pci_dev_put(pdev);
  			return;
  		}