1
0
Fork 0

bug fix in containment function.

This commit is contained in:
James 2014-11-23 13:03:06 +00:00
parent ed2e0a555e
commit a0c53a5280
1 changed files with 5 additions and 2 deletions

View File

@ -639,8 +639,11 @@ static int containmentRangeInfos (RangeInfo* lhs, RangeInfo* rhs) {
// -1 if lhs is tighter than rhs, 1 if rhs tighter than lhs
int HiHi = CompareRangeInfoBound(lhs->_highConst, rhs->_highConst, 1);
// -1 if lhs is tighter than rhs, 1 if rhs tighter than lhs
return (LoLo == HiHi ? LoLo : 0);
// 0 if equal
if (LoLo == HiHi) {
return (LoLo == 0 ? 1 : LoLo);
}
return 0;
}
// returns true if the constant parts of lhs and rhs are disjoint and false