Fix GlobalRefining's handling of gets in module code and add missing validation (#6603)

GlobalRefining did not traverse module code, so it did not update global.gets
in other globals.

Add missing validation that actually errors on that: We did not check global.get
types.

These could be separate PRs but it would be difficult to test them separately.

1 files changed, 3 insertions, 2 deletions

diff --git a/src/passes/GlobalRefining.cpp b/src/passes/GlobalRefining.cpp
index 129f34283..1313421d5 100644
--- a/src/passes/GlobalRefining.cpp
+++ b/src/passes/GlobalRefining.cpp
@@ -143,8 +143,9 @@ struct GlobalRefining : public Pass {
           ReFinalize().walkFunctionInModule(curr, &wasm);
         }
       }
-    };
-    GetUpdater(*this, *module).run(getPassRunner(), module);
+    } updater(*this, *module);
+    updater.run(getPassRunner(), module);
+    updater.runOnModuleCode(getPassRunner(), module);
   }
 };