bpo-42152: Use PyDict_Contains and PyDict_SetDefault if appropriate. (GH-22986)

If PyDict_GetItemWithError is only used to check whether the key is in dict,
it is better to use PyDict_Contains instead.

And if it is used in combination with PyDict_SetItem, PyDict_SetDefault can
replace the combination.
This commit is contained in:
Serhiy Storchaka 2020-10-26 12:47:57 +02:00 committed by GitHub
parent fb5db7ec58
commit b510e101f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
11 changed files with 137 additions and 165 deletions

View File

@ -492,9 +492,10 @@ StructUnionType_new(PyTypeObject *type, PyObject *args, PyObject *kwds, int isSt
return NULL; return NULL;
/* keep this for bw compatibility */ /* keep this for bw compatibility */
if (_PyDict_GetItemIdWithError(result->tp_dict, &PyId__abstract_)) int r = _PyDict_ContainsId(result->tp_dict, &PyId__abstract_);
if (r > 0)
return (PyObject *)result; return (PyObject *)result;
if (PyErr_Occurred()) { if (r < 0) {
Py_DECREF(result); Py_DECREF(result);
return NULL; return NULL;
} }
@ -4397,15 +4398,13 @@ _init_pos_args(PyObject *self, PyTypeObject *type,
} }
val = PyTuple_GET_ITEM(args, i + index); val = PyTuple_GET_ITEM(args, i + index);
if (kwds) { if (kwds) {
if (PyDict_GetItemWithError(kwds, name)) { res = PyDict_Contains(kwds, name);
PyErr_Format(PyExc_TypeError, if (res != 0) {
"duplicate values for field %R", if (res > 0) {
name); PyErr_Format(PyExc_TypeError,
Py_DECREF(pair); "duplicate values for field %R",
Py_DECREF(name); name);
return -1; }
}
else if (PyErr_Occurred()) {
Py_DECREF(pair); Py_DECREF(pair);
Py_DECREF(name); Py_DECREF(name);
return -1; return -1;

View File

@ -109,8 +109,9 @@ TryAddRef(StgDictObject *dict, CDataObject *obj)
IUnknown *punk; IUnknown *punk;
_Py_IDENTIFIER(_needs_com_addref_); _Py_IDENTIFIER(_needs_com_addref_);
if (!_PyDict_GetItemIdWithError((PyObject *)dict, &PyId__needs_com_addref_)) { int r = _PyDict_ContainsId((PyObject *)dict, &PyId__needs_com_addref_);
if (PyErr_Occurred()) { if (r <= 0) {
if (r < 0) {
PrintError("getting _needs_com_addref_"); PrintError("getting _needs_com_addref_");
} }
return; return;

View File

@ -2004,26 +2004,21 @@ fast_save_enter(PicklerObject *self, PyObject *obj)
self->fast_nesting = -1; self->fast_nesting = -1;
return 0; return 0;
} }
if (PyDict_GetItemWithError(self->fast_memo, key)) { int r = PyDict_Contains(self->fast_memo, key);
Py_DECREF(key); if (r > 0) {
PyErr_Format(PyExc_ValueError, PyErr_Format(PyExc_ValueError,
"fast mode: can't pickle cyclic objects " "fast mode: can't pickle cyclic objects "
"including object type %.200s at %p", "including object type %.200s at %p",
Py_TYPE(obj)->tp_name, obj); Py_TYPE(obj)->tp_name, obj);
self->fast_nesting = -1;
return 0;
} }
if (PyErr_Occurred()) { else if (r == 0) {
Py_DECREF(key); r = PyDict_SetItem(self->fast_memo, key, Py_None);
self->fast_nesting = -1;
return 0;
}
if (PyDict_SetItem(self->fast_memo, key, Py_None) < 0) {
Py_DECREF(key);
self->fast_nesting = -1;
return 0;
} }
Py_DECREF(key); Py_DECREF(key);
if (r != 0) {
self->fast_nesting = -1;
return 0;
}
} }
return 1; return 1;
} }

View File

