[webkit-changes] [WebKit/WebKit] 025c31: [Wasm-GC] Local init tracking should track unreach...

[Asumu Takikawa]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 025c31d1220e4111fa28bf0934b8d3f072c336ff
      https://github.com/WebKit/WebKit/commit/025c31d1220e4111fa28bf0934b8d3f072c336ff
  Author: Asumu Takikawa <asumu at igalia.com>
  Date:   2023-12-11 (Mon, 11 Dec 2023)

  Changed paths:
    A JSTests/wasm/gc/bug266127.js
    M Source/JavaScriptCore/wasm/WasmFunctionParser.h

  Log Message:
  -----------
  [Wasm-GC] Local init tracking should track unreachable local.set too
https://bugs.webkit.org/show_bug.cgi?id=266127

Reviewed by Justin Michaud.

Unreachable local.set instructions still need to set init flags for local init
tracking purposes. While these aren't very useful, it avoids spurious
validation errors from subsequent local.get in unreachable code.

* JSTests/wasm/gc/bug266127.js: Added.
(testUnreachable):
* Source/JavaScriptCore/wasm/WasmFunctionParser.h:
(JSC::Wasm::FunctionParser<Context>::parseUnreachableExpression):

Canonical link: https://commits.webkit.org/271910@main