1 files changed, 27 insertions, 0 deletions
diff --git a/results/classifier/108/none/2298 b/results/classifier/108/none/2298
new file mode 100644
index 000000000..894b83b22
--- /dev/null
+++ b/results/classifier/108/none/2298
@@ -0,0 +1,27 @@
+graphic: 0.543
+semantic: 0.444
+device: 0.213
+vnc: 0.193
+socket: 0.168
+network: 0.139
+performance: 0.126
+boot: 0.087
+files: 0.085
+KVM: 0.052
+permissions: 0.046
+debug: 0.033
+other: 0.029
+PID: 0.027
+
+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.