Nested loop test case

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Nov 5, 2024 · c9db0a3 · c9db0a3
1 parent 7b356f4
commit c9db0a3
Showing 1 changed file with 24 additions and 0 deletions.
diff --git a/test-data/loop.yaml b/test-data/loop.yaml
@@ -440,3 +440,27 @@ post:
   - pc[2]=1
 
 messages: []
+
+---
+# Nested loops with inner infinite loop
+test-case: nested loops with inner infinite loop
+options: ["termination"]
+
+pre:
+  - "r0.type=number"
+  - "r0.svalue=0"
+  - "r0.uvalue=0"
+code:
+  <start>: |
+    r0 += 1
+    if r0 > 10 goto <out>
+  <inner>: |
+    if r0 > 0 goto <inner>
+  <out>: |
+    exit
+
+post: []
+messages:
+  - "1:3: Code is unreachable after 1:3"
+  - "2: Loop counter is too large (pc[2] < 100000)"
+  - "2:3: Code is unreachable after 2:3"