blob: 4d49f718a3c39d24839f9d4a099179fb2e761b9f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
Invariant result in opts-visitor.c
Description of problem:
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.
|