diff options
Diffstat (limited to 'gitlab/issues/target_missing/host_missing/accel_missing/2031.toml')
| -rw-r--r-- | gitlab/issues/target_missing/host_missing/accel_missing/2031.toml | 25 |
1 files changed, 0 insertions, 25 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 deleted file mode 100644 index bea881785..000000000 --- a/gitlab/issues/target_missing/host_missing/accel_missing/2031.toml +++ /dev/null @@ -1,25 +0,0 @@ -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" |