EndTryTable does not need to local_ref_is_set_

Author: zherczeg

src/shared-validator.cc

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

test/regress/regress-2670.txt

@@ -7,6 +7,9 @@
 
 (module
   (func (local (ref func)))
+  (func
+    try_table
+    end)
   (func
     unreachable
     try_table
@@ -18,6 +21,9 @@
   (func $f0 (type $t0)
     (local $l0 (ref func)))
   (func $f1 (type $t0)
+    (try_table $T0
+    ))
+  (func $f2 (type $t0)
     (unreachable)
     (try_table $T0
     )))