diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-06-16 16:59:00 +0000 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-06-16 16:59:33 +0000 |
| commit | 9aba81d8eb048db908c94a3c40c25a5fde0caee6 (patch) | |
| tree | b765e7fb5e9a3c2143c68b0414e0055adb70e785 /results/classifier/118/none/2031 | |
| parent | b89a938452613061c0f1f23e710281cf5c83cb29 (diff) | |
| download | emulator-bug-study-9aba81d8eb048db908c94a3c40c25a5fde0caee6.tar.gz emulator-bug-study-9aba81d8eb048db908c94a3c40c25a5fde0caee6.zip | |
add 18th iteration of classifier
Diffstat (limited to 'results/classifier/118/none/2031')
| -rw-r--r-- | results/classifier/118/none/2031 | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/results/classifier/118/none/2031 b/results/classifier/118/none/2031 new file mode 100644 index 00000000..c4860ba8 --- /dev/null +++ b/results/classifier/118/none/2031 @@ -0,0 +1,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. |