diff options
author | Julia Lawall <julia@diku.dk> | 2007-12-05 13:55:36 -0800 |
---|---|---|
committer | Dave Airlie <airlied@redhat.com> | 2008-02-05 14:33:33 +1000 |
commit | 91d361c279b66ce4d617d544641d5f70b27c401a (patch) | |
tree | 9991f26bf4f2cbccc3b7f2d7ea30b6fe593f92da /drivers/char/raw.c | |
parent | 62f29babbc60ab572d3cecda981931d3a66123d6 (diff) |
agp: remove unnecessary pci_dev_put
pci_get_class implicitly does a pci_dev_put on its second argument, so
pci_dev_put is only needed if there is a break out of the loop.
The semantic match detecting this problem is as follows:
// <smpl>
@@
expression dev;
expression E;
@@
* pci_dev_put(dev)
... when != dev = E
(
* pci_get_device(...,dev)
|
* pci_get_device_reverse(...,dev)
|
* pci_get_subsys(...,dev)
|
* pci_get_class(...,dev)
)
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Cc: Dave Jones <davej@codemonkey.org.uk>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Dave Airlie <airlied@linux.ie>
Diffstat (limited to 'drivers/char/raw.c')
0 files changed, 0 insertions, 0 deletions