| |
| /* Generic object operations; and implementation of None */ |
| |
| #include "Python.h" |
| #include "pycore_brc.h" // _Py_brc_queue_object() |
| #include "pycore_call.h" // _PyObject_CallNoArgs() |
| #include "pycore_ceval.h" // _Py_EnterRecursiveCallTstate() |
| #include "pycore_context.h" // _PyContextTokenMissing_Type |
| #include "pycore_critical_section.h" // Py_BEGIN_CRITICAL_SECTION, Py_END_CRITICAL_SECTION |
| #include "pycore_descrobject.h" // _PyMethodWrapper_Type |
| #include "pycore_dict.h" // _PyObject_MakeDictFromInstanceAttributes() |
| #include "pycore_floatobject.h" // _PyFloat_DebugMallocStats() |
| #include "pycore_freelist.h" // _PyObject_ClearFreeLists() |
| #include "pycore_initconfig.h" // _PyStatus_EXCEPTION() |
| #include "pycore_instruction_sequence.h" // _PyInstructionSequence_Type |
| #include "pycore_hashtable.h" // _Py_hashtable_new() |
| #include "pycore_memoryobject.h" // _PyManagedBuffer_Type |
| #include "pycore_namespace.h" // _PyNamespace_Type |
| #include "pycore_object.h" // PyAPI_DATA() _Py_SwappedOp definition |
| #include "pycore_object_state.h" // struct _reftracer_runtime_state |
| #include "pycore_long.h" // _PyLong_GetZero() |
| #include "pycore_optimizer.h" // _PyUOpExecutor_Type, _PyUOpOptimizer_Type, ... |
| #include "pycore_pyerrors.h" // _PyErr_Occurred() |
| #include "pycore_pymem.h" // _PyMem_IsPtrFreed() |
| #include "pycore_pystate.h" // _PyThreadState_GET() |
| #include "pycore_symtable.h" // PySTEntry_Type |
| #include "pycore_typeobject.h" // _PyBufferWrapper_Type |
| #include "pycore_typevarobject.h" // _PyTypeAlias_Type, _Py_initialize_generic |
| #include "pycore_unionobject.h" // _PyUnion_Type |
| |
| |
| #ifdef Py_LIMITED_API |
| // Prevent recursive call _Py_IncRef() <=> Py_INCREF() |
| # error "Py_LIMITED_API macro must not be defined" |
| #endif |
| |
| /* Defined in tracemalloc.c */ |
| extern void _PyMem_DumpTraceback(int fd, const void *ptr); |
| |
| |
| int |
| _PyObject_CheckConsistency(PyObject *op, int check_content) |
| { |
| #define CHECK(expr) \ |
| do { if (!(expr)) { _PyObject_ASSERT_FAILED_MSG(op, Py_STRINGIFY(expr)); } } while (0) |
| |
| CHECK(!_PyObject_IsFreed(op)); |
| CHECK(Py_REFCNT(op) >= 1); |
| |
| _PyType_CheckConsistency(Py_TYPE(op)); |
| |
| if (PyUnicode_Check(op)) { |
| _PyUnicode_CheckConsistency(op, check_content); |
| } |
| else if (PyDict_Check(op)) { |
| _PyDict_CheckConsistency(op, check_content); |
| } |
| return 1; |
| |
| #undef CHECK |
| } |
| |
| |
| #ifdef Py_REF_DEBUG |
| /* We keep the legacy symbol around for backward compatibility. */ |
| Py_ssize_t _Py_RefTotal; |
| |
| static inline Py_ssize_t |
| get_legacy_reftotal(void) |
| { |
| return _Py_RefTotal; |
| } |
| #endif |
| |
| #ifdef Py_REF_DEBUG |
| |
| # define REFTOTAL(interp) \ |
| interp->object_state.reftotal |
| |
| static inline void |
| reftotal_add(PyThreadState *tstate, Py_ssize_t n) |
| { |
| #ifdef Py_GIL_DISABLED |
| _PyThreadStateImpl *tstate_impl = (_PyThreadStateImpl *)tstate; |
| // relaxed store to avoid data race with read in get_reftotal() |
| Py_ssize_t reftotal = tstate_impl->reftotal + n; |
| _Py_atomic_store_ssize_relaxed(&tstate_impl->reftotal, reftotal); |
| #else |
| REFTOTAL(tstate->interp) += n; |
| #endif |
| } |
| |
| static inline Py_ssize_t get_global_reftotal(_PyRuntimeState *); |
| |
| /* We preserve the number of refs leaked during runtime finalization, |
| so they can be reported if the runtime is initialized again. */ |
| // XXX We don't lose any information by dropping this, |
| // so we should consider doing so. |
| static Py_ssize_t last_final_reftotal = 0; |
| |
| void |
| _Py_FinalizeRefTotal(_PyRuntimeState *runtime) |
| { |
| last_final_reftotal = get_global_reftotal(runtime); |
| runtime->object_state.interpreter_leaks = 0; |
| } |
| |
| void |
| _PyInterpreterState_FinalizeRefTotal(PyInterpreterState *interp) |
| { |
| interp->runtime->object_state.interpreter_leaks += REFTOTAL(interp); |
| REFTOTAL(interp) = 0; |
| } |
| |
| static inline Py_ssize_t |
| get_reftotal(PyInterpreterState *interp) |
| { |
| /* For a single interpreter, we ignore the legacy _Py_RefTotal, |
| since we can't determine which interpreter updated it. */ |
| Py_ssize_t total = REFTOTAL(interp); |
| #ifdef Py_GIL_DISABLED |
| for (PyThreadState *p = interp->threads.head; p != NULL; p = p->next) { |
| /* This may race with other threads modifications to their reftotal */ |
| _PyThreadStateImpl *tstate_impl = (_PyThreadStateImpl *)p; |
| total += _Py_atomic_load_ssize_relaxed(&tstate_impl->reftotal); |
| } |
| #endif |
| return total; |
| } |
| |
| static inline Py_ssize_t |
| get_global_reftotal(_PyRuntimeState *runtime) |
| { |
| Py_ssize_t total = 0; |
| |
| /* Add up the total from each interpreter. */ |
| HEAD_LOCK(&_PyRuntime); |
| PyInterpreterState *interp = PyInterpreterState_Head(); |
| for (; interp != NULL; interp = PyInterpreterState_Next(interp)) { |
| total += get_reftotal(interp); |
| } |
| HEAD_UNLOCK(&_PyRuntime); |
| |
| /* Add in the updated value from the legacy _Py_RefTotal. */ |
| total += get_legacy_reftotal(); |
| total += last_final_reftotal; |
| total += runtime->object_state.interpreter_leaks; |
| |
| return total; |
| } |
| |
| #undef REFTOTAL |
| |
| void |
| _PyDebug_PrintTotalRefs(void) { |
| _PyRuntimeState *runtime = &_PyRuntime; |
| fprintf(stderr, |
| "[%zd refs, %zd blocks]\n", |
| get_global_reftotal(runtime), _Py_GetGlobalAllocatedBlocks()); |
| /* It may be helpful to also print the "legacy" reftotal separately. |
| Likewise for the total for each interpreter. */ |
| } |
| #endif /* Py_REF_DEBUG */ |
| |
| /* Object allocation routines used by NEWOBJ and NEWVAROBJ macros. |
| These are used by the individual routines for object creation. |
| Do not call them otherwise, they do not initialize the object! */ |
| |
| #ifdef Py_TRACE_REFS |
| |
| #define REFCHAIN(interp) interp->object_state.refchain |
| #define REFCHAIN_VALUE ((void*)(uintptr_t)1) |
| |
| static inline int |
| has_own_refchain(PyInterpreterState *interp) |
| { |
| if (interp->feature_flags & Py_RTFLAGS_USE_MAIN_OBMALLOC) { |
| return (_Py_IsMainInterpreter(interp) |
| || _PyInterpreterState_Main() == NULL); |
| } |
| return 1; |
| } |
| |
| static int |
| refchain_init(PyInterpreterState *interp) |
| { |
| if (!has_own_refchain(interp)) { |
| // Legacy subinterpreters share a refchain with the main interpreter. |
| REFCHAIN(interp) = REFCHAIN(_PyInterpreterState_Main()); |
| return 0; |
| } |
| _Py_hashtable_allocator_t alloc = { |
| // Don't use default PyMem_Malloc() and PyMem_Free() which |
| // require the caller to hold the GIL. |
| .malloc = PyMem_RawMalloc, |
| .free = PyMem_RawFree, |
| }; |
| REFCHAIN(interp) = _Py_hashtable_new_full( |
| _Py_hashtable_hash_ptr, _Py_hashtable_compare_direct, |
| NULL, NULL, &alloc); |
| if (REFCHAIN(interp) == NULL) { |
| return -1; |
| } |
| return 0; |
| } |
| |
| static void |
| refchain_fini(PyInterpreterState *interp) |
| { |
| if (has_own_refchain(interp) && REFCHAIN(interp) != NULL) { |
| _Py_hashtable_destroy(REFCHAIN(interp)); |
| } |
| REFCHAIN(interp) = NULL; |
| } |
| |
| bool |
| _PyRefchain_IsTraced(PyInterpreterState *interp, PyObject *obj) |
| { |
| return (_Py_hashtable_get(REFCHAIN(interp), obj) == REFCHAIN_VALUE); |
| } |
| |
| |
| static void |
| _PyRefchain_Trace(PyInterpreterState *interp, PyObject *obj) |
| { |
| if (_Py_hashtable_set(REFCHAIN(interp), obj, REFCHAIN_VALUE) < 0) { |
| // Use a fatal error because _Py_NewReference() cannot report |
| // the error to the caller. |
| Py_FatalError("_Py_hashtable_set() memory allocation failed"); |
| } |
| } |
| |
| |
| static void |
| _PyRefchain_Remove(PyInterpreterState *interp, PyObject *obj) |
| { |
| void *value = _Py_hashtable_steal(REFCHAIN(interp), obj); |
| #ifndef NDEBUG |
| assert(value == REFCHAIN_VALUE); |
| #else |
| (void)value; |
| #endif |
| } |
| |
| |
| /* Add an object to the refchain hash table. |
| * |
| * Note that objects are normally added to the list by PyObject_Init() |
| * indirectly. Not all objects are initialized that way, though; exceptions |
| * include statically allocated type objects, and statically allocated |
| * singletons (like Py_True and Py_None). */ |
| void |
| _Py_AddToAllObjects(PyObject *op) |
| { |
| PyInterpreterState *interp = _PyInterpreterState_GET(); |
| if (!_PyRefchain_IsTraced(interp, op)) { |
| _PyRefchain_Trace(interp, op); |
| } |
| } |
| #endif /* Py_TRACE_REFS */ |
| |
| #ifdef Py_REF_DEBUG |
| /* Log a fatal error; doesn't return. */ |
| void |
| _Py_NegativeRefcount(const char *filename, int lineno, PyObject *op) |
| { |
| _PyObject_AssertFailed(op, NULL, "object has negative ref count", |
| filename, lineno, __func__); |
| } |
| |
| /* This is used strictly by Py_INCREF(). */ |
| void |
| _Py_INCREF_IncRefTotal(void) |
| { |
| reftotal_add(_PyThreadState_GET(), 1); |
| } |
| |
| /* This is used strictly by Py_DECREF(). */ |
| void |
| _Py_DECREF_DecRefTotal(void) |
| { |
| reftotal_add(_PyThreadState_GET(), -1); |
| } |
| |
| void |
| _Py_IncRefTotal(PyThreadState *tstate) |
| { |
| reftotal_add(tstate, 1); |
| } |
| |
| void |
| _Py_DecRefTotal(PyThreadState *tstate) |
| { |
| reftotal_add(tstate, -1); |
| } |
| |
| void |
| _Py_AddRefTotal(PyThreadState *tstate, Py_ssize_t n) |
| { |
| reftotal_add(tstate, n); |
| } |
| |
| /* This includes the legacy total |
| and any carried over from the last runtime init/fini cycle. */ |
| Py_ssize_t |
| _Py_GetGlobalRefTotal(void) |
| { |
| return get_global_reftotal(&_PyRuntime); |
| } |
| |
| Py_ssize_t |
| _Py_GetLegacyRefTotal(void) |
| { |
| return get_legacy_reftotal(); |
| } |
| |
| Py_ssize_t |
| _PyInterpreterState_GetRefTotal(PyInterpreterState *interp) |
| { |
| HEAD_LOCK(&_PyRuntime); |
| Py_ssize_t total = get_reftotal(interp); |
| HEAD_UNLOCK(&_PyRuntime); |
| return total; |
| } |
| |
| #endif /* Py_REF_DEBUG */ |
| |
| void |
| Py_IncRef(PyObject *o) |
| { |
| Py_XINCREF(o); |
| } |
| |
| void |
| Py_DecRef(PyObject *o) |
| { |
| Py_XDECREF(o); |
| } |
| |
| void |
| _Py_IncRef(PyObject *o) |
| { |
| Py_INCREF(o); |
| } |
| |
| void |
| _Py_DecRef(PyObject *o) |
| { |
| Py_DECREF(o); |
| } |
| |
| #ifdef Py_GIL_DISABLED |
| # ifdef Py_REF_DEBUG |
| static int |
| is_dead(PyObject *o) |
| { |
| # if SIZEOF_SIZE_T == 8 |
| return (uintptr_t)o->ob_type == 0xDDDDDDDDDDDDDDDD; |
| # else |
| return (uintptr_t)o->ob_type == 0xDDDDDDDD; |
| # endif |
| } |
| # endif |
| |
| void |
| _Py_DecRefSharedDebug(PyObject *o, const char *filename, int lineno) |
| { |
| // Should we queue the object for the owning thread to merge? |
| int should_queue; |
| |
| Py_ssize_t new_shared; |
| Py_ssize_t shared = _Py_atomic_load_ssize_relaxed(&o->ob_ref_shared); |
| do { |
| should_queue = (shared == 0 || shared == _Py_REF_MAYBE_WEAKREF); |
| |
| if (should_queue) { |
| // If the object had refcount zero, not queued, and not merged, |
| // then we enqueue the object to be merged by the owning thread. |
| // In this case, we don't subtract one from the reference count |
| // because the queue holds a reference. |
| new_shared = _Py_REF_QUEUED; |
| } |
| else { |
| // Otherwise, subtract one from the reference count. This might |
| // be negative! |
| new_shared = shared - (1 << _Py_REF_SHARED_SHIFT); |
| } |
| |
| #ifdef Py_REF_DEBUG |
| if ((new_shared < 0 && _Py_REF_IS_MERGED(new_shared)) || |
| (should_queue && is_dead(o))) |
| { |
| _Py_NegativeRefcount(filename, lineno, o); |
| } |
| #endif |
| } while (!_Py_atomic_compare_exchange_ssize(&o->ob_ref_shared, |
| &shared, new_shared)); |
| |
| if (should_queue) { |
| #ifdef Py_REF_DEBUG |
| _Py_IncRefTotal(_PyThreadState_GET()); |
| #endif |
| _Py_brc_queue_object(o); |
| } |
| else if (new_shared == _Py_REF_MERGED) { |
| // refcount is zero AND merged |
| _Py_Dealloc(o); |
| } |
| } |
| |
| void |
| _Py_DecRefShared(PyObject *o) |
| { |
| _Py_DecRefSharedDebug(o, NULL, 0); |
| } |
| |
| void |
| _Py_MergeZeroLocalRefcount(PyObject *op) |
| { |
| assert(op->ob_ref_local == 0); |
| |
| Py_ssize_t shared = _Py_atomic_load_ssize_acquire(&op->ob_ref_shared); |
| if (shared == 0) { |
| // Fast-path: shared refcount is zero (including flags) |
| _Py_Dealloc(op); |
| return; |
| } |
| |
| // gh-121794: This must be before the store to `ob_ref_shared` (gh-119999), |
| // but should outside the fast-path to maintain the invariant that |
| // a zero `ob_tid` implies a merged refcount. |
| _Py_atomic_store_uintptr_relaxed(&op->ob_tid, 0); |
| |
| // Slow-path: atomically set the flags (low two bits) to _Py_REF_MERGED. |
| Py_ssize_t new_shared; |
| do { |
| new_shared = (shared & ~_Py_REF_SHARED_FLAG_MASK) | _Py_REF_MERGED; |
| } while (!_Py_atomic_compare_exchange_ssize(&op->ob_ref_shared, |
| &shared, new_shared)); |
| |
| if (new_shared == _Py_REF_MERGED) { |
| // i.e., the shared refcount is zero (only the flags are set) so we |
| // deallocate the object. |
| _Py_Dealloc(op); |
| } |
| } |
| |
| Py_ssize_t |
| _Py_ExplicitMergeRefcount(PyObject *op, Py_ssize_t extra) |
| { |
| assert(!_Py_IsImmortal(op)); |
| |
| #ifdef Py_REF_DEBUG |
| _Py_AddRefTotal(_PyThreadState_GET(), extra); |
| #endif |
| |
| // gh-119999: Write to ob_ref_local and ob_tid before merging the refcount. |
| Py_ssize_t local = (Py_ssize_t)op->ob_ref_local; |
| _Py_atomic_store_uint32_relaxed(&op->ob_ref_local, 0); |
| _Py_atomic_store_uintptr_relaxed(&op->ob_tid, 0); |
| |
| Py_ssize_t refcnt; |
| Py_ssize_t new_shared; |
| Py_ssize_t shared = _Py_atomic_load_ssize_relaxed(&op->ob_ref_shared); |
| do { |
| refcnt = Py_ARITHMETIC_RIGHT_SHIFT(Py_ssize_t, shared, _Py_REF_SHARED_SHIFT); |
| refcnt += local; |
| refcnt += extra; |
| |
| new_shared = _Py_REF_SHARED(refcnt, _Py_REF_MERGED); |
| } while (!_Py_atomic_compare_exchange_ssize(&op->ob_ref_shared, |
| &shared, new_shared)); |
| return refcnt; |
| } |
| #endif /* Py_GIL_DISABLED */ |
| |
| |
| /**************************************/ |
| |
| PyObject * |
| PyObject_Init(PyObject *op, PyTypeObject *tp) |
| { |
| if (op == NULL) { |
| return PyErr_NoMemory(); |
| } |
| |
| _PyObject_Init(op, tp); |
| return op; |
| } |
| |
| PyVarObject * |
| PyObject_InitVar(PyVarObject *op, PyTypeObject *tp, Py_ssize_t size) |
| { |
| if (op == NULL) { |
| return (PyVarObject *) PyErr_NoMemory(); |
| } |
| |
| _PyObject_InitVar(op, tp, size); |
| return op; |
| } |
| |
| PyObject * |
| _PyObject_New(PyTypeObject *tp) |
| { |
| PyObject *op = (PyObject *) PyObject_Malloc(_PyObject_SIZE(tp)); |
| if (op == NULL) { |
| return PyErr_NoMemory(); |
| } |
| _PyObject_Init(op, tp); |
| return op; |
| } |
| |
| PyVarObject * |
| _PyObject_NewVar(PyTypeObject *tp, Py_ssize_t nitems) |
| { |
| PyVarObject *op; |
| const size_t size = _PyObject_VAR_SIZE(tp, nitems); |
| op = (PyVarObject *) PyObject_Malloc(size); |
| if (op == NULL) { |
| return (PyVarObject *)PyErr_NoMemory(); |
| } |
| _PyObject_InitVar(op, tp, nitems); |
| return op; |
| } |
| |
| void |
| PyObject_CallFinalizer(PyObject *self) |
| { |
| PyTypeObject *tp = Py_TYPE(self); |
| |
| if (tp->tp_finalize == NULL) |
| return; |
| /* tp_finalize should only be called once. */ |
| if (_PyType_IS_GC(tp) && _PyGC_FINALIZED(self)) |
| return; |
| |
| tp->tp_finalize(self); |
| if (_PyType_IS_GC(tp)) { |
| _PyGC_SET_FINALIZED(self); |
| } |
| } |
| |
| int |
| PyObject_CallFinalizerFromDealloc(PyObject *self) |
| { |
| if (Py_REFCNT(self) != 0) { |
| _PyObject_ASSERT_FAILED_MSG(self, |
| "PyObject_CallFinalizerFromDealloc called " |
| "on object with a non-zero refcount"); |
| } |
| |
| /* Temporarily resurrect the object. */ |
| Py_SET_REFCNT(self, 1); |
| |
| PyObject_CallFinalizer(self); |
| |
| _PyObject_ASSERT_WITH_MSG(self, |
| Py_REFCNT(self) > 0, |
| "refcount is too small"); |
| |
| /* Undo the temporary resurrection; can't use DECREF here, it would |
| * cause a recursive call. */ |
| Py_SET_REFCNT(self, Py_REFCNT(self) - 1); |
| if (Py_REFCNT(self) == 0) { |
| return 0; /* this is the normal path out */ |
| } |
| |
| /* tp_finalize resurrected it! Make it look like the original Py_DECREF |
| * never happened. */ |
| _Py_ResurrectReference(self); |
| |
| _PyObject_ASSERT(self, |
| (!_PyType_IS_GC(Py_TYPE(self)) |
| || _PyObject_GC_IS_TRACKED(self))); |
| return -1; |
| } |
| |
| int |
| PyObject_Print(PyObject *op, FILE *fp, int flags) |
| { |
| int ret = 0; |
| int write_error = 0; |
| if (PyErr_CheckSignals()) |
| return -1; |
| #ifdef USE_STACKCHECK |
| if (PyOS_CheckStack()) { |
| PyErr_SetString(PyExc_MemoryError, "stack overflow"); |
| return -1; |
| } |
| #endif |
| clearerr(fp); /* Clear any previous error condition */ |
| if (op == NULL) { |
| Py_BEGIN_ALLOW_THREADS |
| fprintf(fp, "<nil>"); |
| Py_END_ALLOW_THREADS |
| } |
| else { |
| if (Py_REFCNT(op) <= 0) { |
| Py_BEGIN_ALLOW_THREADS |
| fprintf(fp, "<refcnt %zd at %p>", Py_REFCNT(op), (void *)op); |
| Py_END_ALLOW_THREADS |
| } |
| else { |
| PyObject *s; |
| if (flags & Py_PRINT_RAW) |
| s = PyObject_Str(op); |
| else |
| s = PyObject_Repr(op); |
| if (s == NULL) { |
| ret = -1; |
| } |
| else { |
| assert(PyUnicode_Check(s)); |
| const char *t; |
| Py_ssize_t len; |
| t = PyUnicode_AsUTF8AndSize(s, &len); |
| if (t == NULL) { |
| ret = -1; |
| } |
| else { |
| /* Versions of Android and OpenBSD from before 2023 fail to |
| set the `ferror` indicator when writing to a read-only |
| stream, so we need to check the return value. |
| (https://github.com/openbsd/src/commit/fc99cf9338942ecd9adc94ea08bf6188f0428c15) */ |
| if (fwrite(t, 1, len, fp) != (size_t)len) { |
| write_error = 1; |
| } |
| } |
| Py_DECREF(s); |
| } |
| } |
| } |
| if (ret == 0) { |
| if (write_error || ferror(fp)) { |
| PyErr_SetFromErrno(PyExc_OSError); |
| clearerr(fp); |
| ret = -1; |
| } |
| } |
| return ret; |
| } |
| |
| /* For debugging convenience. Set a breakpoint here and call it from your DLL */ |
| void |
| _Py_BreakPoint(void) |
| { |
| } |
| |
| |
| /* Heuristic checking if the object memory is uninitialized or deallocated. |
| Rely on the debug hooks on Python memory allocators: |
| see _PyMem_IsPtrFreed(). |
| |
| The function can be used to prevent segmentation fault on dereferencing |
| pointers like 0xDDDDDDDDDDDDDDDD. */ |
| int |
| _PyObject_IsFreed(PyObject *op) |
| { |
| if (_PyMem_IsPtrFreed(op) || _PyMem_IsPtrFreed(Py_TYPE(op))) { |
| return 1; |
| } |
| return 0; |
| } |
| |
| |
| /* For debugging convenience. See Misc/gdbinit for some useful gdb hooks */ |
| void |
| _PyObject_Dump(PyObject* op) |
| { |
| if (_PyObject_IsFreed(op)) { |
| /* It seems like the object memory has been freed: |
| don't access it to prevent a segmentation fault. */ |
| fprintf(stderr, "<object at %p is freed>\n", op); |
| fflush(stderr); |
| return; |
| } |
| |
| /* first, write fields which are the least likely to crash */ |
| fprintf(stderr, "object address : %p\n", (void *)op); |
| fprintf(stderr, "object refcount : %zd\n", Py_REFCNT(op)); |
| fflush(stderr); |
| |
| PyTypeObject *type = Py_TYPE(op); |
| fprintf(stderr, "object type : %p\n", type); |
| fprintf(stderr, "object type name: %s\n", |
| type==NULL ? "NULL" : type->tp_name); |
| |
| /* the most dangerous part */ |
| fprintf(stderr, "object repr : "); |
| fflush(stderr); |
| |
| PyGILState_STATE gil = PyGILState_Ensure(); |
| PyObject *exc = PyErr_GetRaisedException(); |
| |
| (void)PyObject_Print(op, stderr, 0); |
| fflush(stderr); |
| |
| PyErr_SetRaisedException(exc); |
| PyGILState_Release(gil); |
| |
| fprintf(stderr, "\n"); |
| fflush(stderr); |
| } |
| |
| PyObject * |
| PyObject_Repr(PyObject *v) |
| { |
| PyObject *res; |
| if (PyErr_CheckSignals()) |
| return NULL; |
| #ifdef USE_STACKCHECK |
| if (PyOS_CheckStack()) { |
| PyErr_SetString(PyExc_MemoryError, "stack overflow"); |
| return NULL; |
| } |
| #endif |
| if (v == NULL) |
| return PyUnicode_FromString("<NULL>"); |
| if (Py_TYPE(v)->tp_repr == NULL) |
| return PyUnicode_FromFormat("<%s object at %p>", |
| Py_TYPE(v)->tp_name, v); |
| |
| PyThreadState *tstate = _PyThreadState_GET(); |
| #ifdef Py_DEBUG |
| /* PyObject_Repr() must not be called with an exception set, |
| because it can clear it (directly or indirectly) and so the |
| caller loses its exception */ |
| assert(!_PyErr_Occurred(tstate)); |
| #endif |
| |
| /* It is possible for a type to have a tp_repr representation that loops |
| infinitely. */ |
| if (_Py_EnterRecursiveCallTstate(tstate, |
| " while getting the repr of an object")) { |
| return NULL; |
| } |
| res = (*Py_TYPE(v)->tp_repr)(v); |
| _Py_LeaveRecursiveCallTstate(tstate); |
| |
| if (res == NULL) { |
| return NULL; |
| } |
| if (!PyUnicode_Check(res)) { |
| _PyErr_Format(tstate, PyExc_TypeError, |
| "__repr__ returned non-string (type %.200s)", |
| Py_TYPE(res)->tp_name); |
| Py_DECREF(res); |
| return NULL; |
| } |
| return res; |
| } |
| |
| PyObject * |
| PyObject_Str(PyObject *v) |
| { |
| PyObject *res; |
| if (PyErr_CheckSignals()) |
| return NULL; |
| #ifdef USE_STACKCHECK |
| if (PyOS_CheckStack()) { |
| PyErr_SetString(PyExc_MemoryError, "stack overflow"); |
| return NULL; |
| } |
| #endif |
| if (v == NULL) |
| return PyUnicode_FromString("<NULL>"); |
| if (PyUnicode_CheckExact(v)) { |
| return Py_NewRef(v); |
| } |
| if (Py_TYPE(v)->tp_str == NULL) |
| return PyObject_Repr(v); |
| |
| PyThreadState *tstate = _PyThreadState_GET(); |
| #ifdef Py_DEBUG |
| /* PyObject_Str() must not be called with an exception set, |
| because it can clear it (directly or indirectly) and so the |
| caller loses its exception */ |
| assert(!_PyErr_Occurred(tstate)); |
| #endif |
| |
| /* It is possible for a type to have a tp_str representation that loops |
| infinitely. */ |
| if (_Py_EnterRecursiveCallTstate(tstate, " while getting the str of an object")) { |
| return NULL; |
| } |
| res = (*Py_TYPE(v)->tp_str)(v); |
| _Py_LeaveRecursiveCallTstate(tstate); |
| |
| if (res == NULL) { |
| return NULL; |
| } |
| if (!PyUnicode_Check(res)) { |
| _PyErr_Format(tstate, PyExc_TypeError, |
| "__str__ returned non-string (type %.200s)", |
| Py_TYPE(res)->tp_name); |
| Py_DECREF(res); |
| return NULL; |
| } |
| assert(_PyUnicode_CheckConsistency(res, 1)); |
| return res; |
| } |
| |
| PyObject * |
| PyObject_ASCII(PyObject *v) |
| { |
| PyObject *repr, *ascii, *res; |
| |
| repr = PyObject_Repr(v); |
| if (repr == NULL) |
| return NULL; |
| |
| if (PyUnicode_IS_ASCII(repr)) |
| return repr; |
| |
| /* repr is guaranteed to be a PyUnicode object by PyObject_Repr */ |
| ascii = _PyUnicode_AsASCIIString(repr, "backslashreplace"); |
| Py_DECREF(repr); |
| if (ascii == NULL) |
| return NULL; |
| |
| res = PyUnicode_DecodeASCII( |
| PyBytes_AS_STRING(ascii), |
| PyBytes_GET_SIZE(ascii), |
| NULL); |
| |
| Py_DECREF(ascii); |
| return res; |
| } |
| |
| PyObject * |
| PyObject_Bytes(PyObject *v) |
| { |
| PyObject *result, *func; |
| |
| if (v == NULL) |
| return PyBytes_FromString("<NULL>"); |
| |
| if (PyBytes_CheckExact(v)) { |
| return Py_NewRef(v); |
| } |
| |
| func = _PyObject_LookupSpecial(v, &_Py_ID(__bytes__)); |
| if (func != NULL) { |
| result = _PyObject_CallNoArgs(func); |
| Py_DECREF(func); |
| if (result == NULL) |
| return NULL; |
| if (!PyBytes_Check(result)) { |
| PyErr_Format(PyExc_TypeError, |
| "__bytes__ returned non-bytes (type %.200s)", |
| Py_TYPE(result)->tp_name); |
| Py_DECREF(result); |
| return NULL; |
| } |
| return result; |
| } |
| else if (PyErr_Occurred()) |
| return NULL; |
| return PyBytes_FromObject(v); |
| } |
| |
| static void |
| clear_freelist(struct _Py_freelist *freelist, int is_finalization, |
| freefunc dofree) |
| { |
| void *ptr; |
| while ((ptr = _PyFreeList_PopNoStats(freelist)) != NULL) { |
| dofree(ptr); |
| } |
| assert(freelist->size == 0 || freelist->size == -1); |
| assert(freelist->freelist == NULL); |
| if (is_finalization) { |
| freelist->size = -1; |
| } |
| } |
| |
| static void |
| free_object(void *obj) |
| { |
| PyObject *op = (PyObject *)obj; |
| PyTypeObject *tp = Py_TYPE(op); |
| tp->tp_free(op); |
| Py_DECREF(tp); |
| } |
| |
| void |
| _PyObject_ClearFreeLists(struct _Py_freelists *freelists, int is_finalization) |
| { |
| // In the free-threaded build, freelists are per-PyThreadState and cleared in PyThreadState_Clear() |
| // In the default build, freelists are per-interpreter and cleared in finalize_interp_types() |
| clear_freelist(&freelists->floats, is_finalization, free_object); |
| for (Py_ssize_t i = 0; i < PyTuple_MAXSAVESIZE; i++) { |
| clear_freelist(&freelists->tuples[i], is_finalization, free_object); |
| } |
| clear_freelist(&freelists->lists, is_finalization, free_object); |
| clear_freelist(&freelists->dicts, is_finalization, free_object); |
| clear_freelist(&freelists->dictkeys, is_finalization, PyMem_Free); |
| clear_freelist(&freelists->slices, is_finalization, free_object); |
| clear_freelist(&freelists->contexts, is_finalization, free_object); |
| clear_freelist(&freelists->async_gens, is_finalization, free_object); |
| clear_freelist(&freelists->async_gen_asends, is_finalization, free_object); |
| clear_freelist(&freelists->futureiters, is_finalization, free_object); |
| if (is_finalization) { |
| // Only clear object stack chunks during finalization. We use object |
| // stacks during GC, so emptying the free-list is counterproductive. |
| clear_freelist(&freelists->object_stack_chunks, 1, PyMem_RawFree); |
| } |
| clear_freelist(&freelists->unicode_writers, is_finalization, PyMem_Free); |
| } |
| |
| /* |
| def _PyObject_FunctionStr(x): |
| try: |
| qualname = x.__qualname__ |
| except AttributeError: |
| return str(x) |
| try: |
| mod = x.__module__ |
| if mod is not None and mod != 'builtins': |
| return f"{x.__module__}.{qualname}()" |
| except AttributeError: |
| pass |
| return qualname |
| */ |
| PyObject * |
| _PyObject_FunctionStr(PyObject *x) |
| { |
| assert(!PyErr_Occurred()); |
| PyObject *qualname; |
| int ret = PyObject_GetOptionalAttr(x, &_Py_ID(__qualname__), &qualname); |
| if (qualname == NULL) { |
| if (ret < 0) { |
| return NULL; |
| } |
| return PyObject_Str(x); |
| } |
| PyObject *module; |
| PyObject *result = NULL; |
| ret = PyObject_GetOptionalAttr(x, &_Py_ID(__module__), &module); |
| if (module != NULL && module != Py_None) { |
| ret = PyObject_RichCompareBool(module, &_Py_ID(builtins), Py_NE); |
| if (ret < 0) { |
| // error |
| goto done; |
| } |
| if (ret > 0) { |
| result = PyUnicode_FromFormat("%S.%S()", module, qualname); |
| goto done; |
| } |
| } |
| else if (ret < 0) { |
| goto done; |
| } |
| result = PyUnicode_FromFormat("%S()", qualname); |
| done: |
| Py_DECREF(qualname); |
| Py_XDECREF(module); |
| return result; |
| } |
| |
| /* For Python 3.0.1 and later, the old three-way comparison has been |
| completely removed in favour of rich comparisons. PyObject_Compare() and |
| PyObject_Cmp() are gone, and the builtin cmp function no longer exists. |
| The old tp_compare slot has been renamed to tp_as_async, and should no |
| longer be used. Use tp_richcompare instead. |
| |
| See (*) below for practical amendments. |
| |
| tp_richcompare gets called with a first argument of the appropriate type |
| and a second object of an arbitrary type. We never do any kind of |
| coercion. |
| |
| The tp_richcompare slot should return an object, as follows: |
| |
| NULL if an exception occurred |
| NotImplemented if the requested comparison is not implemented |
| any other false value if the requested comparison is false |
| any other true value if the requested comparison is true |
| |
| The PyObject_RichCompare[Bool]() wrappers raise TypeError when they get |
| NotImplemented. |
| |
| (*) Practical amendments: |
| |
| - If rich comparison returns NotImplemented, == and != are decided by |
| comparing the object pointer (i.e. falling back to the base object |
| implementation). |
| |
| */ |
| |
| /* Map rich comparison operators to their swapped version, e.g. LT <--> GT */ |
| int _Py_SwappedOp[] = {Py_GT, Py_GE, Py_EQ, Py_NE, Py_LT, Py_LE}; |
| |
| static const char * const opstrings[] = {"<", "<=", "==", "!=", ">", ">="}; |
| |
| /* Perform a rich comparison, raising TypeError when the requested comparison |
| operator is not supported. */ |
| static PyObject * |
| do_richcompare(PyThreadState *tstate, PyObject *v, PyObject *w, int op) |
| { |
| richcmpfunc f; |
| PyObject *res; |
| int checked_reverse_op = 0; |
| |
| if (!Py_IS_TYPE(v, Py_TYPE(w)) && |
| PyType_IsSubtype(Py_TYPE(w), Py_TYPE(v)) && |
| (f = Py_TYPE(w)->tp_richcompare) != NULL) { |
| checked_reverse_op = 1; |
| res = (*f)(w, v, _Py_SwappedOp[op]); |
| if (res != Py_NotImplemented) |
| return res; |
| Py_DECREF(res); |
| } |
| if ((f = Py_TYPE(v)->tp_richcompare) != NULL) { |
| res = (*f)(v, w, op); |
| if (res != Py_NotImplemented) |
| return res; |
| Py_DECREF(res); |
| } |
| if (!checked_reverse_op && (f = Py_TYPE(w)->tp_richcompare) != NULL) { |
| res = (*f)(w, v, _Py_SwappedOp[op]); |
| if (res != Py_NotImplemented) |
| return res; |
| Py_DECREF(res); |
| } |
| /* If neither object implements it, provide a sensible default |
| for == and !=, but raise an exception for ordering. */ |
| switch (op) { |
| case Py_EQ: |
| res = (v == w) ? Py_True : Py_False; |
| break; |
| case Py_NE: |
| res = (v != w) ? Py_True : Py_False; |
| break; |
| default: |
| _PyErr_Format(tstate, PyExc_TypeError, |
| "'%s' not supported between instances of '%.100s' and '%.100s'", |
| opstrings[op], |
| Py_TYPE(v)->tp_name, |
| Py_TYPE(w)->tp_name); |
| return NULL; |
| } |
| return Py_NewRef(res); |
| } |
| |
| /* Perform a rich comparison with object result. This wraps do_richcompare() |
| with a check for NULL arguments and a recursion check. */ |
| |
| PyObject * |
| PyObject_RichCompare(PyObject *v, PyObject *w, int op) |
| { |
| PyThreadState *tstate = _PyThreadState_GET(); |
| |
| assert(Py_LT <= op && op <= Py_GE); |
| if (v == NULL || w == NULL) { |
| if (!_PyErr_Occurred(tstate)) { |
| PyErr_BadInternalCall(); |
| } |
| return NULL; |
| } |
| if (_Py_EnterRecursiveCallTstate(tstate, " in comparison")) { |
| return NULL; |
| } |
| PyObject *res = do_richcompare(tstate, v, w, op); |
| _Py_LeaveRecursiveCallTstate(tstate); |
| return res; |
| } |
| |
| /* Perform a rich comparison with integer result. This wraps |
| PyObject_RichCompare(), returning -1 for error, 0 for false, 1 for true. */ |
| int |
| PyObject_RichCompareBool(PyObject *v, PyObject *w, int op) |
| { |
| PyObject *res; |
| int ok; |
| |
| /* Quick result when objects are the same. |
| Guarantees that identity implies equality. */ |
| if (v == w) { |
| if (op == Py_EQ) |
| return 1; |
| else if (op == Py_NE) |
| return 0; |
| } |
| |
| res = PyObject_RichCompare(v, w, op); |
| if (res == NULL) |
| return -1; |
| if (PyBool_Check(res)) |
| ok = (res == Py_True); |
| else |
| ok = PyObject_IsTrue(res); |
| Py_DECREF(res); |
| return ok; |
| } |
| |
| Py_hash_t |
| PyObject_HashNotImplemented(PyObject *v) |
| { |
| PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'", |
| Py_TYPE(v)->tp_name); |
| return -1; |
| } |
| |
| Py_hash_t |
| PyObject_Hash(PyObject *v) |
| { |
| PyTypeObject *tp = Py_TYPE(v); |
| if (tp->tp_hash != NULL) |
| return (*tp->tp_hash)(v); |
| /* To keep to the general practice that inheriting |
| * solely from object in C code should work without |
| * an explicit call to PyType_Ready, we implicitly call |
| * PyType_Ready here and then check the tp_hash slot again |
| */ |
| if (!_PyType_IsReady(tp)) { |
| if (PyType_Ready(tp) < 0) |
| return -1; |
| if (tp->tp_hash != NULL) |
| return (*tp->tp_hash)(v); |
| } |
| /* Otherwise, the object can't be hashed */ |
| return PyObject_HashNotImplemented(v); |
| } |
| |
| PyObject * |
| PyObject_GetAttrString(PyObject *v, const char *name) |
| { |
| PyObject *w, *res; |
| |
| if (Py_TYPE(v)->tp_getattr != NULL) |
| return (*Py_TYPE(v)->tp_getattr)(v, (char*)name); |
| w = PyUnicode_FromString(name); |
| if (w == NULL) |
| return NULL; |
| res = PyObject_GetAttr(v, w); |
| Py_DECREF(w); |
| return res; |
| } |
| |
| int |
| PyObject_HasAttrStringWithError(PyObject *obj, const char *name) |
| { |
| PyObject *res; |
| int rc = PyObject_GetOptionalAttrString(obj, name, &res); |
| Py_XDECREF(res); |
| return rc; |
| } |
| |
| |
| int |
| PyObject_HasAttrString(PyObject *obj, const char *name) |
| { |
| int rc = PyObject_HasAttrStringWithError(obj, name); |
| if (rc < 0) { |
| PyErr_FormatUnraisable( |
| "Exception ignored in PyObject_HasAttrString(); consider using " |
| "PyObject_HasAttrStringWithError(), " |
| "PyObject_GetOptionalAttrString() or PyObject_GetAttrString()"); |
| return 0; |
| } |
| return rc; |
| } |
| |
| int |
| PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w) |
| { |
| PyObject *s; |
| int res; |
| |
| if (Py_TYPE(v)->tp_setattr != NULL) |
| return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w); |
| s = PyUnicode_InternFromString(name); |
| if (s == NULL) |
| return -1; |
| res = PyObject_SetAttr(v, s, w); |
| Py_XDECREF(s); |
| return res; |
| } |
| |
| int |
| PyObject_DelAttrString(PyObject *v, const char *name) |
| { |
| return PyObject_SetAttrString(v, name, NULL); |
| } |
| |
| int |
| _PyObject_IsAbstract(PyObject *obj) |
| { |
| int res; |
| PyObject* isabstract; |
| |
| if (obj == NULL) |
| return 0; |
| |
| res = PyObject_GetOptionalAttr(obj, &_Py_ID(__isabstractmethod__), &isabstract); |
| if (res > 0) { |
| res = PyObject_IsTrue(isabstract); |
| Py_DECREF(isabstract); |
| } |
| return res; |
| } |
| |
| PyObject * |
| _PyObject_GetAttrId(PyObject *v, _Py_Identifier *name) |
| { |
| PyObject *result; |
| PyObject *oname = _PyUnicode_FromId(name); /* borrowed */ |
| if (!oname) |
| return NULL; |
| result = PyObject_GetAttr(v, oname); |
| return result; |
| } |
| |
| int |
| _PyObject_SetAttributeErrorContext(PyObject* v, PyObject* name) |
| { |
| assert(PyErr_Occurred()); |
| if (!PyErr_ExceptionMatches(PyExc_AttributeError)){ |
| return 0; |
| } |
| // Intercept AttributeError exceptions and augment them to offer suggestions later. |
| PyObject *exc = PyErr_GetRaisedException(); |
| if (!PyErr_GivenExceptionMatches(exc, PyExc_AttributeError)) { |
| goto restore; |
| } |
| PyAttributeErrorObject* the_exc = (PyAttributeErrorObject*) exc; |
| // Check if this exception was already augmented |
| if (the_exc->name || the_exc->obj) { |
| goto restore; |
| } |
| // Augment the exception with the name and object |
| if (PyObject_SetAttr(exc, &_Py_ID(name), name) || |
| PyObject_SetAttr(exc, &_Py_ID(obj), v)) { |
| return 1; |
| } |
| restore: |
| PyErr_SetRaisedException(exc); |
| return 0; |
| } |
| |
| PyObject * |
| PyObject_GetAttr(PyObject *v, PyObject *name) |
| { |
| PyTypeObject *tp = Py_TYPE(v); |
| if (!PyUnicode_Check(name)) { |
| PyErr_Format(PyExc_TypeError, |
| "attribute name must be string, not '%.200s'", |
| Py_TYPE(name)->tp_name); |
| return NULL; |
| } |
| |
| PyObject* result = NULL; |
| if (tp->tp_getattro != NULL) { |
| result = (*tp->tp_getattro)(v, name); |
| } |
| else if (tp->tp_getattr != NULL) { |
| const char *name_str = PyUnicode_AsUTF8(name); |
| if (name_str == NULL) { |
| return NULL; |
| } |
| result = (*tp->tp_getattr)(v, (char *)name_str); |
| } |
| else { |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object has no attribute '%U'", |
| tp->tp_name, name); |
| } |
| |
| if (result == NULL) { |
| _PyObject_SetAttributeErrorContext(v, name); |
| } |
| return result; |
| } |
| |
| int |
| PyObject_GetOptionalAttr(PyObject *v, PyObject *name, PyObject **result) |
| { |
| PyTypeObject *tp = Py_TYPE(v); |
| |
| if (!PyUnicode_Check(name)) { |
| PyErr_Format(PyExc_TypeError, |
| "attribute name must be string, not '%.200s'", |
| Py_TYPE(name)->tp_name); |
| *result = NULL; |
| return -1; |
| } |
| |
| if (tp->tp_getattro == PyObject_GenericGetAttr) { |
| *result = _PyObject_GenericGetAttrWithDict(v, name, NULL, 1); |
| if (*result != NULL) { |
| return 1; |
| } |
| if (PyErr_Occurred()) { |
| return -1; |
| } |
| return 0; |
| } |
| if (tp->tp_getattro == _Py_type_getattro) { |
| int suppress_missing_attribute_exception = 0; |
| *result = _Py_type_getattro_impl((PyTypeObject*)v, name, &suppress_missing_attribute_exception); |
| if (suppress_missing_attribute_exception) { |
| // return 0 without having to clear the exception |
| return 0; |
| } |
| } |
| else if (tp->tp_getattro == (getattrofunc)_Py_module_getattro) { |
| // optimization: suppress attribute error from module getattro method |
| *result = _Py_module_getattro_impl((PyModuleObject*)v, name, 1); |
| if (*result != NULL) { |
| return 1; |
| } |
| if (PyErr_Occurred()) { |
| return -1; |
| } |
| return 0; |
| } |
| else if (tp->tp_getattro != NULL) { |
| *result = (*tp->tp_getattro)(v, name); |
| } |
| else if (tp->tp_getattr != NULL) { |
| const char *name_str = PyUnicode_AsUTF8(name); |
| if (name_str == NULL) { |
| *result = NULL; |
| return -1; |
| } |
| *result = (*tp->tp_getattr)(v, (char *)name_str); |
| } |
| else { |
| *result = NULL; |
| return 0; |
| } |
| |
| if (*result != NULL) { |
| return 1; |
| } |
| if (!PyErr_ExceptionMatches(PyExc_AttributeError)) { |
| return -1; |
| } |
| PyErr_Clear(); |
| return 0; |
| } |
| |
| int |
| PyObject_GetOptionalAttrString(PyObject *obj, const char *name, PyObject **result) |
| { |
| if (Py_TYPE(obj)->tp_getattr == NULL) { |
| PyObject *oname = PyUnicode_FromString(name); |
| if (oname == NULL) { |
| *result = NULL; |
| return -1; |
| } |
| int rc = PyObject_GetOptionalAttr(obj, oname, result); |
| Py_DECREF(oname); |
| return rc; |
| } |
| |
| *result = (*Py_TYPE(obj)->tp_getattr)(obj, (char*)name); |
| if (*result != NULL) { |
| return 1; |
| } |
| if (!PyErr_ExceptionMatches(PyExc_AttributeError)) { |
| return -1; |
| } |
| PyErr_Clear(); |
| return 0; |
| } |
| |
| int |
| PyObject_HasAttrWithError(PyObject *obj, PyObject *name) |
| { |
| PyObject *res; |
| int rc = PyObject_GetOptionalAttr(obj, name, &res); |
| Py_XDECREF(res); |
| return rc; |
| } |
| |
| int |
| PyObject_HasAttr(PyObject *obj, PyObject *name) |
| { |
| int rc = PyObject_HasAttrWithError(obj, name); |
| if (rc < 0) { |
| PyErr_FormatUnraisable( |
| "Exception ignored in PyObject_HasAttr(); consider using " |
| "PyObject_HasAttrWithError(), " |
| "PyObject_GetOptionalAttr() or PyObject_GetAttr()"); |
| return 0; |
| } |
| return rc; |
| } |
| |
| int |
| PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value) |
| { |
| PyTypeObject *tp = Py_TYPE(v); |
| int err; |
| |
| if (!PyUnicode_Check(name)) { |
| PyErr_Format(PyExc_TypeError, |
| "attribute name must be string, not '%.200s'", |
| Py_TYPE(name)->tp_name); |
| return -1; |
| } |
| Py_INCREF(name); |
| |
| PyInterpreterState *interp = _PyInterpreterState_GET(); |
| _PyUnicode_InternMortal(interp, &name); |
| if (tp->tp_setattro != NULL) { |
| err = (*tp->tp_setattro)(v, name, value); |
| Py_DECREF(name); |
| return err; |
| } |
| if (tp->tp_setattr != NULL) { |
| const char *name_str = PyUnicode_AsUTF8(name); |
| if (name_str == NULL) { |
| Py_DECREF(name); |
| return -1; |
| } |
| err = (*tp->tp_setattr)(v, (char *)name_str, value); |
| Py_DECREF(name); |
| return err; |
| } |
| Py_DECREF(name); |
| _PyObject_ASSERT(name, Py_REFCNT(name) >= 1); |
| if (tp->tp_getattr == NULL && tp->tp_getattro == NULL) |
| PyErr_Format(PyExc_TypeError, |
| "'%.100s' object has no attributes " |
| "(%s .%U)", |
| tp->tp_name, |
| value==NULL ? "del" : "assign to", |
| name); |
| else |
| PyErr_Format(PyExc_TypeError, |
| "'%.100s' object has only read-only attributes " |
| "(%s .%U)", |
| tp->tp_name, |
| value==NULL ? "del" : "assign to", |
| name); |
| return -1; |
| } |
| |
| int |
| PyObject_DelAttr(PyObject *v, PyObject *name) |
| { |
| return PyObject_SetAttr(v, name, NULL); |
| } |
| |
| PyObject ** |
| _PyObject_ComputedDictPointer(PyObject *obj) |
| { |
| PyTypeObject *tp = Py_TYPE(obj); |
| assert((tp->tp_flags & Py_TPFLAGS_MANAGED_DICT) == 0); |
| |
| Py_ssize_t dictoffset = tp->tp_dictoffset; |
| if (dictoffset == 0) { |
| return NULL; |
| } |
| |
| if (dictoffset < 0) { |
| assert(dictoffset != -1); |
| |
| Py_ssize_t tsize = Py_SIZE(obj); |
| if (tsize < 0) { |
| tsize = -tsize; |
| } |
| size_t size = _PyObject_VAR_SIZE(tp, tsize); |
| assert(size <= (size_t)PY_SSIZE_T_MAX); |
| dictoffset += (Py_ssize_t)size; |
| |
| _PyObject_ASSERT(obj, dictoffset > 0); |
| _PyObject_ASSERT(obj, dictoffset % SIZEOF_VOID_P == 0); |
| } |
| return (PyObject **) ((char *)obj + dictoffset); |
| } |
| |
| /* Helper to get a pointer to an object's __dict__ slot, if any. |
| * Creates the dict from inline attributes if necessary. |
| * Does not set an exception. |
| * |
| * Note that the tp_dictoffset docs used to recommend this function, |
| * so it should be treated as part of the public API. |
| */ |
| PyObject ** |
| _PyObject_GetDictPtr(PyObject *obj) |
| { |
| if ((Py_TYPE(obj)->tp_flags & Py_TPFLAGS_MANAGED_DICT) == 0) { |
| return _PyObject_ComputedDictPointer(obj); |
| } |
| PyDictObject *dict = _PyObject_GetManagedDict(obj); |
| if (dict == NULL && Py_TYPE(obj)->tp_flags & Py_TPFLAGS_INLINE_VALUES) { |
| dict = _PyObject_MaterializeManagedDict(obj); |
| if (dict == NULL) { |
| PyErr_Clear(); |
| return NULL; |
| } |
| } |
| return (PyObject **)&_PyObject_ManagedDictPointer(obj)->dict; |
| } |
| |
| PyObject * |
| PyObject_SelfIter(PyObject *obj) |
| { |
| return Py_NewRef(obj); |
| } |
| |
| /* Helper used when the __next__ method is removed from a type: |
| tp_iternext is never NULL and can be safely called without checking |
| on every iteration. |
| */ |
| |
| PyObject * |
| _PyObject_NextNotImplemented(PyObject *self) |
| { |
| PyErr_Format(PyExc_TypeError, |
| "'%.200s' object is not iterable", |
| Py_TYPE(self)->tp_name); |
| return NULL; |
| } |
| |
| |
| /* Specialized version of _PyObject_GenericGetAttrWithDict |
| specifically for the LOAD_METHOD opcode. |
| |
| Return 1 if a method is found, 0 if it's a regular attribute |
| from __dict__ or something returned by using a descriptor |
| protocol. |
| |
| `method` will point to the resolved attribute or NULL. In the |
| latter case, an error will be set. |
| */ |
| int |
| _PyObject_GetMethod(PyObject *obj, PyObject *name, PyObject **method) |
| { |
| int meth_found = 0; |
| |
| assert(*method == NULL); |
| |
| PyTypeObject *tp = Py_TYPE(obj); |
| if (!_PyType_IsReady(tp)) { |
| if (PyType_Ready(tp) < 0) { |
| return 0; |
| } |
| } |
| |
| if (tp->tp_getattro != PyObject_GenericGetAttr || !PyUnicode_CheckExact(name)) { |
| *method = PyObject_GetAttr(obj, name); |
| return 0; |
| } |
| |
| PyObject *descr = _PyType_LookupRef(tp, name); |
| descrgetfunc f = NULL; |
| if (descr != NULL) { |
| if (_PyType_HasFeature(Py_TYPE(descr), Py_TPFLAGS_METHOD_DESCRIPTOR)) { |
| meth_found = 1; |
| } |
| else { |
| f = Py_TYPE(descr)->tp_descr_get; |
| if (f != NULL && PyDescr_IsData(descr)) { |
| *method = f(descr, obj, (PyObject *)Py_TYPE(obj)); |
| Py_DECREF(descr); |
| return 0; |
| } |
| } |
| } |
| PyObject *dict, *attr; |
| if ((tp->tp_flags & Py_TPFLAGS_INLINE_VALUES) && |
| _PyObject_TryGetInstanceAttribute(obj, name, &attr)) { |
| if (attr != NULL) { |
| *method = attr; |
| Py_XDECREF(descr); |
| return 0; |
| } |
| dict = NULL; |
| } |
| else if ((tp->tp_flags & Py_TPFLAGS_MANAGED_DICT)) { |
| dict = (PyObject *)_PyObject_GetManagedDict(obj); |
| } |
| else { |
| PyObject **dictptr = _PyObject_ComputedDictPointer(obj); |
| if (dictptr != NULL) { |
| dict = *dictptr; |
| } |
| else { |
| dict = NULL; |
| } |
| } |
| if (dict != NULL) { |
| Py_INCREF(dict); |
| if (PyDict_GetItemRef(dict, name, method) != 0) { |
| // found or error |
| Py_DECREF(dict); |
| Py_XDECREF(descr); |
| return 0; |
| } |
| // not found |
| Py_DECREF(dict); |
| } |
| |
| if (meth_found) { |
| *method = descr; |
| return 1; |
| } |
| |
| if (f != NULL) { |
| *method = f(descr, obj, (PyObject *)Py_TYPE(obj)); |
| Py_DECREF(descr); |
| return 0; |
| } |
| |
| if (descr != NULL) { |
| *method = descr; |
| return 0; |
| } |
| |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object has no attribute '%U'", |
| tp->tp_name, name); |
| |
| _PyObject_SetAttributeErrorContext(obj, name); |
| return 0; |
| } |
| |
| /* Generic GetAttr functions - put these in your tp_[gs]etattro slot. */ |
| |
| PyObject * |
| _PyObject_GenericGetAttrWithDict(PyObject *obj, PyObject *name, |
| PyObject *dict, int suppress) |
| { |
| /* Make sure the logic of _PyObject_GetMethod is in sync with |
| this method. |
| |
| When suppress=1, this function suppresses AttributeError. |
| */ |
| |
| PyTypeObject *tp = Py_TYPE(obj); |
| PyObject *descr = NULL; |
| PyObject *res = NULL; |
| descrgetfunc f; |
| |
| if (!PyUnicode_Check(name)){ |
| PyErr_Format(PyExc_TypeError, |
| "attribute name must be string, not '%.200s'", |
| Py_TYPE(name)->tp_name); |
| return NULL; |
| } |
| Py_INCREF(name); |
| |
| if (!_PyType_IsReady(tp)) { |
| if (PyType_Ready(tp) < 0) |
| goto done; |
| } |
| |
| descr = _PyType_LookupRef(tp, name); |
| |
| f = NULL; |
| if (descr != NULL) { |
| f = Py_TYPE(descr)->tp_descr_get; |
| if (f != NULL && PyDescr_IsData(descr)) { |
| res = f(descr, obj, (PyObject *)Py_TYPE(obj)); |
| if (res == NULL && suppress && |
| PyErr_ExceptionMatches(PyExc_AttributeError)) { |
| PyErr_Clear(); |
| } |
| goto done; |
| } |
| } |
| if (dict == NULL) { |
| if ((tp->tp_flags & Py_TPFLAGS_INLINE_VALUES)) { |
| if (PyUnicode_CheckExact(name) && |
| _PyObject_TryGetInstanceAttribute(obj, name, &res)) { |
| if (res != NULL) { |
| goto done; |
| } |
| } |
| else { |
| dict = (PyObject *)_PyObject_MaterializeManagedDict(obj); |
| if (dict == NULL) { |
| res = NULL; |
| goto done; |
| } |
| } |
| } |
| else if ((tp->tp_flags & Py_TPFLAGS_MANAGED_DICT)) { |
| dict = (PyObject *)_PyObject_GetManagedDict(obj); |
| } |
| else { |
| PyObject **dictptr = _PyObject_ComputedDictPointer(obj); |
| if (dictptr) { |
| dict = *dictptr; |
| } |
| } |
| } |
| if (dict != NULL) { |
| Py_INCREF(dict); |
| int rc = PyDict_GetItemRef(dict, name, &res); |
| Py_DECREF(dict); |
| if (res != NULL) { |
| goto done; |
| } |
| else if (rc < 0) { |
| if (suppress && PyErr_ExceptionMatches(PyExc_AttributeError)) { |
| PyErr_Clear(); |
| } |
| else { |
| goto done; |
| } |
| } |
| } |
| |
| if (f != NULL) { |
| res = f(descr, obj, (PyObject *)Py_TYPE(obj)); |
| if (res == NULL && suppress && |
| PyErr_ExceptionMatches(PyExc_AttributeError)) { |
| PyErr_Clear(); |
| } |
| goto done; |
| } |
| |
| if (descr != NULL) { |
| res = descr; |
| descr = NULL; |
| goto done; |
| } |
| |
| if (!suppress) { |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object has no attribute '%U'", |
| tp->tp_name, name); |
| |
| _PyObject_SetAttributeErrorContext(obj, name); |
| } |
| done: |
| Py_XDECREF(descr); |
| Py_DECREF(name); |
| return res; |
| } |
| |
| PyObject * |
| PyObject_GenericGetAttr(PyObject *obj, PyObject *name) |
| { |
| return _PyObject_GenericGetAttrWithDict(obj, name, NULL, 0); |
| } |
| |
| int |
| _PyObject_GenericSetAttrWithDict(PyObject *obj, PyObject *name, |
| PyObject *value, PyObject *dict) |
| { |
| PyTypeObject *tp = Py_TYPE(obj); |
| PyObject *descr; |
| descrsetfunc f; |
| int res = -1; |
| |
| assert(!PyType_IsSubtype(tp, &PyType_Type)); |
| if (!PyUnicode_Check(name)){ |
| PyErr_Format(PyExc_TypeError, |
| "attribute name must be string, not '%.200s'", |
| Py_TYPE(name)->tp_name); |
| return -1; |
| } |
| |
| if (!_PyType_IsReady(tp) && PyType_Ready(tp) < 0) { |
| return -1; |
| } |
| |
| Py_INCREF(name); |
| Py_INCREF(tp); |
| descr = _PyType_LookupRef(tp, name); |
| |
| if (descr != NULL) { |
| f = Py_TYPE(descr)->tp_descr_set; |
| if (f != NULL) { |
| res = f(descr, obj, value); |
| goto done; |
| } |
| } |
| |
| if (dict == NULL) { |
| PyObject **dictptr; |
| |
| if ((tp->tp_flags & Py_TPFLAGS_INLINE_VALUES)) { |
| res = _PyObject_StoreInstanceAttribute(obj, name, value); |
| goto error_check; |
| } |
| |
| if ((tp->tp_flags & Py_TPFLAGS_MANAGED_DICT)) { |
| PyManagedDictPointer *managed_dict = _PyObject_ManagedDictPointer(obj); |
| dictptr = (PyObject **)&managed_dict->dict; |
| } |
| else { |
| dictptr = _PyObject_ComputedDictPointer(obj); |
| } |
| if (dictptr == NULL) { |
| if (descr == NULL) { |
| if (tp->tp_setattro == PyObject_GenericSetAttr) { |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object has no attribute '%U' and no " |
| "__dict__ for setting new attributes", |
| tp->tp_name, name); |
| } |
| else { |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object has no attribute '%U'", |
| tp->tp_name, name); |
| } |
| _PyObject_SetAttributeErrorContext(obj, name); |
| } |
| else { |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object attribute '%U' is read-only", |
| tp->tp_name, name); |
| } |
| goto done; |
| } |
| else { |
| res = _PyObjectDict_SetItem(tp, obj, dictptr, name, value); |
| } |
| } |
| else { |
| Py_INCREF(dict); |
| if (value == NULL) |
| res = PyDict_DelItem(dict, name); |
| else |
| res = PyDict_SetItem(dict, name, value); |
| Py_DECREF(dict); |
| } |
| error_check: |
| if (res < 0 && PyErr_ExceptionMatches(PyExc_KeyError)) { |
| PyErr_Format(PyExc_AttributeError, |
| "'%.100s' object has no attribute '%U'", |
| tp->tp_name, name); |
| _PyObject_SetAttributeErrorContext(obj, name); |
| } |
| done: |
| Py_XDECREF(descr); |
| Py_DECREF(tp); |
| Py_DECREF(name); |
| return res; |
| } |
| |
| int |
| PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value) |
| { |
| return _PyObject_GenericSetAttrWithDict(obj, name, value, NULL); |
| } |
| |
| int |
| PyObject_GenericSetDict(PyObject *obj, PyObject *value, void *context) |
| { |
| PyObject **dictptr = _PyObject_GetDictPtr(obj); |
| if (dictptr == NULL) { |
| if (_PyType_HasFeature(Py_TYPE(obj), Py_TPFLAGS_INLINE_VALUES) && |
| _PyObject_GetManagedDict(obj) == NULL |
| ) { |
| /* Was unable to convert to dict */ |
| PyErr_NoMemory(); |
| } |
| else { |
| PyErr_SetString(PyExc_AttributeError, |
| "This object has no __dict__"); |
| } |
| return -1; |
| } |
| if (value == NULL) { |
| PyErr_SetString(PyExc_TypeError, "cannot delete __dict__"); |
| return -1; |
| } |
| if (!PyDict_Check(value)) { |
| PyErr_Format(PyExc_TypeError, |
| "__dict__ must be set to a dictionary, " |
| "not a '%.200s'", Py_TYPE(value)->tp_name); |
| return -1; |
| } |
| Py_BEGIN_CRITICAL_SECTION(obj); |
| Py_XSETREF(*dictptr, Py_NewRef(value)); |
| Py_END_CRITICAL_SECTION(); |
| return 0; |
| } |
| |
| |
| /* Test a value used as condition, e.g., in a while or if statement. |
| Return -1 if an error occurred */ |
| |
| int |
| PyObject_IsTrue(PyObject *v) |
| { |
| Py_ssize_t res; |
| if (v == Py_True) |
| return 1; |
| if (v == Py_False) |
| return 0; |
| if (v == Py_None) |
| return 0; |
| else if (Py_TYPE(v)->tp_as_number != NULL && |
| Py_TYPE(v)->tp_as_number->nb_bool != NULL) |
| res = (*Py_TYPE(v)->tp_as_number->nb_bool)(v); |
| else if (Py_TYPE(v)->tp_as_mapping != NULL && |
| Py_TYPE(v)->tp_as_mapping->mp_length != NULL) |
| res = (*Py_TYPE(v)->tp_as_mapping->mp_length)(v); |
| else if (Py_TYPE(v)->tp_as_sequence != NULL && |
| Py_TYPE(v)->tp_as_sequence->sq_length != NULL) |
| res = (*Py_TYPE(v)->tp_as_sequence->sq_length)(v); |
| else |
| return 1; |
| /* if it is negative, it should be either -1 or -2 */ |
| return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int); |
| } |
| |
| /* equivalent of 'not v' |
| Return -1 if an error occurred */ |
| |
| int |
| PyObject_Not(PyObject *v) |
| { |
| int res; |
| res = PyObject_IsTrue(v); |
| if (res < 0) |
| return res; |
| return res == 0; |
| } |
| |
| /* Test whether an object can be called */ |
| |
| int |
| PyCallable_Check(PyObject *x) |
| { |
| if (x == NULL) |
| return 0; |
| return Py_TYPE(x)->tp_call != NULL; |
| } |
| |
| |
| /* Helper for PyObject_Dir without arguments: returns the local scope. */ |
| static PyObject * |
| _dir_locals(void) |
| { |
| PyObject *names; |
| PyObject *locals; |
| |
| locals = _PyEval_GetFrameLocals(); |
| if (locals == NULL) |
| return NULL; |
| |
| names = PyMapping_Keys(locals); |
| Py_DECREF(locals); |
| if (!names) { |
| return NULL; |
| } |
| if (!PyList_Check(names)) { |
| PyErr_Format(PyExc_TypeError, |
| "dir(): expected keys() of locals to be a list, " |
| "not '%.200s'", Py_TYPE(names)->tp_name); |
| Py_DECREF(names); |
| return NULL; |
| } |
| if (PyList_Sort(names)) { |
| Py_DECREF(names); |
| return NULL; |
| } |
| return names; |
| } |
| |
| /* Helper for PyObject_Dir: object introspection. */ |
| static PyObject * |
| _dir_object(PyObject *obj) |
| { |
| PyObject *result, *sorted; |
| PyObject *dirfunc = _PyObject_LookupSpecial(obj, &_Py_ID(__dir__)); |
| |
| assert(obj != NULL); |
| if (dirfunc == NULL) { |
| if (!PyErr_Occurred()) |
| PyErr_SetString(PyExc_TypeError, "object does not provide __dir__"); |
| return NULL; |
| } |
| /* use __dir__ */ |
| result = _PyObject_CallNoArgs(dirfunc); |
| Py_DECREF(dirfunc); |
| if (result == NULL) |
| return NULL; |
| /* return sorted(result) */ |
| sorted = PySequence_List(result); |
| Py_DECREF(result); |
| if (sorted == NULL) |
| return NULL; |
| if (PyList_Sort(sorted)) { |
| Py_DECREF(sorted); |
| return NULL; |
| } |
| return sorted; |
| } |
| |
| /* Implementation of dir() -- if obj is NULL, returns the names in the current |
| (local) scope. Otherwise, performs introspection of the object: returns a |
| sorted list of attribute names (supposedly) accessible from the object |
| */ |
| PyObject * |
| PyObject_Dir(PyObject *obj) |
| { |
| return (obj == NULL) ? _dir_locals() : _dir_object(obj); |
| } |
| |
| /* |
| None is a non-NULL undefined value. |
| There is (and should be!) no way to create other objects of this type, |
| so there is exactly one (which is indestructible, by the way). |
| */ |
| |
| /* ARGSUSED */ |
| static PyObject * |
| none_repr(PyObject *op) |
| { |
| return PyUnicode_FromString("None"); |
| } |
| |
| static void |
| none_dealloc(PyObject* none) |
| { |
| /* This should never get called, but we also don't want to SEGV if |
| * we accidentally decref None out of existence. Instead, |
| * since None is an immortal object, re-set the reference count. |
| */ |
| _Py_SetImmortal(none); |
| } |
| |
| static PyObject * |
| none_new(PyTypeObject *type, PyObject *args, PyObject *kwargs) |
| { |
| if (PyTuple_GET_SIZE(args) || (kwargs && PyDict_GET_SIZE(kwargs))) { |
| PyErr_SetString(PyExc_TypeError, "NoneType takes no arguments"); |
| return NULL; |
| } |
| Py_RETURN_NONE; |
| } |
| |
| static int |
| none_bool(PyObject *v) |
| { |
| return 0; |
| } |
| |
| static Py_hash_t none_hash(PyObject *v) |
| { |
| return 0xFCA86420; |
| } |
| |
| static PyNumberMethods none_as_number = { |
| 0, /* nb_add */ |
| 0, /* nb_subtract */ |
| 0, /* nb_multiply */ |
| 0, /* nb_remainder */ |
| 0, /* nb_divmod */ |
| 0, /* nb_power */ |
| 0, /* nb_negative */ |
| 0, /* nb_positive */ |
| 0, /* nb_absolute */ |
| (inquiry)none_bool, /* nb_bool */ |
| 0, /* nb_invert */ |
| 0, /* nb_lshift */ |
| 0, /* nb_rshift */ |
| 0, /* nb_and */ |
| 0, /* nb_xor */ |
| 0, /* nb_or */ |
| 0, /* nb_int */ |
| 0, /* nb_reserved */ |
| 0, /* nb_float */ |
| 0, /* nb_inplace_add */ |
| 0, /* nb_inplace_subtract */ |
| 0, /* nb_inplace_multiply */ |
| 0, /* nb_inplace_remainder */ |
| 0, /* nb_inplace_power */ |
| 0, /* nb_inplace_lshift */ |
| 0, /* nb_inplace_rshift */ |
| 0, /* nb_inplace_and */ |
| 0, /* nb_inplace_xor */ |
| 0, /* nb_inplace_or */ |
| 0, /* nb_floor_divide */ |
| 0, /* nb_true_divide */ |
| 0, /* nb_inplace_floor_divide */ |
| 0, /* nb_inplace_true_divide */ |
| 0, /* nb_index */ |
| }; |
| |
| PyDoc_STRVAR(none_doc, |
| "NoneType()\n" |
| "--\n\n" |
| "The type of the None singleton."); |
| |
| PyTypeObject _PyNone_Type = { |
| PyVarObject_HEAD_INIT(&PyType_Type, 0) |
| "NoneType", |
| 0, |
| 0, |
| none_dealloc, /*tp_dealloc*/ |
| 0, /*tp_vectorcall_offset*/ |
| 0, /*tp_getattr*/ |
| 0, /*tp_setattr*/ |
| 0, /*tp_as_async*/ |
| none_repr, /*tp_repr*/ |
| &none_as_number, /*tp_as_number*/ |
| 0, /*tp_as_sequence*/ |
| 0, /*tp_as_mapping*/ |
| (hashfunc)none_hash,/*tp_hash */ |
| 0, /*tp_call */ |
| 0, /*tp_str */ |
| 0, /*tp_getattro */ |
| 0, /*tp_setattro */ |
| 0, /*tp_as_buffer */ |
| Py_TPFLAGS_DEFAULT, /*tp_flags */ |
| none_doc, /*tp_doc */ |
| 0, /*tp_traverse */ |
| 0, /*tp_clear */ |
| _Py_BaseObject_RichCompare, /*tp_richcompare */ |
| 0, /*tp_weaklistoffset */ |
| 0, /*tp_iter */ |
| 0, /*tp_iternext */ |
| 0, /*tp_methods */ |
| 0, /*tp_members */ |
| 0, /*tp_getset */ |
| 0, /*tp_base */ |
| 0, /*tp_dict */ |
| 0, /*tp_descr_get */ |
| 0, /*tp_descr_set */ |
| 0, /*tp_dictoffset */ |
| 0, /*tp_init */ |
| 0, /*tp_alloc */ |
| none_new, /*tp_new */ |
| }; |
| |
| PyObject _Py_NoneStruct = _PyObject_HEAD_INIT(&_PyNone_Type); |
| |
| /* NotImplemented is an object that can be used to signal that an |
| operation is not implemented for the given type combination. */ |
| |
| static PyObject * |
| NotImplemented_repr(PyObject *op) |
| { |
| return PyUnicode_FromString("NotImplemented"); |
| } |
| |
| static PyObject * |
| NotImplemented_reduce(PyObject *op, PyObject *Py_UNUSED(ignored)) |
| { |
| return PyUnicode_FromString("NotImplemented"); |
| } |
| |
| static PyMethodDef notimplemented_methods[] = { |
| {"__reduce__", NotImplemented_reduce, METH_NOARGS, NULL}, |
| {NULL, NULL} |
| }; |
| |
| static PyObject * |
| notimplemented_new(PyTypeObject *type, PyObject *args, PyObject *kwargs) |
| { |
| if (PyTuple_GET_SIZE(args) || (kwargs && PyDict_GET_SIZE(kwargs))) { |
| PyErr_SetString(PyExc_TypeError, "NotImplementedType takes no arguments"); |
| return NULL; |
| } |
| Py_RETURN_NOTIMPLEMENTED; |
| } |
| |
| static void |
| notimplemented_dealloc(PyObject *notimplemented) |
| { |
| /* This should never get called, but we also don't want to SEGV if |
| * we accidentally decref NotImplemented out of existence. Instead, |
| * since Notimplemented is an immortal object, re-set the reference count. |
| */ |
| _Py_SetImmortal(notimplemented); |
| } |
| |
| static int |
| notimplemented_bool(PyObject *v) |
| { |
| PyErr_SetString(PyExc_TypeError, |
| "NotImplemented should not be used in a boolean context"); |
| return -1; |
| } |
| |
| static PyNumberMethods notimplemented_as_number = { |
| .nb_bool = notimplemented_bool, |
| }; |
| |
| PyDoc_STRVAR(notimplemented_doc, |
| "NotImplementedType()\n" |
| "--\n\n" |
| "The type of the NotImplemented singleton."); |
| |
| PyTypeObject _PyNotImplemented_Type = { |
| PyVarObject_HEAD_INIT(&PyType_Type, 0) |
| "NotImplementedType", |
| 0, |
| 0, |
| notimplemented_dealloc, /*tp_dealloc*/ /*never called*/ |
| 0, /*tp_vectorcall_offset*/ |
| 0, /*tp_getattr*/ |
| 0, /*tp_setattr*/ |
| 0, /*tp_as_async*/ |
| NotImplemented_repr, /*tp_repr*/ |
| ¬implemented_as_number, /*tp_as_number*/ |
| 0, /*tp_as_sequence*/ |
| 0, /*tp_as_mapping*/ |
| 0, /*tp_hash */ |
| 0, /*tp_call */ |
| 0, /*tp_str */ |
| 0, /*tp_getattro */ |
| 0, /*tp_setattro */ |
| 0, /*tp_as_buffer */ |
| Py_TPFLAGS_DEFAULT, /*tp_flags */ |
| notimplemented_doc, /*tp_doc */ |
| 0, /*tp_traverse */ |
| 0, /*tp_clear */ |
| 0, /*tp_richcompare */ |
| 0, /*tp_weaklistoffset */ |
| 0, /*tp_iter */ |
| 0, /*tp_iternext */ |
| notimplemented_methods, /*tp_methods */ |
| 0, /*tp_members */ |
| 0, /*tp_getset */ |
| 0, /*tp_base */ |
| 0, /*tp_dict */ |
| 0, /*tp_descr_get */ |
| 0, /*tp_descr_set */ |
| 0, /*tp_dictoffset */ |
| 0, /*tp_init */ |
| 0, /*tp_alloc */ |
| notimplemented_new, /*tp_new */ |
| }; |
| |
| PyObject _Py_NotImplementedStruct = _PyObject_HEAD_INIT(&_PyNotImplemented_Type); |
| |
| |
| PyStatus |
| _PyObject_InitState(PyInterpreterState *interp) |
| { |
| #ifdef Py_TRACE_REFS |
| if (refchain_init(interp) < 0) { |
| return _PyStatus_NO_MEMORY(); |
| } |
| #endif |
| return _PyStatus_OK(); |
| } |
| |
| void |
| _PyObject_FiniState(PyInterpreterState *interp) |
| { |
| #ifdef Py_TRACE_REFS |
| refchain_fini(interp); |
| #endif |
| } |
| |
| |
| extern PyTypeObject _PyAnextAwaitable_Type; |
| extern PyTypeObject _PyLegacyEventHandler_Type; |
| extern PyTypeObject _PyLineIterator; |
| extern PyTypeObject _PyMemoryIter_Type; |
| extern PyTypeObject _PyPositionsIterator; |
| extern PyTypeObject _Py_GenericAliasIterType; |
| |
| static PyTypeObject* static_types[] = { |
| // The two most important base types: must be initialized first and |
| // deallocated last. |
| &PyBaseObject_Type, |
| &PyType_Type, |
| |
| // Static types with base=&PyBaseObject_Type |
| &PyAsyncGen_Type, |
| &PyByteArrayIter_Type, |
| &PyByteArray_Type, |
| &PyBytesIter_Type, |
| &PyBytes_Type, |
| &PyCFunction_Type, |
| &PyCallIter_Type, |
| &PyCapsule_Type, |
| &PyCell_Type, |
| &PyClassMethodDescr_Type, |
| &PyClassMethod_Type, |
| &PyCode_Type, |
| &PyComplex_Type, |
| &PyContextToken_Type, |
| &PyContextVar_Type, |
| &PyContext_Type, |
| &PyCoro_Type, |
| &PyDictItems_Type, |
| &PyDictIterItem_Type, |
| &PyDictIterKey_Type, |
| &PyDictIterValue_Type, |
| &PyDictKeys_Type, |
| &PyDictProxy_Type, |
| &PyDictRevIterItem_Type, |
| &PyDictRevIterKey_Type, |
| &PyDictRevIterValue_Type, |
| &PyDictValues_Type, |
| &PyDict_Type, |
| &PyEllipsis_Type, |
| &PyEnum_Type, |
| &PyFilter_Type, |
| &PyFloat_Type, |
| &PyFrame_Type, |
| &PyFrameLocalsProxy_Type, |
| &PyFrozenSet_Type, |
| &PyFunction_Type, |
| &PyGen_Type, |
| &PyGetSetDescr_Type, |
| &PyInstanceMethod_Type, |
| &PyListIter_Type, |
| &PyListRevIter_Type, |
| &PyList_Type, |
| &PyLongRangeIter_Type, |
| &PyLong_Type, |
| &PyMap_Type, |
| &PyMemberDescr_Type, |
| &PyMemoryView_Type, |
| &PyMethodDescr_Type, |
| &PyMethod_Type, |
| &PyModuleDef_Type, |
| &PyModule_Type, |
| &PyODictIter_Type, |
| &PyPickleBuffer_Type, |
| &PyProperty_Type, |
| &PyRangeIter_Type, |
| &PyRange_Type, |
| &PyReversed_Type, |
| &PySTEntry_Type, |
| &PySeqIter_Type, |
| &PySetIter_Type, |
| &PySet_Type, |
| &PySlice_Type, |
| &PyStaticMethod_Type, |
| &PyStdPrinter_Type, |
| &PySuper_Type, |
| &PyTraceBack_Type, |
| &PyTupleIter_Type, |
| &PyTuple_Type, |
| &PyUnicodeIter_Type, |
| &PyUnicode_Type, |
| &PyWrapperDescr_Type, |
| &PyZip_Type, |
| &Py_GenericAliasType, |
| &_PyAnextAwaitable_Type, |
| &_PyAsyncGenASend_Type, |
| &_PyAsyncGenAThrow_Type, |
| &_PyAsyncGenWrappedValue_Type, |
| &_PyBufferWrapper_Type, |
| &_PyContextTokenMissing_Type, |
| &_PyCoroWrapper_Type, |
| #ifdef _Py_TIER2 |
| &_PyCounterExecutor_Type, |
| &_PyCounterOptimizer_Type, |
| &_PyDefaultOptimizer_Type, |
| #endif |
| &_Py_GenericAliasIterType, |
| &_PyHamtItems_Type, |
| &_PyHamtKeys_Type, |
| &_PyHamtValues_Type, |
| &_PyHamt_ArrayNode_Type, |
| &_PyHamt_BitmapNode_Type, |
| &_PyHamt_CollisionNode_Type, |
| &_PyHamt_Type, |
| &_PyInstructionSequence_Type, |
| &_PyLegacyEventHandler_Type, |
| &_PyLineIterator, |
| &_PyManagedBuffer_Type, |
| &_PyMemoryIter_Type, |
| &_PyMethodWrapper_Type, |
| &_PyNamespace_Type, |
| &_PyNone_Type, |
| &_PyNotImplemented_Type, |
| &_PyPositionsIterator, |
| &_PyUnicodeASCIIIter_Type, |
| &_PyUnion_Type, |
| #ifdef _Py_TIER2 |
| &_PyUOpExecutor_Type, |
| &_PyUOpOptimizer_Type, |
| #endif |
| &_PyWeakref_CallableProxyType, |
| &_PyWeakref_ProxyType, |
| &_PyWeakref_RefType, |
| &_PyTypeAlias_Type, |
| &_PyNoDefault_Type, |
| |
| // subclasses: _PyTypes_FiniTypes() deallocates them before their base |
| // class |
| &PyBool_Type, // base=&PyLong_Type |
| &PyCMethod_Type, // base=&PyCFunction_Type |
| &PyODictItems_Type, // base=&PyDictItems_Type |
| &PyODictKeys_Type, // base=&PyDictKeys_Type |
| &PyODictValues_Type, // base=&PyDictValues_Type |
| &PyODict_Type, // base=&PyDict_Type |
| }; |
| |
| |
| PyStatus |
| _PyTypes_InitTypes(PyInterpreterState *interp) |
| { |
| // All other static types (unless initialized elsewhere) |
| for (size_t i=0; i < Py_ARRAY_LENGTH(static_types); i++) { |
| PyTypeObject *type = static_types[i]; |
| if (_PyStaticType_InitBuiltin(interp, type) < 0) { |
| return _PyStatus_ERR("Can't initialize builtin type"); |
| } |
| if (type == &PyType_Type) { |
| // Sanitify checks of the two most important types |
| assert(PyBaseObject_Type.tp_base == NULL); |
| assert(PyType_Type.tp_base == &PyBaseObject_Type); |
| } |
| } |
| |
| // Cache __reduce__ from PyBaseObject_Type object |
| PyObject *baseobj_dict = _PyType_GetDict(&PyBaseObject_Type); |
| PyObject *baseobj_reduce = PyDict_GetItemWithError(baseobj_dict, &_Py_ID(__reduce__)); |
| if (baseobj_reduce == NULL && PyErr_Occurred()) { |
| return _PyStatus_ERR("Can't get __reduce__ from base object"); |
| } |
| _Py_INTERP_CACHED_OBJECT(interp, objreduce) = baseobj_reduce; |
| |
| // Must be after static types are initialized |
| if (_Py_initialize_generic(interp) < 0) { |
| return _PyStatus_ERR("Can't initialize generic types"); |
| } |
| |
| return _PyStatus_OK(); |
| } |
| |
| |
| // Best-effort function clearing static types. |
| // |
| // Don't deallocate a type if it still has subclasses. If a Py_Finalize() |
| // sub-function is interrupted by CTRL+C or fails with MemoryError, some |
| // subclasses are not cleared properly. Leave the static type unchanged in this |
| // case. |
| void |
| _PyTypes_FiniTypes(PyInterpreterState *interp) |
| { |
| // Deallocate types in the reverse order to deallocate subclasses before |
| // their base classes. |
| for (Py_ssize_t i=Py_ARRAY_LENGTH(static_types)-1; i>=0; i--) { |
| PyTypeObject *type = static_types[i]; |
| _PyStaticType_FiniBuiltin(interp, type); |
| } |
| } |
| |
| |
| static inline void |
| new_reference(PyObject *op) |
| { |
| // Skip the immortal object check in Py_SET_REFCNT; always set refcnt to 1 |
| #if !defined(Py_GIL_DISABLED) |
| op->ob_refcnt = 1; |
| #else |
| op->ob_tid = _Py_ThreadId(); |
| op->_padding = 0; |
| op->ob_mutex = (PyMutex){ 0 }; |
| op->ob_gc_bits = 0; |
| op->ob_ref_local = 1; |
| op->ob_ref_shared = 0; |
| #endif |
| #ifdef Py_TRACE_REFS |
| _Py_AddToAllObjects(op); |
| #endif |
| struct _reftracer_runtime_state *tracer = &_PyRuntime.ref_tracer; |
| if (tracer->tracer_func != NULL) { |
| void* data = tracer->tracer_data; |
| tracer->tracer_func(op, PyRefTracer_CREATE, data); |
| } |
| } |
| |
| void |
| _Py_NewReference(PyObject *op) |
| { |
| #ifdef Py_REF_DEBUG |
| _Py_IncRefTotal(_PyThreadState_GET()); |
| #endif |
| new_reference(op); |
| } |
| |
| void |
| _Py_NewReferenceNoTotal(PyObject *op) |
| { |
| new_reference(op); |
| } |
| |
| void |
| _Py_SetImmortalUntracked(PyObject *op) |
| { |
| #ifdef Py_DEBUG |
| // For strings, use _PyUnicode_InternImmortal instead. |
| if (PyUnicode_CheckExact(op)) { |
| assert(PyUnicode_CHECK_INTERNED(op) == SSTATE_INTERNED_IMMORTAL |
| || PyUnicode_CHECK_INTERNED(op) == SSTATE_INTERNED_IMMORTAL_STATIC); |
| } |
| #endif |
| #ifdef Py_GIL_DISABLED |
| op->ob_tid = _Py_UNOWNED_TID; |
| op->ob_ref_local = _Py_IMMORTAL_REFCNT_LOCAL; |
| op->ob_ref_shared = 0; |
| #else |
| op->ob_refcnt = _Py_IMMORTAL_INITIAL_REFCNT; |
| #endif |
| } |
| |
| void |
| _Py_SetImmortal(PyObject *op) |
| { |
| if (PyObject_IS_GC(op) && _PyObject_GC_IS_TRACKED(op)) { |
| _PyObject_GC_UNTRACK(op); |
| } |
| _Py_SetImmortalUntracked(op); |
| } |
| |
| void |
| _PyObject_SetDeferredRefcount(PyObject *op) |
| { |
| #ifdef Py_GIL_DISABLED |
| assert(PyType_IS_GC(Py_TYPE(op))); |
| assert(_Py_IsOwnedByCurrentThread(op)); |
| assert(op->ob_ref_shared == 0); |
| _PyObject_SET_GC_BITS(op, _PyGC_BITS_DEFERRED); |
| op->ob_ref_shared = _Py_REF_SHARED(_Py_REF_DEFERRED, 0); |
| #endif |
| } |
| |
| void |
| _Py_ResurrectReference(PyObject *op) |
| { |
| #ifdef Py_TRACE_REFS |
| _Py_AddToAllObjects(op); |
| #endif |
| if (_PyRuntime.ref_tracer.tracer_func != NULL) { |
| void* data = _PyRuntime.ref_tracer.tracer_data; |
| _PyRuntime.ref_tracer.tracer_func(op, PyRefTracer_CREATE, data); |
| } |
| } |
| |
| |
| #ifdef Py_TRACE_REFS |
| void |
| _Py_ForgetReference(PyObject *op) |
| { |
| if (Py_REFCNT(op) < 0) { |
| _PyObject_ASSERT_FAILED_MSG(op, "negative refcnt"); |
| } |
| |
| PyInterpreterState *interp = _PyInterpreterState_GET(); |
| |
| #ifdef SLOW_UNREF_CHECK |
| if (!_PyRefchain_Get(interp, op)) { |
| /* Not found */ |
| _PyObject_ASSERT_FAILED_MSG(op, |
| "object not found in the objects list"); |
| } |
| #endif |
| |
| _PyRefchain_Remove(interp, op); |
| } |
| |
| static int |
| _Py_PrintReference(_Py_hashtable_t *ht, |
| const void *key, const void *value, |
| void *user_data) |
| { |
| PyObject *op = (PyObject*)key; |
| FILE *fp = (FILE *)user_data; |
| fprintf(fp, "%p [%zd] ", (void *)op, Py_REFCNT(op)); |
| if (PyObject_Print(op, fp, 0) != 0) { |
| PyErr_Clear(); |
| } |
| putc('\n', fp); |
| return 0; |
| } |
| |
| |
| /* Print all live objects. Because PyObject_Print is called, the |
| * interpreter must be in a healthy state. |
| */ |
| void |
| _Py_PrintReferences(PyInterpreterState *interp, FILE *fp) |
| { |
| if (interp == NULL) { |
| interp = _PyInterpreterState_Main(); |
| } |
| fprintf(fp, "Remaining objects:\n"); |
| _Py_hashtable_foreach(REFCHAIN(interp), _Py_PrintReference, fp); |
| } |
| |
| |
| static int |
| _Py_PrintReferenceAddress(_Py_hashtable_t *ht, |
| const void *key, const void *value, |
| void *user_data) |
| { |
| PyObject *op = (PyObject*)key; |
| FILE *fp = (FILE *)user_data; |
| fprintf(fp, "%p [%zd] %s\n", |
| (void *)op, Py_REFCNT(op), Py_TYPE(op)->tp_name); |
| return 0; |
| } |
| |
| |
| /* Print the addresses of all live objects. Unlike _Py_PrintReferences, this |
| * doesn't make any calls to the Python C API, so is always safe to call. |
| */ |
| // XXX This function is not safe to use if the interpreter has been |
| // freed or is in an unhealthy state (e.g. late in finalization). |
| // The call in Py_FinalizeEx() is okay since the main interpreter |
| // is statically allocated. |
| void |
| _Py_PrintReferenceAddresses(PyInterpreterState *interp, FILE *fp) |
| { |
| fprintf(fp, "Remaining object addresses:\n"); |
| _Py_hashtable_foreach(REFCHAIN(interp), _Py_PrintReferenceAddress, fp); |
| } |
| |
| |
| typedef struct { |
| PyObject *self; |
| PyObject *args; |
| PyObject *list; |
| PyObject *type; |
| Py_ssize_t limit; |
| } _Py_GetObjectsData; |
| |
| enum { |
| _PY_GETOBJECTS_IGNORE = 0, |
| _PY_GETOBJECTS_ERROR = 1, |
| _PY_GETOBJECTS_STOP = 2, |
| }; |
| |
| static int |
| _Py_GetObject(_Py_hashtable_t *ht, |
| const void *key, const void *value, |
| void *user_data) |
| { |
| PyObject *op = (PyObject *)key; |
| _Py_GetObjectsData *data = user_data; |
| if (data->limit > 0) { |
| if (PyList_GET_SIZE(data->list) >= data->limit) { |
| return _PY_GETOBJECTS_STOP; |
| } |
| } |
| |
| if (op == data->self) { |
| return _PY_GETOBJECTS_IGNORE; |
| } |
| if (op == data->args) { |
| return _PY_GETOBJECTS_IGNORE; |
| } |
| if (op == data->list) { |
| return _PY_GETOBJECTS_IGNORE; |
| } |
| if (data->type != NULL) { |
| if (op == data->type) { |
| return _PY_GETOBJECTS_IGNORE; |
| } |
| if (!Py_IS_TYPE(op, (PyTypeObject *)data->type)) { |
| return _PY_GETOBJECTS_IGNORE; |
| } |
| } |
| |
| if (PyList_Append(data->list, op) < 0) { |
| return _PY_GETOBJECTS_ERROR; |
| } |
| return 0; |
| } |
| |
| |
| /* The implementation of sys.getobjects(). */ |
| PyObject * |
| _Py_GetObjects(PyObject *self, PyObject *args) |
| { |
| Py_ssize_t limit; |
| PyObject *type = NULL; |
| if (!PyArg_ParseTuple(args, "n|O", &limit, &type)) { |
| return NULL; |
| } |
| |
| PyObject *list = PyList_New(0); |
| if (list == NULL) { |
| return NULL; |
| } |
| |
| _Py_GetObjectsData data = { |
| .self = self, |
| .args = args, |
| .list = list, |
| .type = type, |
| .limit = limit, |
| }; |
| PyInterpreterState *interp = _PyInterpreterState_GET(); |
| int res = _Py_hashtable_foreach(REFCHAIN(interp), _Py_GetObject, &data); |
| if (res == _PY_GETOBJECTS_ERROR) { |
| Py_DECREF(list); |
| return NULL; |
| } |
| return list; |
| } |
| |
| #undef REFCHAIN |
| #undef REFCHAIN_VALUE |
| |
| #endif /* Py_TRACE_REFS */ |
| |
| |
| /* Hack to force loading of abstract.o */ |
| Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size; |
| |
| |
| void |
| _PyObject_DebugTypeStats(FILE *out) |
| { |
| _PyDict_DebugMallocStats(out); |
| _PyFloat_DebugMallocStats(out); |
| _PyList_DebugMallocStats(out); |
| _PyTuple_DebugMallocStats(out); |
| } |
| |
| /* These methods are used to control infinite recursion in repr, str, print, |
| etc. Container objects that may recursively contain themselves, |
| e.g. builtin dictionaries and lists, should use Py_ReprEnter() and |
| Py_ReprLeave() to avoid infinite recursion. |
| |
| Py_ReprEnter() returns 0 the first time it is called for a particular |
| object and 1 every time thereafter. It returns -1 if an exception |
| occurred. Py_ReprLeave() has no return value. |
| |
| See dictobject.c and listobject.c for examples of use. |
| */ |
| |
| int |
| Py_ReprEnter(PyObject *obj) |
| { |
| PyObject *dict; |
| PyObject *list; |
| Py_ssize_t i; |
| |
| dict = PyThreadState_GetDict(); |
| /* Ignore a missing thread-state, so that this function can be called |
| early on startup. */ |
| if (dict == NULL) |
| return 0; |
| list = PyDict_GetItemWithError(dict, &_Py_ID(Py_Repr)); |
| if (list == NULL) { |
| if (PyErr_Occurred()) { |
| return -1; |
| } |
| list = PyList_New(0); |
| if (list == NULL) |
| return -1; |
| if (PyDict_SetItem(dict, &_Py_ID(Py_Repr), list) < 0) |
| return -1; |
| Py_DECREF(list); |
| } |
| i = PyList_GET_SIZE(list); |
| while (--i >= 0) { |
| if (PyList_GET_ITEM(list, i) == obj) |
| return 1; |
| } |
| if (PyList_Append(list, obj) < 0) |
| return -1; |
| return 0; |
| } |
| |
| void |
| Py_ReprLeave(PyObject *obj) |
| { |
| PyObject *dict; |
| PyObject *list; |
| Py_ssize_t i; |
| |
| PyObject *exc = PyErr_GetRaisedException(); |
| |
| dict = PyThreadState_GetDict(); |
| if (dict == NULL) |
| goto finally; |
| |
| list = PyDict_GetItemWithError(dict, &_Py_ID(Py_Repr)); |
| if (list == NULL || !PyList_Check(list)) |
| goto finally; |
| |
| i = PyList_GET_SIZE(list); |
| /* Count backwards because we always expect obj to be list[-1] */ |
| while (--i >= 0) { |
| if (PyList_GET_ITEM(list, i) == obj) { |
| PyList_SetSlice(list, i, i + 1, NULL); |
| break; |
| } |
| } |
| |
| finally: |
| /* ignore exceptions because there is no way to report them. */ |
| PyErr_SetRaisedException(exc); |
| } |
| |
| /* Trashcan support. */ |
| |
| /* Add op to the gcstate->trash_delete_later list. Called when the current |
| * call-stack depth gets large. op must be a currently untracked gc'ed |
| * object, with refcount 0. Py_DECREF must already have been called on it. |
| */ |
| void |
| _PyTrash_thread_deposit_object(PyThreadState *tstate, PyObject *op) |
| { |
| _PyObject_ASSERT(op, _PyObject_IS_GC(op)); |
| _PyObject_ASSERT(op, !_PyObject_GC_IS_TRACKED(op)); |
| _PyObject_ASSERT(op, Py_REFCNT(op) == 0); |
| #ifdef Py_GIL_DISABLED |
| op->ob_tid = (uintptr_t)tstate->delete_later; |
| #else |
| _PyGCHead_SET_PREV(_Py_AS_GC(op), (PyGC_Head*)tstate->delete_later); |
| #endif |
| tstate->delete_later = op; |
| } |
| |
| /* Deallocate all the objects in the gcstate->trash_delete_later list. |
| * Called when the call-stack unwinds again. */ |
| void |
| _PyTrash_thread_destroy_chain(PyThreadState *tstate) |
| { |
| /* We need to increase c_recursion_remaining here, otherwise, |
| _PyTrash_thread_destroy_chain will be called recursively |
| and then possibly crash. An example that may crash without |
| increase: |
| N = 500000 # need to be large enough |
| ob = object() |
| tups = [(ob,) for i in range(N)] |
| for i in range(49): |
| tups = [(tup,) for tup in tups] |
| del tups |
| */ |
| assert(tstate->c_recursion_remaining > Py_TRASHCAN_HEADROOM); |
| tstate->c_recursion_remaining--; |
| while (tstate->delete_later) { |
| PyObject *op = tstate->delete_later; |
| destructor dealloc = Py_TYPE(op)->tp_dealloc; |
| |
| #ifdef Py_GIL_DISABLED |
| tstate->delete_later = (PyObject*) op->ob_tid; |
| op->ob_tid = 0; |
| _Py_atomic_store_ssize_relaxed(&op->ob_ref_shared, _Py_REF_MERGED); |
| #else |
| tstate->delete_later = (PyObject*) _PyGCHead_PREV(_Py_AS_GC(op)); |
| #endif |
| |
| /* Call the deallocator directly. This used to try to |
| * fool Py_DECREF into calling it indirectly, but |
| * Py_DECREF was already called on this object, and in |
| * assorted non-release builds calling Py_DECREF again ends |
| * up distorting allocation statistics. |
| */ |
| _PyObject_ASSERT(op, Py_REFCNT(op) == 0); |
| (*dealloc)(op); |
| } |
| tstate->c_recursion_remaining++; |
| } |
| |
| void _Py_NO_RETURN |
| _PyObject_AssertFailed(PyObject *obj, const char *expr, const char *msg, |
| const char *file, int line, const char *function) |
| { |
| fprintf(stderr, "%s:%d: ", file, line); |
| if (function) { |
| fprintf(stderr, "%s: ", function); |
| } |
| fflush(stderr); |
| |
| if (expr) { |
| fprintf(stderr, "Assertion \"%s\" failed", expr); |
| } |
| else { |
| fprintf(stderr, "Assertion failed"); |
| } |
| fflush(stderr); |
| |
| if (msg) { |
| fprintf(stderr, ": %s", msg); |
| } |
| fprintf(stderr, "\n"); |
| fflush(stderr); |
| |
| if (_PyObject_IsFreed(obj)) { |
| /* It seems like the object memory has been freed: |
| don't access it to prevent a segmentation fault. */ |
| fprintf(stderr, "<object at %p is freed>\n", obj); |
| fflush(stderr); |
| } |
| else { |
| /* Display the traceback where the object has been allocated. |
| Do it before dumping repr(obj), since repr() is more likely |
| to crash than dumping the traceback. */ |
| PyTypeObject *type = Py_TYPE(obj); |
| const size_t presize = _PyType_PreHeaderSize(type); |
| void *ptr = (void *)((char *)obj - presize); |
| _PyMem_DumpTraceback(fileno(stderr), ptr); |
| |
| /* This might succeed or fail, but we're about to abort, so at least |
| try to provide any extra info we can: */ |
| _PyObject_Dump(obj); |
| |
| fprintf(stderr, "\n"); |
| fflush(stderr); |
| } |
| |
| Py_FatalError("_PyObject_AssertFailed"); |
| } |
| |
| |
| void |
| _Py_Dealloc(PyObject *op) |
| { |
| PyTypeObject *type = Py_TYPE(op); |
| destructor dealloc = type->tp_dealloc; |
| #ifdef Py_DEBUG |
| PyThreadState *tstate = _PyThreadState_GET(); |
| PyObject *old_exc = tstate != NULL ? tstate->current_exception : NULL; |
| // Keep the old exception type alive to prevent undefined behavior |
| // on (tstate->curexc_type != old_exc_type) below |
| Py_XINCREF(old_exc); |
| // Make sure that type->tp_name remains valid |
| Py_INCREF(type); |
| #endif |
| |
| struct _reftracer_runtime_state *tracer = &_PyRuntime.ref_tracer; |
| if (tracer->tracer_func != NULL) { |
| void* data = tracer->tracer_data; |
| tracer->tracer_func(op, PyRefTracer_DESTROY, data); |
| } |
| |
| #ifdef Py_TRACE_REFS |
| _Py_ForgetReference(op); |
| #endif |
| (*dealloc)(op); |
| |
| #ifdef Py_DEBUG |
| // gh-89373: The tp_dealloc function must leave the current exception |
| // unchanged. |
| if (tstate != NULL && tstate->current_exception != old_exc) { |
| const char *err; |
| if (old_exc == NULL) { |
| err = "Deallocator of type '%s' raised an exception"; |
| } |
| else if (tstate->current_exception == NULL) { |
| err = "Deallocator of type '%s' cleared the current exception"; |
| } |
| else { |
| // It can happen if dealloc() normalized the current exception. |
| // A deallocator function must not change the current exception, |
| // not even normalize it. |
| err = "Deallocator of type '%s' overrode the current exception"; |
| } |
| _Py_FatalErrorFormat(__func__, err, type->tp_name); |
| } |
| Py_XDECREF(old_exc); |
| Py_DECREF(type); |
| #endif |
| } |
| |
| |
| PyObject ** |
| PyObject_GET_WEAKREFS_LISTPTR(PyObject *op) |
| { |
| return _PyObject_GET_WEAKREFS_LISTPTR(op); |
| } |
| |
| |
| #undef Py_NewRef |
| #undef Py_XNewRef |
| |
| // Export Py_NewRef() and Py_XNewRef() as regular functions for the stable ABI. |
| PyObject* |
| Py_NewRef(PyObject *obj) |
| { |
| return _Py_NewRef(obj); |
| } |
| |
| PyObject* |
| Py_XNewRef(PyObject *obj) |
| { |
| return _Py_XNewRef(obj); |
| } |
| |
| #undef Py_Is |
| #undef Py_IsNone |
| #undef Py_IsTrue |
| #undef Py_IsFalse |
| |
| // Export Py_Is(), Py_IsNone(), Py_IsTrue(), Py_IsFalse() as regular functions |
| // for the stable ABI. |
| int Py_Is(PyObject *x, PyObject *y) |
| { |
| return (x == y); |
| } |
| |
| int Py_IsNone(PyObject *x) |
| { |
| return Py_Is(x, Py_None); |
| } |
| |
| int Py_IsTrue(PyObject *x) |
| { |
| return Py_Is(x, Py_True); |
| } |
| |
| int Py_IsFalse(PyObject *x) |
| { |
| return Py_Is(x, Py_False); |
| } |
| |
| |
| // Py_SET_REFCNT() implementation for stable ABI |
| void |
| _Py_SetRefcnt(PyObject *ob, Py_ssize_t refcnt) |
| { |
| Py_SET_REFCNT(ob, refcnt); |
| } |
| |
| int PyRefTracer_SetTracer(PyRefTracer tracer, void *data) { |
| assert(PyGILState_Check()); |
| _PyRuntime.ref_tracer.tracer_func = tracer; |
| _PyRuntime.ref_tracer.tracer_data = data; |
| return 0; |
| } |
| |
| PyRefTracer PyRefTracer_GetTracer(void** data) { |
| assert(PyGILState_Check()); |
| if (data != NULL) { |
| *data = _PyRuntime.ref_tracer.tracer_data; |
| } |
| return _PyRuntime.ref_tracer.tracer_func; |
| } |
| |
| |
| |
| static PyObject* constants[] = { |
| &_Py_NoneStruct, // Py_CONSTANT_NONE |
| (PyObject*)(&_Py_FalseStruct), // Py_CONSTANT_FALSE |
| (PyObject*)(&_Py_TrueStruct), // Py_CONSTANT_TRUE |
| &_Py_EllipsisObject, // Py_CONSTANT_ELLIPSIS |
| &_Py_NotImplementedStruct, // Py_CONSTANT_NOT_IMPLEMENTED |
| NULL, // Py_CONSTANT_ZERO |
| NULL, // Py_CONSTANT_ONE |
| NULL, // Py_CONSTANT_EMPTY_STR |
| NULL, // Py_CONSTANT_EMPTY_BYTES |
| NULL, // Py_CONSTANT_EMPTY_TUPLE |
| }; |
| |
| void |
| _Py_GetConstant_Init(void) |
| { |
| constants[Py_CONSTANT_ZERO] = _PyLong_GetZero(); |
| constants[Py_CONSTANT_ONE] = _PyLong_GetOne(); |
| constants[Py_CONSTANT_EMPTY_STR] = PyUnicode_New(0, 0); |
| constants[Py_CONSTANT_EMPTY_BYTES] = PyBytes_FromStringAndSize(NULL, 0); |
| constants[Py_CONSTANT_EMPTY_TUPLE] = PyTuple_New(0); |
| #ifndef NDEBUG |
| for (size_t i=0; i < Py_ARRAY_LENGTH(constants); i++) { |
| assert(constants[i] != NULL); |
| assert(_Py_IsImmortal(constants[i])); |
| } |
| #endif |
| } |
| |
| PyObject* |
| Py_GetConstant(unsigned int constant_id) |
| { |
| if (constant_id < Py_ARRAY_LENGTH(constants)) { |
| return constants[constant_id]; |
| } |
| else { |
| PyErr_BadInternalCall(); |
| return NULL; |
| } |
| } |
| |
| |
| PyObject* |
| Py_GetConstantBorrowed(unsigned int constant_id) |
| { |
| // All constants are immortal |
| return Py_GetConstant(constant_id); |
| } |
| |
| |
| // Py_TYPE() implementation for the stable ABI |
| #undef Py_TYPE |
| PyTypeObject* |
| Py_TYPE(PyObject *ob) |
| { |
| return _Py_TYPE(ob); |
| } |
| |
| |
| // Py_REFCNT() implementation for the stable ABI |
| #undef Py_REFCNT |
| Py_ssize_t |
| Py_REFCNT(PyObject *ob) |
| { |
| return _Py_REFCNT(ob); |
| } |