Bug 293106 – Wasm module compile error when a function contains `try_table` after `return`

• Component: WebAssembly
• Status: RESOLVED FIXED

Commit version: 9d02067f5de4b0402f58d6c83039e206439a8a8c
System: Ubuntu 20.04.6 LTS, x86_64

The following Wasm module contains a function whose body is `return` and `try_table`.
```
;; return_try_table.wat
(module
  (func (return) (try_table))
)
```
It is a valid Wasm module, so it must be succeed to parse and validate.
However, when running `return_try_table.js`, the equivalent JavaScript file, JavaScriptCore raises compile error.

```
$ jsc return_try_table.js
Exception: Error: Wasm validate failure
module@return_try_table.js:17:20
global code@return_try_table.js:23:7
--> CompileError: WebAssembly.Module doesn't parse at byte 6: function body size doesn't match the expected size, in function at index 0
```

Created attachment 475262 [details]
return_try_table.js

[Alexey Proskuryakov]

*** Bug 293105 has been marked as a duplicate of this bug. ***

[Radar WebKit Bug Importer]

<rdar://problem/151904860>

[Sosuke Suzuki]

Pull request: https://github.com/WebKit/WebKit/pull/46167

[EWS]

Committed 295678@main (70f3c3efa49f): <https://commits.webkit.org/295678@main>

Reviewed commits have been landed. Closing PR #46167 and removing active labels.