Fix incorrect local is set management for try tables

Author: zherczeg

src/shared-validator.cc

@@ -1422,7 +1422,6 @@ Result SharedValidator::BeginTryTable(const Location& loc, Type sig_type) {
   result |= CheckBlockSignature(loc, Opcode::TryTable, sig_type, &param_types,
                                 &result_types);
   result |= typechecker_.BeginTryTable(param_types);
-  SaveLocalRefs();
   return result;
 }
 
@@ -1448,6 +1447,7 @@ Result SharedValidator::EndTryTable(const Location& loc, Type sig_type) {
   result |= CheckBlockSignature(loc, Opcode::TryTable, sig_type, &param_types,
                                 &result_types);
   result |= typechecker_.EndTryTable(param_types, result_types);
+  SaveLocalRefs();
   return result;
 }
 

test/regress/regress-2670.txt

@@ -6,8 +6,9 @@
 ;; save/restore operations was missing for try tables
 
 (module
-  (func (local (ref func)))
+  (func (local (ref func) (ref func)))
   (func
+    (local (ref func))
     try_table
     end)
   (func
@@ -19,8 +20,9 @@
 (module
   (type $t0 (func))
   (func $f0 (type $t0)
-    (local $l0 (ref func)))
+    (local $l0 (ref func)) (local $l1 (ref func)))
   (func $f1 (type $t0)
+    (local $l0 (ref func))
     (try_table $T0
     ))
   (func $f2 (type $t0)