From 69e4a21f71aca4954469063387063434af35e679 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Sun, 25 Oct 2026 10:24:58 -0700 Subject: Backport a few missing guard checks --- .../java/com/seaofnodes/simple/IncompleteTypesTest.java | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'chapter25/src/test/java') diff --git a/chapter25/src/test/java/com/seaofnodes/simple/IncompleteTypesTest.java b/chapter25/src/test/java/com/seaofnodes/simple/IncompleteTypesTest.java index f2f7d882..419cac51 100644 --- a/chapter25/src/test/java/com/seaofnodes/simple/IncompleteTypesTest.java +++ b/chapter25/src/test/java/com/seaofnodes/simple/IncompleteTypesTest.java @@ -6,6 +6,19 @@ import com.seaofnodes.simple.type.TypeInteger; import static org.junit.Assert.assertEquals; public class IncompleteTypesTest { + @Test public void testLoadFromUnsettledLoopPhi() { + String src = """ + struct C { int x; }; + val f={int n -> return new C { while(n--) if(n) x=1; }; }; + return f(arg).x; + """; + for( long seed : new long[]{123,456,789} ) { + var code = new CodeGen(src,TypeInteger.BOT,seed,true).driver(CodeGen.Phase.TypeCheck); + for( int arg=0; arg<6; arg++ ) + assertEquals("seed="+seed+" arg="+arg,arg<2 ? "0" : "1",Eval2.eval(code,arg)); + } + } + @Test public void testForwardFieldAndNumericMode() { // At the addition, neither the field's type nor its offset is known. String src = """ -- cgit v1.2.3