@ -1526,13 +1526,11 @@ convertenviron(void)
Py_DECREF(d); Py_DECREF(d);
return NULL; return NULL;
} }
if (PyDict_GetItemWithError(d, k) == NULL) { if (PyDict_SetDefault(d, k, v) == NULL) {
if (PyErr_Occurred() || PyDict_SetItem(d, k, v) != 0) { Py_DECREF(v);
Py_DECREF(v); Py_DECREF(k);
Py_DECREF(k); Py_DECREF(d);
Py_DECREF(d); return NULL;
return NULL;
}
} }
Py_DECREF(k); Py_DECREF(k);
Py_DECREF(v); Py_DECREF(v);

View File

@ -1614,15 +1614,7 @@ static int init_handler_descrs(void)
if (descr == NULL) if (descr == NULL)
return -1; return -1;
if (PyDict_GetItemWithError(Xmlparsetype.tp_dict, PyDescr_NAME(descr))) { if (PyDict_SetDefault(Xmlparsetype.tp_dict, PyDescr_NAME(descr), descr) == NULL) {
Py_DECREF(descr);
continue;
}
else if (PyErr_Occurred()) {
Py_DECREF(descr);
return -1;
}
if (PyDict_SetItem(Xmlparsetype.tp_dict, PyDescr_NAME(descr), descr) < 0) {
Py_DECREF(descr); Py_DECREF(descr);
return -1; return -1;
} }

View File

@ -499,11 +499,14 @@ select_poll_modify_impl(pollObject *self, int fd, unsigned short eventmask)
key = PyLong_FromLong(fd); key = PyLong_FromLong(fd);
if (key == NULL) if (key == NULL)
return NULL; return NULL;
if (PyDict_GetItemWithError(self->dict, key) == NULL) { err = PyDict_Contains(self->dict, key);
if (!PyErr_Occurred()) { if (err < 0) {
errno = ENOENT; Py_DECREF(key);
PyErr_SetFromErrno(PyExc_OSError); return NULL;
} }
if (err == 0) {
errno = ENOENT;
PyErr_SetFromErrno(PyExc_OSError);
Py_DECREF(key); Py_DECREF(key);
return NULL; return NULL;
} }

View File

