mirror of
https://github.com/python/cpython.git
synced 2025-07-22 02:35:22 +00:00
89a39461bf
exposed in header files. Fixed a few comments in these headers. As we might have expected, writing down invariants systematically exposed a (minor) bug. In this case, function objects have a writeable func_code attribute, which could be set to code objects with the wrong number of free variables. Calling the resulting function segfaulted the interpreter. Added a corresponding test.
41 lines
1 KiB
C
41 lines
1 KiB
C
|
|
/* Set object interface */
|
|
|
|
#ifndef Py_SETOBJECT_H
|
|
#define Py_SETOBJECT_H
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
/*
|
|
This data structure is shared by set and frozenset objects.
|
|
*/
|
|
|
|
typedef struct {
|
|
PyObject_HEAD
|
|
PyObject *data;
|
|
long hash; /* only used by frozenset objects */
|
|
PyObject *weakreflist; /* List of weak references */
|
|
|
|
/* Invariants:
|
|
* data is a dictionary whose values are all True.
|
|
* data points to the same dict for the whole life of the set.
|
|
* For frozensets only:
|
|
* data is immutable.
|
|
* hash is the hash of the frozenset or -1 if not computed yet.
|
|
*/
|
|
} PySetObject;
|
|
|
|
PyAPI_DATA(PyTypeObject) PySet_Type;
|
|
PyAPI_DATA(PyTypeObject) PyFrozenSet_Type;
|
|
|
|
#define PyFrozenSet_CheckExact(ob) ((ob)->ob_type == &PyFrozenSet_Type)
|
|
#define PyAnySet_Check(ob) \
|
|
((ob)->ob_type == &PySet_Type || (ob)->ob_type == &PyFrozenSet_Type || \
|
|
PyType_IsSubtype((ob)->ob_type, &PySet_Type) || \
|
|
PyType_IsSubtype((ob)->ob_type, &PyFrozenSet_Type))
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
#endif /* !Py_SETOBJECT_H */
|