[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20230517125025.434005-1-VEfanov@ispras.ru>
Date: Wed, 17 May 2023 15:50:25 +0300
From: Vladislav Efanov <VEfanov@...ras.ru>
To: William Breathitt Gray <william.gray@...aro.org>
Cc: Vladislav Efanov <VEfanov@...ras.ru>,
Greg Kroah-Hartman <gregkh@...uxfoundation.org>,
"Rafael J. Wysocki" <rafael@...nel.org>,
Rene Herman <rene.herman@...access.nl>,
linux-kernel@...r.kernel.org, lvc-project@...uxtesting.org
Subject: [PATCH] isa: Remove unnecessary checks
The isa_dev->dev.platform_data is initialized with incoming
parameter isa_driver. After it isa_dev->dev.platform_data is
checked for NULL, but incoming parameter isa_driver is not
NULL since it is dereferenced many times before this check.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Fixes: a5117ba7da37 ("[PATCH] Driver model: add ISA bus")
Signed-off-by: Vladislav Efanov <VEfanov@...ras.ru>
---
drivers/base/isa.c | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/drivers/base/isa.c b/drivers/base/isa.c
index 55e3ee2da98f..675ad3139224 100644
--- a/drivers/base/isa.c
+++ b/drivers/base/isa.c
@@ -149,11 +149,8 @@ int isa_register_driver(struct isa_driver *isa_driver, unsigned int ndev)
break;
}
- if (isa_dev->dev.platform_data) {
- isa_dev->next = isa_driver->devices;
- isa_driver->devices = &isa_dev->dev;
- } else
- device_unregister(&isa_dev->dev);
+ isa_dev->next = isa_driver->devices;
+ isa_driver->devices = &isa_dev->dev;
}
if (!error && !isa_driver->devices)
--
2.34.1
Powered by blists - more mailing lists