graphic: 0.735 device: 0.601 network: 0.510 semantic: 0.349 other: 0.291 performance: 0.278 vnc: 0.239 socket: 0.233 files: 0.170 PID: 0.154 KVM: 0.119 boot: 0.091 debug: 0.050 permissions: 0.030 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.