1 files changed, 28 insertions, 0 deletions
diff --git a/results/classifier/108/other/2031 b/results/classifier/108/other/2031
new file mode 100644
index 000000000..df15a30e3
--- /dev/null
+++ b/results/classifier/108/other/2031
@@ -0,0 +1,28 @@
+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.