diff options
Diffstat (limited to 'compiler_and_linker/unsorted/CException.c')
| -rw-r--r-- | compiler_and_linker/unsorted/CException.c | 2183 |
1 files changed, 0 insertions, 2183 deletions
diff --git a/compiler_and_linker/unsorted/CException.c b/compiler_and_linker/unsorted/CException.c deleted file mode 100644 index d68ce13..0000000 --- a/compiler_and_linker/unsorted/CException.c +++ /dev/null @@ -1,2183 +0,0 @@ -#include "compiler/CException.h" -#include "compiler/CABI.h" -#include "compiler/CClass.h" -#include "compiler/CDecl.h" -#include "compiler/CError.h" -#include "compiler/CExpr.h" -#include "compiler/CFunc.h" -#include "compiler/CInline.h" -#include "compiler/CInit.h" -#include "compiler/CMachine.h" -#include "compiler/CMangler.h" -#include "compiler/CParser.h" -#include "compiler/CPrep.h" -#include "compiler/CPrepTokenizer.h" -#include "compiler/CScope.h" -#include "compiler/CompilerTools.h" -#include "compiler/Exceptions.h" -#include "compiler/objects.h" -#include "compiler/scopes.h" -#include "compiler/types.h" - -typedef struct UniqueObj { - struct UniqueObj *next; - Object *object; - SInt32 uniqueid; -} UniqueObj; - -ExceptionAction *cexcept_dobjstack; -Boolean cexcept_hasdobjects; -Boolean cexcept_magic; -static UniqueObj *cexcept_uniqueobjs; -static Boolean cexcept_canthrow; -static DtorTemp *cexcept_dtortemps; -static Statement *cexcept_prevstmt; -static ExceptionAction *cexcept_eabefore; -static ExceptionAction *cexcept_eaafter; -static Boolean cexcept_expandtrycatch; -static Boolean cexcept_hastrycatch; -static Boolean cexcept_serialize; - -// forward decls -static ENode *CExcept_TempTransExprCond(ENode *expr); -static ENode *CExcept_TempTransExpr(ENode *expr); - -void CExcept_Setup(void) { - cexcept_dobjstack = NULL; - cexcept_uniqueobjs = NULL; - cexcept_hasdobjects = 0; - cexcept_magic = 0; -} - -Boolean CExcept_CanThrowException(Object *object, Boolean flag) { - if (copts.optEH && IS_TYPE_FUNC(object->type)) { - if (flag) - return 1; - - if (TYPE_FUNC(object->type)->flags & FUNC_NOTHROW) - return 0; - - if ( - !flag && - TYPE_FUNC(object->type)->exspecs && - TYPE_FUNC(object->type)->exspecs && - !TYPE_FUNC(object->type)->exspecs->type - ) - return 0; - - if ( - copts.optEH2 && - !(object->qual & Q_MANGLE_NAME) && - object != rt_ptmf_call && - object != rt_ptmf_scall && - object != Rdync_func && - object != rt_som_glue1 && - object != rt_som_glue2 && - object != rt_som_glue3 && - object != carr_func && - object != cnar_func && - object != darr_func && - object != dnar_func && - object != dnar3_func && - object != Xthrw_func - ) - return 0; - } - - return 1; -} - -void CExcept_CheckStackRefs(ExceptionAction *actions) { - while (actions) { - switch (actions->type) { - case EAT_DESTROYLOCAL: - CInline_ObjectAddrRef(actions->data.destroy_local.dtor); - break; - case EAT_DESTROYLOCALCOND: - CInline_ObjectAddrRef(actions->data.destroy_local_cond.dtor); - break; - case EAT_DESTROYLOCALOFFSET: - CInline_ObjectAddrRef(actions->data.destroy_local_offset.dtor); - break; - case EAT_DESTROYLOCALPOINTER: - CInline_ObjectAddrRef(actions->data.destroy_local_pointer.dtor); - break; - case EAT_DESTROYLOCALARRAY: - CInline_ObjectAddrRef(actions->data.destroy_local_array.dtor); - break; - case EAT_DESTROYPARTIALARRAY: - CInline_ObjectAddrRef(actions->data.destroy_partial_array.dtor); - break; - case EAT_DESTROYMEMBER: - case EAT_DESTROYBASE: - CInline_ObjectAddrRef(actions->data.destroy_member.dtor); - break; - case EAT_DESTROYMEMBERCOND: - CInline_ObjectAddrRef(actions->data.destroy_member_cond.dtor); - break; - case EAT_DESTROYMEMBERARRAY: - CInline_ObjectAddrRef(actions->data.destroy_member_array.dtor); - break; - case EAT_DELETEPOINTER: - case EAT_DELETELOCALPOINTER: - CInline_ObjectAddrRef(actions->data.delete_pointer.deletefunc); - break; - case EAT_DELETEPOINTERCOND: - CInline_ObjectAddrRef(actions->data.delete_pointer_cond.deletefunc); - break; - case EAT_CATCHBLOCK: - case EAT_ACTIVECATCHBLOCK: - case EAT_SPECIFICATION: - case EAT_TERMINATE: - break; - default: - CError_FATAL(192); - } - actions = actions->prev; - } -} - -void CExcept_CompareSpecifications(ExceptSpecList *a, ExceptSpecList *b) { - ExceptSpecList *aa; - ExceptSpecList *bb; - - aa = a; - bb = b; - while (1) { - if (!aa) { - if (!bb) - break; - CError_Error(CErrorStr265); - return; - } - - if (!bb) { - CError_Error(CErrorStr265); - return; - } - - aa = aa->next; - bb = bb->next; - } - - if (a->type == NULL) { - if (b->type != NULL) - CError_Error(CErrorStr265); - } else if (b->type == NULL) { - CError_Error(CErrorStr265); - } else { - for (aa = a; aa; aa = aa->next) { - for (bb = b; bb; bb = bb->next) { - if (is_typesame(aa->type, bb->type) && aa->qual == bb->qual) - break; - } - - if (bb == NULL) { - CError_Error(CErrorStr265); - return; - } - } - } -} - -Boolean CExcept_ActionCompare(ExceptionAction *a, ExceptionAction *b) { - if (a->type == b->type) { - switch (a->type) { - case EAT_DESTROYLOCAL: - return a->data.destroy_local.local == b->data.destroy_local.local; - case EAT_DESTROYLOCALCOND: - return a->data.destroy_local_cond.local == b->data.destroy_local_cond.local; - case EAT_DESTROYLOCALOFFSET: - return a->data.destroy_local_offset.local == b->data.destroy_local_offset.local && - a->data.destroy_local_offset.offset == b->data.destroy_local_offset.offset; - case EAT_DESTROYLOCALPOINTER: - return a->data.destroy_local_pointer.pointer == b->data.destroy_local_pointer.pointer; - case EAT_DESTROYLOCALARRAY: - return a->data.destroy_local_array.localarray == b->data.destroy_local_array.localarray; - case EAT_DESTROYPARTIALARRAY: - return a->data.destroy_partial_array.arraypointer == b->data.destroy_partial_array.arraypointer; - case EAT_DESTROYMEMBER: - case EAT_DESTROYBASE: - return a->data.destroy_member.objectptr == b->data.destroy_member.objectptr && - a->data.destroy_member.offset == b->data.destroy_member.offset; - case EAT_DESTROYMEMBERCOND: - return a->data.destroy_member_cond.objectptr == b->data.destroy_member_cond.objectptr && - a->data.destroy_member_cond.offset == b->data.destroy_member_cond.offset; - case EAT_DESTROYMEMBERARRAY: - return a->data.destroy_member_array.objectptr == b->data.destroy_member_array.objectptr && - a->data.destroy_member_array.offset == b->data.destroy_member_array.offset; - case EAT_DELETEPOINTER: - case EAT_DELETELOCALPOINTER: - return a->data.delete_pointer.pointerobject == b->data.delete_pointer.pointerobject && - a->data.delete_pointer.deletefunc == b->data.delete_pointer.deletefunc; - case EAT_DELETEPOINTERCOND: - return a->data.delete_pointer_cond.cond == b->data.delete_pointer_cond.cond; - case EAT_CATCHBLOCK: - return a->data.catch_block.catch_label == b->data.catch_block.catch_label; - case EAT_ACTIVECATCHBLOCK: - return a->data.active_catch_block.catch_info_object == b->data.active_catch_block.catch_info_object; - case EAT_TERMINATE: - return 1; - case EAT_SPECIFICATION: - return a->data.specification.unexp_id == b->data.specification.unexp_id; - default: - CError_FATAL(314); - } - } - - return 0; -} - -int CExcept_IsSubList(ExceptionAction *a, ExceptionAction *b) { - int diff; - int i; - int count1; - int count2; - ExceptionAction *scan; - - if (a == b) - return 0; - - count1 = 0; - scan = a; - while (scan) { - scan = scan->prev; - count1++; - } - - scan = b; - count2 = 0; - while (scan) { - scan = scan->prev; - count2++; - } - - diff = count2 - count1; - if (diff < 0) - return -1; - - for (i = 0; i < diff; i++) - b = b->prev; - - while (a != b) { - if (!a || !b || !CExcept_ActionCompare(a, b)) - return -1; - a = a->prev; - b = b->prev; - } - - return diff; -} - -Boolean CExcept_ActionNeedsDestruction(ExceptionAction *action) { - switch (action->type) { - case EAT_CATCHBLOCK: - return 0; - case EAT_DESTROYLOCAL: - case EAT_DESTROYLOCALOFFSET: - case EAT_DESTROYLOCALARRAY: - case EAT_DELETELOCALPOINTER: - case EAT_ACTIVECATCHBLOCK: - return 1; - case EAT_NOP: - case EAT_DESTROYMEMBER: - case EAT_DESTROYMEMBERCOND: - case EAT_DESTROYMEMBERARRAY: - case EAT_DESTROYBASE: - break; - default: - CError_FATAL(363); - } - - return 0; -} - -ENode *CExcept_RegisterDestructorObject(Object *local, SInt32 offset, Object *dtor, Boolean flag) { - ExceptionAction *action; - ENode *expr; - Object *dtorObject; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - action->prev = cexcept_dobjstack; - cexcept_dobjstack = action; - - expr = create_objectrefnode(local); - dtorObject = CABI_GetDestructorObject(dtor, CABIDestroy1); - - if (offset == 0) { - action->type = EAT_DESTROYLOCAL; - action->data.destroy_local.local = local; - action->data.destroy_local.dtor = dtorObject; - } else { - action->type = EAT_DESTROYLOCALOFFSET; - action->data.destroy_local_offset.local = local; - action->data.destroy_local_offset.dtor = dtorObject; - action->data.destroy_local_offset.offset = offset; - expr = makediadicnode(expr, intconstnode(TYPE(&stunsignedlong), offset), EADD); - } - - cexcept_hasdobjects = 1; - return expr; -} - -void CExcept_RegisterLocalArray(Statement *stmt, Object *localarray, Object *dtor, SInt32 elements, SInt32 element_size) { - ExceptionAction *action; - Object *dtorObject; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - action->prev = cexcept_dobjstack; - cexcept_dobjstack = action; - - dtorObject = CABI_GetDestructorObject(dtor, CABIDestroy1); - - action->type = EAT_DESTROYLOCALARRAY; - action->data.destroy_local_array.localarray = localarray; - action->data.destroy_local_array.dtor = dtorObject; - action->data.destroy_local_array.elements = elements; - action->data.destroy_local_array.element_size = element_size; - - cexcept_hasdobjects = 1; -} - -void CExcept_RegisterDeleteObject(Statement *stmt, Object *pointerobject, Object *deletefunc) { - ExceptionAction *action; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - action->prev = cexcept_dobjstack; - cexcept_dobjstack = action; - - action->type = EAT_DELETELOCALPOINTER; - action->data.delete_pointer.pointerobject = pointerobject; - action->data.delete_pointer.deletefunc = deletefunc; - - cexcept_hasdobjects = 1; -} - -static void CExcept_PatchConstructorAction(Statement *stmt, ExceptionAction *actionArg) { - ExceptionAction *action30; - ExceptionAction *action; - ExceptionAction *scan; - - for (action = stmt->dobjstack; action; action = action->prev) { - switch (action->type) { - case EAT_DESTROYMEMBER: - case EAT_DESTROYMEMBERCOND: - case EAT_DESTROYMEMBERARRAY: - case EAT_SPECIFICATION: - case EAT_DESTROYBASE: - goto exitFirstLoop; - case EAT_CATCHBLOCK: - action30 = action; - while (1) { - if (!action30->prev) - goto exitFirstLoop; - action30 = action30->prev; - if (action30->type != EAT_CATCHBLOCK) { - CError_FATAL(481); - } - } - } - } - exitFirstLoop: - if (action == NULL) { - while (stmt) { - if ((scan = stmt->dobjstack)) { - while (1) { - if (scan == actionArg) - break; - if (scan->prev == NULL) { - scan->prev = actionArg; - break; - } - scan = scan->prev; - } - } else { - stmt->dobjstack = actionArg; - } - stmt = stmt->next; - } - } else { - actionArg->prev = action; - while (stmt) { - if (stmt->dobjstack != action) { - scan = stmt->dobjstack; - do { - if (scan == actionArg) - goto nextStmt; - if (scan->prev == action) { - scan->prev = actionArg; - goto nextStmt; - } - } while ((scan = scan->prev)); - - while (1) { - if (action->type == EAT_CATCHBLOCK && action->prev == NULL) - return; - - action = action->prev; - if (!action) - CError_FATAL(531); - } - } else { - stmt->dobjstack = actionArg; - } - nextStmt: - stmt = stmt->next; - } - } -} - -void CExcept_Terminate(void) { - ExceptionAction *action; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - action->type = EAT_TERMINATE; - - action->prev = cexcept_dobjstack; - cexcept_dobjstack = action; -} - -void CExcept_Magic(void) { - cexcept_magic = 1; -} - -static Object *CExcept_FindLocalObject(char *name) { - NameResult result; - NameSpaceObjectList *list; - - list = CScope_FindObjectList(&result, GetHashNameNodeExport(name)); - if (list && list->object->otype == OT_OBJECT && OBJECT(list->object)->datatype == DLOCAL) - return OBJECT(list->object); - - CError_FATAL(580); - return NULL; -} - -void CExcept_ArrayInit(void) { - ExceptionAction *action; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - action->type = EAT_DESTROYPARTIALARRAY; - action->data.destroy_partial_array.arraypointer = CExcept_FindLocalObject("ptr"); - action->data.destroy_partial_array.arraycounter = CExcept_FindLocalObject("i"); - action->data.destroy_partial_array.dtor = CExcept_FindLocalObject("dtor"); - action->data.destroy_partial_array.element_size = CExcept_FindLocalObject("size"); - - action->prev = cexcept_dobjstack; - cexcept_dobjstack = action; -} - -void CExcept_RegisterMember(Statement *stmt, Object *objectptr, SInt32 offset, Object *dtor, Object *cond, Boolean isMember) { - ExceptionAction *action; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - if (cond == NULL) { - if (isMember) { - action->type = EAT_DESTROYMEMBER; - action->data.destroy_member.dtor = CABI_GetDestructorObject(dtor, CABIDestroy1); - } else { - action->type = EAT_DESTROYBASE; - action->data.destroy_member.dtor = CABI_GetDestructorObject(dtor, CABIDestroy0); - } - action->data.destroy_member.objectptr = objectptr; - action->data.destroy_member.offset = offset; - } else { - CError_ASSERT(632, cond->type == TYPE(&stsignedshort)); - action->type = EAT_DESTROYMEMBERCOND; - action->data.destroy_member_cond.objectptr = objectptr; - action->data.destroy_member_cond.cond = cond; - action->data.destroy_member_cond.dtor = CABI_GetDestructorObject(dtor, CABIDestroy1); - action->data.destroy_member_cond.offset = offset; - } - - CExcept_PatchConstructorAction(stmt, action); - stmt->flags |= StmtFlag_2; -} - -void CExcept_RegisterMemberArray(Statement *stmt, Object *objectptr, SInt32 offset, Object *dtor, SInt32 elements, SInt32 element_size) { - ExceptionAction *action; - - action = lalloc(sizeof(ExceptionAction)); - memclrw(action, sizeof(ExceptionAction)); - - action->type = EAT_DESTROYMEMBERARRAY; - action->data.destroy_member_array.objectptr = objectptr; - action->data.destroy_member_array.dtor = CABI_GetDestructorObject(dtor, CABIDestroy1); - action->data.destroy_member_array.offset = offset; - action->data.destroy_member_array.elements = elements; - action->data.destroy_member_array.element_size = element_size; - - CExcept_PatchConstructorAction(stmt, action); - stmt->flags |= StmtFlag_2; -} - -static Statement *CExcept_DestroyLocal(ExceptionAction *ea, Statement *stmt, Object *object, Object *dtor, SInt32 offset) { - ENode *expr; - - expr = create_objectrefnode(object); - if (offset) - expr = makediadicnode(expr, intconstnode(TYPE(&stunsignedlong), offset), EADD); - - expr = CABI_DestroyObject(dtor, expr, CABIDestroy1, 1, 0); - - CError_ASSERT(687, expr->type == EFUNCCALL && expr->data.funccall.funcref->type == EOBJREF); - if (expr->data.funccall.funcref->data.objref->datatype == DVFUNC) - expr->data.funccall.funcref->flags |= ENODE_FLAG_80; - - stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - stmt->expr = expr; - stmt->dobjstack = ea->prev; - return stmt; -} - -static Statement *CExcept_DestroyLocalPointer(ExceptionAction *ea, Statement *stmt, Object *object, Object *deletefunc) { - Statement *newStmt; - - newStmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - newStmt->expr = funccallexpr(deletefunc, create_objectnode2(object), NULL, NULL, NULL); - newStmt->dobjstack = ea->prev; - return newStmt; -} - -static Statement *CExcept_DestroyLocalArray(ExceptionAction *ea, Statement *stmt, Object *object, Object *dtor, SInt32 elements, SInt32 element_size) { - Statement *newStmt; - ENode *dtorExpr; - - newStmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - - if (dtor) - dtorExpr = create_objectrefnode(CABI_GetDestructorObject(dtor, CABIDestroy1)); - else - dtorExpr = nullnode(); - - newStmt->expr = funccallexpr( - darr_func, - create_objectrefnode(object), - dtorExpr, - intconstnode(TYPE(&stunsignedlong), element_size), - intconstnode(TYPE(&stunsignedlong), elements) - ); - - newStmt->dobjstack = ea->prev; - return newStmt; -} - -static Statement *CExcept_EndCatch(ExceptionAction *ea, Statement *stmt) { - stmt = CFunc_InsertStatement(ST_ENDCATCHDTOR, stmt); - stmt->expr = create_objectrefnode(ea->data.active_catch_block.catch_info_object); - stmt->dobjstack = ea->prev; - if (!ea->data.active_catch_block.call_dtor) - stmt->type = ST_ENDCATCH; - return stmt; -} - -Statement *CExcept_ActionCleanup(ExceptionAction *ea, Statement *stmt) { - switch (ea->type) { - case EAT_DESTROYLOCALCOND: - case EAT_DESTROYLOCALPOINTER: - case EAT_DESTROYPARTIALARRAY: - case EAT_DESTROYMEMBER: - case EAT_DESTROYMEMBERCOND: - case EAT_DESTROYMEMBERARRAY: - case EAT_DELETEPOINTER: - case EAT_DELETEPOINTERCOND: - case EAT_CATCHBLOCK: - case EAT_SPECIFICATION: - case EAT_TERMINATE: - case EAT_DESTROYBASE: - break; - case EAT_DESTROYLOCAL: - stmt = CExcept_DestroyLocal( - ea, stmt, - ea->data.destroy_local.local, - ea->data.destroy_local.dtor, - 0); - break; - case EAT_DESTROYLOCALOFFSET: - stmt = CExcept_DestroyLocal( - ea, stmt, - ea->data.destroy_local.local, - ea->data.destroy_local.dtor, - ea->data.destroy_local_offset.offset); - break; - case EAT_DELETELOCALPOINTER: - stmt = CExcept_DestroyLocalPointer( - ea, stmt, - ea->data.delete_pointer.pointerobject, - ea->data.delete_pointer.deletefunc); - break; - case EAT_DESTROYLOCALARRAY: - stmt = CExcept_DestroyLocalArray( - ea, stmt, - ea->data.destroy_local_array.localarray, - ea->data.destroy_local_array.dtor, - ea->data.destroy_local_array.elements, - ea->data.destroy_local_array.element_size); - break; - case EAT_ACTIVECATCHBLOCK: - stmt = CExcept_EndCatch(ea, stmt); - break; - default: - CError_FATAL(827); - } - - return stmt; -} - -static void CExcept_MangleNameSpaceName(NameSpace *nspace) { - while (nspace) { - if (nspace->name) { - CExcept_MangleNameSpaceName(nspace->parent); - AppendGListName(&name_mangle_list, nspace->name->name); - AppendGListName(&name_mangle_list, "::"); - break; - } - nspace = nspace->parent; - } -} - -static void CExcept_MangleClassName(TypeClass *tclass) { - NameSpace *nspace; - char buf[64]; - - CExcept_MangleNameSpaceName(tclass->nspace->parent); - AppendGListName(&name_mangle_list, tclass->classname->name); - - for (nspace = tclass->nspace->parent; nspace; nspace = nspace->parent) { - if (!nspace->is_global && !nspace->is_templ && !nspace->name) { - CError_ASSERT(868, cscope_currentfunc != NULL); - - sprintf(buf, "*%" PRIxPTR "*%" PRIxPTR "*", &cscope_currentfunc, &nspace); - AppendGListName(&name_mangle_list, buf); - break; - } - } -} - -typedef struct BCL { - struct BCL *next; - TypeClass *tclass; - SInt32 offset; - Boolean is_virtual; - Boolean is_public; - Boolean is_ambig; -} BCL; - -static void CExcept_MakeBaseClassListAmbig(BCL *bcl, TypeClass *tclass) { - BCL *scan; - ClassList *list; - - for (scan = bcl; scan; scan = scan->next) { - if (scan->tclass == tclass) - scan->is_ambig = 1; - } - - for (list = tclass->bases; list; list = list->next) - CExcept_MakeBaseClassListAmbig(bcl, list->base); -} - -static BCL *CExcept_GetBaseClassList(BCL *bcl, TypeClass *tclass1, TypeClass *tclass2, SInt32 offset, Boolean is_virtual, Boolean is_public) { - BCL *node; - ClassList *base; - Boolean new_is_public; - - for (node = bcl; node; node = node->next) { - if (node->tclass == tclass2) { - if (is_virtual && node->is_virtual) { - if (is_public) - node->is_public = 1; - } else { - CExcept_MakeBaseClassListAmbig(bcl, tclass2); - } - return bcl; - } - } - - node = lalloc(sizeof(BCL)); - node->tclass = tclass2; - node->offset = offset; - node->is_virtual = is_virtual; - node->is_public = is_public; - node->is_ambig = 0; - node->next = bcl; - bcl = node; - - for (base = tclass2->bases; base; base = base->next) { - new_is_public = is_public && (base->access == ACCESSPUBLIC); - bcl = base->is_virtual - ? CExcept_GetBaseClassList(bcl, tclass1, base->base, CClass_VirtualBaseOffset(tclass1, base->base), 1, new_is_public) - : CExcept_GetBaseClassList(bcl, tclass1, base->base, offset + base->offset, 0, new_is_public); - } - - return bcl; -} - -static void CExcept_MangleClass(TypeClass *tclass) { - BCL *bcl; - char buf[20]; - - for (bcl = CExcept_GetBaseClassList(NULL, tclass, tclass, 0, 0, 1); bcl; bcl = bcl->next) { - if (bcl->is_public && !bcl->is_ambig) { - CExcept_MangleClassName(bcl->tclass); - AppendGListByte(&name_mangle_list, '!'); - - if (bcl->offset) { - sprintf(buf, "%" PRId32 "!", bcl->offset); - AppendGListName(&name_mangle_list, buf); - } else { - AppendGListByte(&name_mangle_list, '!'); - } - } - } -} - -static ENode *CExcept_GetTypeID(Type *type, UInt32 qual, Boolean flag) { - ENode *expr; - TypePointer my_tptr; - - if (IS_TYPE_REFERENCE(type)) - type = TPTR_TARGET(type); - - if (IS_TYPE_CLASS(type) || (IS_TYPE_POINTER_ONLY(type) && IS_TYPE_CLASS(TPTR_TARGET(type)))) { - name_mangle_list.size = 0; - if (IS_TYPE_POINTER_ONLY(type)) { - AppendGListByte(&name_mangle_list, '*'); - type = TPTR_TARGET(type); - } else { - AppendGListByte(&name_mangle_list, '!'); - } - - if (flag) { - CExcept_MangleClass(TYPE_CLASS(type)); - } else { - CExcept_MangleClassName(TYPE_CLASS(type)); - AppendGListByte(&name_mangle_list, '!'); - } - } else { - if (IS_TYPE_POINTER_ONLY(type)) { - if (TPTR_QUAL(type) & (Q_CONST | Q_VOLATILE)) { - my_tptr = *TYPE_POINTER(type); - my_tptr.qual = 0; - type = TYPE(&my_tptr); - } - } else { - qual = 0; - } - CMangler_MangleType(type, qual); - } - - AppendGListByte(&name_mangle_list, 0); - - expr = CExpr_NewENode(ESTRINGCONST); - expr->rtype = CDecl_NewPointerType(TYPE(&stchar)); - expr->data.string.size = name_mangle_list.size; - expr->data.string.data = galloc(name_mangle_list.size); - memcpy(expr->data.string.data, *name_mangle_list.data, name_mangle_list.size); - return expr; -} - -static Object *CExcept_TypeID(Type *type, UInt32 qual) { - ENode *expr = CExcept_GetTypeID(type, qual, 0); - CError_ASSERT(1086, expr->type == ESTRINGCONST); - return CInit_DeclareString(expr->data.string.data, expr->data.string.size, 0, 0); -} - -void CExcept_ScanExceptionSpecification(TypeFunc *tfunc) { - ExceptSpecList *exspecs; - ExceptSpecList *exspec; - DeclInfo di; - - exspecs = NULL; - - if (lex() != '(') { - CError_Error(CErrorStr114); - return; - } - - if ((tk = lex()) != ')') { - while (1) { - memclrw(&di, sizeof(di)); - CParser_GetDeclSpecs(&di, 0); - if (di.storageclass) - CError_Error(CErrorStr177); - - CError_QualifierCheck(di.qual & ~(Q_CONST | Q_VOLATILE | Q_PASCAL | Q_ALIGNED_MASK)); - - scandeclarator(&di); - if (di.name) - CError_Error(CErrorStr146); - - if (IS_TYPE_POINTER_ONLY(di.thetype)) { - if (TPTR_QUAL(di.thetype) & (Q_CONST | Q_VOLATILE)) { - TypePointer *newtype = galloc(sizeof(TypePointer)); - *newtype = *TYPE_POINTER(di.thetype); - newtype->qual = 0; - di.thetype = TYPE(newtype); - } - } else { - di.qual = 0; - } - - for (exspec = exspecs; exspec; exspec = exspec->next) { - if (is_typesame(exspec->type, di.thetype) && exspec->qual == di.qual) - break; - } - - if (!exspec) { - exspec = galloc(sizeof(ExceptSpecList)); - memclrw(exspec, sizeof(ExceptSpecList)); - exspec->next = exspecs; - exspec->type = di.thetype; - exspec->qual = di.qual; - exspecs = exspec; - } - - if (tk == ')') - break; - - if (tk != ',') { - CError_Error(CErrorStr115); - break; - } - - tk = lex(); - } - } - - if (!exspecs) { - exspecs = galloc(sizeof(ExceptSpecList)); - memclrw(exspecs, sizeof(ExceptSpecList)); - } - tfunc->exspecs = exspecs; - tk = lex(); -} - -static ENode *CExcept_CallCopyCtor(Object *object, Type *type, ENode *expr1, ENode *expr2) { - ENodeList *list; - ENode *expr; - FuncArg *arg; - - if ( - !IS_TYPE_FUNC(object->type) || - !(arg = TYPE_FUNC(object->type)->args) || - !(arg = arg->next) - ) - CError_FATAL(1169); - - expr = funccallexpr(object, expr1, NULL, NULL, NULL); - list = expr->data.funccall.args; - - if (TYPE_CLASS(type)->flags & CLASS_HAS_VBASES) { - CError_ASSERT(1179, arg = arg->next); - list->next = lalloc(sizeof(ENodeList)); - list = list->next; - list->next = NULL; - list->node = intconstnode(TYPE(&stsignedshort), 1); - } - - list->next = lalloc(sizeof(ENodeList)); - list = list->next; - list->next = NULL; - list->node = expr2; - - while ((arg = arg->next)) { - CError_ASSERT(1195, arg->dexpr); - - list->next = lalloc(sizeof(ENodeList)); - list = list->next; - list->next = NULL; - list->node = CExpr_GetDefaultArgument(expr->data.funccall.funcref, arg); - } - - return expr; -} - -ENode *CExcept_ScanThrowExpression(void) { - ENode *expr; - Object *func; - ENode *resultExpr; - Object *obj; - ENode *thrownExpr; - ENode *tempExpr; - - if (!copts.exceptions) - CError_Error(CErrorStr252); - - switch ((tk = lex())) { - case ')': - case ',': - case ':': - case ';': - expr = funccallexpr(Xthrw_func, nullnode(), nullnode(), nullnode(), NULL); - break; - default: - thrownExpr = pointer_generation(assignment_expression()); - obj = create_temp_object(thrownExpr->rtype); - if (!IS_TYPE_CLASS(thrownExpr->rtype) || !(resultExpr = CExpr_IsTempConstruction(thrownExpr, thrownExpr->rtype, &expr))) { - tempExpr = create_objectrefnode(obj); - if (IS_TYPE_CLASS(thrownExpr->rtype) && (func = CClass_CopyConstructor(TYPE_CLASS(thrownExpr->rtype)))) { - resultExpr = CExcept_CallCopyCtor(func, thrownExpr->rtype, tempExpr, getnodeaddress(thrownExpr, 0)); - } else { - if (thrownExpr->rtype->size == 0) - CError_Error(CErrorStr146); - - tempExpr = makemonadicnode(tempExpr, EINDIRECT); - tempExpr->rtype = thrownExpr->rtype; - resultExpr = makediadicnode(tempExpr, thrownExpr, EASS); - resultExpr = makediadicnode(resultExpr, create_objectrefnode(obj), ECOMMA); - resultExpr->rtype = TYPE(&void_ptr); - } - } else { - *expr = *create_objectrefnode(obj); - } - - expr = CExcept_GetTypeID(thrownExpr->rtype, ENODE_QUALS(thrownExpr), 1); - if (IS_TYPE_CLASS(thrownExpr->rtype) && (func = CClass_Destructor(TYPE_CLASS(thrownExpr->rtype)))) { - expr = funccallexpr( - Xthrw_func, - expr, - resultExpr, - create_objectrefnode(CABI_GetDestructorObject(func, CABIDestroy1)), - NULL); - } else { - expr = funccallexpr( - Xthrw_func, - expr, - resultExpr, - nullnode(), - NULL); - } - } - - expr->flags |= ENODE_FLAG_VOLATILE; - return expr; -} - -static Boolean CExcept_MightNeedDtor(Type *type) { - if (type) { - if (IS_TYPE_CLASS(type)) { - if (!CClass_Destructor(TYPE_CLASS(type))) - return 0; - } else if (IS_TYPE_POINTER_ONLY(type)) { - if (!(TPTR_QUAL(type) & Q_REFERENCE) || !IS_TYPE_CLASS(TPTR_TARGET(type))) - return 0; - } else { - return 0; - } - } - - return 1; -} - -typedef struct CatchBlock { - struct CatchBlock *next; - Object *catch_object; - Object *catch_info_object; - Statement *stmt; - Statement *anotherStmt; - Type *type; - UInt32 qual; -} CatchBlock; - -static void CExcept_PatchDObjStack(Statement *beginCatchStmt, Statement *tryEndStmt, Statement *endStmt, CatchBlock *catchBlock) { - ExceptionAction *ea; - ExceptionAction *stackHead; - ExceptionAction *stackTail; - ExceptionAction *firstEA; - Statement *stmt; - Object *catch_info_object; - Boolean call_dtor; - - catch_info_object = catchBlock->catch_info_object; - call_dtor = 0; - stackHead = stackTail = beginCatchStmt->dobjstack; - firstEA = NULL; - - while (catchBlock) { - ea = lalloc(sizeof(ExceptionAction)); - memclrw(ea, sizeof(ExceptionAction)); - - ea->prev = stackTail; - stackTail = ea; - - if (!firstEA) - firstEA = ea; - - ea->type = EAT_CATCHBLOCK; - ea->data.catch_block.catch_object = catchBlock->catch_object; - ea->data.catch_block.catch_label = catchBlock->stmt->label; - if (catchBlock->type) - ea->data.catch_block.catch_typeid = CExcept_TypeID(catchBlock->type, catchBlock->qual); - ea->data.catch_block.catch_info_object = catch_info_object; - - if (!call_dtor && CExcept_MightNeedDtor(catchBlock->type)) - call_dtor = 1; - - ea->data.catch_block.catch_type = catchBlock->type; - ea->data.catch_block.catch_qual = catchBlock->qual; - catchBlock = catchBlock->next; - } - - stmt = beginCatchStmt; - while (1) { - if ((ea = stmt->dobjstack) != stackHead) { - while (1) { - CError_ASSERT(1404, ea); - if (ea->prev == stackTail) - break; - if (ea->prev == stackHead) { - ea->prev = stackTail; - break; - } - ea = ea->prev; - } - } else { - stmt->dobjstack = stackTail; - } - - if (stmt == endStmt) - break; - - if (stmt == tryEndStmt) { - ea = lalloc(sizeof(ExceptionAction)); - memclrw(ea, sizeof(ExceptionAction)); - ea->prev = stackHead; - ea->type = EAT_ACTIVECATCHBLOCK; - ea->data.active_catch_block.catch_info_object = catch_info_object; - ea->data.active_catch_block.call_dtor = call_dtor; - stackTail = ea; - } - - stmt = stmt->next; - CError_ASSERT(1426, stmt); - } - - cexcept_hasdobjects = 1; -} - -static void CExcept_CheckTryObjects(ENode *expr) { - if (expr->data.objref->datatype == DLOCAL && expr->data.objref->u.var.info) - expr->data.objref->u.var.info->noregister = 1; -} - -static ENode *CExcept_CatchExpressionInit(DeclInfo *di, CatchBlock *catchBlock) { - Object *catch_object; - Object *copyCtor; - Object *dtor; - ENode *expr; - - if (CScope_FindName(cscope_current, di->name)) - CError_Error(CErrorStr122, di->name->name); - - catch_object = CParser_NewLocalDataObject(di, 1); - CFunc_SetupLocalVarInfo(catch_object); - CScope_AddObject(cscope_current, di->name, OBJ_BASE(catch_object)); - catchBlock->catch_object = catch_object; - - expr = makediadicnode( - create_objectrefnode(catchBlock->catch_info_object), - intconstnode(TYPE(&stunsignedlong), 12), - EADD); - expr->rtype = CDecl_NewPointerType(CDecl_NewPointerType(di->thetype)); - - expr = makemonadicnode(expr, EINDIRECT); - expr->rtype = CDecl_NewPointerType(di->thetype); - - if (IS_TYPE_REFERENCE(di->thetype)) - return makediadicnode(create_objectnode2(catch_object), expr, EASS); - - if (IS_TYPE_CLASS(di->thetype) && (copyCtor = CClass_CopyConstructor(TYPE_CLASS(di->thetype)))) { - dtor = CClass_Destructor(TYPE_CLASS(di->thetype)); - return CExcept_CallCopyCtor( - copyCtor, - di->thetype, - (dtor == NULL) ? create_objectrefnode(catch_object) : CExcept_RegisterDestructorObject(catch_object, 0, dtor, 0), - expr); - } - - expr = makemonadicnode(expr, EINDIRECT); - expr->rtype = di->thetype; - return makediadicnode(create_objectnode(catch_object), expr, EASS); -} - -void CExcept_ScanTryBlock(DeclThing *dt, Boolean flag) { - Object *catch_info_object; // r27 - Statement *beginCatchStmt; // r14 - Statement *tryEndStmt; // r16 - Statement *endStmt; // r17 - Statement *stmt; // r14 - CLabel *catchEndLabel; // r19 - CLabel *endLabel; // r24 - CatchBlock *catchStack; // r23 - CatchBlock *catchBlock; // r22 - DeclBlock *declBlock; // r20 - DeclInfo di; - - if (!copts.exceptions) - CError_Error(CErrorStr252); - - catch_info_object = create_temp_object(TYPE(&catchinfostruct)); - if (cexcept_magic) { - catch_info_object->name = GetHashNameNodeExport("__exception_magic"); - CScope_AddObject(cscope_current, catch_info_object->name, OBJ_BASE(catch_info_object)); - } - - stmt = CFunc_AppendStatement(ST_LABEL); - stmt->flags = StmtFlag_1; - stmt->label = newlabel(); - stmt->label->stmt = stmt; - - beginCatchStmt = CFunc_AppendStatement(ST_BEGINCATCH); - beginCatchStmt->expr = create_objectrefnode(catch_info_object); - - if (tk != '{') { - CError_Error(CErrorStr135); - return; - } - - CFunc_CompoundStatement(dt); - - if (tk != TK_CATCH) { - CError_Error(CErrorStr242); - return; - } - - stmt = CFunc_AppendStatement(ST_GOTO); - catchEndLabel = stmt->label = newlabel(); - tryEndStmt = stmt; - - endLabel = newlabel(); - catchStack = NULL; - - while (1) { - CPrep_GetFileOffsetInfo2(&cparser_fileoffset, &sourceoffset, &sourcefilepath); - - stmt = CFunc_AppendStatement(ST_LABEL); - stmt->flags = StmtFlag_1; - stmt->label = newlabel(); - stmt->label->stmt = stmt; - - declBlock = NULL; - - catchBlock = lalloc(sizeof(ExceptionAction)); - memclrw(catchBlock, sizeof(ExceptionAction)); - catchBlock->next = catchStack; - catchStack = catchBlock; - - catchBlock->stmt = stmt; - catchBlock->catch_info_object = catch_info_object; - - if ((tk = lex()) != '(') { - CError_Error(CErrorStr114); - break; - } - - if ((tk = lex()) == TK_ELLIPSIS) { - tk = lex(); - } else { - memclrw(&di, sizeof(di)); - CParser_GetDeclSpecs(&di, 0); - - if (di.x48) - CError_Error(CErrorStr121); - if (di.storageclass) - CError_Error(CErrorStr177); - - CError_QualifierCheck(di.qual & ~(Q_CONST | Q_VOLATILE | Q_PASCAL | Q_ALIGNED_MASK)); - - scandeclarator(&di); - - if (IS_TYPE_FUNC(di.thetype)) - di.thetype = CDecl_NewPointerType(di.thetype); - else if (IS_TYPE_ARRAY(di.thetype)) - di.thetype = CDecl_NewPointerType(TPTR_TARGET(di.thetype)); - - IsCompleteType(di.thetype); - if (IS_TYPE_CLASS(di.thetype) && (TYPE_CLASS(di.thetype)->flags & CLASS_ABSTRACT)) - CError_AbstractClassError(TYPE_CLASS(di.thetype)); - - catchBlock->type = di.thetype; - catchBlock->qual = di.qual; - - if (di.name) { - ENode *expr; - declBlock = CFunc_NewDeclBlock(); - expr = CExcept_CatchExpressionInit(&di, catchBlock); - stmt = CFunc_AppendStatement(ST_EXPRESSION); - stmt->expr = expr; - } - } - - if (tk != ')') { - CError_Error(CErrorStr115); - break; - } - - if ((tk = lex()) != '{') { - CError_Error(CErrorStr123); - break; - } - - CFunc_CompoundStatement(dt); - if (flag) { - stmt = CFunc_AppendStatement(ST_EXPRESSION); - stmt->expr = funccallexpr(Xthrw_func, nullnode(), nullnode(), nullnode(), NULL); - } - - catchBlock->anotherStmt = stmt; - - if (declBlock) - CFunc_RestoreBlock(declBlock); - - if (tk != TK_CATCH) - break; - - CFunc_AppendStatement(ST_GOTO)->label = endLabel; - } - - endStmt = CFunc_AppendStatement(ST_LABEL); - endStmt->label = endLabel; - endLabel->stmt = endStmt; - - CExcept_PatchDObjStack(beginCatchStmt, tryEndStmt, endStmt, catchBlock); - - stmt = CFunc_AppendStatement(ST_LABEL); - stmt->label = catchEndLabel; - catchEndLabel->stmt = stmt; -} - -static Statement *CExcept_InsertPrevStatement(StatementType sttype) { - Statement *stmt = CFunc_InsertStatement(sttype, cexcept_prevstmt); - stmt->sourceoffset = stmt->next->sourceoffset; - stmt->sourcefilepath = stmt->next->sourcefilepath; - stmt->dobjstack = cexcept_eabefore; - return stmt; -} - -static Object *CExcept_GetETEMPObject(ENode *expr) { - UniqueObj *uobj; - SInt32 id; - - if ((id = expr->data.temp.uniqueid)) { - for (uobj = cexcept_uniqueobjs; uobj; uobj = uobj->next) { - if (uobj->uniqueid == id) - return uobj->object; - } - - uobj = galloc(sizeof(UniqueObj)); - uobj->next = cexcept_uniqueobjs; - cexcept_uniqueobjs = uobj; - uobj->uniqueid = id; - return (uobj->object = create_temp_object(expr->data.temp.type)); - } else { - return create_temp_object(expr->data.temp.type); - } -} - -static ENode *CExcept_TempTrans_ETEMP(ENode *expr) { - Object *object; - ExceptionAction *ea; - DtorTemp *dtorTemp; - Object *dtor; - - object = CExcept_GetETEMPObject(expr); - if (expr->data.temp.needs_dtor) { - dtorTemp = lalloc(sizeof(DtorTemp)); - dtorTemp->next = cexcept_dtortemps; - cexcept_dtortemps = dtorTemp; - dtorTemp->object = object; - dtorTemp->temp = NULL; - - if ( - !IS_TYPE_CLASS(expr->data.temp.type) || - !(dtorTemp->dtor = CClass_Destructor(TYPE_CLASS(expr->data.temp.type))) - ) - CError_FATAL(1749); - - ea = lalloc(sizeof(ExceptionAction)); - ea->prev = cexcept_eabefore; - cexcept_eabefore = ea; - ea->type = EAT_DESTROYLOCAL; - ea->data.destroy_local.local = dtorTemp->object; - ea->data.destroy_local.dtor = CABI_GetDestructorObject(dtorTemp->dtor, CABIDestroy1); - - ea = lalloc(sizeof(ExceptionAction)); - *ea = *cexcept_eabefore; - ea->prev = cexcept_eaafter; - cexcept_eaafter = ea; - } - - expr->type = EOBJREF; - expr->data.objref = object; - return expr; -} - -static ENode *CExcept_TransNewException(ENode *expr, Boolean isCond) { - Object *tempObj; - CLabel *label; - Boolean isArray; - Statement *stmt; - ExceptionAction *ea; - ENode *result; - - isArray = expr->type == ENEWEXCEPTIONARRAY; - - if (isCond) { - expr->data.newexception.initexpr = CExcept_TempTransExprCond(expr->data.newexception.initexpr); - expr->data.newexception.tryexpr = CExcept_TempTransExprCond(expr->data.newexception.tryexpr); - tempObj = create_temp_object(TYPE(&stchar)); - - stmt = CExcept_InsertPrevStatement(ST_EXPRESSION); - stmt->expr = makediadicnode(create_objectnode(tempObj), intconstnode(TYPE(&stchar), 0), EASS); - cexcept_prevstmt = stmt; - - ea = lalloc(sizeof(ExceptionAction)); - ea->prev = cexcept_eabefore; - cexcept_eabefore = ea; - - ea->type = EAT_DELETEPOINTERCOND; - ea->data.delete_pointer_cond.pointerobject = expr->data.newexception.pointertemp; - ea->data.delete_pointer_cond.deletefunc = expr->data.newexception.deletefunc; - ea->data.delete_pointer_cond.cond = tempObj; - - if (isArray) { - result = makediadicnode( - makediadicnode( - expr->data.newexception.initexpr, - makediadicnode(create_objectnode(tempObj), intconstnode(TYPE(&stchar), 1), EASS), - ECOMMA - ), - expr->data.newexception.tryexpr, - ECOMMA - ); - - result = makediadicnode( - result, - makediadicnode(create_objectnode(tempObj), intconstnode(TYPE(&stchar), 0), EASS), - ECOMMA - ); - - result = makediadicnode( - result, - create_objectnode(expr->data.newexception.pointertemp), - ECOMMA - ); - } else { - result = makediadicnode( - makediadicnode(create_objectnode(tempObj), intconstnode(TYPE(&stchar), 1), EASS), - expr->data.newexception.tryexpr, - ECOMMA - ); - - result = makediadicnode( - expr->data.newexception.initexpr, - makediadicnode( - result, - makediadicnode(create_objectnode(tempObj), intconstnode(TYPE(&stchar), 0), EASS), - ECOMMA - ), - ELAND - ); - - result = makediadicnode( - result, - create_objectnode(expr->data.newexception.pointertemp), - ECOMMA - ); - } - } else { - expr->data.newexception.initexpr = CExcept_TempTransExpr(expr->data.newexception.initexpr); - expr->data.newexception.tryexpr = CExcept_TempTransExpr(expr->data.newexception.tryexpr); - - if (isArray) { - stmt = CExcept_InsertPrevStatement(ST_EXPRESSION); - stmt->expr = expr->data.newexception.initexpr; - } else { - stmt = CExcept_InsertPrevStatement(ST_IFNGOTO); - stmt->expr = expr->data.newexception.initexpr; - label = newlabel(); - stmt->label = label; - } - - stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - stmt->expr = expr->data.newexception.tryexpr; - - ea = lalloc(sizeof(ExceptionAction)); - ea->prev = cexcept_eabefore; - ea->type = EAT_DELETEPOINTER; - ea->data.delete_pointer.pointerobject = expr->data.newexception.pointertemp; - ea->data.delete_pointer.deletefunc = expr->data.newexception.deletefunc; - stmt->dobjstack = ea; - - if (!isArray) { - stmt = CFunc_InsertStatement(ST_LABEL, stmt); - stmt->label = label; - label->stmt = stmt; - stmt->dobjstack = cexcept_eabefore; - } - - cexcept_prevstmt = stmt; - result = create_objectnode(expr->data.newexception.pointertemp); - } - - result->rtype = expr->rtype; - return result; -} - -static ENode *CExcept_TransInitTryCatch(ENode *expr, Boolean isCond) { - CLabel *label1; - CLabel *label2; - CLabel *label3; - Object *catch_info_object; - Statement *stmt; - ExceptionAction *ea; - - cexcept_hastrycatch = 1; - - if (isCond) { - CError_ASSERT(1877, !cexcept_expandtrycatch); - - cexcept_serialize = 1; - expr->data.itc.initexpr = CExcept_TempTransExprCond(expr->data.itc.initexpr); - expr->data.itc.tryexpr = CExcept_TempTransExprCond(expr->data.itc.tryexpr); - expr->data.itc.catchexpr = CExcept_TempTransExprCond(expr->data.itc.catchexpr); - expr->data.itc.result = CExcept_TempTransExprCond(expr->data.itc.result); - return expr; - } - - expr->data.itc.initexpr = CExcept_TempTransExpr(expr->data.itc.initexpr); - expr->data.itc.tryexpr = CExcept_TempTransExpr(expr->data.itc.tryexpr); - expr->data.itc.catchexpr = CExcept_TempTransExpr(expr->data.itc.catchexpr); - expr->data.itc.result = CExcept_TempTransExpr(expr->data.itc.result); - - if (!cexcept_expandtrycatch) - return expr; - - label1 = newlabel(); - label2 = newlabel(); - label3 = newlabel(); - - catch_info_object = create_temp_object(TYPE(&catchinfostruct)); - - stmt = CExcept_InsertPrevStatement(ST_IFNGOTO); - stmt->expr = expr->data.itc.initexpr; - stmt->label = label3; - - ea = lalloc(sizeof(ExceptionAction)); - memclrw(ea, sizeof(ExceptionAction)); - ea->type = EAT_CATCHBLOCK; - ea->data.catch_block.catch_label = label2; - ea->data.catch_block.catch_info_object = catch_info_object; - ea->prev = stmt->dobjstack; - - stmt = CFunc_InsertStatement(ST_LABEL, stmt); - stmt->flags = StmtFlag_1; - stmt->label = label1; - label1->stmt = stmt; - stmt->dobjstack = ea; - - stmt = CFunc_InsertStatement(ST_BEGINCATCH, stmt); - stmt->expr = create_objectrefnode(catch_info_object); - - stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - stmt->expr = expr->data.itc.tryexpr; - - stmt = CFunc_InsertStatement(ST_GOTO, stmt); - stmt->label = label3; - - CError_ASSERT(1928, stmt->dobjstack == ea); - - stmt->dobjstack = ea->prev; - - ea = lalloc(sizeof(ExceptionAction)); - memclrw(ea, sizeof(ExceptionAction)); - ea->type = EAT_ACTIVECATCHBLOCK; - ea->data.active_catch_block.catch_info_object = catch_info_object; - ea->prev = stmt->dobjstack; - - stmt = CFunc_InsertStatement(ST_LABEL, stmt); - stmt->flags = StmtFlag_1; - stmt->label = label2; - label2->stmt = stmt; - stmt->dobjstack = ea; - - stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - stmt->expr = expr->data.itc.catchexpr; - - stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt); - stmt->expr = funccallexpr(Xthrw_func, nullnode(), nullnode(), nullnode(), NULL); - - stmt = CFunc_InsertStatement(ST_LABEL, stmt); - stmt->label = label3; - label3->stmt = stmt; - - CError_ASSERT(1968, stmt->dobjstack == ea); - - stmt->dobjstack = ea->prev; - - cexcept_prevstmt = stmt; - return expr->data.itc.result; -} - -static ENode *CExcept_TempTransFuncCall(ENode *expr, Boolean isCond) { - ENodeList *tempArg; - ENodeList **argArray; - ENodeList *args; - ExceptionAction *ea; - Statement *stmt; - DtorTemp *dtorTemp; - ENode *tempNode; - - tempArg = NULL; - if ((args = expr->data.funccall.args)) { - tempNode = args->node; - if (tempNode->type == ETEMP) { - if (tempNode->data.temp.needs_dtor) - tempArg = args; - } else if (args->next) { - tempNode = args->next->node; - if (tempNode->type == ETEMP) { - if (tempNode->data.temp.needs_dtor) - tempArg = args->next; - } - } - } - - if (tempArg) { - if (isCond) { - ENodeList *arg = args; - SInt32 i = 0; - while (arg) { - arg = arg->next; - i++; - } - - argArray = lalloc(sizeof(ENodeList *) * i); - for (args = expr->data.funccall.args, i = 0; args; args = args->next) - argArray[i++] = args; - - while (i > 0) { - i--; - if (argArray[i] != tempArg) - argArray[i]->node = CExcept_TempTransExprCond(argArray[i]->node); - } - } else { - while (args) { - if (args != tempArg) - args->node = CExcept_TempTransExpr(args->node); - args = args->next; - } - } - - dtorTemp = lalloc(sizeof(DtorTemp)); - dtorTemp->next = cexcept_dtortemps; - cexcept_dtortemps = dtorTemp; - - dtorTemp->object = CExcept_GetETEMPObject(tempNode); - dtorTemp->temp = NULL; - - if ( - !IS_TYPE_CLASS(tempNode->data.temp.type) || - !(dtorTemp->dtor = CClass_Destructor(TYPE_CLASS(tempNode->data.temp.type))) - ) - CError_FATAL(2046); - - tempNode->type = EOBJREF; - tempNode->data.objref = dtorTemp->object; - - if (isCond) { - Type *type24 = expr->rtype; - dtorTemp->temp = create_temp_object(TYPE(&stchar)); - - expr = makediadicnode( - expr, - makediadicnode(create_objectnode(dtorTemp->temp), intconstnode(TYPE(&stchar), 1), EASS), - ECOMMA - ); - - expr = makediadicnode( - expr, - create_objectrefnode(dtorTemp->object), - ECOMMA - ); - expr->rtype = type24; - - stmt = CExcept_InsertPrevStatement(ST_EXPRESSION); - stmt->expr = makediadicnode( - create_objectnode(dtorTemp->temp), - intconstnode(TYPE(&stchar), 0), - EASS - ); - cexcept_prevstmt = stmt; - - ea = lalloc(sizeof(ExceptionAction)); - ea->prev = cexcept_eabefore; - cexcept_eabefore = ea; - - ea->type = EAT_DESTROYLOCALCOND; - ea->data.destroy_local_cond.local = dtorTemp->object; - ea->data.destroy_local_cond.dtor = CABI_GetDestructorObject(dtorTemp->dtor, CABIDestroy1); - ea->data.destroy_local_cond.cond = dtorTemp->temp; - - ea = lalloc(sizeof(ExceptionAction)); - *ea = *cexcept_eabefore; - ea->prev = cexcept_eaafter; - cexcept_eaafter = ea; - } else { - stmt = CExcept_InsertPrevStatement(ST_EXPRESSION); - stmt->expr = expr; - cexcept_prevstmt = stmt; - - ea = lalloc(sizeof(ExceptionAction)); - ea->prev = cexcept_eabefore; - cexcept_eabefore = ea; - - ea->type = EAT_DESTROYLOCAL; - ea->data.destroy_local.local = dtorTemp->object; - ea->data.destroy_local.dtor = CABI_GetDestructorObject(dtorTemp->dtor, CABIDestroy1); - - ea = lalloc(sizeof(ExceptionAction)); - *ea = *cexcept_eabefore; - ea->prev = cexcept_eaafter; - cexcept_eaafter = ea; - - expr = lalloc(sizeof(ENode)); - *expr = *stmt->expr; - expr->type = EOBJREF; - expr->data.objref = tempArg->node->data.objref; - } - return expr; - } else { - if (isCond) { - SInt32 i = 0; - while (args) { - args = args->next; - i++; - } - - argArray = lalloc(sizeof(ENodeList *) * i); - for (args = expr->data.funccall.args, i = 0; args; args = args->next) - argArray[i++] = args; - - while (i > 0) { - i--; - argArray[i]->node = CExcept_TempTransExprCond(argArray[i]->node); - } - - expr->data.funccall.funcref = CExcept_TempTransExprCond(expr->data.funccall.funcref); - } else { - while (args) { - args->node = CExcept_TempTransExpr(args->node); - args = args->next; - } - - expr->data.funccall.funcref = CExcept_TempTransExpr(expr->data.funccall.funcref); - } - - return expr; - } -} - -static ENode *CExcept_TempTransExprCond(ENode *expr) { - switch (expr->type) { - case ETEMP: - return CExcept_TempTrans_ETEMP(expr); - case ENEWEXCEPTION: - case ENEWEXCEPTIONARRAY: - return CExcept_TransNewException(expr, 1); - case EINITTRYCATCH: - return CExcept_TransInitTryCatch(expr, 1); - case ENULLCHECK: - expr->data.nullcheck.nullcheckexpr = CExcept_TempTransExprCond(expr->data.nullcheck.nullcheckexpr); - expr->data.nullcheck.condexpr = CExcept_TempTransExprCond(expr->data.nullcheck.condexpr); - return expr; - case ECOND: - expr->data.cond.cond = CExcept_TempTransExprCond(expr->data.cond.cond); - expr->data.cond.expr1 = CExcept_TempTransExprCond(expr->data.cond.expr1); - expr->data.cond.expr2 = CExcept_TempTransExprCond(expr->data.cond.expr2); - return expr; - case ELAND: - case ELOR: - expr->data.diadic.left = CExcept_TempTransExprCond(expr->data.diadic.left); - expr->data.diadic.right = CExcept_TempTransExprCond(expr->data.diadic.right); - return expr; - case EFUNCCALL: - case EFUNCCALLP: - return CExcept_TempTransFuncCall(expr, 1); - case EMUL: - case EDIV: - case EMODULO: - case EADD: - case ESUB: - case ESHL: - case ESHR: - case ELESS: - case EGREATER: - case ELESSEQU: - case EGREATEREQU: - case EEQU: - case ENOTEQU: - case EAND: - case EXOR: - case EOR: - case EASS: - case EMULASS: - case EDIVASS: - case EMODASS: - case EADDASS: - case ESUBASS: - case ESHLASS: - case ESHRASS: - case EANDASS: - case EXORASS: - case EORASS: - case ECOMMA: - case EROTL: - case EROTR: - expr->data.diadic.left = CExcept_TempTransExprCond(expr->data.diadic.left); - expr->data.diadic.right = CExcept_TempTransExprCond(expr->data.diadic.right); - return expr; - case EPOSTINC: - case EPOSTDEC: - case EPREINC: - case EPREDEC: - case EINDIRECT: - case EMONMIN: - case EBINNOT: - case ELOGNOT: - case ETYPCON: - case EBITFIELD: - expr->data.monadic = CExcept_TempTransExprCond(expr->data.monadic); - return expr; - case EINTCONST: - case EFLOATCONST: - case ESTRINGCONST: - case EOBJREF: - case EPRECOMP: - case ELABEL: - case EINSTRUCTION: - case EVECTOR128CONST: - return expr; - default: - CError_FATAL(2236); - return expr; - } -} - -static ENode *CExcept_TempTransExpr(ENode *expr) { - switch (expr->type) { - case ETEMP: - return CExcept_TempTrans_ETEMP(expr); - case ENEWEXCEPTION: - case ENEWEXCEPTIONARRAY: - return CExcept_TransNewException(expr, 0); - case EINITTRYCATCH: - return CExcept_TransInitTryCatch(expr, 0); - case ENULLCHECK: - expr->data.nullcheck.nullcheckexpr = CExcept_TempTransExpr(expr->data.nullcheck.nullcheckexpr); - expr->data.nullcheck.condexpr = CExcept_TempTransExprCond(expr->data.nullcheck.condexpr); - return expr; - case ECOND: - expr->data.cond.cond = CExcept_TempTransExpr(expr->data.cond.cond); - expr->data.cond.expr1 = CExcept_TempTransExprCond(expr->data.cond.expr1); - expr->data.cond.expr2 = CExcept_TempTransExprCond(expr->data.cond.expr2); - return expr; - case ELAND: - case ELOR: - case ECOMMA: - expr->data.diadic.left = CExcept_TempTransExpr(expr->data.diadic.left); - expr->data.diadic.right = CExcept_TempTransExprCond(expr->data.diadic.right); - return expr; - case EFUNCCALL: - case EFUNCCALLP: - return CExcept_TempTransFuncCall(expr, 0); - case EMUL: - case EDIV: - case EMODULO: - case EADD: - case ESUB: - case ESHL: - case ESHR: - case ELESS: - case EGREATER: - case ELESSEQU: - case EGREATEREQU: - case EEQU: - case ENOTEQU: - case EAND: - case EXOR: - case EOR: - case EASS: - case EMULASS: - case EDIVASS: - case EMODASS: - case EADDASS: - case ESUBASS: - case ESHLASS: - case ESHRASS: - case EANDASS: - case EXORASS: - case EORASS: - case EROTL: - case EROTR: - expr->data.diadic.left = CExcept_TempTransExpr(expr->data.diadic.left); - expr->data.diadic.right = CExcept_TempTransExpr(expr->data.diadic.right); - return expr; - case EPOSTINC: - case EPOSTDEC: - case EPREINC: - case EPREDEC: - case EINDIRECT: - case EMONMIN: - case EBINNOT: - case ELOGNOT: - case ETYPCON: - case EBITFIELD: - expr->data.monadic = CExcept_TempTransExpr(expr->data.monadic); - return expr; - case EINTCONST: - case EFLOATCONST: - case ESTRINGCONST: - case EOBJREF: - case EMFPOINTER: - case EPRECOMP: - case ELABEL: - case EOBJLIST: - case EMEMBER: - case EINSTRUCTION: - case EVECTOR128CONST: - return expr; - default: - CError_FATAL(2350); - return expr; - } -} - -static Statement *CExcept_DtorTransform(Statement *stmt) { - DtorTemp *dtorTemp; - Statement *curStmt; - CLabel *lastLabel; - - dtorTemp = cexcept_dtortemps; - curStmt = stmt; - while (dtorTemp) { - if ( - cexcept_eaafter && - (cexcept_eaafter->type == EAT_DESTROYLOCAL || cexcept_eaafter->type == EAT_DESTROYLOCALCOND) && - cexcept_eaafter->data.destroy_local.local == dtorTemp->object - ) - { - cexcept_eaafter = cexcept_eaafter->prev; - } else { - CError_FATAL(2374); - } - - if (dtorTemp->temp) { - curStmt = CFunc_InsertStatement(ST_IFNGOTO, curStmt); - curStmt->expr = create_objectnode(dtorTemp->temp); - curStmt->dobjstack = cexcept_eaafter; - lastLabel = curStmt->label = newlabel(); - } - - curStmt = CFunc_InsertStatement(ST_EXPRESSION, curStmt); - curStmt->expr = CABI_DestroyObject(dtorTemp->dtor, create_objectrefnode(dtorTemp->object), CABIDestroy1, 1, 0); - curStmt->dobjstack = cexcept_eaafter; - - if (dtorTemp->temp) { - curStmt = CFunc_InsertStatement(ST_LABEL, curStmt); - curStmt->label = lastLabel; - lastLabel->stmt = curStmt; - } - - dtorTemp = dtorTemp->next; - } - - return curStmt; -} - -static void CExcept_TempTransform(Statement *stmt, Boolean flag1, Boolean flag2) { - Statement *prevStmt; - Statement *iter; - Statement copy; - Object *tempObj; - - prevStmt = cexcept_prevstmt; - cexcept_dtortemps = NULL; - cexcept_serialize = 0; - cexcept_expandtrycatch = 0; - cexcept_hastrycatch = 0; - stmt->expr = CExcept_TempTransExpr(stmt->expr); - - if (cexcept_hastrycatch) { - cexcept_expandtrycatch = 1; - if (cexcept_serialize) { - CInline_SerializeStatement(stmt); - cexcept_prevstmt = stmt; - } else { - cexcept_prevstmt = prevStmt; - } - - iter = prevStmt; - while (1) { - CError_ASSERT(2425, iter); - - switch (iter->type) { - case ST_RETURN: - CError_ASSERT(2429, iter->expr != NULL); - case ST_EXPRESSION: - case ST_SWITCH: - case ST_IFGOTO: - case ST_IFNGOTO: - iter->expr = CExcept_TempTransExpr(iter->expr); - } - - if (iter == stmt) - break; - cexcept_prevstmt = iter; - iter = iter->next; - } - } - - if (cexcept_dtortemps) { - if (!flag1) { - if (flag2) { - ENode *expr = stmt->expr; - CError_ASSERT(2456, !IS_TYPE_CLASS(expr->rtype) || !CClass_Destructor(TYPE_CLASS(expr->rtype))); - - tempObj = create_temp_object(expr->rtype); - stmt->expr = makediadicnode(create_objectnode(tempObj), expr, EASS); - } - - copy = *stmt; - stmt->type = ST_EXPRESSION; - stmt = CExcept_DtorTransform(stmt); - stmt = CFunc_InsertStatement(copy.type, stmt); - stmt->label = copy.label; - - if (flag2) - stmt->expr = create_objectnode(tempObj); - else - stmt->expr = nullnode(); - } else { - CExcept_DtorTransform(stmt); - } - } -} - -static void CExcept_CleanupExceptionActions(Statement *stmt) { - Statement *iter; - ENode *expr; - ExceptionAction *ea; - - cexcept_prevstmt = stmt; - for (iter = stmt; iter; iter = iter->next) { - cexcept_eabefore = cexcept_eaafter = ea = iter->dobjstack; - - if (iter->flags & StmtFlag_2) { - cexcept_eabefore = ea->prev; - } else if (iter->type == ST_EXPRESSION) { - expr = iter->expr; - while (ENODE_IS(expr, ECOMMA)) - expr = expr->data.diadic.left; - if (ENODE_IS(expr, EINDIRECT)) - expr = expr->data.monadic; - - if ( - ENODE_IS(expr, EFUNCCALL) && - ENODE_IS(expr->data.funccall.funcref, EOBJREF) && - CClass_IsConstructor(expr->data.funccall.funcref->data.objref) && - iter->dobjstack && - iter->dobjstack->type == EAT_DESTROYLOCAL && - expr->data.funccall.args && - ENODE_IS(expr->data.funccall.args->node, EOBJREF) && - expr->data.funccall.args->node->data.objref == iter->dobjstack->data.destroy_local.local - ) - cexcept_eabefore = cexcept_eabefore->prev; - } - - switch (iter->type) { - case ST_EXPRESSION: - CExcept_TempTransform(iter, 1, 0); - break; - case ST_SWITCH: - case ST_IFGOTO: - case ST_IFNGOTO: - CExcept_TempTransform(iter, 0, 1); - break; - case ST_RETURN: - if (iter->expr) { - CExcept_TempTransform( - iter, - 0, - CMach_GetFunctionResultClass(TYPE_FUNC(cscope_currentfunc->type)) != 1 - ); - } - break; - } - - iter->dobjstack = cexcept_eabefore; - cexcept_prevstmt = iter; - } -} - -static void CExcept_InsertSpecificationActions(Statement *stmt, ExceptSpecList *exspecs) { - Statement *iter; - Statement *last; - ExceptionAction *ea_spec; - ExceptionAction *ea; - ExceptSpecList *spec_iter; - SInt32 i; - Object *catch_info_object; - CLabel *label; - - ea_spec = lalloc(sizeof(ExceptionAction)); - memclrw(ea_spec, sizeof(ExceptionAction)); - ea_spec->type = EAT_SPECIFICATION; - - for (iter = stmt; iter; iter = iter->next) { - if ((ea = iter->dobjstack)) { - while (1) { - if (ea->type == EAT_SPECIFICATION) - break; - if (ea->prev == NULL) { - ea->prev = ea_spec; - break; - } - ea = ea->prev; - } - } else { - iter->dobjstack = ea_spec; - } - } - - last = stmt; - while (last->next) - last = last->next; - - if (last->type != ST_GOTO && last->type != ST_RETURN) { - last = CFunc_InsertStatement(ST_RETURN, last); - last->expr = NULL; - last->dobjstack = NULL; - if (TYPE_FUNC(cscope_currentfunc->type)->functype != &stvoid && (copts.pedantic || copts.cplusplus)) - CError_Warning(CErrorStr184); - } - - last = CFunc_InsertStatement(ST_LABEL, last); - last->label = newlabel(); - last->label->stmt = last; - last->flags = StmtFlag_1; - last->dobjstack = NULL; - - catch_info_object = create_temp_object(TYPE(&catchinfostruct)); - - if (!exspecs->type) - exspecs = NULL; - - i = 0; - spec_iter = exspecs; - while (spec_iter) { - spec_iter = spec_iter->next; - i++; - } - - ea_spec->data.specification.unexp_ids = i; - ea_spec->data.specification.unexp_id = galloc(sizeof(Object *) * i); - ea_spec->data.specification.unexp_label = last->label; - ea_spec->data.specification.unexp_info_object = catch_info_object; - - i = 0; - while (exspecs) { - ea_spec->data.specification.unexp_id[i] = CExcept_TypeID(exspecs->type, exspecs->qual); - exspecs = exspecs->next; - i++; - } - - last = CFunc_InsertStatement(ST_EXPRESSION, last); - last->expr = funccallexpr(Xunex_func, create_objectrefnode(catch_info_object), NULL, NULL, NULL); - - ea = lalloc(sizeof(ExceptionAction)); - memclrw(ea, sizeof(ExceptionAction)); - ea->type = EAT_ACTIVECATCHBLOCK; - ea->data.active_catch_block.catch_info_object = catch_info_object; - ea->data.active_catch_block.call_dtor = 1; - last->dobjstack = ea; - - last = CFunc_InsertStatement(ST_LABEL, last); - last->label = label = newlabel(); - last->label->stmt = last; - last->dobjstack = NULL; - - last = CFunc_InsertStatement(ST_GOTO, last); - last->label = label; -} - -static void CExcept_HasFuncCallCallBack(ENode *expr) { - ENode *funcref = expr->data.funccall.funcref; - if (ENODE_IS(funcref, EOBJREF)) { - Object *func = funcref->data.objref; - if (CExcept_CanThrowException(func, func->datatype == DVFUNC && !(expr->flags & ENODE_FLAG_80))) - cexcept_canthrow = 1; - } else { - cexcept_canthrow = 1; - } -} - -static Boolean CExcept_CanThrowCheck(Object *func, Statement *stmt) { - cexcept_canthrow = 0; - - while (stmt) { - switch (stmt->type) { - case ST_NOP: - case ST_LABEL: - case ST_GOTO: - case ST_ASM: - break; - case ST_RETURN: - if (!stmt->expr) - break; - case ST_EXPRESSION: - case ST_SWITCH: - case ST_IFGOTO: - case ST_IFNGOTO: - case ST_BEGINCATCH: - case ST_ENDCATCH: - case ST_ENDCATCHDTOR: - case ST_GOTOEXPR: - CExpr_SearchExprTree(stmt->expr, CExcept_HasFuncCallCallBack, 2, EFUNCCALL, EFUNCCALLP); - break; - default: - CError_FATAL(2687); - } - stmt = stmt->next; - } - - if (!cexcept_canthrow) { - TYPE_FUNC(cscope_currentfunc->type)->flags |= FUNC_NOTHROW; - return 0; - } else { - return 1; - } -} - -void CExcept_ExceptionTansform(Statement *stmt) { - cexcept_uniqueobjs = NULL; - CExcept_CleanupExceptionActions(stmt); - - if (cscope_currentfunc && CExcept_CanThrowCheck(cscope_currentfunc, stmt)) { - CError_ASSERT(2716, IS_TYPE_FUNC(cscope_currentfunc->type)); - if (TYPE_FUNC(cscope_currentfunc->type)->exspecs && copts.exceptions) - CExcept_InsertSpecificationActions(stmt, TYPE_FUNC(cscope_currentfunc->type)->exspecs); - } -} |