[Webkit-unassigned] [Bug 87682] New: DFG should not generate code for code that the CFA proves to be unreachable

[bugzilla-daemon at webkit.org]

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

           Summary: DFG should not generate code for code that the CFA
                    proves to be unreachable
           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


When the CFA proves code to be unreachable, we are stuck in a bit of a conundrum.  The code must still be known to other parts of the compiler because of OSR exit liveness issues, so it cannot be simply jettisoned.  But we shouldn't be spending time generating that code, and we shouldn't be allowing OSR entry into that code.

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