[Webkit-unassigned] [Bug 177093] WSL should flag stores to constant references

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=177093

Myles C. Maxfield <mmaxfield at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmaxfield at apple.com

--- Comment #2 from Myles C. Maxfield <mmaxfield at apple.com> ---
This requires that address spaces get propagated to individual values.

constant float[] a : register(b0)
a[3] = 7;

We need to realize that the type of a[3] is "constant float"

This analysis is required for things like

device atomic_uint[] x : register(u0);
InterlockedAdd(&x[0], 1, null);

Here, we have to realize that the type of &x[0] is type "device uint*"

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20180922/eba4d95a/attachment-0001.html>