From: rossberg@chromium.org <rossberg@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Date: Tue, 27 May 2014 17:07:39 +0000 (+0000)
Subject: Fix check for empty type
X-Git-Tag: upstream/4.7.83~8932
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=5192a0d0d9298359f666d3525def9f8ab1da8e99;p=platform%2Fupstream%2Fv8.git

Fix check for empty type

R=mstarzinger@chromium.org
BUG=

Review URL: https://codereview.chromium.org/307453005

git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@21538 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
---

diff --git a/src/typing.cc b/src/typing.cc
index f32f0eb39..6a3c94c0f 100644
--- a/src/typing.cc
+++ b/src/typing.cc
@@ -675,7 +675,7 @@ void AstTyper::VisitBinaryOperation(BinaryOperation* expr) {
       Bounds l = expr->left()->bounds();
       Bounds r = expr->right()->bounds();
       Type* lower =
-          l.lower->Is(Type::None()) || r.lower->Is(Type::None()) ?
+          !l.lower->IsInhabited() || !r.lower->IsInhabited() ?
               Type::None(zone()) :
           l.lower->Is(Type::String()) || r.lower->Is(Type::String()) ?
               Type::String(zone()) :