PR feedback

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Oct 25, 2024 · 6d5d554 · 6d5d554
1 parent 8f5038d
commit 6d5d554
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/test-data/loop.yaml b/test-data/loop.yaml
@@ -395,3 +395,22 @@ post:
   - "r0.uvalue=100001"
 messages:
   - "exit: Could not prove termination."
+
+---
+test-case: possible infinite loop
+options: ["termination"]
+
+pre: [r0.type=number]
+code:
+    <start>: |
+        if r0 > 0 goto <start>
+        exit
+
+post:
+  - "pc[0]=[1, +oo]"
+  - "r0.svalue=0"
+  - "r0.uvalue=0"
+  - "r0.type=number"
+
+messages:
+  - "exit: Could not prove termination."