RESOLVED FIXED 158631
The backend should be happy to compile Unreachable even if AI didn't prove it to be unreachable 
https://bugs.webkit.org/show_bug.cgi?id=158631
Summary The backend should be happy to compile Unreachable even if AI didn't prove it...
Filip Pizlo
Reported 2016-06-10 12:18:53 PDT
It's possible that due to concurrency, we invalidate the compilation after the last run of the CFA phase but before the backend. Then, when AI runs during the backend, it might think that some code that was previously thought to be Unreachable is now reachable. We shouldn't crash when this happens.
Attachments
the patch (6.94 KB, patch)
2016-06-10 12:31 PDT, Filip Pizlo 		keith_miller: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Filip Pizlo
Comment 1 2016-06-10 12:31:37 PDT
Created attachment 281032 [details] the patch
Keith Miller
Comment 2 2016-06-10 12:52:03 PDT
Comment on attachment 281032 [details] the patch r=me.
Filip Pizlo
Comment 3 2016-06-10 12:56:04 PDT
Landed in http://trac.webkit.org/changeset/201936
David Kilzer (:ddkilzer)
Comment 4 2016-06-10 13:56:23 PDT
<rdar://problem/26540392>
Note You need to log in before you can comment on or make changes to this bug.