[Fix #3760] Fixing ConstraintList::literal_matches function (#3816)

This commit is contained in:
uptycs-nishant 2017-10-14 13:17:26 +05:30 committed by Teddy Reed
parent e888f3e8e8
commit aa594aa731

View File

@ -369,8 +369,8 @@ bool ConstraintList::literal_matches(const T& base_expr) const {
} else if (constraints_[i].op == LESS_THAN_OR_EQUALS) {
aggregate = aggregate && (base_expr <= constraint_expr);
} else {
// Unsupported constraint.
return false;
// Unsupported constraint. Should match every thing.
return true;
}
if (!aggregate) {
// Speed up comparison.