[Webkit-unassigned] [Bug 147387] Overflow check elimination fails for a simple test case

[bugzilla-daemon at webkit.org]

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

--- Comment #1 from Filip Pizlo <fpizlo at apple.com> ---
The reason for the bug is that the merge rule assumes TOP when presented two claims about different constants.  For example:

@x == 0
@x < 100

will yield TOP, when it should just yield @x < 100.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150801/245309a7/attachment.html>