Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 294fd8e4b585ca7c1c3f4fdc34d0759ae7b5f44f
https://github.com/WebKit/WebKit/commit/294fd8e4b585ca7c1c3f4fdc34d0759ae7b5f44f
Author: Tadeu Zagallo <tzaga...@apple.com>
Date: 2024-11-12 (Tue, 12 Nov 2024)
Changed paths:
M Source/WebGPU/WGSL/AttributeValidator.cpp
M Source/WebGPU/WGSL/TypeCheck.cpp
A Source/WebGPU/WGSL/tests/invalid/pointer-as-constant.wgsl
M Source/WebGPU/WGSL/tests/invalid/required-alignment.wgsl
M Source/WebGPU/WGSL/wgslc.cpp
Log Message:
-----------
[WGSL] Pointer operators shouldn't be constant
https://bugs.webkit.org/show_bug.cgi?id=282928
rdar://139645945
Reviewed by Dan Glastonbury.
The type checker did not report an error when a new expression was inferred
with runtime
execution from a constant context.
* Source/WebGPU/WGSL/AttributeValidator.cpp:
(WGSL::AttributeValidator::visit):
* Source/WebGPU/WGSL/TypeCheck.cpp:
(WGSL::TypeChecker::visit):
(WGSL::TypeChecker::infer):
(WGSL::TypeChecker::check):
* Source/WebGPU/WGSL/tests/invalid/pointer-as-constant.wgsl: Added.
* Source/WebGPU/WGSL/tests/invalid/required-alignment.wgsl:
* Source/WebGPU/WGSL/wgslc.cpp:
(CommandLine::parseArguments):
(runWGSL):
Canonical link: https://commits.webkit.org/286476@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
