blob: 42cb4285de0ee9c4eb2a581d6a6d028cb8c6e45d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Redundant comparison
Description of problem:
The result of the function `qdev_get_hotplug_handler` is always __NULL__. That is why the comparison in the line №502 is redundant:
https://gitlab.com/qemu-project/qemu/-/blob/master/hw/core/qdev.c#L501
This code will never be executed:
https://gitlab.com/qemu-project/qemu/-/blob/master/hw/core/qdev.c#L502-L507
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author A. Voronin.
|