From e44bf7549dedb51397e3d430935f8eed4d35096e Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Mon, 14 Sep 2026 13:27:36 -0700 Subject: Handle dying escapenode --- chapter25/src/main/java/com/seaofnodes/simple/node/LoadNode.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'chapter25/src/main/java') diff --git a/chapter25/src/main/java/com/seaofnodes/simple/node/LoadNode.java b/chapter25/src/main/java/com/seaofnodes/simple/node/LoadNode.java index b27da676..f5b61048 100644 --- a/chapter25/src/main/java/com/seaofnodes/simple/node/LoadNode.java +++ b/chapter25/src/main/java/com/seaofnodes/simple/node/LoadNode.java @@ -189,8 +189,10 @@ public class LoadNode extends MemOpNode { case EscapeNode esc: if( esc.self()==ptr ) // Proved equal { mem = esc.priv(); break; } + // Mal-formed, dying + if( !(esc.self().in(0) instanceof NewNode) ) + break outer; // Two NewNodes are always unequal - assert esc.self().in(0) instanceof NewNode; if( ptr.in(0) instanceof NewNode ) { mem = esc.pub(); break; } // TODO: Can we prove unequal? -- cgit v1.2.3