[webkit-changes] [WebKit/WebKit] 8159a3: [WGSL] Add typing for accessing indices of arrays

[Tadeu Zagallo]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 8159a32817d1b8af3f3bb3fd24afb882f5356186
      https://github.com/WebKit/WebKit/commit/8159a32817d1b8af3f3bb3fd24afb882f5356186
  Author: Tadeu Zagallo <tzagallo at apple.com>
  Date:   2023-02-14 (Tue, 14 Feb 2023)

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

  Log Message:
  -----------
  [WGSL] Add typing for accessing indices of arrays
https://bugs.webkit.org/show_bug.cgi?id=251844
rdar://105121481

Reviewed by Myles C. Maxfield.

Includes validating the index type, but still need to implement bounds checking
when the index is constant.

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

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