[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