From 4b927bc37359dec23f67d3427fc982945f24f404 Mon Sep 17 00:00:00 2001 From: Christian Krinitsin Date: Wed, 21 May 2025 21:21:26 +0200 Subject: add gitlab issues in toml format --- .../host_missing/accel_missing/2031.toml | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 gitlab/issues/target_missing/host_missing/accel_missing/2031.toml (limited to 'gitlab/issues/target_missing/host_missing/accel_missing/2031.toml') 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" -- cgit 1.4.1