Implement table.init (#6827)

Also use TableInit in the interpreter to initialize module's table
state, which will now handle traps properly, fixing #6431 

1 files changed, 4 insertions, 0 deletions

diff --git a/src/ir/effects.h b/src/ir/effects.h
index be949a8bf..fee8b3441 100644
--- a/src/ir/effects.h
+++ b/src/ir/effects.h
@@ -752,6 +752,10 @@ private:
       parent.writesTable = true;
       parent.implicitTrap = true;
     }
+    void visitTableInit(TableInit* curr) {
+      parent.writesTable = true;
+      parent.implicitTrap = true;
+    }
     void visitTry(Try* curr) {
       if (curr->delegateTarget.is()) {
         parent.delegateTargets.insert(curr->delegateTarget);