@ -2544,8 +2544,8 @@ PyDict_MergeFromSeq2(PyObject *d, PyObject *seq2, int override)
goto Fail; goto Fail;
} }
} }
else if (PyDict_GetItemWithError(d, key) == NULL) { else {
if (PyErr_Occurred() || PyDict_SetItem(d, key, value) < 0) { if (PyDict_SetDefault(d, key, value) == NULL) {
Py_DECREF(key); Py_DECREF(key);
Py_DECREF(value); Py_DECREF(value);
goto Fail; goto Fail;
@ -2660,19 +2660,20 @@ dict_merge(PyObject *a, PyObject *b, int override)
Py_INCREF(value); Py_INCREF(value);
if (override == 1) if (override == 1)
err = insertdict(mp, key, hash, value); err = insertdict(mp, key, hash, value);
else if (_PyDict_GetItem_KnownHash(a, key, hash) == NULL) { else {
if (PyErr_Occurred()) { err = _PyDict_Contains_KnownHash(a, key, hash);
Py_DECREF(value); if (err == 0) {
Py_DECREF(key); err = insertdict(mp, key, hash, value);
return -1; }
else if (err > 0) {
if (override != 0) {
_PyErr_SetKeyError(key);
Py_DECREF(value);
Py_DECREF(key);
return -1;
}
err = 0;
} }
err = insertdict(mp, key, hash, value);
}
else if (override != 0) {
_PyErr_SetKeyError(key);
Py_DECREF(value);
Py_DECREF(key);
return -1;
} }
Py_DECREF(value); Py_DECREF(value);
Py_DECREF(key); Py_DECREF(key);
@ -2709,17 +2710,15 @@ dict_merge(PyObject *a, PyObject *b, int override)
for (key = PyIter_Next(iter); key; key = PyIter_Next(iter)) { for (key = PyIter_Next(iter); key; key = PyIter_Next(iter)) {
if (override != 1) { if (override != 1) {
if (PyDict_GetItemWithError(a, key) != NULL) { status = PyDict_Contains(a, key);
if (override != 0) { if (status != 0) {
if (status > 0) {
if (override == 0) {
Py_DECREF(key);
continue;
}
_PyErr_SetKeyError(key); _PyErr_SetKeyError(key);
Py_DECREF(key);
Py_DECREF(iter);
return -1;
} }
Py_DECREF(key);
continue;
}
else if (PyErr_Occurred()) {
Py_DECREF(key); Py_DECREF(key);
Py_DECREF(iter); Py_DECREF(iter);
return -1; return -1;

View File

@ -2388,7 +2388,7 @@ type_new(PyTypeObject *metatype, PyObject *args, PyObject *kwds)
PyHeapTypeObject *et; PyHeapTypeObject *et;
PyMemberDef *mp; PyMemberDef *mp;
Py_ssize_t i, nbases, nslots, slotoffset, name_size; Py_ssize_t i, nbases, nslots, slotoffset, name_size;
int j, may_add_dict, may_add_weak, add_dict, add_weak; int j, r, may_add_dict, may_add_weak, add_dict, add_weak;
_Py_IDENTIFIER(__qualname__); _Py_IDENTIFIER(__qualname__);
_Py_IDENTIFIER(__slots__); _Py_IDENTIFIER(__slots__);
_Py_IDENTIFIER(__classcell__); _Py_IDENTIFIER(__classcell__);
@ -2542,7 +2542,12 @@ type_new(PyTypeObject *metatype, PyObject *args, PyObject *kwds)
goto error; goto error;
} }
PyList_SET_ITEM(newslots, j, tmp); PyList_SET_ITEM(newslots, j, tmp);
if (PyDict_GetItemWithError(dict, tmp)) { r = PyDict_Contains(dict, tmp);
if (r < 0) {
Py_DECREF(newslots);
goto error;
}
if (r > 0) {
/* CPython inserts __qualname__ and __classcell__ (when needed) /* CPython inserts __qualname__ and __classcell__ (when needed)
into the namespace when creating a class. They will be deleted into the namespace when creating a class. They will be deleted
below so won't act as class variables. */ below so won't act as class variables. */
@ -2555,10 +2560,6 @@ type_new(PyTypeObject *metatype, PyObject *args, PyObject *kwds)
goto error; goto error;
} }
} }
else if (PyErr_Occurred()) {
Py_DECREF(newslots);
goto error;
}
j++; j++;
} }
assert(j == nslots - add_dict - add_weak); assert(j == nslots - add_dict - add_weak);
@ -2643,10 +2644,11 @@ type_new(PyTypeObject *metatype, PyObject *args, PyObject *kwds)
type->tp_dict = dict; type->tp_dict = dict;
/* Set __module__ in the dict */ /* Set __module__ in the dict */
if (_PyDict_GetItemIdWithError(dict, &PyId___module__) == NULL) { r = _PyDict_ContainsId(dict, &PyId___module__);
if (PyErr_Occurred()) { if (r < 0) {
goto error; goto error;
} }
if (r == 0) {
tmp = PyEval_GetGlobals(); tmp = PyEval_GetGlobals();
if (tmp != NULL) { if (tmp != NULL) {
tmp = _PyDict_GetItemIdWithError(tmp, &PyId___name__); tmp = _PyDict_GetItemIdWithError(tmp, &PyId___name__);
@ -2885,6 +2887,7 @@ PyType_FromModuleAndSpec(PyObject *module, PyType_Spec *spec, PyObject *bases)
PyHeapTypeObject *res; PyHeapTypeObject *res;
PyObject *modname; PyObject *modname;
PyTypeObject *type, *base; PyTypeObject *type, *base;
int r;
const PyType_Slot *slot; const PyType_Slot *slot;
Py_ssize_t nmembers, weaklistoffset, dictoffset, vectorcalloffset; Py_ssize_t nmembers, weaklistoffset, dictoffset, vectorcalloffset;
@ -3052,9 +3055,9 @@ PyType_FromModuleAndSpec(PyObject *module, PyType_Spec *spec, PyObject *bases)
PyObject *__doc__ = PyUnicode_FromString(_PyType_DocWithoutSignature(type->tp_name, type->tp_doc)); PyObject *__doc__ = PyUnicode_FromString(_PyType_DocWithoutSignature(type->tp_name, type->tp_doc));
if (!__doc__) if (!__doc__)
goto fail; goto fail;
int ret = _PyDict_SetItemId(type->tp_dict, &PyId___doc__, __doc__); r = _PyDict_SetItemId(type->tp_dict, &PyId___doc__, __doc__);
Py_DECREF(__doc__); Py_DECREF(__doc__);
if (ret < 0) if (r < 0)
goto fail; goto fail;
} }
@ -3070,21 +3073,21 @@ PyType_FromModuleAndSpec(PyObject *module, PyType_Spec *spec, PyObject *bases)
} }
/* Set type.__module__ */ /* Set type.__module__ */
if (_PyDict_GetItemIdWithError(type->tp_dict, &PyId___module__) == NULL) { r = _PyDict_ContainsId(type->tp_dict, &PyId___module__);
if (PyErr_Occurred()) { if (r < 0) {
goto fail; goto fail;
} }
if (r == 0) {
s = strrchr(spec->name, '.'); s = strrchr(spec->name, '.');
if (s != NULL) { if (s != NULL) {
int err;
modname = PyUnicode_FromStringAndSize( modname = PyUnicode_FromStringAndSize(
spec->name, (Py_ssize_t)(s - spec->name)); spec->name, (Py_ssize_t)(s - spec->name));
if (modname == NULL) { if (modname == NULL) {
goto fail; goto fail;
} }
err = _PyDict_SetItemId(type->tp_dict, &PyId___module__, modname); r = _PyDict_SetItemId(type->tp_dict, &PyId___module__, modname);
Py_DECREF(modname); Py_DECREF(modname);
if (err != 0) if (r != 0)
goto fail; goto fail;
} else { } else {
if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1, if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
@ -5035,26 +5038,16 @@ add_methods(PyTypeObject *type, PyMethodDef *meth)
} }
if (!(meth->ml_flags & METH_COEXIST)) { if (!(meth->ml_flags & METH_COEXIST)) {
if (PyDict_GetItemWithError(dict, name)) { err = PyDict_SetDefault(dict, name, descr) == NULL;
if (!isdescr) { }
Py_DECREF(name); else {
} err = PyDict_SetItem(dict, name, descr) < 0;
Py_DECREF(descr);
continue;
}
else if (PyErr_Occurred()) {
if (!isdescr) {
Py_DECREF(name);
}
return -1;
}
} }
err = PyDict_SetItem(dict, name, descr);
if (!isdescr) { if (!isdescr) {
Py_DECREF(name); Py_DECREF(name);
} }
Py_DECREF(descr); Py_DECREF(descr);
if (err < 0) if (err)
return -1; return -1;
} }
return 0; return 0;
@ -5070,15 +5063,7 @@ add_members(PyTypeObject *type, PyMemberDef *memb)
if (descr == NULL) if (descr == NULL)
return -1; return -1;
if (PyDict_GetItemWithError(dict, PyDescr_NAME(descr))) { if (PyDict_SetDefault(dict, PyDescr_NAME(descr), descr) == NULL) {
Py_DECREF(descr);
continue;
}
else if (PyErr_Occurred()) {
Py_DECREF(descr);
return -1;
}
if (PyDict_SetItem(dict, PyDescr_NAME(descr), descr) < 0) {
Py_DECREF(descr); Py_DECREF(descr);
return -1; return -1;
} }
@ -5097,15 +5082,7 @@ add_getset(PyTypeObject *type, PyGetSetDef *gsp)
if (descr == NULL) if (descr == NULL)
return -1; return -1;
if (PyDict_GetItemWithError(dict, PyDescr_NAME(descr))) { if (PyDict_SetDefault(dict, PyDescr_NAME(descr), descr) == NULL) {
Py_DECREF(descr);
continue;
}
else if (PyErr_Occurred()) {
Py_DECREF(descr);
return -1;
}
if (PyDict_SetItem(dict, PyDescr_NAME(descr), descr) < 0) {
Py_DECREF(descr); Py_DECREF(descr);
return -1; return -1;
} }
@ -5553,10 +5530,11 @@ PyType_Ready(PyTypeObject *type)
/* if the type dictionary doesn't contain a __doc__, set it from /* if the type dictionary doesn't contain a __doc__, set it from
the tp_doc slot. the tp_doc slot.
*/ */
if (_PyDict_GetItemIdWithError(type->tp_dict, &PyId___doc__) == NULL) { int r = _PyDict_ContainsId(type->tp_dict, &PyId___doc__);
if (PyErr_Occurred()) { if (r < 0) {
goto error; goto error;
} }
if (r == 0) {
if (type->tp_doc != NULL) { if (type->tp_doc != NULL) {
const char *old_doc = _PyType_DocWithoutSignature(type->tp_name, const char *old_doc = _PyType_DocWithoutSignature(type->tp_name,
type->tp_doc); type->tp_doc);
@ -5582,10 +5560,12 @@ PyType_Ready(PyTypeObject *type)
This signals that __hash__ is not inherited. This signals that __hash__ is not inherited.
*/ */
if (type->tp_hash == NULL) { if (type->tp_hash == NULL) {
if (_PyDict_GetItemIdWithError(type->tp_dict, &PyId___hash__) == NULL) { r = _PyDict_ContainsId(type->tp_dict, &PyId___hash__);
if (PyErr_Occurred() || if (r < 0) {
_PyDict_SetItemId(type->tp_dict, &PyId___hash__, Py_None) < 0) goto error;
{ }
if (r == 0) {
if (_PyDict_SetItemId(type->tp_dict, &PyId___hash__, Py_None) < 0) {
goto error; goto error;
} }
type->tp_hash = PyObject_HashNotImplemented; type->tp_hash = PyObject_HashNotImplemented;
@ -6270,19 +6250,17 @@ add_tp_new_wrapper(PyTypeObject *type)
{ {
PyObject *func; PyObject *func;
if (_PyDict_GetItemIdWithError(type->tp_dict, &PyId___new__) != NULL) int r = _PyDict_ContainsId(type->tp_dict, &PyId___new__);
if (r > 0)
return 0; return 0;
if (PyErr_Occurred()) if (r < 0)
return -1; return -1;
func = PyCFunction_NewEx(tp_new_methoddef, (PyObject *)type, NULL); func = PyCFunction_NewEx(tp_new_methoddef, (PyObject *)type, NULL);
if (func == NULL) if (func == NULL)
return -1; return -1;
if (_PyDict_SetItemId(type->tp_dict, &PyId___new__, func)) { r = _PyDict_SetItemId(type->tp_dict, &PyId___new__, func);
Py_DECREF(func);
return -1;
}
Py_DECREF(func); Py_DECREF(func);
return 0; return r;
} }
/* Slot wrappers that call the corresponding __foo__ slot. See comments /* Slot wrappers that call the corresponding __foo__ slot. See comments
@ -7795,10 +7773,11 @@ recurse_down_subclasses(PyTypeObject *type, PyObject *name,
/* Avoid recursing down into unaffected classes */ /* Avoid recursing down into unaffected classes */
dict = subclass->tp_dict; dict = subclass->tp_dict;
if (dict != NULL && PyDict_Check(dict)) { if (dict != NULL && PyDict_Check(dict)) {
if (PyDict_GetItemWithError(dict, name) != NULL) { int r = PyDict_Contains(dict, name);
if (r > 0) {
continue; continue;
} }
if (PyErr_Occurred()) { if (r < 0) {
return -1; return -1;
} }
} }
@ -7853,9 +7832,10 @@ add_operators(PyTypeObject *type)
ptr = slotptr(type, p->offset); ptr = slotptr(type, p->offset);
if (!ptr || !*ptr) if (!ptr || !*ptr)
continue; continue;
if (PyDict_GetItemWithError(dict, p->name_strobj)) int r = PyDict_Contains(dict, p->name_strobj);
if (r > 0)
continue; continue;
if (PyErr_Occurred()) { if (r < 0) {
return -1; return -1;
} }
if (*ptr == (void *)PyObject_HashNotImplemented) { if (*ptr == (void *)PyObject_HashNotImplemented) {

View File

@ -924,12 +924,12 @@ builtin_eval_impl(PyObject *module, PyObject *source, PyObject *globals,
return NULL; return NULL;
} }
if (_PyDict_GetItemIdWithError(globals, &PyId___builtins__) == NULL) { int r = _PyDict_ContainsId(globals, &PyId___builtins__);
if (_PyDict_SetItemId(globals, &PyId___builtins__, if (r == 0) {
PyEval_GetBuiltins()) != 0) r = _PyDict_SetItemId(globals, &PyId___builtins__,
return NULL; PyEval_GetBuiltins());
} }
else if (PyErr_Occurred()) { if (r < 0) {
return NULL; return NULL;
} }
@ -1012,12 +1012,12 @@ builtin_exec_impl(PyObject *module, PyObject *source, PyObject *globals,
Py_TYPE(locals)->tp_name); Py_TYPE(locals)->tp_name);
return NULL; return NULL;
} }
if (_PyDict_GetItemIdWithError(globals, &PyId___builtins__) == NULL) { int r = _PyDict_ContainsId(globals, &PyId___builtins__);
if (_PyDict_SetItemId(globals, &PyId___builtins__, if (r == 0) {
PyEval_GetBuiltins()) != 0) r = _PyDict_SetItemId(globals, &PyId___builtins__,
return NULL; PyEval_GetBuiltins());
} }
else if (PyErr_Occurred()) { if (r < 0) {
return NULL; return NULL;
} }

View File

@ -1098,10 +1098,11 @@ PyErr_NewException(const char *name, PyObject *base, PyObject *dict)
goto failure; goto failure;
} }
if (_PyDict_GetItemIdWithError(dict, &PyId___module__) == NULL) { int r = _PyDict_ContainsId(dict, &PyId___module__);
if (_PyErr_Occurred(tstate)) { if (r < 0) {
goto failure; goto failure;
} }
if (r == 0) {
modulename = PyUnicode_FromStringAndSize(name, modulename = PyUnicode_FromStringAndSize(name,
(Py_ssize_t)(dot-name)); (Py_ssize_t)(dot-name));
if (modulename == NULL) if (modulename == NULL)

View File

@ -1018,14 +1018,14 @@ module_dict_for_exec(PyThreadState *tstate, PyObject *name)
/* If the module is being reloaded, we get the old module back /* If the module is being reloaded, we get the old module back
and re-use its dict to exec the new code. */ and re-use its dict to exec the new code. */
d = PyModule_GetDict(m); d = PyModule_GetDict(m);
if (_PyDict_GetItemIdWithError(d, &PyId___builtins__) == NULL) { int r = _PyDict_ContainsId(d, &PyId___builtins__);
if (_PyErr_Occurred(tstate) || if (r == 0) {
_PyDict_SetItemId(d, &PyId___builtins__, r = _PyDict_SetItemId(d, &PyId___builtins__,
PyEval_GetBuiltins()) != 0) PyEval_GetBuiltins());
{ }
remove_module(tstate, name); if (r < 0) {
return NULL; remove_module(tstate, name);
} return NULL;
} }
return d; /* Return a borrowed reference. */ return d; /* Return a borrowed reference. */
@ -1660,10 +1660,14 @@ resolve_name(PyThreadState *tstate, PyObject *name, PyObject *globals, int level
goto error; goto error;
} }
if (_PyDict_GetItemIdWithError(globals, &PyId___path__) == NULL) { int haspath = _PyDict_ContainsId(globals, &PyId___path__);
if (haspath < 0) {
goto error;
}
if (!haspath) {
Py_ssize_t dot; Py_ssize_t dot;
if (_PyErr_Occurred(tstate) || PyUnicode_READY(package) < 0) { if (PyUnicode_READY(package) < 0) {
goto error; goto error;
} }