Use correct initial stack size when type checking catch clauses

Author: jirkamarsik

wasm/src/org.graalvm.wasm.test/src/test/exceptions/try_table_catch_with_outer_block_param.opts

@@ -0,0 +1 @@
+wasm.Exceptions=true

wasm/src/org.graalvm.wasm.test/src/test/exceptions/try_table_catch_with_outer_block_param.result

@@ -0,0 +1 @@
+int 14

wasm/src/org.graalvm.wasm.test/src/test/exceptions/try_table_catch_with_outer_block_param.wat

@@ -0,0 +1,52 @@
+;;
+;; Copyright (c) 2026, Oracle and/or its affiliates. All rights reserved.
+;; DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+;;
+;; The Universal Permissive License (UPL), Version 1.0
+;;
+;; Subject to the condition set forth below, permission is hereby granted to any
+;; person obtaining a copy of this software, associated documentation and/or
+;; data (collectively the "Software"), free of charge and under any and all
+;; copyright rights in the Software, and any and all patent rights owned or
+;; freely licensable by each licensor hereunder covering either (i) the
+;; unmodified Software as contributed to or provided by such licensor, or (ii)
+;; the Larger Works (as defined below), to deal in both
+;;
+;; (a) the Software, and
+;;
+;; (b) any piece of software and/or hardware listed in the lrgrwrks.txt file if
+;; one is included with the Software each a "Larger Work" to which the Software
+;; is contributed by such licensors),
+;;
+;; without restriction, including without limitation the rights to copy, create
+;; derivative works of, display, perform, and distribute the Software and make,
+;; use, sell, offer for sale, import, export, have made, and have sold the
+;; Software and the Larger Work(s), and to sublicense the foregoing rights on
+;; either these or other terms.
+;;
+;; This license is subject to the following condition:
+;;
+;; The above copyright notice and either this complete permission notice or at a
+;; minimum a reference to the UPL must be included in all copies or substantial
+;; portions of the Software.
+;;
+;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+;; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+;; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+;; AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+;; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+;; OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+;; SOFTWARE.
+;;
+(module
+    (type $t0 (func (param i32)))
+
+    (func (export "_main") (result i32)
+        i32.const 42
+        (block $outer (type $t0)
+            (try_table (catch_all $outer))
+            drop
+        )
+        i32.const 14
+    )
+)

wasm/src/org.graalvm.wasm.test/src/test/exceptions/wasm_test_index

@@ -8,6 +8,7 @@ exceptions_with_params
 exceptions_with_params_catch_all
 exceptions_with_params_catch_ref
 multi_exception_types
+try_table_catch_with_outer_block_param
 throw_ref
 legacy_delegate_no_throw
 legacy_delegate_throw

wasm/src/org.graalvm.wasm/src/org/graalvm/wasm/parser/validation/ParserState.java

@@ -381,7 +381,7 @@ public ExceptionHandler enterCatchClause(int opcode, int tag, int label) {
         checkLabelExists(label);
         final ControlFrame labelFrame = getFrame(label);
         // we reuse the block frame, instead of introducing a new catch frame.
-        final ControlFrame frame = new BlockFrame(WasmType.VOID_TYPE_ARRAY, labelFrame.labelTypes(), labelFrame.initialStackSize(), controlStack.peek());
+        final ControlFrame frame = new BlockFrame(WasmType.VOID_TYPE_ARRAY, labelFrame.labelTypes(), valueStack.size(), controlStack.peek());
         controlStack.push(frame);
         final ExceptionHandler e = new ExceptionHandler(opcode, tag);
         labelFrame.addLabelFixup(e);