[Webkit-unassigned] [Bug 70777] New: Object-or-other branch speculation may corrupt the state for OSR if the child of the branch is an integer

[bugzilla-daemon at webkit.org]

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

           Summary: Object-or-other branch speculation may corrupt the
                    state for OSR if the child of the branch is an integer
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: fpizlo at apple.com


The "other" part of the speculation (i.e. null-or-undefined) masks on ~8 (null-or-undefined bit).  But it does so in place.  Hence, if the operand to the branch was 8 then the branch will take the wrong path in the old JIT.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.