Shield against exceptional states

enso-org · Feb 5, 2025 · f211c19 · f211c19
1 parent e3ee0ea
commit f211c19
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/...e/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/BuiltinRootNode.java b/...e/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/BuiltinRootNode.java
@@ -10,6 +10,7 @@
 import com.oracle.truffle.api.nodes.Node;
 import com.oracle.truffle.api.nodes.NodeInfo;
 import com.oracle.truffle.api.nodes.RootNode;
+import com.oracle.truffle.api.profiles.BranchProfile;
 import org.enso.interpreter.EnsoLanguage;
 import org.enso.interpreter.runtime.EnsoContext;
 import org.enso.interpreter.runtime.data.EnsoMultiValue;
@@ -110,6 +111,9 @@ protected abstract static class ArgNode extends Node {
     @Child private AppendWarningNode appendWarningNode;
     @Child private HashMapInsertAllNode mapInsertAllNode;
 
+    private final BranchProfile errorsTaken = BranchProfile.create();
+    private final BranchProfile sentinelTaken = BranchProfile.create();
+
     ArgNode(byte flags) {
       this.flags = flags;
       if (is(CHECK_WARNINGS)) {
@@ -126,10 +130,12 @@ public final <T> T processArgument(
         VirtualFrame frame, Class<T> type, Object value, ArgContext context) {
       assert value != null;
       if (is(CHECK_ERRORS) && value instanceof DataflowError err) {
+        errorsTaken.enter();
         context.returnValue = err;
         return null;
       }
       if (is(CHECK_PANIC_SENTINEL) && value instanceof PanicSentinel sentinel) {
+        sentinelTaken.enter();
         throw sentinel;
       }
       if (warnings != null) {