diff options
| author | Vladislav Efanov <VEfanov@ispras.ru> | 2023-05-17 15:50:25 +0300 |
|---|---|---|
| committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2023-05-31 19:03:39 +0100 |
| commit | 6bea9ea6bb21ccee2aad0aa2a845499e0aa2f7f9 (patch) | |
| tree | 1c6a24ece773cb3dbf35ee5ed6d2b56706d40905 /fs/kernfs | |
| parent | 54aa5b6044f89af046bcb7a9d0ca6408c0ebdd1f (diff) | |
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.
Signed-off-by: Vladislav Efanov <VEfanov@ispras.ru>
Acked-by: William Breathitt Gray <william.gray@linaro.org>
Link: https://lore.kernel.org/r/20230517125025.434005-1-VEfanov@ispras.ru
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'fs/kernfs')
0 files changed, 0 insertions, 0 deletions