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 000000000..c4860ba8d
--- /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.