blob: 47c352e3d6405825e047309e0c27f7353f65f438 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Benjamin Peterson722954a2011-06-11 16:33:35 -05002/* Generic object operations; and implementation of None */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00003
Guido van Rossumc0b618a1997-05-02 03:12:38 +00004#include "Python.h"
Victor Stinnere5014be2020-04-14 17:52:15 +02005#include "pycore_ceval.h" // _Py_EnterRecursiveCall()
Victor Stinnerbe434dc2019-11-05 00:51:22 +01006#include "pycore_context.h"
Victor Stinner331a6a52019-05-27 16:39:22 +02007#include "pycore_initconfig.h"
Victor Stinner0fc91ee2019-04-12 21:51:34 +02008#include "pycore_object.h"
Victor Stinnerbe434dc2019-11-05 00:51:22 +01009#include "pycore_pyerrors.h"
Victor Stinner7a1f6c22020-01-30 09:02:14 +010010#include "pycore_pylifecycle.h"
Victor Stinnere560f902020-04-14 18:30:41 +020011#include "pycore_pymem.h" // _PyMem_IsPtrFreed()
Victor Stinnere5014be2020-04-14 17:52:15 +020012#include "pycore_pystate.h" // _PyThreadState_GET()
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +020013#include "pycore_symtable.h" // PySTEntry_Type
Miss Islington (bot)03aad302021-07-17 14:10:21 -070014#include "pycore_unionobject.h" // _PyUnion_Type
Benjamin Petersonfd838e62009-04-20 02:09:13 +000015#include "frameobject.h"
Eric Snowc11183c2019-03-15 16:35:46 -060016#include "interpreteridobject.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000017
Victor Stinner3359cab2021-04-02 15:45:37 +020018#ifdef Py_LIMITED_API
19 // Prevent recursive call _Py_IncRef() <=> Py_INCREF()
20# error "Py_LIMITED_API macro must not be defined"
21#endif
22
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000023#ifdef __cplusplus
24extern "C" {
25#endif
26
Victor Stinner626bff82018-10-25 17:31:10 +020027/* Defined in tracemalloc.c */
28extern void _PyMem_DumpTraceback(int fd, const void *ptr);
29
Victor Stinnerbd303c12013-11-07 23:07:29 +010030_Py_IDENTIFIER(Py_Repr);
31_Py_IDENTIFIER(__bytes__);
32_Py_IDENTIFIER(__dir__);
33_Py_IDENTIFIER(__isabstractmethod__);
Victor Stinnerbd303c12013-11-07 23:07:29 +010034
Victor Stinner0fc91ee2019-04-12 21:51:34 +020035
36int
37_PyObject_CheckConsistency(PyObject *op, int check_content)
38{
Victor Stinner68762572019-10-07 18:42:01 +020039#define CHECK(expr) \
40 do { if (!(expr)) { _PyObject_ASSERT_FAILED_MSG(op, Py_STRINGIFY(expr)); } } while (0)
Victor Stinner0fc91ee2019-04-12 21:51:34 +020041
Victor Stinner68762572019-10-07 18:42:01 +020042 CHECK(!_PyObject_IsFreed(op));
43 CHECK(Py_REFCNT(op) >= 1);
44
Victor Stinner58ac7002020-02-07 03:04:21 +010045 _PyType_CheckConsistency(Py_TYPE(op));
Victor Stinner0fc91ee2019-04-12 21:51:34 +020046
47 if (PyUnicode_Check(op)) {
48 _PyUnicode_CheckConsistency(op, check_content);
49 }
50 else if (PyDict_Check(op)) {
51 _PyDict_CheckConsistency(op, check_content);
52 }
53 return 1;
Victor Stinner68762572019-10-07 18:42:01 +020054
55#undef CHECK
Victor Stinner0fc91ee2019-04-12 21:51:34 +020056}
57
58
Tim Peters34592512002-07-11 06:23:50 +000059#ifdef Py_REF_DEBUG
Neal Norwitz84632ee2006-03-04 20:00:59 +000060Py_ssize_t _Py_RefTotal;
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000061
62Py_ssize_t
63_Py_GetRefTotal(void)
64{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000065 PyObject *o;
66 Py_ssize_t total = _Py_RefTotal;
Antoine Pitrou9d952542013-08-24 21:07:07 +020067 o = _PySet_Dummy;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000068 if (o != NULL)
Victor Stinnera93c51e2020-02-07 00:38:59 +010069 total -= Py_REFCNT(o);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000070 return total;
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000071}
Nick Coghland6009512014-11-20 21:39:37 +100072
73void
74_PyDebug_PrintTotalRefs(void) {
Eric Snowdae02762017-09-14 00:35:58 -070075 fprintf(stderr,
Victor Stinnerd36cf5f2020-06-10 18:38:05 +020076 "[%zd refs, %zd blocks]\n",
Eric Snowdae02762017-09-14 00:35:58 -070077 _Py_GetRefTotal(), _Py_GetAllocatedBlocks());
Nick Coghland6009512014-11-20 21:39:37 +100078}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000079#endif /* Py_REF_DEBUG */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000080
Guido van Rossum3f5da241990-12-20 15:06:42 +000081/* Object allocation routines used by NEWOBJ and NEWVAROBJ macros.
82 These are used by the individual routines for object creation.
83 Do not call them otherwise, they do not initialize the object! */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000084
Tim Peters78be7992003-03-23 02:51:01 +000085#ifdef Py_TRACE_REFS
Tim Peters7571a0f2003-03-23 17:52:28 +000086/* Head of circular doubly-linked list of all objects. These are linked
87 * together via the _ob_prev and _ob_next members of a PyObject, which
88 * exist only in a Py_TRACE_REFS build.
89 */
Tim Peters78be7992003-03-23 02:51:01 +000090static PyObject refchain = {&refchain, &refchain};
Tim Peters36eb4df2003-03-23 03:33:13 +000091
Tim Peters7571a0f2003-03-23 17:52:28 +000092/* Insert op at the front of the list of all objects. If force is true,
93 * op is added even if _ob_prev and _ob_next are non-NULL already. If
94 * force is false amd _ob_prev or _ob_next are non-NULL, do nothing.
95 * force should be true if and only if op points to freshly allocated,
96 * uninitialized memory, or you've unlinked op from the list and are
Tim Peters51f8d382003-03-23 18:06:08 +000097 * relinking it into the front.
Tim Peters7571a0f2003-03-23 17:52:28 +000098 * Note that objects are normally added to the list via _Py_NewReference,
99 * which is called by PyObject_Init. Not all objects are initialized that
100 * way, though; exceptions include statically allocated type objects, and
101 * statically allocated singletons (like Py_True and Py_None).
102 */
Victor Stinner58f4e1a2020-02-05 18:24:33 +0100103void
Tim Peters7571a0f2003-03-23 17:52:28 +0000104_Py_AddToAllObjects(PyObject *op, int force)
Tim Peters36eb4df2003-03-23 03:33:13 +0000105{
Tim Peters7571a0f2003-03-23 17:52:28 +0000106#ifdef Py_DEBUG
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000107 if (!force) {
108 /* If it's initialized memory, op must be in or out of
109 * the list unambiguously.
110 */
Victor Stinner24702042018-10-26 17:16:37 +0200111 _PyObject_ASSERT(op, (op->_ob_prev == NULL) == (op->_ob_next == NULL));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000112 }
Tim Peters78be7992003-03-23 02:51:01 +0000113#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000114 if (force || op->_ob_prev == NULL) {
115 op->_ob_next = refchain._ob_next;
116 op->_ob_prev = &refchain;
117 refchain._ob_next->_ob_prev = op;
118 refchain._ob_next = op;
119 }
Tim Peters7571a0f2003-03-23 17:52:28 +0000120}
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000121#endif /* Py_TRACE_REFS */
Tim Peters78be7992003-03-23 02:51:01 +0000122
Tim Peters7c321a82002-07-09 02:57:01 +0000123#ifdef Py_REF_DEBUG
124/* Log a fatal error; doesn't return. */
125void
Victor Stinner18618e652018-10-25 17:28:11 +0200126_Py_NegativeRefcount(const char *filename, int lineno, PyObject *op)
Tim Peters7c321a82002-07-09 02:57:01 +0000127{
Victor Stinnerf1d002c2018-11-21 23:53:44 +0100128 _PyObject_AssertFailed(op, NULL, "object has negative ref count",
Victor Stinner3ec9af72018-10-26 02:12:34 +0200129 filename, lineno, __func__);
Tim Peters7c321a82002-07-09 02:57:01 +0000130}
131
132#endif /* Py_REF_DEBUG */
133
Thomas Heller1328b522004-04-22 17:23:49 +0000134void
135Py_IncRef(PyObject *o)
136{
137 Py_XINCREF(o);
138}
139
140void
141Py_DecRef(PyObject *o)
142{
143 Py_XDECREF(o);
144}
145
Victor Stinner3359cab2021-04-02 15:45:37 +0200146void
147_Py_IncRef(PyObject *o)
148{
149 Py_INCREF(o);
150}
151
152void
153_Py_DecRef(PyObject *o)
154{
155 Py_DECREF(o);
156}
157
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000158PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000159PyObject_Init(PyObject *op, PyTypeObject *tp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000160{
Victor Stinnerf58bd7c2020-02-05 13:12:19 +0100161 if (op == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000162 return PyErr_NoMemory();
Victor Stinnerf58bd7c2020-02-05 13:12:19 +0100163 }
164
Victor Stinner04fc4f22020-06-16 01:28:07 +0200165 _PyObject_Init(op, tp);
166 return op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000167}
168
Guido van Rossumb18618d2000-05-03 23:44:39 +0000169PyVarObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000170PyObject_InitVar(PyVarObject *op, PyTypeObject *tp, Py_ssize_t size)
Guido van Rossumb18618d2000-05-03 23:44:39 +0000171{
Victor Stinnerf58bd7c2020-02-05 13:12:19 +0100172 if (op == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000173 return (PyVarObject *) PyErr_NoMemory();
Victor Stinnerf58bd7c2020-02-05 13:12:19 +0100174 }
175
Victor Stinner04fc4f22020-06-16 01:28:07 +0200176 _PyObject_InitVar(op, tp, size);
177 return op;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000178}
179
180PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000181_PyObject_New(PyTypeObject *tp)
Guido van Rossumb18618d2000-05-03 23:44:39 +0000182{
Victor Stinner32bd68c2020-12-01 10:37:39 +0100183 PyObject *op = (PyObject *) PyObject_Malloc(_PyObject_SIZE(tp));
Victor Stinner92055202020-04-08 00:38:15 +0200184 if (op == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000185 return PyErr_NoMemory();
Victor Stinner92055202020-04-08 00:38:15 +0200186 }
Victor Stinner04fc4f22020-06-16 01:28:07 +0200187 _PyObject_Init(op, tp);
Victor Stinner92055202020-04-08 00:38:15 +0200188 return op;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000189}
190
Guido van Rossumd0c87ee1997-05-15 21:31:03 +0000191PyVarObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000192_PyObject_NewVar(PyTypeObject *tp, Py_ssize_t nitems)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000193{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000194 PyVarObject *op;
195 const size_t size = _PyObject_VAR_SIZE(tp, nitems);
Victor Stinner32bd68c2020-12-01 10:37:39 +0100196 op = (PyVarObject *) PyObject_Malloc(size);
Victor Stinner04fc4f22020-06-16 01:28:07 +0200197 if (op == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000198 return (PyVarObject *)PyErr_NoMemory();
Victor Stinner04fc4f22020-06-16 01:28:07 +0200199 }
200 _PyObject_InitVar(op, tp, nitems);
201 return op;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000202}
203
Antoine Pitrou796564c2013-07-30 19:59:21 +0200204void
205PyObject_CallFinalizer(PyObject *self)
206{
207 PyTypeObject *tp = Py_TYPE(self);
208
Antoine Pitrouada319b2019-05-29 22:12:38 +0200209 if (tp->tp_finalize == NULL)
Antoine Pitrou796564c2013-07-30 19:59:21 +0200210 return;
211 /* tp_finalize should only be called once. */
Victor Stinner45ec5b92020-04-08 01:42:27 +0200212 if (_PyType_IS_GC(tp) && _PyGC_FINALIZED(self))
Antoine Pitrou796564c2013-07-30 19:59:21 +0200213 return;
214
215 tp->tp_finalize(self);
Victor Stinner45ec5b92020-04-08 01:42:27 +0200216 if (_PyType_IS_GC(tp)) {
INADA Naoki5ac9e6e2018-07-10 17:19:53 +0900217 _PyGC_SET_FINALIZED(self);
218 }
Antoine Pitrou796564c2013-07-30 19:59:21 +0200219}
220
221int
222PyObject_CallFinalizerFromDealloc(PyObject *self)
223{
Victor Stinnera93c51e2020-02-07 00:38:59 +0100224 if (Py_REFCNT(self) != 0) {
Victor Stinner5eb8bff2020-01-30 09:01:07 +0100225 _PyObject_ASSERT_FAILED_MSG(self,
226 "PyObject_CallFinalizerFromDealloc called "
227 "on object with a non-zero refcount");
228 }
Antoine Pitrou796564c2013-07-30 19:59:21 +0200229
230 /* Temporarily resurrect the object. */
Victor Stinnerc86a1122020-02-07 01:24:29 +0100231 Py_SET_REFCNT(self, 1);
Antoine Pitrou796564c2013-07-30 19:59:21 +0200232
233 PyObject_CallFinalizer(self);
234
Victor Stinner24702042018-10-26 17:16:37 +0200235 _PyObject_ASSERT_WITH_MSG(self,
Victor Stinnera93c51e2020-02-07 00:38:59 +0100236 Py_REFCNT(self) > 0,
Victor Stinner24702042018-10-26 17:16:37 +0200237 "refcount is too small");
Victor Stinner5eb8bff2020-01-30 09:01:07 +0100238
239 /* Undo the temporary resurrection; can't use DECREF here, it would
240 * cause a recursive call. */
Victor Stinnerc86a1122020-02-07 01:24:29 +0100241 Py_SET_REFCNT(self, Py_REFCNT(self) - 1);
242 if (Py_REFCNT(self) == 0) {
Antoine Pitrou796564c2013-07-30 19:59:21 +0200243 return 0; /* this is the normal path out */
Victor Stinner5eb8bff2020-01-30 09:01:07 +0100244 }
Antoine Pitrou796564c2013-07-30 19:59:21 +0200245
246 /* tp_finalize resurrected it! Make it look like the original Py_DECREF
Victor Stinner5eb8bff2020-01-30 09:01:07 +0100247 * never happened. */
Victor Stinnera93c51e2020-02-07 00:38:59 +0100248 Py_ssize_t refcnt = Py_REFCNT(self);
Antoine Pitrou796564c2013-07-30 19:59:21 +0200249 _Py_NewReference(self);
Victor Stinnerc86a1122020-02-07 01:24:29 +0100250 Py_SET_REFCNT(self, refcnt);
Antoine Pitrou796564c2013-07-30 19:59:21 +0200251
Victor Stinner24702042018-10-26 17:16:37 +0200252 _PyObject_ASSERT(self,
Victor Stinner45ec5b92020-04-08 01:42:27 +0200253 (!_PyType_IS_GC(Py_TYPE(self))
Victor Stinner24702042018-10-26 17:16:37 +0200254 || _PyObject_GC_IS_TRACKED(self)));
Victor Stinner49932fe2020-02-03 17:55:05 +0100255 /* If Py_REF_DEBUG macro is defined, _Py_NewReference() increased
256 _Py_RefTotal, so we need to undo that. */
257#ifdef Py_REF_DEBUG
258 _Py_RefTotal--;
259#endif
Antoine Pitrou796564c2013-07-30 19:59:21 +0200260 return -1;
261}
262
Antoine Pitrouc47bd4a2010-07-27 22:08:27 +0000263int
264PyObject_Print(PyObject *op, FILE *fp, int flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000265{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000266 int ret = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000267 if (PyErr_CheckSignals())
268 return -1;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000269#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000270 if (PyOS_CheckStack()) {
271 PyErr_SetString(PyExc_MemoryError, "stack overflow");
272 return -1;
273 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000274#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000275 clearerr(fp); /* Clear any previous error condition */
276 if (op == NULL) {
277 Py_BEGIN_ALLOW_THREADS
278 fprintf(fp, "<nil>");
279 Py_END_ALLOW_THREADS
280 }
281 else {
Victor Stinnera93c51e2020-02-07 00:38:59 +0100282 if (Py_REFCNT(op) <= 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000283 /* XXX(twouters) cast refcount to long until %zd is
284 universally available */
285 Py_BEGIN_ALLOW_THREADS
286 fprintf(fp, "<refcnt %ld at %p>",
Victor Stinnera93c51e2020-02-07 00:38:59 +0100287 (long)Py_REFCNT(op), (void *)op);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000288 Py_END_ALLOW_THREADS
Victor Stinner3ec9af72018-10-26 02:12:34 +0200289 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000290 else {
291 PyObject *s;
292 if (flags & Py_PRINT_RAW)
293 s = PyObject_Str(op);
294 else
295 s = PyObject_Repr(op);
296 if (s == NULL)
297 ret = -1;
298 else if (PyBytes_Check(s)) {
299 fwrite(PyBytes_AS_STRING(s), 1,
300 PyBytes_GET_SIZE(s), fp);
301 }
302 else if (PyUnicode_Check(s)) {
303 PyObject *t;
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200304 t = PyUnicode_AsEncodedString(s, "utf-8", "backslashreplace");
Zackery Spytzae62f012018-10-06 00:44:25 -0600305 if (t == NULL) {
306 ret = -1;
307 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000308 else {
309 fwrite(PyBytes_AS_STRING(t), 1,
310 PyBytes_GET_SIZE(t), fp);
Victor Stinnerba6b4302010-05-17 09:33:42 +0000311 Py_DECREF(t);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000312 }
313 }
314 else {
315 PyErr_Format(PyExc_TypeError,
316 "str() or repr() returned '%.100s'",
Victor Stinner58ac7002020-02-07 03:04:21 +0100317 Py_TYPE(s)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000318 ret = -1;
319 }
320 Py_XDECREF(s);
321 }
322 }
323 if (ret == 0) {
324 if (ferror(fp)) {
Serhiy Storchaka55fe1ae2017-04-16 10:46:38 +0300325 PyErr_SetFromErrno(PyExc_OSError);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000326 clearerr(fp);
327 ret = -1;
328 }
329 }
330 return ret;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000331}
332
Guido van Rossum38938152006-08-21 23:36:26 +0000333/* For debugging convenience. Set a breakpoint here and call it from your DLL */
334void
Thomas Woutersb2137042007-02-01 18:02:27 +0000335_Py_BreakPoint(void)
Guido van Rossum38938152006-08-21 23:36:26 +0000336{
337}
338
Neal Norwitz1a997502003-01-13 20:13:12 +0000339
Victor Stinner4c409be2019-04-11 13:01:15 +0200340/* Heuristic checking if the object memory is uninitialized or deallocated.
341 Rely on the debug hooks on Python memory allocators:
342 see _PyMem_IsPtrFreed().
Victor Stinner82af0b62018-10-23 17:39:40 +0200343
344 The function can be used to prevent segmentation fault on dereferencing
Victor Stinner4c409be2019-04-11 13:01:15 +0200345 pointers like 0xDDDDDDDDDDDDDDDD. */
Victor Stinner82af0b62018-10-23 17:39:40 +0200346int
347_PyObject_IsFreed(PyObject *op)
348{
Victor Stinner58ac7002020-02-07 03:04:21 +0100349 if (_PyMem_IsPtrFreed(op) || _PyMem_IsPtrFreed(Py_TYPE(op))) {
Victor Stinner2cf5d322018-11-22 16:32:57 +0100350 return 1;
351 }
Victor Stinner2b00db62019-04-11 11:33:27 +0200352 /* ignore op->ob_ref: its value can have be modified
Victor Stinner82af0b62018-10-23 17:39:40 +0200353 by Py_INCREF() and Py_DECREF(). */
354#ifdef Py_TRACE_REFS
Pablo Galindo36e33c32019-10-08 00:43:14 +0100355 if (op->_ob_next != NULL && _PyMem_IsPtrFreed(op->_ob_next)) {
Victor Stinner2b00db62019-04-11 11:33:27 +0200356 return 1;
357 }
Pablo Galindo36e33c32019-10-08 00:43:14 +0100358 if (op->_ob_prev != NULL && _PyMem_IsPtrFreed(op->_ob_prev)) {
359 return 1;
360 }
Victor Stinner82af0b62018-10-23 17:39:40 +0200361#endif
Victor Stinner2b00db62019-04-11 11:33:27 +0200362 return 0;
Victor Stinner82af0b62018-10-23 17:39:40 +0200363}
364
365
Barry Warsaw9bf16442001-01-23 16:24:35 +0000366/* For debugging convenience. See Misc/gdbinit for some useful gdb hooks */
Guido van Rossum38938152006-08-21 23:36:26 +0000367void
368_PyObject_Dump(PyObject* op)
Barry Warsaw9bf16442001-01-23 16:24:35 +0000369{
Victor Stinner82af0b62018-10-23 17:39:40 +0200370 if (_PyObject_IsFreed(op)) {
371 /* It seems like the object memory has been freed:
372 don't access it to prevent a segmentation fault. */
Victor Stinnerb39afb72019-09-17 23:36:28 +0200373 fprintf(stderr, "<object at %p is freed>\n", op);
Victor Stinner68762572019-10-07 18:42:01 +0200374 fflush(stderr);
Victor Stinner2cf5d322018-11-22 16:32:57 +0100375 return;
Victor Stinner82af0b62018-10-23 17:39:40 +0200376 }
377
Victor Stinner68762572019-10-07 18:42:01 +0200378 /* first, write fields which are the least likely to crash */
379 fprintf(stderr, "object address : %p\n", (void *)op);
Victor Stinner82af0b62018-10-23 17:39:40 +0200380 /* XXX(twouters) cast refcount to long until %zd is
381 universally available */
Victor Stinnera93c51e2020-02-07 00:38:59 +0100382 fprintf(stderr, "object refcount : %ld\n", (long)Py_REFCNT(op));
Victor Stinner68762572019-10-07 18:42:01 +0200383 fflush(stderr);
384
385 PyTypeObject *type = Py_TYPE(op);
386 fprintf(stderr, "object type : %p\n", type);
387 fprintf(stderr, "object type name: %s\n",
388 type==NULL ? "NULL" : type->tp_name);
389
390 /* the most dangerous part */
391 fprintf(stderr, "object repr : ");
392 fflush(stderr);
393
394 PyGILState_STATE gil = PyGILState_Ensure();
395 PyObject *error_type, *error_value, *error_traceback;
396 PyErr_Fetch(&error_type, &error_value, &error_traceback);
397
398 (void)PyObject_Print(op, stderr, 0);
399 fflush(stderr);
400
401 PyErr_Restore(error_type, error_value, error_traceback);
402 PyGILState_Release(gil);
403
404 fprintf(stderr, "\n");
Victor Stinner82af0b62018-10-23 17:39:40 +0200405 fflush(stderr);
Barry Warsaw9bf16442001-01-23 16:24:35 +0000406}
Barry Warsaw903138f2001-01-23 16:33:18 +0000407
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000408PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000409PyObject_Repr(PyObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000410{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000411 PyObject *res;
412 if (PyErr_CheckSignals())
413 return NULL;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000414#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000415 if (PyOS_CheckStack()) {
416 PyErr_SetString(PyExc_MemoryError, "stack overflow");
417 return NULL;
418 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000419#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000420 if (v == NULL)
421 return PyUnicode_FromString("<NULL>");
422 if (Py_TYPE(v)->tp_repr == NULL)
423 return PyUnicode_FromFormat("<%s object at %p>",
Victor Stinner58ac7002020-02-07 03:04:21 +0100424 Py_TYPE(v)->tp_name, v);
Victor Stinner33824f62013-08-26 14:05:19 +0200425
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100426 PyThreadState *tstate = _PyThreadState_GET();
Victor Stinner33824f62013-08-26 14:05:19 +0200427#ifdef Py_DEBUG
428 /* PyObject_Repr() must not be called with an exception set,
Victor Stinnera8cb5152017-01-18 14:12:51 +0100429 because it can clear it (directly or indirectly) and so the
Martin Panter9955a372015-10-07 10:26:23 +0000430 caller loses its exception */
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100431 assert(!_PyErr_Occurred(tstate));
Victor Stinner33824f62013-08-26 14:05:19 +0200432#endif
433
Serhiy Storchaka1fb72d22017-12-03 22:12:11 +0200434 /* It is possible for a type to have a tp_repr representation that loops
435 infinitely. */
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100436 if (_Py_EnterRecursiveCall(tstate,
437 " while getting the repr of an object")) {
Serhiy Storchaka1fb72d22017-12-03 22:12:11 +0200438 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100439 }
Victor Stinner58ac7002020-02-07 03:04:21 +0100440 res = (*Py_TYPE(v)->tp_repr)(v);
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100441 _Py_LeaveRecursiveCall(tstate);
442
443 if (res == NULL) {
Victor Stinner0a54cf12011-12-01 03:22:44 +0100444 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100445 }
Victor Stinner0a54cf12011-12-01 03:22:44 +0100446 if (!PyUnicode_Check(res)) {
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100447 _PyErr_Format(tstate, PyExc_TypeError,
448 "__repr__ returned non-string (type %.200s)",
Victor Stinner58ac7002020-02-07 03:04:21 +0100449 Py_TYPE(res)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000450 Py_DECREF(res);
451 return NULL;
452 }
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100453#ifndef Py_DEBUG
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100454 if (PyUnicode_READY(res) < 0) {
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100455 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100456 }
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100457#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000458 return res;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000459}
460
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000461PyObject *
Guido van Rossum98297ee2007-11-06 21:34:58 +0000462PyObject_Str(PyObject *v)
Guido van Rossumc6004111993-11-05 10:22:19 +0000463{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000464 PyObject *res;
465 if (PyErr_CheckSignals())
466 return NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000467#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000468 if (PyOS_CheckStack()) {
469 PyErr_SetString(PyExc_MemoryError, "stack overflow");
470 return NULL;
471 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000472#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000473 if (v == NULL)
474 return PyUnicode_FromString("<NULL>");
475 if (PyUnicode_CheckExact(v)) {
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100476#ifndef Py_DEBUG
Victor Stinner4ead7c72011-11-20 19:48:36 +0100477 if (PyUnicode_READY(v) < 0)
478 return NULL;
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100479#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000480 Py_INCREF(v);
481 return v;
482 }
483 if (Py_TYPE(v)->tp_str == NULL)
484 return PyObject_Repr(v);
Guido van Rossum4f288ab2001-05-01 16:53:37 +0000485
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100486 PyThreadState *tstate = _PyThreadState_GET();
Victor Stinner33824f62013-08-26 14:05:19 +0200487#ifdef Py_DEBUG
488 /* PyObject_Str() must not be called with an exception set,
Victor Stinnera8cb5152017-01-18 14:12:51 +0100489 because it can clear it (directly or indirectly) and so the
Nick Coghland979e432014-02-09 10:43:21 +1000490 caller loses its exception */
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100491 assert(!_PyErr_Occurred(tstate));
Victor Stinner33824f62013-08-26 14:05:19 +0200492#endif
493
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000494 /* It is possible for a type to have a tp_str representation that loops
495 infinitely. */
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100496 if (_Py_EnterRecursiveCall(tstate, " while getting the str of an object")) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000497 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100498 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000499 res = (*Py_TYPE(v)->tp_str)(v);
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100500 _Py_LeaveRecursiveCall(tstate);
501
502 if (res == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000503 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100504 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000505 if (!PyUnicode_Check(res)) {
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100506 _PyErr_Format(tstate, PyExc_TypeError,
507 "__str__ returned non-string (type %.200s)",
508 Py_TYPE(res)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000509 Py_DECREF(res);
510 return NULL;
511 }
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100512#ifndef Py_DEBUG
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100513 if (PyUnicode_READY(res) < 0) {
Victor Stinner4ead7c72011-11-20 19:48:36 +0100514 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100515 }
Victor Stinnerdb88ae52011-12-01 02:15:00 +0100516#endif
Victor Stinner4ead7c72011-11-20 19:48:36 +0100517 assert(_PyUnicode_CheckConsistency(res, 1));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000518 return res;
Neil Schemenauercf52c072005-08-12 17:34:58 +0000519}
520
Georg Brandl559e5d72008-06-11 18:37:52 +0000521PyObject *
522PyObject_ASCII(PyObject *v)
523{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000524 PyObject *repr, *ascii, *res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000525
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000526 repr = PyObject_Repr(v);
527 if (repr == NULL)
528 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000529
Victor Stinneraf037572013-04-14 18:44:10 +0200530 if (PyUnicode_IS_ASCII(repr))
531 return repr;
532
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000533 /* repr is guaranteed to be a PyUnicode object by PyObject_Repr */
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200534 ascii = _PyUnicode_AsASCIIString(repr, "backslashreplace");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000535 Py_DECREF(repr);
536 if (ascii == NULL)
537 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000538
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000539 res = PyUnicode_DecodeASCII(
540 PyBytes_AS_STRING(ascii),
541 PyBytes_GET_SIZE(ascii),
542 NULL);
543
544 Py_DECREF(ascii);
545 return res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000546}
Guido van Rossuma3af41d2001-01-18 22:07:06 +0000547
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000548PyObject *
549PyObject_Bytes(PyObject *v)
550{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000551 PyObject *result, *func;
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000552
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000553 if (v == NULL)
554 return PyBytes_FromString("<NULL>");
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000555
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000556 if (PyBytes_CheckExact(v)) {
557 Py_INCREF(v);
558 return v;
559 }
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000560
Benjamin Petersonce798522012-01-22 11:24:29 -0500561 func = _PyObject_LookupSpecial(v, &PyId___bytes__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000562 if (func != NULL) {
Victor Stinnerf17c3de2016-12-06 18:46:19 +0100563 result = _PyObject_CallNoArg(func);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000564 Py_DECREF(func);
565 if (result == NULL)
Benjamin Peterson41ece392010-09-11 16:39:57 +0000566 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000567 if (!PyBytes_Check(result)) {
Benjamin Peterson41ece392010-09-11 16:39:57 +0000568 PyErr_Format(PyExc_TypeError,
569 "__bytes__ returned non-bytes (type %.200s)",
570 Py_TYPE(result)->tp_name);
571 Py_DECREF(result);
572 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000573 }
574 return result;
575 }
576 else if (PyErr_Occurred())
577 return NULL;
578 return PyBytes_FromObject(v);
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000579}
580
Jeroen Demeyerbf17d412019-11-05 16:48:04 +0100581
582/*
583def _PyObject_FunctionStr(x):
584 try:
585 qualname = x.__qualname__
586 except AttributeError:
587 return str(x)
588 try:
589 mod = x.__module__
590 if mod is not None and mod != 'builtins':
591 return f"{x.__module__}.{qualname}()"
592 except AttributeError:
593 pass
594 return qualname
595*/
596PyObject *
597_PyObject_FunctionStr(PyObject *x)
598{
599 _Py_IDENTIFIER(__module__);
600 _Py_IDENTIFIER(__qualname__);
601 _Py_IDENTIFIER(builtins);
602 assert(!PyErr_Occurred());
603 PyObject *qualname;
604 int ret = _PyObject_LookupAttrId(x, &PyId___qualname__, &qualname);
605 if (qualname == NULL) {
606 if (ret < 0) {
607 return NULL;
608 }
609 return PyObject_Str(x);
610 }
611 PyObject *module;
612 PyObject *result = NULL;
613 ret = _PyObject_LookupAttrId(x, &PyId___module__, &module);
614 if (module != NULL && module != Py_None) {
615 PyObject *builtinsname = _PyUnicode_FromId(&PyId_builtins);
616 if (builtinsname == NULL) {
617 goto done;
618 }
619 ret = PyObject_RichCompareBool(module, builtinsname, Py_NE);
620 if (ret < 0) {
621 // error
622 goto done;
623 }
624 if (ret > 0) {
625 result = PyUnicode_FromFormat("%S.%S()", module, qualname);
626 goto done;
627 }
628 }
629 else if (ret < 0) {
630 goto done;
631 }
632 result = PyUnicode_FromFormat("%S()", qualname);
633done:
634 Py_DECREF(qualname);
635 Py_XDECREF(module);
636 return result;
637}
638
Mark Dickinsonc008a172009-02-01 13:59:22 +0000639/* For Python 3.0.1 and later, the old three-way comparison has been
640 completely removed in favour of rich comparisons. PyObject_Compare() and
641 PyObject_Cmp() are gone, and the builtin cmp function no longer exists.
Jeroen Demeyer530f5062019-05-31 04:13:39 +0200642 The old tp_compare slot has been renamed to tp_as_async, and should no
Mark Dickinsonc008a172009-02-01 13:59:22 +0000643 longer be used. Use tp_richcompare instead.
Guido van Rossum98297ee2007-11-06 21:34:58 +0000644
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000645 See (*) below for practical amendments.
646
Mark Dickinsonc008a172009-02-01 13:59:22 +0000647 tp_richcompare gets called with a first argument of the appropriate type
648 and a second object of an arbitrary type. We never do any kind of
649 coercion.
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000650
Mark Dickinsonc008a172009-02-01 13:59:22 +0000651 The tp_richcompare slot should return an object, as follows:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000652
653 NULL if an exception occurred
654 NotImplemented if the requested comparison is not implemented
655 any other false value if the requested comparison is false
656 any other true value if the requested comparison is true
657
658 The PyObject_RichCompare[Bool]() wrappers raise TypeError when they get
659 NotImplemented.
660
661 (*) Practical amendments:
662
663 - If rich comparison returns NotImplemented, == and != are decided by
664 comparing the object pointer (i.e. falling back to the base object
665 implementation).
666
Guido van Rossuma4073002002-05-31 20:03:54 +0000667*/
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000668
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000669/* Map rich comparison operators to their swapped version, e.g. LT <--> GT */
Brett Cannona5ca2e72004-09-25 01:37:24 +0000670int _Py_SwappedOp[] = {Py_GT, Py_GE, Py_EQ, Py_NE, Py_LT, Py_LE};
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +0000671
Serhiy Storchaka2d06e842015-12-25 19:53:18 +0200672static const char * const opstrings[] = {"<", "<=", "==", "!=", ">", ">="};
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000673
674/* Perform a rich comparison, raising TypeError when the requested comparison
675 operator is not supported. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000676static PyObject *
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100677do_richcompare(PyThreadState *tstate, PyObject *v, PyObject *w, int op)
Guido van Rossume797ec12001-01-17 15:24:28 +0000678{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000679 richcmpfunc f;
680 PyObject *res;
681 int checked_reverse_op = 0;
Guido van Rossume797ec12001-01-17 15:24:28 +0000682
Andy Lester55728702020-03-06 16:53:17 -0600683 if (!Py_IS_TYPE(v, Py_TYPE(w)) &&
Victor Stinner58ac7002020-02-07 03:04:21 +0100684 PyType_IsSubtype(Py_TYPE(w), Py_TYPE(v)) &&
685 (f = Py_TYPE(w)->tp_richcompare) != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000686 checked_reverse_op = 1;
687 res = (*f)(w, v, _Py_SwappedOp[op]);
688 if (res != Py_NotImplemented)
689 return res;
690 Py_DECREF(res);
691 }
Victor Stinner58ac7002020-02-07 03:04:21 +0100692 if ((f = Py_TYPE(v)->tp_richcompare) != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000693 res = (*f)(v, w, op);
694 if (res != Py_NotImplemented)
695 return res;
696 Py_DECREF(res);
697 }
Victor Stinner58ac7002020-02-07 03:04:21 +0100698 if (!checked_reverse_op && (f = Py_TYPE(w)->tp_richcompare) != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000699 res = (*f)(w, v, _Py_SwappedOp[op]);
700 if (res != Py_NotImplemented)
701 return res;
702 Py_DECREF(res);
703 }
704 /* If neither object implements it, provide a sensible default
705 for == and !=, but raise an exception for ordering. */
706 switch (op) {
707 case Py_EQ:
708 res = (v == w) ? Py_True : Py_False;
709 break;
710 case Py_NE:
711 res = (v != w) ? Py_True : Py_False;
712 break;
713 default:
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100714 _PyErr_Format(tstate, PyExc_TypeError,
715 "'%s' not supported between instances of '%.100s' and '%.100s'",
716 opstrings[op],
Victor Stinner58ac7002020-02-07 03:04:21 +0100717 Py_TYPE(v)->tp_name,
718 Py_TYPE(w)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000719 return NULL;
720 }
721 Py_INCREF(res);
722 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000723}
724
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000725/* Perform a rich comparison with object result. This wraps do_richcompare()
726 with a check for NULL arguments and a recursion check. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000727
Guido van Rossume797ec12001-01-17 15:24:28 +0000728PyObject *
729PyObject_RichCompare(PyObject *v, PyObject *w, int op)
730{
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100731 PyThreadState *tstate = _PyThreadState_GET();
Guido van Rossume797ec12001-01-17 15:24:28 +0000732
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000733 assert(Py_LT <= op && op <= Py_GE);
734 if (v == NULL || w == NULL) {
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100735 if (!_PyErr_Occurred(tstate)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000736 PyErr_BadInternalCall();
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100737 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000738 return NULL;
739 }
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100740 if (_Py_EnterRecursiveCall(tstate, " in comparison")) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000741 return NULL;
Victor Stinnerbe434dc2019-11-05 00:51:22 +0100742 }
743 PyObject *res = do_richcompare(tstate, v, w, op);
744 _Py_LeaveRecursiveCall(tstate);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000745 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000746}
747
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000748/* Perform a rich comparison with integer result. This wraps
749 PyObject_RichCompare(), returning -1 for error, 0 for false, 1 for true. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000750int
751PyObject_RichCompareBool(PyObject *v, PyObject *w, int op)
752{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000753 PyObject *res;
754 int ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000755
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000756 /* Quick result when objects are the same.
757 Guarantees that identity implies equality. */
758 if (v == w) {
759 if (op == Py_EQ)
760 return 1;
761 else if (op == Py_NE)
762 return 0;
763 }
Mark Dickinson4a1f5932008-11-12 23:23:36 +0000764
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000765 res = PyObject_RichCompare(v, w, op);
766 if (res == NULL)
767 return -1;
768 if (PyBool_Check(res))
769 ok = (res == Py_True);
770 else
771 ok = PyObject_IsTrue(res);
772 Py_DECREF(res);
773 return ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000774}
Fred Drake13634cf2000-06-29 19:17:04 +0000775
Antoine Pitrouce4a9da2011-11-21 20:46:33 +0100776Py_hash_t
Nick Coghland1abd252008-07-15 15:46:38 +0000777PyObject_HashNotImplemented(PyObject *v)
778{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000779 PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'",
780 Py_TYPE(v)->tp_name);
781 return -1;
Nick Coghland1abd252008-07-15 15:46:38 +0000782}
Fred Drake13634cf2000-06-29 19:17:04 +0000783
Benjamin Peterson8f67d082010-10-17 20:54:53 +0000784Py_hash_t
Fred Drake100814d2000-07-09 15:48:49 +0000785PyObject_Hash(PyObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000786{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000787 PyTypeObject *tp = Py_TYPE(v);
788 if (tp->tp_hash != NULL)
789 return (*tp->tp_hash)(v);
790 /* To keep to the general practice that inheriting
791 * solely from object in C code should work without
792 * an explicit call to PyType_Ready, we implicitly call
793 * PyType_Ready here and then check the tp_hash slot again
794 */
795 if (tp->tp_dict == NULL) {
796 if (PyType_Ready(tp) < 0)
797 return -1;
798 if (tp->tp_hash != NULL)
799 return (*tp->tp_hash)(v);
800 }
801 /* Otherwise, the object can't be hashed */
802 return PyObject_HashNotImplemented(v);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000803}
804
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000805PyObject *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000806PyObject_GetAttrString(PyObject *v, const char *name)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000807{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000808 PyObject *w, *res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000809
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000810 if (Py_TYPE(v)->tp_getattr != NULL)
811 return (*Py_TYPE(v)->tp_getattr)(v, (char*)name);
INADA Naoki3e8d6cb2017-02-21 23:57:25 +0900812 w = PyUnicode_FromString(name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000813 if (w == NULL)
814 return NULL;
815 res = PyObject_GetAttr(v, w);
Victor Stinner59af08f2012-03-22 02:09:08 +0100816 Py_DECREF(w);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000817 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000818}
819
820int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000821PyObject_HasAttrString(PyObject *v, const char *name)
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000822{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000823 PyObject *res = PyObject_GetAttrString(v, name);
824 if (res != NULL) {
825 Py_DECREF(res);
826 return 1;
827 }
828 PyErr_Clear();
829 return 0;
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000830}
831
832int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000833PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000834{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000835 PyObject *s;
836 int res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000837
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000838 if (Py_TYPE(v)->tp_setattr != NULL)
839 return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w);
840 s = PyUnicode_InternFromString(name);
841 if (s == NULL)
842 return -1;
843 res = PyObject_SetAttr(v, s, w);
844 Py_XDECREF(s);
845 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000846}
847
Benjamin Petersonbfebb7b2011-12-15 15:34:02 -0500848int
849_PyObject_IsAbstract(PyObject *obj)
850{
851 int res;
852 PyObject* isabstract;
Benjamin Petersonbfebb7b2011-12-15 15:34:02 -0500853
854 if (obj == NULL)
855 return 0;
856
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200857 res = _PyObject_LookupAttrId(obj, &PyId___isabstractmethod__, &isabstract);
858 if (res > 0) {
859 res = PyObject_IsTrue(isabstract);
860 Py_DECREF(isabstract);
Benjamin Petersonbfebb7b2011-12-15 15:34:02 -0500861 }
Benjamin Petersonbfebb7b2011-12-15 15:34:02 -0500862 return res;
863}
864
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000865PyObject *
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200866_PyObject_GetAttrId(PyObject *v, _Py_Identifier *name)
867{
868 PyObject *result;
Martin v. Löwisd10759f2011-11-07 13:00:05 +0100869 PyObject *oname = _PyUnicode_FromId(name); /* borrowed */
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200870 if (!oname)
871 return NULL;
872 result = PyObject_GetAttr(v, oname);
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200873 return result;
874}
875
876int
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200877_PyObject_SetAttrId(PyObject *v, _Py_Identifier *name, PyObject *w)
878{
879 int result;
Martin v. Löwisd10759f2011-11-07 13:00:05 +0100880 PyObject *oname = _PyUnicode_FromId(name); /* borrowed */
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200881 if (!oname)
882 return -1;
883 result = PyObject_SetAttr(v, oname, w);
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200884 return result;
885}
886
Pablo Galindo37494b42021-04-14 02:36:07 +0100887static inline int
888set_attribute_error_context(PyObject* v, PyObject* name)
889{
890 assert(PyErr_Occurred());
891 _Py_IDENTIFIER(name);
892 _Py_IDENTIFIER(obj);
Pablo Galindo Salgado3594ebc2022-03-07 13:18:36 +0000893 if (!PyErr_ExceptionMatches(PyExc_AttributeError)) {
894 return 0;
Pablo Galindo37494b42021-04-14 02:36:07 +0100895 }
Pablo Galindo Salgado3594ebc2022-03-07 13:18:36 +0000896 // Intercept AttributeError exceptions and augment them to offer suggestions later.
897 PyObject *type, *value, *traceback;
898 PyErr_Fetch(&type, &value, &traceback);
899 PyErr_NormalizeException(&type, &value, &traceback);
900 // Check if the normalized exception is indeed an AttributeError
901 if (!PyErr_GivenExceptionMatches(value, PyExc_AttributeError)) {
902 goto restore;
903 }
904 PyAttributeErrorObject* the_exc = (PyAttributeErrorObject*) value;
905 // Check if this exception was already augmented
906 if (the_exc->name || the_exc->obj) {
907 goto restore;
908 }
909 // Augment the exception with the name and object
910 if (_PyObject_SetAttrId(value, &PyId_name, name) ||
911 _PyObject_SetAttrId(value, &PyId_obj, v)) {
912 return 1;
913 }
914restore:
915 PyErr_Restore(type, value, traceback);
Pablo Galindo37494b42021-04-14 02:36:07 +0100916 return 0;
917}
918
Martin v. Löwisafe55bb2011-10-09 10:38:36 +0200919PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000920PyObject_GetAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000921{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000922 PyTypeObject *tp = Py_TYPE(v);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000923 if (!PyUnicode_Check(name)) {
924 PyErr_Format(PyExc_TypeError,
925 "attribute name must be string, not '%.200s'",
Victor Stinner58ac7002020-02-07 03:04:21 +0100926 Py_TYPE(name)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000927 return NULL;
928 }
Pablo Galindo37494b42021-04-14 02:36:07 +0100929
930 PyObject* result = NULL;
931 if (tp->tp_getattro != NULL) {
932 result = (*tp->tp_getattro)(v, name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000933 }
Pablo Galindo37494b42021-04-14 02:36:07 +0100934 else if (tp->tp_getattr != NULL) {
935 const char *name_str = PyUnicode_AsUTF8(name);
936 if (name_str == NULL) {
937 return NULL;
938 }
939 result = (*tp->tp_getattr)(v, (char *)name_str);
940 }
941 else {
942 PyErr_Format(PyExc_AttributeError,
943 "'%.50s' object has no attribute '%U'",
944 tp->tp_name, name);
945 }
946
947 if (result == NULL) {
948 set_attribute_error_context(v, name);
949 }
950 return result;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000951}
952
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200953int
954_PyObject_LookupAttr(PyObject *v, PyObject *name, PyObject **result)
INADA Naoki378edee2018-01-16 20:52:41 +0900955{
956 PyTypeObject *tp = Py_TYPE(v);
INADA Naoki378edee2018-01-16 20:52:41 +0900957
958 if (!PyUnicode_Check(name)) {
959 PyErr_Format(PyExc_TypeError,
960 "attribute name must be string, not '%.200s'",
Victor Stinner58ac7002020-02-07 03:04:21 +0100961 Py_TYPE(name)->tp_name);
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200962 *result = NULL;
963 return -1;
INADA Naoki378edee2018-01-16 20:52:41 +0900964 }
965
966 if (tp->tp_getattro == PyObject_GenericGetAttr) {
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200967 *result = _PyObject_GenericGetAttrWithDict(v, name, NULL, 1);
968 if (*result != NULL) {
969 return 1;
970 }
971 if (PyErr_Occurred()) {
972 return -1;
973 }
974 return 0;
INADA Naoki378edee2018-01-16 20:52:41 +0900975 }
976 if (tp->tp_getattro != NULL) {
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200977 *result = (*tp->tp_getattro)(v, name);
INADA Naoki378edee2018-01-16 20:52:41 +0900978 }
979 else if (tp->tp_getattr != NULL) {
980 const char *name_str = PyUnicode_AsUTF8(name);
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200981 if (name_str == NULL) {
982 *result = NULL;
983 return -1;
984 }
985 *result = (*tp->tp_getattr)(v, (char *)name_str);
INADA Naoki378edee2018-01-16 20:52:41 +0900986 }
INADA Naokie76daeb2018-01-26 16:22:51 +0900987 else {
988 *result = NULL;
989 return 0;
990 }
991
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200992 if (*result != NULL) {
993 return 1;
INADA Naoki378edee2018-01-16 20:52:41 +0900994 }
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200995 if (!PyErr_ExceptionMatches(PyExc_AttributeError)) {
996 return -1;
997 }
998 PyErr_Clear();
999 return 0;
1000}
1001
1002int
1003_PyObject_LookupAttrId(PyObject *v, _Py_Identifier *name, PyObject **result)
1004{
1005 PyObject *oname = _PyUnicode_FromId(name); /* borrowed */
1006 if (!oname) {
1007 *result = NULL;
1008 return -1;
1009 }
1010 return _PyObject_LookupAttr(v, oname, result);
INADA Naoki378edee2018-01-16 20:52:41 +09001011}
1012
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001013int
Fred Drake100814d2000-07-09 15:48:49 +00001014PyObject_HasAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001015{
Serhiy Storchakaf320be72018-01-25 10:49:40 +02001016 PyObject *res;
1017 if (_PyObject_LookupAttr(v, name, &res) < 0) {
1018 PyErr_Clear();
1019 return 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001020 }
Serhiy Storchakaf320be72018-01-25 10:49:40 +02001021 if (res == NULL) {
1022 return 0;
1023 }
1024 Py_DECREF(res);
1025 return 1;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001026}
1027
1028int
Fred Drake100814d2000-07-09 15:48:49 +00001029PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value)
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001030{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001031 PyTypeObject *tp = Py_TYPE(v);
1032 int err;
Marc-André Lemburge44e5072000-09-18 16:20:57 +00001033
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001034 if (!PyUnicode_Check(name)) {
1035 PyErr_Format(PyExc_TypeError,
1036 "attribute name must be string, not '%.200s'",
Victor Stinner58ac7002020-02-07 03:04:21 +01001037 Py_TYPE(name)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001038 return -1;
1039 }
1040 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001041
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001042 PyUnicode_InternInPlace(&name);
1043 if (tp->tp_setattro != NULL) {
1044 err = (*tp->tp_setattro)(v, name, value);
1045 Py_DECREF(name);
1046 return err;
1047 }
1048 if (tp->tp_setattr != NULL) {
Serhiy Storchaka2a404b62017-01-22 23:07:07 +02001049 const char *name_str = PyUnicode_AsUTF8(name);
Zackery Spytze0dcb852019-04-28 06:58:52 -06001050 if (name_str == NULL) {
1051 Py_DECREF(name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001052 return -1;
Zackery Spytze0dcb852019-04-28 06:58:52 -06001053 }
Serhiy Storchaka2a404b62017-01-22 23:07:07 +02001054 err = (*tp->tp_setattr)(v, (char *)name_str, value);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001055 Py_DECREF(name);
1056 return err;
1057 }
1058 Py_DECREF(name);
Victor Stinnera93c51e2020-02-07 00:38:59 +01001059 _PyObject_ASSERT(name, Py_REFCNT(name) >= 1);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001060 if (tp->tp_getattr == NULL && tp->tp_getattro == NULL)
1061 PyErr_Format(PyExc_TypeError,
1062 "'%.100s' object has no attributes "
1063 "(%s .%U)",
1064 tp->tp_name,
1065 value==NULL ? "del" : "assign to",
1066 name);
1067 else
1068 PyErr_Format(PyExc_TypeError,
1069 "'%.100s' object has only read-only attributes "
1070 "(%s .%U)",
1071 tp->tp_name,
1072 value==NULL ? "del" : "assign to",
1073 name);
1074 return -1;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001075}
1076
1077/* Helper to get a pointer to an object's __dict__ slot, if any */
1078
1079PyObject **
1080_PyObject_GetDictPtr(PyObject *obj)
1081{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001082 Py_ssize_t dictoffset;
1083 PyTypeObject *tp = Py_TYPE(obj);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001084
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001085 dictoffset = tp->tp_dictoffset;
1086 if (dictoffset == 0)
1087 return NULL;
1088 if (dictoffset < 0) {
Victor Stinnerc65b3202020-02-07 11:18:33 +01001089 Py_ssize_t tsize = Py_SIZE(obj);
1090 if (tsize < 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001091 tsize = -tsize;
Victor Stinnerc65b3202020-02-07 11:18:33 +01001092 }
1093 size_t size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossum2eb0b872002-03-01 22:24:49 +00001094
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001095 dictoffset += (long)size;
Victor Stinner24702042018-10-26 17:16:37 +02001096 _PyObject_ASSERT(obj, dictoffset > 0);
1097 _PyObject_ASSERT(obj, dictoffset % SIZEOF_VOID_P == 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001098 }
1099 return (PyObject **) ((char *)obj + dictoffset);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001100}
1101
Tim Peters6d6c1a32001-08-02 04:15:00 +00001102PyObject *
Raymond Hettinger1da1dbf2003-03-17 19:46:11 +00001103PyObject_SelfIter(PyObject *obj)
Raymond Hettinger01538262003-03-17 08:24:35 +00001104{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001105 Py_INCREF(obj);
1106 return obj;
Raymond Hettinger01538262003-03-17 08:24:35 +00001107}
1108
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +00001109/* Helper used when the __next__ method is removed from a type:
1110 tp_iternext is never NULL and can be safely called without checking
1111 on every iteration.
1112 */
1113
1114PyObject *
1115_PyObject_NextNotImplemented(PyObject *self)
1116{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001117 PyErr_Format(PyExc_TypeError,
1118 "'%.200s' object is not iterable",
1119 Py_TYPE(self)->tp_name);
1120 return NULL;
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +00001121}
1122
Yury Selivanovf2392132016-12-13 19:03:51 -05001123
1124/* Specialized version of _PyObject_GenericGetAttrWithDict
1125 specifically for the LOAD_METHOD opcode.
1126
1127 Return 1 if a method is found, 0 if it's a regular attribute
1128 from __dict__ or something returned by using a descriptor
1129 protocol.
1130
1131 `method` will point to the resolved attribute or NULL. In the
1132 latter case, an error will be set.
1133*/
1134int
1135_PyObject_GetMethod(PyObject *obj, PyObject *name, PyObject **method)
1136{
1137 PyTypeObject *tp = Py_TYPE(obj);
1138 PyObject *descr;
1139 descrgetfunc f = NULL;
1140 PyObject **dictptr, *dict;
1141 PyObject *attr;
1142 int meth_found = 0;
1143
1144 assert(*method == NULL);
1145
1146 if (Py_TYPE(obj)->tp_getattro != PyObject_GenericGetAttr
1147 || !PyUnicode_Check(name)) {
1148 *method = PyObject_GetAttr(obj, name);
1149 return 0;
1150 }
1151
1152 if (tp->tp_dict == NULL && PyType_Ready(tp) < 0)
1153 return 0;
1154
1155 descr = _PyType_Lookup(tp, name);
1156 if (descr != NULL) {
1157 Py_INCREF(descr);
Victor Stinner45ec5b92020-04-08 01:42:27 +02001158 if (_PyType_HasFeature(Py_TYPE(descr), Py_TPFLAGS_METHOD_DESCRIPTOR)) {
Yury Selivanovf2392132016-12-13 19:03:51 -05001159 meth_found = 1;
1160 } else {
Victor Stinner58ac7002020-02-07 03:04:21 +01001161 f = Py_TYPE(descr)->tp_descr_get;
Yury Selivanovf2392132016-12-13 19:03:51 -05001162 if (f != NULL && PyDescr_IsData(descr)) {
Victor Stinner58ac7002020-02-07 03:04:21 +01001163 *method = f(descr, obj, (PyObject *)Py_TYPE(obj));
Yury Selivanovf2392132016-12-13 19:03:51 -05001164 Py_DECREF(descr);
1165 return 0;
1166 }
1167 }
1168 }
1169
1170 dictptr = _PyObject_GetDictPtr(obj);
1171 if (dictptr != NULL && (dict = *dictptr) != NULL) {
1172 Py_INCREF(dict);
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02001173 attr = PyDict_GetItemWithError(dict, name);
Yury Selivanovf2392132016-12-13 19:03:51 -05001174 if (attr != NULL) {
1175 Py_INCREF(attr);
1176 *method = attr;
1177 Py_DECREF(dict);
1178 Py_XDECREF(descr);
1179 return 0;
1180 }
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02001181 else {
1182 Py_DECREF(dict);
1183 if (PyErr_Occurred()) {
1184 Py_XDECREF(descr);
1185 return 0;
1186 }
1187 }
Yury Selivanovf2392132016-12-13 19:03:51 -05001188 }
1189
1190 if (meth_found) {
1191 *method = descr;
1192 return 1;
1193 }
1194
1195 if (f != NULL) {
1196 *method = f(descr, obj, (PyObject *)Py_TYPE(obj));
1197 Py_DECREF(descr);
1198 return 0;
1199 }
1200
1201 if (descr != NULL) {
1202 *method = descr;
1203 return 0;
1204 }
1205
1206 PyErr_Format(PyExc_AttributeError,
1207 "'%.50s' object has no attribute '%U'",
1208 tp->tp_name, name);
Pablo Galindo37494b42021-04-14 02:36:07 +01001209
1210 set_attribute_error_context(obj, name);
Yury Selivanovf2392132016-12-13 19:03:51 -05001211 return 0;
1212}
1213
1214/* Generic GetAttr functions - put these in your tp_[gs]etattro slot. */
Michael W. Hudson1593f502004-09-14 17:09:47 +00001215
Raymond Hettinger01538262003-03-17 08:24:35 +00001216PyObject *
INADA Naoki378edee2018-01-16 20:52:41 +09001217_PyObject_GenericGetAttrWithDict(PyObject *obj, PyObject *name,
1218 PyObject *dict, int suppress)
Tim Peters6d6c1a32001-08-02 04:15:00 +00001219{
Yury Selivanovf2392132016-12-13 19:03:51 -05001220 /* Make sure the logic of _PyObject_GetMethod is in sync with
1221 this method.
INADA Naoki378edee2018-01-16 20:52:41 +09001222
Brett Cannond5837382020-07-17 13:09:21 -07001223 When suppress=1, this function suppresses AttributeError.
Yury Selivanovf2392132016-12-13 19:03:51 -05001224 */
1225
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001226 PyTypeObject *tp = Py_TYPE(obj);
1227 PyObject *descr = NULL;
1228 PyObject *res = NULL;
1229 descrgetfunc f;
1230 Py_ssize_t dictoffset;
1231 PyObject **dictptr;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001232
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001233 if (!PyUnicode_Check(name)){
1234 PyErr_Format(PyExc_TypeError,
1235 "attribute name must be string, not '%.200s'",
Victor Stinner58ac7002020-02-07 03:04:21 +01001236 Py_TYPE(name)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001237 return NULL;
1238 }
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001239 Py_INCREF(name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001240
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001241 if (tp->tp_dict == NULL) {
1242 if (PyType_Ready(tp) < 0)
1243 goto done;
1244 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001245
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001246 descr = _PyType_Lookup(tp, name);
Michael W. Hudsonb2c7de42003-08-15 13:07:47 +00001247
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001248 f = NULL;
1249 if (descr != NULL) {
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001250 Py_INCREF(descr);
Victor Stinner58ac7002020-02-07 03:04:21 +01001251 f = Py_TYPE(descr)->tp_descr_get;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001252 if (f != NULL && PyDescr_IsData(descr)) {
Victor Stinner58ac7002020-02-07 03:04:21 +01001253 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
INADA Naoki378edee2018-01-16 20:52:41 +09001254 if (res == NULL && suppress &&
1255 PyErr_ExceptionMatches(PyExc_AttributeError)) {
1256 PyErr_Clear();
1257 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001258 goto done;
1259 }
1260 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001261
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001262 if (dict == NULL) {
1263 /* Inline _PyObject_GetDictPtr */
1264 dictoffset = tp->tp_dictoffset;
1265 if (dictoffset != 0) {
1266 if (dictoffset < 0) {
Victor Stinnerc65b3202020-02-07 11:18:33 +01001267 Py_ssize_t tsize = Py_SIZE(obj);
1268 if (tsize < 0) {
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001269 tsize = -tsize;
Victor Stinnerc65b3202020-02-07 11:18:33 +01001270 }
1271 size_t size = _PyObject_VAR_SIZE(tp, tsize);
Victor Stinner24702042018-10-26 17:16:37 +02001272 _PyObject_ASSERT(obj, size <= PY_SSIZE_T_MAX);
Guido van Rossumc66ff442002-08-19 16:50:48 +00001273
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001274 dictoffset += (Py_ssize_t)size;
Victor Stinner24702042018-10-26 17:16:37 +02001275 _PyObject_ASSERT(obj, dictoffset > 0);
1276 _PyObject_ASSERT(obj, dictoffset % SIZEOF_VOID_P == 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001277 }
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001278 dictptr = (PyObject **) ((char *)obj + dictoffset);
1279 dict = *dictptr;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001280 }
1281 }
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001282 if (dict != NULL) {
1283 Py_INCREF(dict);
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02001284 res = PyDict_GetItemWithError(dict, name);
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001285 if (res != NULL) {
1286 Py_INCREF(res);
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001287 Py_DECREF(dict);
1288 goto done;
1289 }
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02001290 else {
1291 Py_DECREF(dict);
1292 if (PyErr_Occurred()) {
1293 if (suppress && PyErr_ExceptionMatches(PyExc_AttributeError)) {
1294 PyErr_Clear();
1295 }
1296 else {
1297 goto done;
1298 }
1299 }
1300 }
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001301 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001302
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001303 if (f != NULL) {
1304 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
INADA Naoki378edee2018-01-16 20:52:41 +09001305 if (res == NULL && suppress &&
1306 PyErr_ExceptionMatches(PyExc_AttributeError)) {
1307 PyErr_Clear();
1308 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001309 goto done;
1310 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001311
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001312 if (descr != NULL) {
1313 res = descr;
Victor Stinner2d01dc02012-03-09 00:44:13 +01001314 descr = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001315 goto done;
1316 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001317
INADA Naoki378edee2018-01-16 20:52:41 +09001318 if (!suppress) {
1319 PyErr_Format(PyExc_AttributeError,
1320 "'%.50s' object has no attribute '%U'",
1321 tp->tp_name, name);
1322 }
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001323 done:
Victor Stinner2d01dc02012-03-09 00:44:13 +01001324 Py_XDECREF(descr);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001325 Py_DECREF(name);
1326 return res;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001327}
1328
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001329PyObject *
1330PyObject_GenericGetAttr(PyObject *obj, PyObject *name)
1331{
INADA Naoki378edee2018-01-16 20:52:41 +09001332 return _PyObject_GenericGetAttrWithDict(obj, name, NULL, 0);
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001333}
1334
Tim Peters6d6c1a32001-08-02 04:15:00 +00001335int
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001336_PyObject_GenericSetAttrWithDict(PyObject *obj, PyObject *name,
1337 PyObject *value, PyObject *dict)
Tim Peters6d6c1a32001-08-02 04:15:00 +00001338{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001339 PyTypeObject *tp = Py_TYPE(obj);
1340 PyObject *descr;
1341 descrsetfunc f;
1342 PyObject **dictptr;
1343 int res = -1;
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001344
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001345 if (!PyUnicode_Check(name)){
1346 PyErr_Format(PyExc_TypeError,
1347 "attribute name must be string, not '%.200s'",
Victor Stinner58ac7002020-02-07 03:04:21 +01001348 Py_TYPE(name)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001349 return -1;
1350 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001351
Benjamin Peterson74529ad2012-03-09 07:25:32 -08001352 if (tp->tp_dict == NULL && PyType_Ready(tp) < 0)
1353 return -1;
1354
1355 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001356
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001357 descr = _PyType_Lookup(tp, name);
Victor Stinner2d01dc02012-03-09 00:44:13 +01001358
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001359 if (descr != NULL) {
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001360 Py_INCREF(descr);
Victor Stinner58ac7002020-02-07 03:04:21 +01001361 f = Py_TYPE(descr)->tp_descr_set;
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001362 if (f != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001363 res = f(descr, obj, value);
1364 goto done;
1365 }
1366 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001367
Steve Dowerb82e17e2019-05-23 08:45:22 -07001368 /* XXX [Steve Dower] These are really noisy - worth it? */
1369 /*if (PyType_Check(obj) || PyModule_Check(obj)) {
1370 if (value && PySys_Audit("object.__setattr__", "OOO", obj, name, value) < 0)
1371 return -1;
1372 if (!value && PySys_Audit("object.__delattr__", "OO", obj, name) < 0)
1373 return -1;
1374 }*/
1375
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001376 if (dict == NULL) {
1377 dictptr = _PyObject_GetDictPtr(obj);
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001378 if (dictptr == NULL) {
1379 if (descr == NULL) {
1380 PyErr_Format(PyExc_AttributeError,
1381 "'%.100s' object has no attribute '%U'",
1382 tp->tp_name, name);
1383 }
1384 else {
1385 PyErr_Format(PyExc_AttributeError,
1386 "'%.50s' object attribute '%U' is read-only",
1387 tp->tp_name, name);
1388 }
Benjamin Peterson7d95e402012-04-23 11:24:50 -04001389 goto done;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001390 }
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001391 res = _PyObjectDict_SetItem(tp, dictptr, name, value);
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001392 }
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001393 else {
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001394 Py_INCREF(dict);
1395 if (value == NULL)
1396 res = PyDict_DelItem(dict, name);
1397 else
1398 res = PyDict_SetItem(dict, name, value);
Benjamin Peterson74529ad2012-03-09 07:25:32 -08001399 Py_DECREF(dict);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001400 }
Serhiy Storchaka55c861f2016-04-17 20:31:51 +03001401 if (res < 0 && PyErr_ExceptionMatches(PyExc_KeyError))
1402 PyErr_SetObject(PyExc_AttributeError, name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001403
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001404 done:
Victor Stinner2d01dc02012-03-09 00:44:13 +01001405 Py_XDECREF(descr);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001406 Py_DECREF(name);
1407 return res;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001408}
1409
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001410int
1411PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value)
1412{
1413 return _PyObject_GenericSetAttrWithDict(obj, name, value, NULL);
1414}
1415
Benjamin Peterson8eb12692012-02-19 19:59:10 -05001416int
1417PyObject_GenericSetDict(PyObject *obj, PyObject *value, void *context)
1418{
Serhiy Storchaka576f1322016-01-05 21:27:54 +02001419 PyObject **dictptr = _PyObject_GetDictPtr(obj);
Benjamin Peterson8eb12692012-02-19 19:59:10 -05001420 if (dictptr == NULL) {
1421 PyErr_SetString(PyExc_AttributeError,
1422 "This object has no __dict__");
1423 return -1;
1424 }
1425 if (value == NULL) {
1426 PyErr_SetString(PyExc_TypeError, "cannot delete __dict__");
1427 return -1;
1428 }
1429 if (!PyDict_Check(value)) {
1430 PyErr_Format(PyExc_TypeError,
1431 "__dict__ must be set to a dictionary, "
1432 "not a '%.200s'", Py_TYPE(value)->tp_name);
1433 return -1;
1434 }
Serhiy Storchaka576f1322016-01-05 21:27:54 +02001435 Py_INCREF(value);
Serhiy Storchakaec397562016-04-06 09:50:03 +03001436 Py_XSETREF(*dictptr, value);
Benjamin Peterson8eb12692012-02-19 19:59:10 -05001437 return 0;
1438}
1439
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001440
Stefan Pochmannf90dc362020-10-07 16:12:52 +02001441/* Test a value used as condition, e.g., in a while or if statement.
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001442 Return -1 if an error occurred */
1443
1444int
Fred Drake100814d2000-07-09 15:48:49 +00001445PyObject_IsTrue(PyObject *v)
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001446{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001447 Py_ssize_t res;
1448 if (v == Py_True)
1449 return 1;
1450 if (v == Py_False)
1451 return 0;
1452 if (v == Py_None)
1453 return 0;
Victor Stinner58ac7002020-02-07 03:04:21 +01001454 else if (Py_TYPE(v)->tp_as_number != NULL &&
1455 Py_TYPE(v)->tp_as_number->nb_bool != NULL)
1456 res = (*Py_TYPE(v)->tp_as_number->nb_bool)(v);
1457 else if (Py_TYPE(v)->tp_as_mapping != NULL &&
1458 Py_TYPE(v)->tp_as_mapping->mp_length != NULL)
1459 res = (*Py_TYPE(v)->tp_as_mapping->mp_length)(v);
1460 else if (Py_TYPE(v)->tp_as_sequence != NULL &&
1461 Py_TYPE(v)->tp_as_sequence->sq_length != NULL)
1462 res = (*Py_TYPE(v)->tp_as_sequence->sq_length)(v);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001463 else
1464 return 1;
1465 /* if it is negative, it should be either -1 or -2 */
1466 return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int);
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001467}
1468
Tim Peters803526b2002-07-07 05:13:56 +00001469/* equivalent of 'not v'
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001470 Return -1 if an error occurred */
1471
1472int
Fred Drake100814d2000-07-09 15:48:49 +00001473PyObject_Not(PyObject *v)
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001474{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001475 int res;
1476 res = PyObject_IsTrue(v);
1477 if (res < 0)
1478 return res;
1479 return res == 0;
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001480}
1481
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001482/* Test whether an object can be called */
1483
1484int
Fred Drake100814d2000-07-09 15:48:49 +00001485PyCallable_Check(PyObject *x)
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001486{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001487 if (x == NULL)
1488 return 0;
Victor Stinner58ac7002020-02-07 03:04:21 +01001489 return Py_TYPE(x)->tp_call != NULL;
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001490}
1491
Tim Peters7eea37e2001-09-04 22:08:56 +00001492
Georg Brandle32b4222007-03-10 22:13:27 +00001493/* Helper for PyObject_Dir without arguments: returns the local scope. */
1494static PyObject *
Guido van Rossumad7d8d12007-04-13 01:39:34 +00001495_dir_locals(void)
Tim Peters305b5852001-09-17 02:38:46 +00001496{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001497 PyObject *names;
Victor Stinner41bb43a2013-10-29 01:19:37 +01001498 PyObject *locals;
Tim Peters305b5852001-09-17 02:38:46 +00001499
Victor Stinner41bb43a2013-10-29 01:19:37 +01001500 locals = PyEval_GetLocals();
1501 if (locals == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001502 return NULL;
Tim Peters305b5852001-09-17 02:38:46 +00001503
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001504 names = PyMapping_Keys(locals);
1505 if (!names)
1506 return NULL;
1507 if (!PyList_Check(names)) {
1508 PyErr_Format(PyExc_TypeError,
1509 "dir(): expected keys() of locals to be a list, "
1510 "not '%.200s'", Py_TYPE(names)->tp_name);
1511 Py_DECREF(names);
1512 return NULL;
1513 }
Benjamin Peterson3bbb7222011-06-11 16:12:08 -05001514 if (PyList_Sort(names)) {
1515 Py_DECREF(names);
1516 return NULL;
1517 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001518 /* the locals don't need to be DECREF'd */
1519 return names;
Georg Brandle32b4222007-03-10 22:13:27 +00001520}
1521
Benjamin Peterson82b00c12011-05-24 11:09:06 -05001522/* Helper for PyObject_Dir: object introspection. */
Georg Brandle32b4222007-03-10 22:13:27 +00001523static PyObject *
1524_dir_object(PyObject *obj)
1525{
Benjamin Peterson3bbb7222011-06-11 16:12:08 -05001526 PyObject *result, *sorted;
Benjamin Petersonce798522012-01-22 11:24:29 -05001527 PyObject *dirfunc = _PyObject_LookupSpecial(obj, &PyId___dir__);
Georg Brandle32b4222007-03-10 22:13:27 +00001528
Victor Stinner24702042018-10-26 17:16:37 +02001529 assert(obj != NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001530 if (dirfunc == NULL) {
Benjamin Peterson82b00c12011-05-24 11:09:06 -05001531 if (!PyErr_Occurred())
1532 PyErr_SetString(PyExc_TypeError, "object does not provide __dir__");
1533 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001534 }
Benjamin Peterson82b00c12011-05-24 11:09:06 -05001535 /* use __dir__ */
Victor Stinnerf17c3de2016-12-06 18:46:19 +01001536 result = _PyObject_CallNoArg(dirfunc);
Benjamin Peterson82b00c12011-05-24 11:09:06 -05001537 Py_DECREF(dirfunc);
1538 if (result == NULL)
1539 return NULL;
Benjamin Peterson3bbb7222011-06-11 16:12:08 -05001540 /* return sorted(result) */
1541 sorted = PySequence_List(result);
1542 Py_DECREF(result);
1543 if (sorted == NULL)
1544 return NULL;
1545 if (PyList_Sort(sorted)) {
1546 Py_DECREF(sorted);
1547 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001548 }
Benjamin Peterson3bbb7222011-06-11 16:12:08 -05001549 return sorted;
Georg Brandle32b4222007-03-10 22:13:27 +00001550}
1551
1552/* Implementation of dir() -- if obj is NULL, returns the names in the current
1553 (local) scope. Otherwise, performs introspection of the object: returns a
1554 sorted list of attribute names (supposedly) accessible from the object
1555*/
1556PyObject *
1557PyObject_Dir(PyObject *obj)
1558{
Benjamin Peterson3bbb7222011-06-11 16:12:08 -05001559 return (obj == NULL) ? _dir_locals() : _dir_object(obj);
Tim Peters7eea37e2001-09-04 22:08:56 +00001560}
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001561
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001562/*
Raymond Hettinger66d2be82011-07-28 09:55:13 -07001563None is a non-NULL undefined value.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001564There is (and should be!) no way to create other objects of this type,
Guido van Rossum3f5da241990-12-20 15:06:42 +00001565so there is exactly one (which is indestructible, by the way).
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001566*/
1567
Guido van Rossum0c182a11992-03-27 17:26:13 +00001568/* ARGSUSED */
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001569static PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001570none_repr(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001571{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001572 return PyUnicode_FromString("None");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001573}
1574
Barry Warsaw9bf16442001-01-23 16:24:35 +00001575/* ARGUSED */
Victor Stinner2a4903f2020-01-30 13:09:11 +01001576static void _Py_NO_RETURN
Tim Peters803526b2002-07-07 05:13:56 +00001577none_dealloc(PyObject* ignore)
Barry Warsaw9bf16442001-01-23 16:24:35 +00001578{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001579 /* This should never get called, but we also don't want to SEGV if
1580 * we accidentally decref None out of existence.
1581 */
1582 Py_FatalError("deallocating None");
Barry Warsaw9bf16442001-01-23 16:24:35 +00001583}
1584
Benjamin Petersonc4607ae2011-07-29 18:19:43 -05001585static PyObject *
1586none_new(PyTypeObject *type, PyObject *args, PyObject *kwargs)
1587{
Serhiy Storchaka5ab81d72016-12-16 16:18:57 +02001588 if (PyTuple_GET_SIZE(args) || (kwargs && PyDict_GET_SIZE(kwargs))) {
Benjamin Petersonc4607ae2011-07-29 18:19:43 -05001589 PyErr_SetString(PyExc_TypeError, "NoneType takes no arguments");
1590 return NULL;
1591 }
1592 Py_RETURN_NONE;
1593}
1594
Raymond Hettinger66d2be82011-07-28 09:55:13 -07001595static int
1596none_bool(PyObject *v)
1597{
1598 return 0;
1599}
1600
1601static PyNumberMethods none_as_number = {
1602 0, /* nb_add */
1603 0, /* nb_subtract */
1604 0, /* nb_multiply */
1605 0, /* nb_remainder */
1606 0, /* nb_divmod */
1607 0, /* nb_power */
1608 0, /* nb_negative */
1609 0, /* nb_positive */
1610 0, /* nb_absolute */
1611 (inquiry)none_bool, /* nb_bool */
1612 0, /* nb_invert */
1613 0, /* nb_lshift */
1614 0, /* nb_rshift */
1615 0, /* nb_and */
1616 0, /* nb_xor */
1617 0, /* nb_or */
1618 0, /* nb_int */
1619 0, /* nb_reserved */
1620 0, /* nb_float */
1621 0, /* nb_inplace_add */
1622 0, /* nb_inplace_subtract */
1623 0, /* nb_inplace_multiply */
1624 0, /* nb_inplace_remainder */
1625 0, /* nb_inplace_power */
1626 0, /* nb_inplace_lshift */
1627 0, /* nb_inplace_rshift */
1628 0, /* nb_inplace_and */
1629 0, /* nb_inplace_xor */
1630 0, /* nb_inplace_or */
1631 0, /* nb_floor_divide */
1632 0, /* nb_true_divide */
1633 0, /* nb_inplace_floor_divide */
1634 0, /* nb_inplace_true_divide */
1635 0, /* nb_index */
1636};
Barry Warsaw9bf16442001-01-23 16:24:35 +00001637
Alexandre Vassalotti65846c62013-11-30 17:55:48 -08001638PyTypeObject _PyNone_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001639 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1640 "NoneType",
1641 0,
1642 0,
1643 none_dealloc, /*tp_dealloc*/ /*never called*/
Jeroen Demeyer530f5062019-05-31 04:13:39 +02001644 0, /*tp_vectorcall_offset*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001645 0, /*tp_getattr*/
1646 0, /*tp_setattr*/
Jeroen Demeyer530f5062019-05-31 04:13:39 +02001647 0, /*tp_as_async*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001648 none_repr, /*tp_repr*/
Raymond Hettinger66d2be82011-07-28 09:55:13 -07001649 &none_as_number, /*tp_as_number*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001650 0, /*tp_as_sequence*/
1651 0, /*tp_as_mapping*/
1652 0, /*tp_hash */
Benjamin Petersonc4607ae2011-07-29 18:19:43 -05001653 0, /*tp_call */
1654 0, /*tp_str */
1655 0, /*tp_getattro */
1656 0, /*tp_setattro */
1657 0, /*tp_as_buffer */
1658 Py_TPFLAGS_DEFAULT, /*tp_flags */
1659 0, /*tp_doc */
1660 0, /*tp_traverse */
1661 0, /*tp_clear */
1662 0, /*tp_richcompare */
1663 0, /*tp_weaklistoffset */
1664 0, /*tp_iter */
1665 0, /*tp_iternext */
1666 0, /*tp_methods */
1667 0, /*tp_members */
1668 0, /*tp_getset */
1669 0, /*tp_base */
1670 0, /*tp_dict */
1671 0, /*tp_descr_get */
1672 0, /*tp_descr_set */
1673 0, /*tp_dictoffset */
1674 0, /*tp_init */
1675 0, /*tp_alloc */
1676 none_new, /*tp_new */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001677};
1678
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001679PyObject _Py_NoneStruct = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001680 _PyObject_EXTRA_INIT
Alexandre Vassalotti65846c62013-11-30 17:55:48 -08001681 1, &_PyNone_Type
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001682};
1683
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001684/* NotImplemented is an object that can be used to signal that an
1685 operation is not implemented for the given type combination. */
1686
1687static PyObject *
1688NotImplemented_repr(PyObject *op)
1689{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001690 return PyUnicode_FromString("NotImplemented");
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001691}
1692
Benjamin Peterson18d7d7a2011-07-29 18:27:44 -05001693static PyObject *
Siddhesh Poyarekar55edd0c2018-04-30 00:29:33 +05301694NotImplemented_reduce(PyObject *op, PyObject *Py_UNUSED(ignored))
Alexandre Vassalottic49477b2013-11-24 02:53:45 -08001695{
1696 return PyUnicode_FromString("NotImplemented");
1697}
1698
1699static PyMethodDef notimplemented_methods[] = {
Siddhesh Poyarekar55edd0c2018-04-30 00:29:33 +05301700 {"__reduce__", NotImplemented_reduce, METH_NOARGS, NULL},
Alexandre Vassalottic49477b2013-11-24 02:53:45 -08001701 {NULL, NULL}
1702};
1703
1704static PyObject *
Benjamin Peterson18d7d7a2011-07-29 18:27:44 -05001705notimplemented_new(PyTypeObject *type, PyObject *args, PyObject *kwargs)
1706{
Serhiy Storchaka5ab81d72016-12-16 16:18:57 +02001707 if (PyTuple_GET_SIZE(args) || (kwargs && PyDict_GET_SIZE(kwargs))) {
Benjamin Peterson18d7d7a2011-07-29 18:27:44 -05001708 PyErr_SetString(PyExc_TypeError, "NotImplementedType takes no arguments");
1709 return NULL;
1710 }
Brian Curtindfc80e32011-08-10 20:28:54 -05001711 Py_RETURN_NOTIMPLEMENTED;
Benjamin Peterson18d7d7a2011-07-29 18:27:44 -05001712}
1713
Victor Stinner2a4903f2020-01-30 13:09:11 +01001714static void _Py_NO_RETURN
Armin Ronacher226b1db2012-10-06 14:28:58 +02001715notimplemented_dealloc(PyObject* ignore)
1716{
1717 /* This should never get called, but we also don't want to SEGV if
1718 * we accidentally decref NotImplemented out of existence.
1719 */
1720 Py_FatalError("deallocating NotImplemented");
1721}
1722
MojoVampire469325c2020-03-03 18:50:17 +00001723static int
1724notimplemented_bool(PyObject *v)
1725{
1726 if (PyErr_WarnEx(PyExc_DeprecationWarning,
1727 "NotImplemented should not be used in a boolean context",
1728 1) < 0)
1729 {
1730 return -1;
1731 }
1732 return 1;
1733}
1734
1735static PyNumberMethods notimplemented_as_number = {
1736 .nb_bool = notimplemented_bool,
1737};
1738
Alexandre Vassalotti65846c62013-11-30 17:55:48 -08001739PyTypeObject _PyNotImplemented_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001740 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1741 "NotImplementedType",
1742 0,
1743 0,
Armin Ronacher226b1db2012-10-06 14:28:58 +02001744 notimplemented_dealloc, /*tp_dealloc*/ /*never called*/
Jeroen Demeyer530f5062019-05-31 04:13:39 +02001745 0, /*tp_vectorcall_offset*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001746 0, /*tp_getattr*/
1747 0, /*tp_setattr*/
Jeroen Demeyer530f5062019-05-31 04:13:39 +02001748 0, /*tp_as_async*/
MojoVampire469325c2020-03-03 18:50:17 +00001749 NotImplemented_repr, /*tp_repr*/
1750 &notimplemented_as_number, /*tp_as_number*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001751 0, /*tp_as_sequence*/
1752 0, /*tp_as_mapping*/
1753 0, /*tp_hash */
Benjamin Peterson18d7d7a2011-07-29 18:27:44 -05001754 0, /*tp_call */
1755 0, /*tp_str */
1756 0, /*tp_getattro */
1757 0, /*tp_setattro */
1758 0, /*tp_as_buffer */
1759 Py_TPFLAGS_DEFAULT, /*tp_flags */
1760 0, /*tp_doc */
1761 0, /*tp_traverse */
1762 0, /*tp_clear */
1763 0, /*tp_richcompare */
1764 0, /*tp_weaklistoffset */
1765 0, /*tp_iter */
1766 0, /*tp_iternext */
Alexandre Vassalottic49477b2013-11-24 02:53:45 -08001767 notimplemented_methods, /*tp_methods */
Benjamin Peterson18d7d7a2011-07-29 18:27:44 -05001768 0, /*tp_members */
1769 0, /*tp_getset */
1770 0, /*tp_base */
1771 0, /*tp_dict */
1772 0, /*tp_descr_get */
1773 0, /*tp_descr_set */
1774 0, /*tp_dictoffset */
1775 0, /*tp_init */
1776 0, /*tp_alloc */
1777 notimplemented_new, /*tp_new */
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001778};
1779
1780PyObject _Py_NotImplementedStruct = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001781 _PyObject_EXTRA_INIT
Alexandre Vassalotti65846c62013-11-30 17:55:48 -08001782 1, &_PyNotImplemented_Type
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001783};
1784
Victor Stinner331a6a52019-05-27 16:39:22 +02001785PyStatus
Victor Stinnerab672812019-01-23 15:04:40 +01001786_PyTypes_Init(void)
Guido van Rossumba21a492001-08-16 08:17:26 +00001787{
Victor Stinner7a1f6c22020-01-30 09:02:14 +01001788 PyStatus status = _PyTypes_InitSlotDefs();
1789 if (_PyStatus_EXCEPTION(status)) {
1790 return status;
1791 }
1792
Victor Stinnera5180992021-04-08 00:12:38 +02001793#define INIT_TYPE(TYPE) \
Victor Stinner6d43f6f2019-01-22 21:18:05 +01001794 do { \
Victor Stinnera5180992021-04-08 00:12:38 +02001795 if (PyType_Ready(&(TYPE)) < 0) { \
1796 return _PyStatus_ERR("Can't initialize " #TYPE " type"); \
Victor Stinner6d43f6f2019-01-22 21:18:05 +01001797 } \
1798 } while (0)
Victor Stinner5a1bb4e2014-06-02 14:10:59 +02001799
Victor Stinnera5180992021-04-08 00:12:38 +02001800 // Base types
1801 INIT_TYPE(PyBaseObject_Type);
1802 INIT_TYPE(PyType_Type);
1803 assert(PyBaseObject_Type.tp_base == NULL);
1804 assert(PyType_Type.tp_base == &PyBaseObject_Type);
Guido van Rossumba21a492001-08-16 08:17:26 +00001805
Victor Stinnera5180992021-04-08 00:12:38 +02001806 // All other static types
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001807 INIT_TYPE(PyAsyncGen_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001808 INIT_TYPE(PyBool_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001809 INIT_TYPE(PyByteArrayIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001810 INIT_TYPE(PyByteArray_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001811 INIT_TYPE(PyBytesIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001812 INIT_TYPE(PyBytes_Type);
1813 INIT_TYPE(PyCFunction_Type);
1814 INIT_TYPE(PyCMethod_Type);
1815 INIT_TYPE(PyCallIter_Type);
1816 INIT_TYPE(PyCapsule_Type);
1817 INIT_TYPE(PyCell_Type);
1818 INIT_TYPE(PyClassMethodDescr_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001819 INIT_TYPE(PyClassMethod_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001820 INIT_TYPE(PyCode_Type);
1821 INIT_TYPE(PyComplex_Type);
1822 INIT_TYPE(PyCoro_Type);
1823 INIT_TYPE(PyDictItems_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001824 INIT_TYPE(PyDictIterItem_Type);
1825 INIT_TYPE(PyDictIterKey_Type);
1826 INIT_TYPE(PyDictIterValue_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001827 INIT_TYPE(PyDictKeys_Type);
1828 INIT_TYPE(PyDictProxy_Type);
1829 INIT_TYPE(PyDictRevIterItem_Type);
1830 INIT_TYPE(PyDictRevIterKey_Type);
1831 INIT_TYPE(PyDictRevIterValue_Type);
1832 INIT_TYPE(PyDictValues_Type);
1833 INIT_TYPE(PyDict_Type);
1834 INIT_TYPE(PyEllipsis_Type);
1835 INIT_TYPE(PyEnum_Type);
1836 INIT_TYPE(PyFloat_Type);
1837 INIT_TYPE(PyFrame_Type);
1838 INIT_TYPE(PyFrozenSet_Type);
1839 INIT_TYPE(PyFunction_Type);
1840 INIT_TYPE(PyGen_Type);
1841 INIT_TYPE(PyGetSetDescr_Type);
1842 INIT_TYPE(PyInstanceMethod_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001843 INIT_TYPE(PyListIter_Type);
1844 INIT_TYPE(PyListRevIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001845 INIT_TYPE(PyList_Type);
1846 INIT_TYPE(PyLongRangeIter_Type);
1847 INIT_TYPE(PyLong_Type);
1848 INIT_TYPE(PyMemberDescr_Type);
1849 INIT_TYPE(PyMemoryView_Type);
1850 INIT_TYPE(PyMethodDescr_Type);
1851 INIT_TYPE(PyMethod_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001852 INIT_TYPE(PyModuleDef_Type);
1853 INIT_TYPE(PyModule_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001854 INIT_TYPE(PyODictItems_Type);
1855 INIT_TYPE(PyODictIter_Type);
1856 INIT_TYPE(PyODictKeys_Type);
1857 INIT_TYPE(PyODictValues_Type);
1858 INIT_TYPE(PyODict_Type);
1859 INIT_TYPE(PyPickleBuffer_Type);
1860 INIT_TYPE(PyProperty_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001861 INIT_TYPE(PyRangeIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001862 INIT_TYPE(PyRange_Type);
1863 INIT_TYPE(PyReversed_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001864 INIT_TYPE(PySTEntry_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001865 INIT_TYPE(PySeqIter_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001866 INIT_TYPE(PySetIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001867 INIT_TYPE(PySet_Type);
1868 INIT_TYPE(PySlice_Type);
1869 INIT_TYPE(PyStaticMethod_Type);
1870 INIT_TYPE(PyStdPrinter_Type);
1871 INIT_TYPE(PySuper_Type);
1872 INIT_TYPE(PyTraceBack_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001873 INIT_TYPE(PyTupleIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001874 INIT_TYPE(PyTuple_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001875 INIT_TYPE(PyUnicodeIter_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001876 INIT_TYPE(PyUnicode_Type);
1877 INIT_TYPE(PyWrapperDescr_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001878 INIT_TYPE(Py_GenericAliasType);
Victor Stinnerb98eba52021-04-08 09:58:15 +02001879 INIT_TYPE(_PyAnextAwaitable_Type);
Victor Stinnerdf5dc1c2021-04-08 00:47:55 +02001880 INIT_TYPE(_PyAsyncGenASend_Type);
1881 INIT_TYPE(_PyAsyncGenAThrow_Type);
1882 INIT_TYPE(_PyAsyncGenWrappedValue_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001883 INIT_TYPE(_PyCoroWrapper_Type);
1884 INIT_TYPE(_PyInterpreterID_Type);
1885 INIT_TYPE(_PyManagedBuffer_Type);
1886 INIT_TYPE(_PyMethodWrapper_Type);
1887 INIT_TYPE(_PyNamespace_Type);
1888 INIT_TYPE(_PyNone_Type);
1889 INIT_TYPE(_PyNotImplemented_Type);
1890 INIT_TYPE(_PyWeakref_CallableProxyType);
1891 INIT_TYPE(_PyWeakref_ProxyType);
1892 INIT_TYPE(_PyWeakref_RefType);
Miss Islington (bot)03aad302021-07-17 14:10:21 -07001893 INIT_TYPE(_PyUnion_Type);
Victor Stinnera5180992021-04-08 00:12:38 +02001894
1895 return _PyStatus_OK();
Victor Stinner6d43f6f2019-01-22 21:18:05 +01001896#undef INIT_TYPE
Guido van Rossumba21a492001-08-16 08:17:26 +00001897}
1898
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001899
Victor Stinner40e547d2020-02-05 01:11:10 +01001900void
1901_Py_NewReference(PyObject *op)
1902{
1903 if (_Py_tracemalloc_config.tracing) {
1904 _PyTraceMalloc_NewReference(op);
1905 }
1906#ifdef Py_REF_DEBUG
1907 _Py_RefTotal++;
1908#endif
Victor Stinnerc86a1122020-02-07 01:24:29 +01001909 Py_SET_REFCNT(op, 1);
Victor Stinner40e547d2020-02-05 01:11:10 +01001910#ifdef Py_TRACE_REFS
1911 _Py_AddToAllObjects(op, 1);
1912#endif
1913}
1914
1915
Guido van Rossum84a90321996-05-22 16:34:47 +00001916#ifdef Py_TRACE_REFS
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001917void
Antoine Pitrou9ed5f272013-08-13 20:18:52 +02001918_Py_ForgetReference(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001919{
Victor Stinnera93c51e2020-02-07 00:38:59 +01001920 if (Py_REFCNT(op) < 0) {
Victor Stinner5eb8bff2020-01-30 09:01:07 +01001921 _PyObject_ASSERT_FAILED_MSG(op, "negative refcnt");
1922 }
1923
1924 if (op == &refchain ||
1925 op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op)
1926 {
1927 _PyObject_ASSERT_FAILED_MSG(op, "invalid object chain");
1928 }
1929
Guido van Rossumbffd6832000-01-20 22:32:56 +00001930#ifdef SLOW_UNREF_CHECK
Antoine Pitrou9ed5f272013-08-13 20:18:52 +02001931 PyObject *p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001932 for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
Victor Stinner5eb8bff2020-01-30 09:01:07 +01001933 if (p == op) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001934 break;
Victor Stinner5eb8bff2020-01-30 09:01:07 +01001935 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001936 }
Victor Stinner5eb8bff2020-01-30 09:01:07 +01001937 if (p == &refchain) {
1938 /* Not found */
1939 _PyObject_ASSERT_FAILED_MSG(op,
1940 "object not found in the objects list");
1941 }
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001942#endif
Victor Stinner5eb8bff2020-01-30 09:01:07 +01001943
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001944 op->_ob_next->_ob_prev = op->_ob_prev;
1945 op->_ob_prev->_ob_next = op->_ob_next;
1946 op->_ob_next = op->_ob_prev = NULL;
Guido van Rossum3f5da241990-12-20 15:06:42 +00001947}
1948
Tim Peters269b2a62003-04-17 19:52:29 +00001949/* Print all live objects. Because PyObject_Print is called, the
1950 * interpreter must be in a healthy state.
1951 */
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001952void
Fred Drake100814d2000-07-09 15:48:49 +00001953_Py_PrintReferences(FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001954{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001955 PyObject *op;
1956 fprintf(fp, "Remaining objects:\n");
1957 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
Victor Stinnerd36cf5f2020-06-10 18:38:05 +02001958 fprintf(fp, "%p [%zd] ", (void *)op, Py_REFCNT(op));
1959 if (PyObject_Print(op, fp, 0) != 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001960 PyErr_Clear();
Victor Stinnerd36cf5f2020-06-10 18:38:05 +02001961 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001962 putc('\n', fp);
1963 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001964}
1965
Tim Peters269b2a62003-04-17 19:52:29 +00001966/* Print the addresses of all live objects. Unlike _Py_PrintReferences, this
1967 * doesn't make any calls to the Python C API, so is always safe to call.
1968 */
1969void
1970_Py_PrintReferenceAddresses(FILE *fp)
1971{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001972 PyObject *op;
1973 fprintf(fp, "Remaining object addresses:\n");
1974 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next)
Victor Stinnerd36cf5f2020-06-10 18:38:05 +02001975 fprintf(fp, "%p [%zd] %s\n", (void *)op,
Victor Stinnera93c51e2020-02-07 00:38:59 +01001976 Py_REFCNT(op), Py_TYPE(op)->tp_name);
Tim Peters269b2a62003-04-17 19:52:29 +00001977}
1978
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001979PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001980_Py_GetObjects(PyObject *self, PyObject *args)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001981{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001982 int i, n;
1983 PyObject *t = NULL;
1984 PyObject *res, *op;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001985
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001986 if (!PyArg_ParseTuple(args, "i|O", &n, &t))
1987 return NULL;
1988 op = refchain._ob_next;
1989 res = PyList_New(0);
1990 if (res == NULL)
1991 return NULL;
1992 for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
1993 while (op == self || op == args || op == res || op == t ||
Andy Lester55728702020-03-06 16:53:17 -06001994 (t != NULL && !Py_IS_TYPE(op, (PyTypeObject *) t))) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001995 op = op->_ob_next;
1996 if (op == &refchain)
1997 return res;
1998 }
1999 if (PyList_Append(res, op) < 0) {
2000 Py_DECREF(res);
2001 return NULL;
2002 }
2003 op = op->_ob_next;
2004 }
2005 return res;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00002006}
2007
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002008#endif
Guido van Rossum97ead3f1996-01-12 01:24:09 +00002009
Benjamin Petersonb173f782009-05-05 22:31:58 +00002010
Guido van Rossum84a90321996-05-22 16:34:47 +00002011/* Hack to force loading of abstract.o */
Martin v. Löwis18e16552006-02-15 17:27:45 +00002012Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size;
Guido van Rossume09fb551997-08-05 02:04:34 +00002013
2014
David Malcolm49526f42012-06-22 14:55:41 -04002015void
2016_PyObject_DebugTypeStats(FILE *out)
2017{
David Malcolm49526f42012-06-22 14:55:41 -04002018 _PyDict_DebugMallocStats(out);
2019 _PyFloat_DebugMallocStats(out);
2020 _PyFrame_DebugMallocStats(out);
2021 _PyList_DebugMallocStats(out);
David Malcolm49526f42012-06-22 14:55:41 -04002022 _PyTuple_DebugMallocStats(out);
2023}
Guido van Rossumb18618d2000-05-03 23:44:39 +00002024
Guido van Rossum86610361998-04-10 22:32:46 +00002025/* These methods are used to control infinite recursion in repr, str, print,
2026 etc. Container objects that may recursively contain themselves,
Martin Panter8d56c022016-05-29 04:13:35 +00002027 e.g. builtin dictionaries and lists, should use Py_ReprEnter() and
Guido van Rossum86610361998-04-10 22:32:46 +00002028 Py_ReprLeave() to avoid infinite recursion.
2029
2030 Py_ReprEnter() returns 0 the first time it is called for a particular
2031 object and 1 every time thereafter. It returns -1 if an exception
2032 occurred. Py_ReprLeave() has no return value.
2033
2034 See dictobject.c and listobject.c for examples of use.
2035*/
2036
Guido van Rossum86610361998-04-10 22:32:46 +00002037int
Fred Drake100814d2000-07-09 15:48:49 +00002038Py_ReprEnter(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00002039{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002040 PyObject *dict;
2041 PyObject *list;
2042 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00002043
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002044 dict = PyThreadState_GetDict();
Antoine Pitrou04d17d32014-03-31 22:04:38 +02002045 /* Ignore a missing thread-state, so that this function can be called
2046 early on startup. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002047 if (dict == NULL)
2048 return 0;
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02002049 list = _PyDict_GetItemIdWithError(dict, &PyId_Py_Repr);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002050 if (list == NULL) {
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02002051 if (PyErr_Occurred()) {
2052 return -1;
2053 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002054 list = PyList_New(0);
2055 if (list == NULL)
2056 return -1;
Victor Stinner7a07e452013-11-06 18:57:29 +01002057 if (_PyDict_SetItemId(dict, &PyId_Py_Repr, list) < 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002058 return -1;
2059 Py_DECREF(list);
2060 }
2061 i = PyList_GET_SIZE(list);
2062 while (--i >= 0) {
2063 if (PyList_GET_ITEM(list, i) == obj)
2064 return 1;
2065 }
Victor Stinnere901d1f2013-07-17 21:58:41 +02002066 if (PyList_Append(list, obj) < 0)
2067 return -1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002068 return 0;
Guido van Rossum86610361998-04-10 22:32:46 +00002069}
2070
2071void
Fred Drake100814d2000-07-09 15:48:49 +00002072Py_ReprLeave(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00002073{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002074 PyObject *dict;
2075 PyObject *list;
2076 Py_ssize_t i;
Victor Stinner1b634932013-07-16 22:24:44 +02002077 PyObject *error_type, *error_value, *error_traceback;
2078
2079 PyErr_Fetch(&error_type, &error_value, &error_traceback);
Guido van Rossum86610361998-04-10 22:32:46 +00002080
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002081 dict = PyThreadState_GetDict();
2082 if (dict == NULL)
Victor Stinner1b634932013-07-16 22:24:44 +02002083 goto finally;
2084
Serhiy Storchakaa24107b2019-02-25 17:59:46 +02002085 list = _PyDict_GetItemIdWithError(dict, &PyId_Py_Repr);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002086 if (list == NULL || !PyList_Check(list))
Victor Stinner1b634932013-07-16 22:24:44 +02002087 goto finally;
2088
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002089 i = PyList_GET_SIZE(list);
2090 /* Count backwards because we always expect obj to be list[-1] */
2091 while (--i >= 0) {
2092 if (PyList_GET_ITEM(list, i) == obj) {
2093 PyList_SetSlice(list, i, i + 1, NULL);
2094 break;
2095 }
2096 }
Victor Stinner1b634932013-07-16 22:24:44 +02002097
2098finally:
2099 /* ignore exceptions because there is no way to report them. */
2100 PyErr_Restore(error_type, error_value, error_traceback);
Guido van Rossum86610361998-04-10 22:32:46 +00002101}
Guido van Rossumd724b232000-03-13 16:01:29 +00002102
Tim Peters803526b2002-07-07 05:13:56 +00002103/* Trashcan support. */
Guido van Rossumd724b232000-03-13 16:01:29 +00002104
Tim Peters803526b2002-07-07 05:13:56 +00002105/* Add op to the _PyTrash_delete_later list. Called when the current
2106 * call-stack depth gets large. op must be a currently untracked gc'ed
2107 * object, with refcount 0. Py_DECREF must already have been called on it.
2108 */
Guido van Rossumd724b232000-03-13 16:01:29 +00002109void
Fred Drake100814d2000-07-09 15:48:49 +00002110_PyTrash_deposit_object(PyObject *op)
Guido van Rossumd724b232000-03-13 16:01:29 +00002111{
Victor Stinner1bcc32f2020-06-10 20:08:26 +02002112 PyInterpreterState *interp = _PyInterpreterState_GET();
2113 struct _gc_runtime_state *gcstate = &interp->gc;
Victor Stinner72474072019-11-20 12:25:50 +01002114
Hai Shi675d9a32020-04-15 02:11:20 +08002115 _PyObject_ASSERT(op, _PyObject_IS_GC(op));
Victor Stinner24702042018-10-26 17:16:37 +02002116 _PyObject_ASSERT(op, !_PyObject_GC_IS_TRACKED(op));
Victor Stinnera93c51e2020-02-07 00:38:59 +01002117 _PyObject_ASSERT(op, Py_REFCNT(op) == 0);
Victor Stinner72474072019-11-20 12:25:50 +01002118 _PyGCHead_SET_PREV(_Py_AS_GC(op), gcstate->trash_delete_later);
2119 gcstate->trash_delete_later = op;
Guido van Rossumd724b232000-03-13 16:01:29 +00002120}
2121
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002122/* The equivalent API, using per-thread state recursion info */
2123void
2124_PyTrash_thread_deposit_object(PyObject *op)
2125{
Victor Stinner50b48572018-11-01 01:51:40 +01002126 PyThreadState *tstate = _PyThreadState_GET();
Hai Shi675d9a32020-04-15 02:11:20 +08002127 _PyObject_ASSERT(op, _PyObject_IS_GC(op));
Victor Stinner24702042018-10-26 17:16:37 +02002128 _PyObject_ASSERT(op, !_PyObject_GC_IS_TRACKED(op));
Victor Stinnera93c51e2020-02-07 00:38:59 +01002129 _PyObject_ASSERT(op, Py_REFCNT(op) == 0);
INADA Naoki5ac9e6e2018-07-10 17:19:53 +09002130 _PyGCHead_SET_PREV(_Py_AS_GC(op), tstate->trash_delete_later);
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002131 tstate->trash_delete_later = op;
2132}
2133
Min ho Kimc4cacc82019-07-31 08:16:13 +10002134/* Deallocate all the objects in the _PyTrash_delete_later list. Called when
Tim Peters803526b2002-07-07 05:13:56 +00002135 * the call-stack unwinds again.
2136 */
Guido van Rossumd724b232000-03-13 16:01:29 +00002137void
Fred Drake100814d2000-07-09 15:48:49 +00002138_PyTrash_destroy_chain(void)
Guido van Rossumd724b232000-03-13 16:01:29 +00002139{
Victor Stinner1bcc32f2020-06-10 20:08:26 +02002140 PyInterpreterState *interp = _PyInterpreterState_GET();
2141 struct _gc_runtime_state *gcstate = &interp->gc;
Victor Stinner72474072019-11-20 12:25:50 +01002142
2143 while (gcstate->trash_delete_later) {
2144 PyObject *op = gcstate->trash_delete_later;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002145 destructor dealloc = Py_TYPE(op)->tp_dealloc;
Neil Schemenauerf589c052002-03-29 03:05:54 +00002146
Victor Stinner72474072019-11-20 12:25:50 +01002147 gcstate->trash_delete_later =
INADA Naoki5ac9e6e2018-07-10 17:19:53 +09002148 (PyObject*) _PyGCHead_PREV(_Py_AS_GC(op));
Neil Schemenauerf589c052002-03-29 03:05:54 +00002149
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002150 /* Call the deallocator directly. This used to try to
2151 * fool Py_DECREF into calling it indirectly, but
2152 * Py_DECREF was already called on this object, and in
2153 * assorted non-release builds calling Py_DECREF again ends
2154 * up distorting allocation statistics.
2155 */
Victor Stinnera93c51e2020-02-07 00:38:59 +01002156 _PyObject_ASSERT(op, Py_REFCNT(op) == 0);
Victor Stinner72474072019-11-20 12:25:50 +01002157 ++gcstate->trash_delete_nesting;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002158 (*dealloc)(op);
Victor Stinner72474072019-11-20 12:25:50 +01002159 --gcstate->trash_delete_nesting;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002160 }
Guido van Rossumd724b232000-03-13 16:01:29 +00002161}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002162
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002163/* The equivalent API, using per-thread state recursion info */
2164void
2165_PyTrash_thread_destroy_chain(void)
2166{
Victor Stinner50b48572018-11-01 01:51:40 +01002167 PyThreadState *tstate = _PyThreadState_GET();
Xiang Zhanga66f9c62017-05-13 13:36:14 +08002168 /* We need to increase trash_delete_nesting here, otherwise,
2169 _PyTrash_thread_destroy_chain will be called recursively
2170 and then possibly crash. An example that may crash without
2171 increase:
2172 N = 500000 # need to be large enough
2173 ob = object()
2174 tups = [(ob,) for i in range(N)]
2175 for i in range(49):
2176 tups = [(tup,) for tup in tups]
2177 del tups
2178 */
2179 assert(tstate->trash_delete_nesting == 0);
2180 ++tstate->trash_delete_nesting;
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002181 while (tstate->trash_delete_later) {
2182 PyObject *op = tstate->trash_delete_later;
2183 destructor dealloc = Py_TYPE(op)->tp_dealloc;
2184
2185 tstate->trash_delete_later =
INADA Naoki5ac9e6e2018-07-10 17:19:53 +09002186 (PyObject*) _PyGCHead_PREV(_Py_AS_GC(op));
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002187
2188 /* Call the deallocator directly. This used to try to
2189 * fool Py_DECREF into calling it indirectly, but
2190 * Py_DECREF was already called on this object, and in
2191 * assorted non-release builds calling Py_DECREF again ends
2192 * up distorting allocation statistics.
2193 */
Victor Stinnera93c51e2020-02-07 00:38:59 +01002194 _PyObject_ASSERT(op, Py_REFCNT(op) == 0);
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002195 (*dealloc)(op);
Xiang Zhanga66f9c62017-05-13 13:36:14 +08002196 assert(tstate->trash_delete_nesting == 1);
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002197 }
Xiang Zhanga66f9c62017-05-13 13:36:14 +08002198 --tstate->trash_delete_nesting;
Antoine Pitrou2b0218a2012-09-06 00:59:49 +02002199}
2200
Victor Stinner626bff82018-10-25 17:31:10 +02002201
Victor Stinner38965ec2020-03-13 16:51:52 +01002202int
2203_PyTrash_begin(PyThreadState *tstate, PyObject *op)
2204{
2205 if (tstate->trash_delete_nesting >= PyTrash_UNWIND_LEVEL) {
2206 /* Store the object (to be deallocated later) and jump past
2207 * Py_TRASHCAN_END, skipping the body of the deallocator */
2208 _PyTrash_thread_deposit_object(op);
2209 return 1;
2210 }
2211 ++tstate->trash_delete_nesting;
2212 return 0;
2213}
2214
2215
2216void
2217_PyTrash_end(PyThreadState *tstate)
2218{
2219 --tstate->trash_delete_nesting;
2220 if (tstate->trash_delete_later && tstate->trash_delete_nesting <= 0) {
2221 _PyTrash_thread_destroy_chain();
2222 }
2223}
2224
2225
Hai Shied1a5a52020-11-25 06:03:31 +08002226/* bpo-40170: It's only be used in Py_TRASHCAN_BEGIN macro to hide
2227 implementation details. */
2228int
2229_PyTrash_cond(PyObject *op, destructor dealloc)
2230{
2231 return Py_TYPE(op)->tp_dealloc == dealloc;
2232}
2233
2234
Victor Stinner2a4903f2020-01-30 13:09:11 +01002235void _Py_NO_RETURN
Victor Stinnerf1d002c2018-11-21 23:53:44 +01002236_PyObject_AssertFailed(PyObject *obj, const char *expr, const char *msg,
Victor Stinner626bff82018-10-25 17:31:10 +02002237 const char *file, int line, const char *function)
2238{
Victor Stinnerf1d002c2018-11-21 23:53:44 +01002239 fprintf(stderr, "%s:%d: ", file, line);
2240 if (function) {
2241 fprintf(stderr, "%s: ", function);
2242 }
Victor Stinner626bff82018-10-25 17:31:10 +02002243 fflush(stderr);
Victor Stinner68762572019-10-07 18:42:01 +02002244
Victor Stinnerf1d002c2018-11-21 23:53:44 +01002245 if (expr) {
2246 fprintf(stderr, "Assertion \"%s\" failed", expr);
Victor Stinner626bff82018-10-25 17:31:10 +02002247 }
2248 else {
Victor Stinnerf1d002c2018-11-21 23:53:44 +01002249 fprintf(stderr, "Assertion failed");
Victor Stinner626bff82018-10-25 17:31:10 +02002250 }
2251 fflush(stderr);
Victor Stinner68762572019-10-07 18:42:01 +02002252
Victor Stinnerf1d002c2018-11-21 23:53:44 +01002253 if (msg) {
2254 fprintf(stderr, ": %s", msg);
2255 }
2256 fprintf(stderr, "\n");
2257 fflush(stderr);
Victor Stinner626bff82018-10-25 17:31:10 +02002258
Victor Stinner68762572019-10-07 18:42:01 +02002259 if (_PyObject_IsFreed(obj)) {
Victor Stinner626bff82018-10-25 17:31:10 +02002260 /* It seems like the object memory has been freed:
2261 don't access it to prevent a segmentation fault. */
Victor Stinnerb39afb72019-09-17 23:36:28 +02002262 fprintf(stderr, "<object at %p is freed>\n", obj);
Victor Stinner68762572019-10-07 18:42:01 +02002263 fflush(stderr);
Victor Stinner626bff82018-10-25 17:31:10 +02002264 }
2265 else {
penguindustin96466302019-05-06 14:57:17 -04002266 /* Display the traceback where the object has been allocated.
Victor Stinner626bff82018-10-25 17:31:10 +02002267 Do it before dumping repr(obj), since repr() is more likely
2268 to crash than dumping the traceback. */
2269 void *ptr;
2270 PyTypeObject *type = Py_TYPE(obj);
Victor Stinner45ec5b92020-04-08 01:42:27 +02002271 if (_PyType_IS_GC(type)) {
Victor Stinner626bff82018-10-25 17:31:10 +02002272 ptr = (void *)((char *)obj - sizeof(PyGC_Head));
2273 }
2274 else {
2275 ptr = (void *)obj;
2276 }
2277 _PyMem_DumpTraceback(fileno(stderr), ptr);
2278
2279 /* This might succeed or fail, but we're about to abort, so at least
2280 try to provide any extra info we can: */
2281 _PyObject_Dump(obj);
Victor Stinner77753492019-10-07 23:44:05 +02002282
2283 fprintf(stderr, "\n");
2284 fflush(stderr);
Victor Stinner626bff82018-10-25 17:31:10 +02002285 }
Victor Stinner626bff82018-10-25 17:31:10 +02002286
2287 Py_FatalError("_PyObject_AssertFailed");
2288}
2289
Victor Stinner3c09dca2018-10-30 14:48:26 +01002290
Martin v. Löwis4d0d4712010-12-03 20:14:31 +00002291void
2292_Py_Dealloc(PyObject *op)
2293{
Victor Stinner3c09dca2018-10-30 14:48:26 +01002294 destructor dealloc = Py_TYPE(op)->tp_dealloc;
2295#ifdef Py_TRACE_REFS
2296 _Py_ForgetReference(op);
Martin v. Löwis4d0d4712010-12-03 20:14:31 +00002297#endif
Victor Stinner3c09dca2018-10-30 14:48:26 +01002298 (*dealloc)(op);
2299}
Martin v. Löwis4d0d4712010-12-03 20:14:31 +00002300
Victor Stinner38aefc52020-04-06 14:07:02 +02002301
2302PyObject **
2303PyObject_GET_WEAKREFS_LISTPTR(PyObject *op)
2304{
2305 return _PyObject_GET_WEAKREFS_LISTPTR(op);
2306}
2307
2308
Victor Stinner53a03aa2020-11-05 15:02:12 +01002309#undef Py_NewRef
2310#undef Py_XNewRef
2311
2312// Export Py_NewRef() and Py_XNewRef() as regular functions for the stable ABI.
2313PyObject*
2314Py_NewRef(PyObject *obj)
2315{
2316 return _Py_NewRef(obj);
2317}
2318
2319PyObject*
2320Py_XNewRef(PyObject *obj)
2321{
2322 return _Py_XNewRef(obj);
2323}
2324
Victor Stinner09bbebe2021-04-11 00:17:39 +02002325#undef Py_Is
2326#undef Py_IsNone
2327#undef Py_IsTrue
2328#undef Py_IsFalse
2329
2330// Export Py_Is(), Py_IsNone(), Py_IsTrue(), Py_IsFalse() as regular functions
2331// for the stable ABI.
2332int Py_Is(PyObject *x, PyObject *y)
2333{
2334 return (x == y);
2335}
2336
2337int Py_IsNone(PyObject *x)
2338{
2339 return Py_Is(x, Py_None);
2340}
2341
2342int Py_IsTrue(PyObject *x)
2343{
2344 return Py_Is(x, Py_True);
2345}
2346
2347int Py_IsFalse(PyObject *x)
2348{
2349 return Py_Is(x, Py_False);
2350}
2351
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002352#ifdef __cplusplus
2353}
2354#endif