mirror of
https://github.com/python/cpython.git
synced 2025-09-26 10:19:53 +00:00
Issue #24115: Update uses of PyObject_IsTrue(), PyObject_Not(),
PyObject_IsInstance(), PyObject_RichCompareBool() and _PyDict_Contains() to check for and handle errors correctly.
This commit is contained in:
commit
ac5569b1fa
10 changed files with 92 additions and 40 deletions
|
@ -1011,13 +1011,17 @@ bytearray_richcompare(PyObject *self, PyObject *other, int op)
|
|||
Py_buffer self_bytes, other_bytes;
|
||||
PyObject *res;
|
||||
Py_ssize_t minsize;
|
||||
int cmp;
|
||||
int cmp, rc;
|
||||
|
||||
/* Bytes can be compared to anything that supports the (binary)
|
||||
buffer API. Except that a comparison with Unicode is always an
|
||||
error, even if the comparison is for equality. */
|
||||
if (PyObject_IsInstance(self, (PyObject*)&PyUnicode_Type) ||
|
||||
PyObject_IsInstance(other, (PyObject*)&PyUnicode_Type)) {
|
||||
rc = PyObject_IsInstance(self, (PyObject*)&PyUnicode_Type);
|
||||
if (!rc)
|
||||
rc = PyObject_IsInstance(other, (PyObject*)&PyUnicode_Type);
|
||||
if (rc < 0)
|
||||
return NULL;
|
||||
if (rc) {
|
||||
if (Py_BytesWarningFlag && (op == Py_EQ || op == Py_NE)) {
|
||||
if (PyErr_WarnEx(PyExc_BytesWarning,
|
||||
"Comparison between bytearray and string", 1))
|
||||
|
|
|
@ -1419,25 +1419,36 @@ bytes_richcompare(PyBytesObject *a, PyBytesObject *b, int op)
|
|||
Py_ssize_t len_a, len_b;
|
||||
Py_ssize_t min_len;
|
||||
PyObject *result;
|
||||
int rc;
|
||||
|
||||
/* Make sure both arguments are strings. */
|
||||
if (!(PyBytes_Check(a) && PyBytes_Check(b))) {
|
||||
if (Py_BytesWarningFlag && (op == Py_EQ || op == Py_NE)) {
|
||||
if (PyObject_IsInstance((PyObject*)a,
|
||||
(PyObject*)&PyUnicode_Type) ||
|
||||
PyObject_IsInstance((PyObject*)b,
|
||||
(PyObject*)&PyUnicode_Type)) {
|
||||
rc = PyObject_IsInstance((PyObject*)a,
|
||||
(PyObject*)&PyUnicode_Type);
|
||||
if (!rc)
|
||||
rc = PyObject_IsInstance((PyObject*)b,
|
||||
(PyObject*)&PyUnicode_Type);
|
||||
if (rc < 0)
|
||||
return NULL;
|
||||
if (rc) {
|
||||
if (PyErr_WarnEx(PyExc_BytesWarning,
|
||||
"Comparison between bytes and string", 1))
|
||||
"Comparison between bytes and string", 1))
|
||||
return NULL;
|
||||
}
|
||||
else if (PyObject_IsInstance((PyObject*)a,
|
||||
(PyObject*)&PyLong_Type) ||
|
||||
PyObject_IsInstance((PyObject*)b,
|
||||
(PyObject*)&PyLong_Type)) {
|
||||
if (PyErr_WarnEx(PyExc_BytesWarning,
|
||||
"Comparison between bytes and int", 1))
|
||||
else {
|
||||
rc = PyObject_IsInstance((PyObject*)a,
|
||||
(PyObject*)&PyLong_Type);
|
||||
if (!rc)
|
||||
rc = PyObject_IsInstance((PyObject*)b,
|
||||
(PyObject*)&PyLong_Type);
|
||||
if (rc < 0)
|
||||
return NULL;
|
||||
if (rc) {
|
||||
if (PyErr_WarnEx(PyExc_BytesWarning,
|
||||
"Comparison between bytes and int", 1))
|
||||
return NULL;
|
||||
}
|
||||
}
|
||||
}
|
||||
result = Py_NotImplemented;
|
||||
|
|
|
@ -194,8 +194,11 @@ compute_range_length(PyObject *start, PyObject *stop, PyObject *step)
|
|||
}
|
||||
|
||||
/* if (lo >= hi), return length of 0. */
|
||||
if (PyObject_RichCompareBool(lo, hi, Py_GE) == 1) {
|
||||
cmp_result = PyObject_RichCompareBool(lo, hi, Py_GE);
|
||||
if (cmp_result != 0) {
|
||||
Py_XDECREF(step);
|
||||
if (cmp_result < 0)
|
||||
return NULL;
|
||||
return PyLong_FromLong(0);
|
||||
}
|
||||
|
||||
|
|
|
@ -1519,9 +1519,15 @@ set_difference(PySetObject *so, PyObject *other)
|
|||
if (PyDict_CheckExact(other)) {
|
||||
while (set_next(so, &pos, &entry)) {
|
||||
setentry entrycopy;
|
||||
int rv;
|
||||
entrycopy.hash = entry->hash;
|
||||
entrycopy.key = entry->key;
|
||||
if (!_PyDict_Contains(other, entry->key, entry->hash)) {
|
||||
rv = _PyDict_Contains(other, entry->key, entry->hash);
|
||||
if (rv < 0) {
|
||||
Py_DECREF(result);
|
||||
return NULL;
|
||||
}
|
||||
if (!rv) {
|
||||
if (set_add_entry((PySetObject *)result, &entrycopy)) {
|
||||
Py_DECREF(result);
|
||||
return NULL;
|
||||
|
@ -1757,7 +1763,8 @@ PyDoc_STRVAR(issuperset_doc, "Report whether this set contains another set.");
|
|||
static PyObject *
|
||||
set_richcompare(PySetObject *v, PyObject *w, int op)
|
||||
{
|
||||
PyObject *r1, *r2;
|
||||
PyObject *r1;
|
||||
int r2;
|
||||
|
||||
if(!PyAnySet_Check(w))
|
||||
Py_RETURN_NOTIMPLEMENTED;
|
||||
|
@ -1775,9 +1782,11 @@ set_richcompare(PySetObject *v, PyObject *w, int op)
|
|||
r1 = set_richcompare(v, w, Py_EQ);
|
||||
if (r1 == NULL)
|
||||
return NULL;
|
||||
r2 = PyBool_FromLong(PyObject_Not(r1));
|
||||
r2 = PyObject_IsTrue(r1);
|
||||
Py_DECREF(r1);
|
||||
return r2;
|
||||
if (r2 < 0)
|
||||
return NULL;
|
||||
return PyBool_FromLong(!r2);
|
||||
case Py_LE:
|
||||
return set_issubset(v, w);
|
||||
case Py_GE:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue