blob: c4860ba8dea929ee34cd1381fa62c756e7dd92a9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
graphic: 0.735
device: 0.601
network: 0.510
kernel: 0.353
semantic: 0.349
peripherals: 0.281
performance: 0.278
architecture: 0.265
ppc: 0.246
vnc: 0.239
socket: 0.233
files: 0.170
PID: 0.154
KVM: 0.119
i386: 0.114
hypervisor: 0.105
x86: 0.103
TCG: 0.098
boot: 0.091
VMM: 0.081
risc-v: 0.070
virtual: 0.053
debug: 0.050
arm: 0.047
mistranslation: 0.046
permissions: 0.030
register: 0.029
assembly: 0.024
user-level: 0.018
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.
|