blob: bea881785d3629716d254f5e5c3b717effe98da0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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"
|