diff options
Diffstat (limited to 'results/classifier/deepseek-2-tmp/output/performance/2298')
| -rw-r--r-- | results/classifier/deepseek-2-tmp/output/performance/2298 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/results/classifier/deepseek-2-tmp/output/performance/2298 b/results/classifier/deepseek-2-tmp/output/performance/2298 deleted file mode 100644 index a76928ef5..000000000 --- a/results/classifier/deepseek-2-tmp/output/performance/2298 +++ /dev/null @@ -1,13 +0,0 @@ - -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. |