1 files changed, 10 insertions, 6 deletions
diff --git a/src/ir/properties.cpp b/src/ir/properties.cpp
index 63b7cedd1..05dae897e 100644
--- a/src/ir/properties.cpp
+++ b/src/ir/properties.cpp
@@ -20,14 +20,18 @@
 namespace wasm::Properties {
 
 bool isGenerative(Expression* curr, FeatureSet features) {
-  // Practically no wasm instructions are generative. Exceptions occur only in
-  // GC atm.
-  if (!features.hasGC()) {
-    return false;
-  }
-
   struct Scanner : public PostWalker<Scanner> {
     bool generative = false;
+
+    void visitCall(Call* curr) {
+      // TODO: We could in principle look at the called function to see if it is
+      //       generative. To do that we'd need to compute generativity like we
+      //       compute global effects (we can't just peek from here, as the
+      //       other function might be modified in parallel).
+      generative = true;
+    }
+    void visitCallIndirect(CallIndirect* curr) { generative = true; }
+    void visitCallRef(CallRef* curr) { generative = true; }
     void visitStructNew(StructNew* curr) { generative = true; }
     void visitArrayNew(ArrayNew* curr) { generative = true; }
     void visitArrayNewFixed(ArrayNewFixed* curr) { generative = true; }