[webkit-changes] [WebKit/WebKit] 08dac6: [WGSL] Check for maximum expression depth

[Tadeu Zagallo]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 08dac63f408a2b8ec1e060f227b3588e04a55f2b
      https://github.com/WebKit/WebKit/commit/08dac63f408a2b8ec1e060f227b3588e04a55f2b
  Author: Tadeu Zagallo <tzagallo at apple.com>
  Date:   2024-02-01 (Thu, 01 Feb 2024)

  Changed paths:
    M Source/WebGPU/WGSL/GlobalSorting.cpp

  Log Message:
  -----------
  [WGSL] Check for maximum expression depth
https://bugs.webkit.org/show_bug.cgi?id=268476
rdar://121520424

Reviewed by Mike Wyrzykowski.

On top of checking for maximum recursion depth in the parser, we also need to check
for maximum expression depth while traversing the AST. This catches the cases of
nodes that were created in a loop (such as binary expressions), but create an AST
that exceeds the maximum depth.

* Source/WebGPU/WGSL/TypeCheck.cpp:
(WGSL::TypeChecker::infer):
(WGSL::TypeChecker::resolve):

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