[Webkit-unassigned] [Bug 179245] New: WSL's pointer-to-local variable probably doesn't follow correct semantics

[bugzilla-daemon at webkit.org]

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

            Bug ID: 179245
           Summary: WSL's pointer-to-local variable probably doesn't
                    follow correct semantics
           Product: WebKit
           Version: Other
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebGPU
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: mmaxfield at apple.com

Imagine the following

thread int* foo(int x) {
    int y = x;
    return &y;
}

fragment void bar() {
    thread int* z = foo(6);
    *z = 7;
    foo(8);
    // Now, *z should equal 8.
}

Our instantiation will currently create a copy of foo() at the two call sites, thereby leading to two distinct "y" variables. This probably means the above doesn't lead to the correct result.

-- 
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/20171103/dc066734/attachment.html>