Bug 285496

Created attachment 473820 [details] program.js ### Description WebKit does not enforce the requirement for validating the presence of trailing code after the end instruction in WebAssembly functions. This behavior allows the execution of WebAssembly modules with trailing code without raising errors, violating the expected behavior where an error should occur for trailing code after the function end. ### Environment - OS: Ubuntu 20.04 - CPU: amd64 - WebKit Version: 146fa28a329d220785d2972c1d691555141e6406 (The latest) - Commands: ```bash ./JSCOnly/Debug/bin/jsc ./program.js ``` ### Test Case program.js ### Current State ```plaintext ./JSCOnly/Debug/bin/jsc ./program.js 0 ``` ### Expected Behavior The WebAssembly module should fail validation and report an error similar to: - Like gecko-dev: ```plaintext function body length mismatch ``` - Like v8: ```plaintext trailing code after function end ```