AuroraMiddleware/v8
1
0
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

Fix test

Browse Source 
R=bmeurer@chromium.org
BUG=

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

git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@21628 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
This commit is contained in:
rossberg@chromium.org 2014-06-03 09:34:29 +00:00
parent 55e65935c9
commit 396c169e7c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/cctest/test-types.cc
View File

@ -1160,13 +1160,13 @@ struct Tests : Rep {
}
}
// T1->Maybe(T2) iff Intersect(T1, T2) inhabited
// T1->Maybe(T2) implies Intersect(T1, T2) inhabited
for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) {
for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) {
TypeHandle type1 = *it1;
TypeHandle type2 = *it2;
TypeHandle intersect12 = T.Intersect(type1, type2);
CHECK(type1->Maybe(type2) == intersect12->IsInhabited());
CHECK(!type1->Maybe(type2) || intersect12->IsInhabited());
}
}