sequence: Fix glaring bug in sequence comparison.

This commit is contained in:
Paul Sokolovsky 2014-04-18 21:42:54 +03:00
parent 7de5377ca7
commit 83eba5dec5
2 changed files with 18 additions and 6 deletions

View File

@ -1,3 +1,4 @@
#include <assert.h>
#include <stdbool.h> #include <stdbool.h>
#include <string.h> #include <string.h>
@ -109,18 +110,24 @@ bool mp_seq_cmp_objs(int op, const mp_obj_t *items1, uint len1, const mp_obj_t *
int len = len1 < len2 ? len1 : len2; int len = len1 < len2 ? len1 : len2;
bool eq_status = true; // empty lists are equal bool eq_status = true; // empty lists are equal
bool rel_status;
for (int i = 0; i < len; i++) { for (int i = 0; i < len; i++) {
eq_status = mp_obj_equal(items1[i], items2[i]); eq_status = mp_obj_equal(items1[i], items2[i]);
if (op == MP_BINARY_OP_EQUAL && !eq_status) { // If current elements equal, can't decide anything - go on
return false; if (eq_status) {
} continue;
rel_status = (mp_binary_op(op, items1[i], items2[i]) == mp_const_true);
if (!eq_status && !rel_status) {
return false;
}
} }
// Othewise, if they are not equal, we can have final decision based on them
if (op == MP_BINARY_OP_EQUAL) {
// In particular, if we are checking for equality, here're the answer
return false;
}
// Otherwise, application of relation op gives the answer
return (mp_binary_op(op, items1[i], items2[i]) == mp_const_true);
}
assert(eq_status);
// If we had tie in the last element... // If we had tie in the last element...
if (eq_status) { if (eq_status) {
// ... and we have lists of different lengths... // ... and we have lists of different lengths...

View File

@ -48,3 +48,8 @@ print((1,) <= (1, 0,))
print((1,) <= (1, -1,)) print((1,) <= (1, -1,))
print((1, 0,) <= (1,)) print((1, 0,) <= (1,))
print((1, -1,) <= (1,)) print((1, -1,) <= (1,))
print((10, 0) > (1, 1))
print((10, 0) < (1, 1))
print((0, 0, 10, 0) > (0, 0, 1, 1))
print((0, 0, 10, 0) < (0, 0, 1, 1))