From 69e4a21f71aca4954469063387063434af35e679 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Sun, 25 Oct 2026 10:24:58 -0700
Subject: Backport a few missing guard checks

---
 .../java/com/seaofnodes/simple/ConstructionTest.java    | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'chapter27/src/test/java/com/seaofnodes/simple/ConstructionTest.java')

diff --git a/chapter27/src/test/java/com/seaofnodes/simple/ConstructionTest.java b/chapter27/src/test/java/com/seaofnodes/simple/ConstructionTest.java
index dd20b746..a3317d09 100644
--- a/chapter27/src/test/java/com/seaofnodes/simple/ConstructionTest.java
+++ b/chapter27/src/test/java/com/seaofnodes/simple/ConstructionTest.java
@@ -7,6 +7,23 @@ import org.junit.Test;
 import static org.junit.Assert.*;
 
 public class ConstructionTest {
+    @Test public void testConditionalConstructorLoop() {
+        String[] bodies = {
+            "while(n--) if(n) x=1;",
+            "for(int i=0;i<n;i++) { if(i==1) continue; if(i==3) break; x+=i+1; }"
+        };
+        int[][] expected = {{0,0,1,1,1,1}, {0,1,1,4,4,4}};
+        for( int i=0; i<bodies.length; i++ )
+            for( long seed : new long[]{123,456,789} ) {
+                String src = "struct C { int x; new C={int n -> "+bodies[i]+"}; }; return new C(arg).x;";
+                var code = new CodeGen(src,com.seaofnodes.simple.type.TypeInteger.BOT,seed,true)
+                    .driver(CodeGen.Phase.TypeCheck);
+                for( int arg=0; arg<expected[i].length; arg++ )
+                    assertEquals("case="+i+" seed="+seed+" arg="+arg,
+                        Integer.toString(expected[i][arg]),Eval2.eval(code,arg));
+            }
+    }
+
     private static final String CONSTRUCT = """
         struct Box {
             int x=7;
-- 
cgit v1.2.3