Trace 0: Transitions: 'returning' region for gcc.ParmDecl('self') on stack: repr(): RegionOnStack("region for gcc.ParmDecl('self')") str(): region for gcc.ParmDecl('self') on stack r->ob_refcnt: refs: 5 owned, 1 borrowed r->ob_type: PointerToRegion(gcctype='struct PyTypeObject *', loc=gcc.Location(file='tests/cpychecker/refcounts/subclass/incorrect-subclass-ptr/input.c', line=42), region=Region("region-for-type-of-arg-gcc.ParmDecl('self')")) Exception: (struct PyObject *)0 from tests/cpychecker/refcounts/subclass/incorrect-subclass-ptr/input.c:43