1 files changed, 25 insertions, 0 deletions

diff --git a/gitlab/issues/target_missing/host_missing/accel_missing/2031.toml b/gitlab/issues/target_missing/host_missing/accel_missing/2031.toml
new file mode 100644
index 00000000..bea88178
--- /dev/null
+++ b/gitlab/issues/target_missing/host_missing/accel_missing/2031.toml
@@ -0,0 +1,25 @@
+id = 2031
+title = "Redundant comparison"
+state = "closed"
+created_at = "2023-12-11T13:38:17.912Z"
+closed_at = "2023-12-11T15:49:31.515Z"
+labels = []
+url = "https://gitlab.com/qemu-project/qemu/-/issues/2031"
+host-os = "n/a"
+host-arch = "n/a"
+qemu-version = "n/a"
+guest-os = "n/a"
+guest-arch = "n/a"
+description = """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."""
+reproduce = "n/a"
+additional = "n/a"