[webkit-changes] [WebKit/WebKit] c4fe8f: [JSC] Validation and initialization of data / elem...

[Yusuke Suzuki]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: c4fe8f26a0a6d794681133253fb09778963aef5a
      https://github.com/WebKit/WebKit/commit/c4fe8f26a0a6d794681133253fb09778963aef5a
  Author: Yusuke Suzuki <ysuzuki at apple.com>
  Date:   2023-01-07 (Sat, 07 Jan 2023)

  Changed paths:
    M JSTests/wasm/spec-tests/linking.wast.js
    M Source/JavaScriptCore/wasm/js/WebAssemblyModuleRecord.cpp

  Log Message:
  -----------
  [JSC] Validation and initialization of data / element should be done incrementally
https://bugs.webkit.org/show_bug.cgi?id=250267
rdar://103987325

Reviewed by Justin Michaud.

Previously, we first iterate all element / data and validate them. And after that, initializing them.
But this is not aligned to the spec. The spec requires both are done in one loop. So, earlier elements
should be initialized before encoutering an error. This patch fixes these ordering.

* JSTests/wasm/spec-tests/linking.wast.js:
* Source/JavaScriptCore/wasm/js/WebAssemblyModuleRecord.cpp:
(JSC::WebAssemblyModuleRecord::evaluate):

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