Invariant result in opts-visitor.c
Host environment
- QEMU version: v8.0.5 and upper
Description of problem
Expressions:
- val2 <= INT64_MAX
- INT64_MIN <= val2 in line 431 are always true.
Seems like this checks are redundant.
Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.
Author A. Burke.