[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20231219100219.17332-1-alsp705@gmail.com>
Date: Tue, 19 Dec 2023 13:02:19 +0300
From: Alexander Sapozhnikov <alsp705@...il.com>
To: Joerg Roedel <joro@...tes.org>,
Suravee Suthikulpanit <suravee.suthikulpanit@....com>,
ToWill Deacon <will@...nel.org>
Cc: Alexander Sapozhnikov <alsp705@...il.com>,
iommu@...ts.linux.dev,
linux-kernel@...r.kernel.org,
lvc-project@...uxtesting.org
Subject: [PATCH] iommu: amd: NULL value may be dereferenced
Pointer 'dom' which was dereferenced at iommu.c:1993
is compared to NULL value at iommu.c:1998.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Alexander Sapozhnikov <alsp705@...il.com>
---
drivers/iommu/amd/iommu.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/drivers/iommu/amd/iommu.c b/drivers/iommu/amd/iommu.c
index a0924144bac8..64a88e67be9c 100644
--- a/drivers/iommu/amd/iommu.c
+++ b/drivers/iommu/amd/iommu.c
@@ -1985,6 +1985,9 @@ static void amd_iommu_domain_free(struct iommu_domain *dom)
{
struct protection_domain *domain;
+ if (!dom)
+ return;
+
domain = to_pdomain(dom);
if (domain->dev_cnt > 0)
--
2.40.1
Powered by blists - more mailing lists