1 files changed, 11 insertions, 0 deletions
diff --git a/src/ir/effects.h b/src/ir/effects.h
index ab8cafcb1..c0210c221 100644
--- a/src/ir/effects.h
+++ b/src/ir/effects.h
@@ -534,6 +534,17 @@ private:
     void visitTupleExtract(TupleExtract* curr) {}
     void visitI31New(I31New* curr) {}
     void visitI31Get(I31Get* curr) {}
+    void visitCallRef(CallRef* curr) {
+      parent.calls = true;
+      if (parent.features.hasExceptionHandling() && parent.tryDepth == 0) {
+        parent.throws = true;
+      }
+      if (curr->isReturn) {
+        parent.branchesOut = true;
+      }
+      // traps when the arg is null
+      parent.implicitTrap = true;
+    }
     void visitRefTest(RefTest* curr) {
       WASM_UNREACHABLE("TODO (gc): ref.test");
     }