[Webkit-unassigned] [Bug 69989] New: DFG CFA does not filter structures aggressively enough.

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Wed Oct 12 19:13:41 PDT 2011


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

           Summary: DFG CFA does not filter structures aggressively
                    enough.
           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


If you have an abstract value like (Array, TOP) and you filter it against Final then you should get (None, []) - i.e. there does not exist a structure for any value within the abstract value's set, since the abstract value's set is empty.  This was causing some annoying ASSERTs.

I fixed this issue and added even more ASSERTs to catch it sooner.  I tested this against a bunch of websites and it seems to work.

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



More information about the webkit-unassigned mailing list