* [PATCH v2] drivers/iommu/intel-iommu.c: add missing free_domain_mem
@ 2012-07-24 14:18 ` Julia Lawall
0 siblings, 0 replies; 5+ messages in thread
From: Julia Lawall @ 2012-07-24 14:18 UTC (permalink / raw)
To: David Woodhouse; +Cc: kernel-janitors, iommu, linux-kernel
From: Julia Lawall <Julia.Lawall@lip6.fr>
Add missing free_domain_mem on failure path after alloc_domain.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@km exists@
local idexpression e;
expression e1,e2,e3;
type T,T1;
identifier f;
@@
* e = alloc_domain(...)
... when any
when != e = e1
when != e1 = (T)e
when != e1(...,(T)e,...)
when != &e->f
if(...) { ... when != e2(...,(T1)e,...)
when != e3 = e
when forall
(
return <+...e...+>;
|
* return ...;
) }
// </smpl>
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
---
Email address corrected.
drivers/iommu/intel-iommu.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/drivers/iommu/intel-iommu.c b/drivers/iommu/intel-iommu.c
index 7469b53..0204b62 100644
--- a/drivers/iommu/intel-iommu.c
+++ b/drivers/iommu/intel-iommu.c
@@ -2008,6 +2008,7 @@ static struct dmar_domain *get_domain_for_dev(struct pci_dev *pdev, int gaw)
if (!drhd) {
printk(KERN_ERR "IOMMU: can't find DMAR for device %s\n",
pci_name(pdev));
+ free_domain_mem(domain);
return NULL;
}
iommu = drhd->iommu;
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [PATCH v2] drivers/iommu/intel-iommu.c: add missing free_domain_mem
@ 2012-07-24 14:18 ` Julia Lawall
0 siblings, 0 replies; 5+ messages in thread
From: Julia Lawall @ 2012-07-24 14:18 UTC (permalink / raw)
To: David Woodhouse; +Cc: kernel-janitors, iommu, linux-kernel
From: Julia Lawall <Julia.Lawall@lip6.fr>
Add missing free_domain_mem on failure path after alloc_domain.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@km exists@
local idexpression e;
expression e1,e2,e3;
type T,T1;
identifier f;
@@
* e = alloc_domain(...)
... when any
when != e = e1
when != e1 = (T)e
when != e1(...,(T)e,...)
when != &e->f
if(...) { ... when != e2(...,(T1)e,...)
when != e3 = e
when forall
(
return <+...e...+>;
|
* return ...;
) }
// </smpl>
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
---
Email address corrected.
drivers/iommu/intel-iommu.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/drivers/iommu/intel-iommu.c b/drivers/iommu/intel-iommu.c
index 7469b53..0204b62 100644
--- a/drivers/iommu/intel-iommu.c
+++ b/drivers/iommu/intel-iommu.c
@@ -2008,6 +2008,7 @@ static struct dmar_domain *get_domain_for_dev(struct pci_dev *pdev, int gaw)
if (!drhd) {
printk(KERN_ERR "IOMMU: can't find DMAR for device %s\n",
pci_name(pdev));
+ free_domain_mem(domain);
return NULL;
}
iommu = drhd->iommu;
^ permalink raw reply related [flat|nested] 5+ messages in thread
* Re: [PATCH v2] drivers/iommu/intel-iommu.c: add missing free_domain_mem
@ 2012-08-03 14:06 ` Joerg Roedel
0 siblings, 0 replies; 5+ messages in thread
From: Joerg Roedel @ 2012-08-03 14:06 UTC (permalink / raw)
To: Julia Lawall; +Cc: David Woodhouse, iommu, kernel-janitors, linux-kernel
On Tue, Jul 24, 2012 at 04:18:14PM +0200, Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall@lip6.fr>
>
> Add missing free_domain_mem on failure path after alloc_domain.
>
> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Applied to iommu/fixes, thanks Julia.
--
AMD Operating System Research Center
Advanced Micro Devices GmbH Einsteinring 24 85609 Dornach
General Managers: Alberto Bozzo
Registration: Dornach, Landkr. Muenchen; Registerger. Muenchen, HRB Nr. 43632
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH v2] drivers/iommu/intel-iommu.c: add missing free_domain_mem
@ 2012-08-03 14:06 ` Joerg Roedel
0 siblings, 0 replies; 5+ messages in thread
From: Joerg Roedel @ 2012-08-03 14:06 UTC (permalink / raw)
To: Julia Lawall
Cc: kernel-janitors-u79uwXL29TY76Z2rM5mHXA,
iommu-cunTk1MwBs9QetFLy7KEm3xJsTq8ys+cHZ5vskTnxNA,
David Woodhouse, linux-kernel-u79uwXL29TY76Z2rM5mHXA
On Tue, Jul 24, 2012 at 04:18:14PM +0200, Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall@lip6.fr>
>
> Add missing free_domain_mem on failure path after alloc_domain.
>
> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Applied to iommu/fixes, thanks Julia.
--
AMD Operating System Research Center
Advanced Micro Devices GmbH Einsteinring 24 85609 Dornach
General Managers: Alberto Bozzo
Registration: Dornach, Landkr. Muenchen; Registerger. Muenchen, HRB Nr. 43632
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH v2] drivers/iommu/intel-iommu.c: add missing free_domain_mem
@ 2012-08-03 14:06 ` Joerg Roedel
0 siblings, 0 replies; 5+ messages in thread
From: Joerg Roedel @ 2012-08-03 14:06 UTC (permalink / raw)
To: Julia Lawall
Cc: kernel-janitors-u79uwXL29TY76Z2rM5mHXA,
iommu-cunTk1MwBs9QetFLy7KEm3xJsTq8ys+cHZ5vskTnxNA,
David Woodhouse, linux-kernel-u79uwXL29TY76Z2rM5mHXA
On Tue, Jul 24, 2012 at 04:18:14PM +0200, Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall-L2FTfq7BK8M@public.gmane.org>
>
> Add missing free_domain_mem on failure path after alloc_domain.
>
> Signed-off-by: Julia Lawall <Julia.Lawall-L2FTfq7BK8M@public.gmane.org>
Applied to iommu/fixes, thanks Julia.
--
AMD Operating System Research Center
Advanced Micro Devices GmbH Einsteinring 24 85609 Dornach
General Managers: Alberto Bozzo
Registration: Dornach, Landkr. Muenchen; Registerger. Muenchen, HRB Nr. 43632
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2012-08-03 14:08 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-07-24 14:18 [PATCH v2] drivers/iommu/intel-iommu.c: add missing free_domain_mem Julia Lawall
2012-07-24 14:18 ` Julia Lawall
2012-08-03 14:06 ` Joerg Roedel
2012-08-03 14:06 ` Joerg Roedel
2012-08-03 14:06 ` Joerg Roedel
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.