Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: fd1caf2e06751dcc918767f82a7ba876ec4dfb80
https://github.com/WebKit/WebKit/commit/fd1caf2e06751dcc918767f82a7ba876ec4dfb80
Author: Kimmo Kinnunen <[email protected]>
Date: 2026-08-26 (Wed, 26 Aug 2026)
Changed paths:
M
Source/ThirdParty/ANGLE/src/compiler/translator/tree_ops/msl/EnsureLoopForwardProgress.cpp
M Source/ThirdParty/ANGLE/src/tests/gl_tests/GLSLOutputTest.cpp
Log Message:
-----------
ANGLE: Metal: EnsureLoopForwardProgress infinite loops with unsigned
tautology compare classified as finite
https://bugs.webkit.org/show_bug.cgi?id=317286
rdar://178005812
Reviewed by Dan Glastonbury.
Finite loop classification relies on the property that ++i or --i eventually
lands
to a value that makes the condition evaluate to false. This is not true for
cases
uint i: i >= 0u, i <= 4294967295u
int i: i < -2147483646, i >= 2147483647
Classify these as infinite by checking the constant for <=, >=.
*
Source/ThirdParty/ANGLE/src/compiler/translator/tree_ops/msl/EnsureLoopForwardProgress.cpp:
* Source/ThirdParty/ANGLE/src/tests/gl_tests/GLSLOutputTest.cpp:
Originally-landed-as: [email protected] (af3089d4dc75).
rdar://185367969
Canonical link: https://commits.webkit.org/319891@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
