blob: cf0a0d882eb276024fb5ca3d3777191dbb7d8636 (
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
|
id = 2298
title = "Invariant result in opts-visitor.c"
state = "opened"
created_at = "2024-04-21T19:29:39.713Z"
closed_at = "n/a"
labels = []
url = "https://gitlab.com/qemu-project/qemu/-/issues/2298"
host-os = "n/a"
host-arch = "n/a"
qemu-version = "v8.0.5 and upper"
guest-os = "n/a"
guest-arch = "n/a"
description = """Expressions:
1) val2 <= INT64_MAX
2) INT64_MIN <= val2
in line [431](https://github.com/qemu/qemu/blob/62dbe54c24dbf77051bafe1039c31ddc8f37602d/qapi/opts-visitor.c#L431) are always true.
Seems like this checks are redundant.
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author A. Burke."""
reproduce = "n/a"
additional = "n/a"
|