summaryrefslogtreecommitdiff
path: root/compiler_and_linker/unsorted/CExpr2.c
diff options
context:
space:
mode:
Diffstat (limited to 'compiler_and_linker/unsorted/CExpr2.c')
-rw-r--r--compiler_and_linker/unsorted/CExpr2.c4206
1 files changed, 0 insertions, 4206 deletions
diff --git a/compiler_and_linker/unsorted/CExpr2.c b/compiler_and_linker/unsorted/CExpr2.c
deleted file mode 100644
index e5c662a..0000000
--- a/compiler_and_linker/unsorted/CExpr2.c
+++ /dev/null
@@ -1,4206 +0,0 @@
-#include "compiler/CExpr.h"
-#include "compiler/CABI.h"
-#include "compiler/CClass.h"
-#include "compiler/CDecl.h"
-#include "compiler/CInit.h"
-#include "compiler/CInt64.h"
-#include "compiler/CError.h"
-#include "compiler/CFunc.h"
-#include "compiler/CInline.h"
-#include "compiler/CMachine.h"
-#include "compiler/CMangler.h"
-#include "compiler/CObjC.h"
-#include "compiler/CObjCModern.h"
-#include "compiler/CParser.h"
-#include "compiler/CPrepTokenizer.h"
-#include "compiler/CScope.h"
-#include "compiler/CSOM.h"
-#include "compiler/CTemplateFunc.h"
-#include "compiler/CTemplateTools.h"
-#include "compiler/CodeGen.h"
-#include "compiler/CompilerTools.h"
-#include "compiler/enode.h"
-#include "compiler/objects.h"
-#include "compiler/scopes.h"
-#include "compiler/templates.h"
-
-#ifdef __MWERKS__
-#undef va_start
-#undef va_arg
-#define va_start(ap, parm) ap = __va_start(parm)
-#define __va_start(parm) (va_list) (&parm + 1)
-//#define va_arg(ap, type) ((((type *) (ap = (va_list) (( ((long) ap + sizeof(type) - 1) & ~(sizeof(type)) ) + sizeof(type) ) ))[-1]))
-#define va_arg(ap, type) (*(((type *) (ap = (char *)((((unsigned long)ap + __builtin_align(type) - 1) & ~(__builtin_align(type) - 1) ) + sizeof(type)))) - 1))
-#endif
-
-ENode *assign_node;
-Boolean temp_reference_init;
-static SInt32 assign_value; // type?
-static ENode *firstarrayexpr;
-static Match5 user_std_match;
-static Boolean cexpr_hascall;
-static Boolean cexpr_esearch_bool[MAXEXPR];
-static Boolean cexpr_rsearch_bool[MAXEXPR];
-static CExprSearchCB cexpr_esearch_callback;
-static CExprReplaceCB cexpr_rsearch_callback;
-static Type *cexpr_left_conversion_type;
-static Type *cexpr_right_conversion_type;
-
-static FuncArg mon_arg = {NULL, NULL, NULL, NULL, 0, 0, 0, 0};
-static FuncArg diadic_arg2 = {NULL, NULL, NULL, NULL, 0, 0, 0, 0};
-static FuncArg diadic_arg1 = {&diadic_arg1, NULL, NULL, NULL, 0, 0, 0, 0};
-
-static void CExpr_RecSearchExprTree(ENode *expr) {
- ENodeList *list;
-
-restart:
- if (cexpr_esearch_bool[expr->type])
- cexpr_esearch_callback(expr);
-
- switch (expr->type) {
- case EPOSTINC:
- case EPOSTDEC:
- case EPREINC:
- case EPREDEC:
- case EINDIRECT:
- case EMONMIN:
- case EBINNOT:
- case ELOGNOT:
- case EFORCELOAD:
- case ETYPCON:
- case EBITFIELD:
- expr = expr->data.monadic;
- goto restart;
- case EMUL:
- case EMULV:
- case EDIV:
- case EMODULO:
- case EADDV:
- case ESUBV:
- 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 ELAND:
- case ELOR:
- 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 EPMODULO:
- case EROTL:
- case EROTR:
- case EBCLR:
- case EBTST:
- case EBSET:
- CExpr_RecSearchExprTree(expr->data.diadic.left);
- expr = expr->data.diadic.right;
- goto restart;
- case EINTCONST:
- case EFLOATCONST:
- case ESTRINGCONST:
- case EOBJREF:
- case EPRECOMP:
- case ETEMP:
- case EARGOBJ:
- case ELOCOBJ:
- case ELABEL:
- case EOBJLIST:
- case EMEMBER:
- case EINSTRUCTION:
- case EVECTOR128CONST:
- return;
- case EFUNCCALL:
- case EFUNCCALLP:
- for (list = expr->data.funccall.args; list; list = list->next)
- CExpr_RecSearchExprTree(list->node);
- expr = expr->data.funccall.funcref;
- goto restart;
- case ENULLCHECK:
- CExpr_RecSearchExprTree(expr->data.nullcheck.nullcheckexpr);
- expr = expr->data.nullcheck.condexpr;
- goto restart;
- case EMFPOINTER:
- CExpr_RecSearchExprTree(expr->data.mfpointer.accessnode);
- expr = expr->data.mfpointer.mfpointer;
- goto restart;
- case ECOND:
- CExpr_RecSearchExprTree(expr->data.cond.cond);
- CExpr_RecSearchExprTree(expr->data.cond.expr1);
- expr = expr->data.cond.expr2;
- goto restart;
- case ENEWEXCEPTION:
- case ENEWEXCEPTIONARRAY:
- CExpr_RecSearchExprTree(expr->data.newexception.initexpr);
- expr = expr->data.newexception.tryexpr;
- goto restart;
- case EINITTRYCATCH:
- if (expr->data.itc.initexpr)
- CExpr_RecSearchExprTree(expr->data.itc.initexpr);
- if (expr->data.itc.tryexpr)
- CExpr_RecSearchExprTree(expr->data.itc.tryexpr);
- if (expr->data.itc.catchexpr)
- CExpr_RecSearchExprTree(expr->data.itc.catchexpr);
- if (expr->data.itc.result)
- CExpr_RecSearchExprTree(expr->data.itc.result);
- return;
- default:
- CError_FATAL(128);
- }
-}
-
-void CExpr_SearchExprTree(ENode *expr, CExprSearchCB callback, int count, ...) {
- va_list ap;
- short i;
-
- cexpr_esearch_callback = callback;
-
- va_start(ap, count);
- for (i = 0; i < MAXEXPR; i++)
- cexpr_esearch_bool[i] = 0;
- i = 0;
- while ((short) i < count) {
- cexpr_esearch_bool[va_arg(ap, int)] = 1;
- ++i;
- }
- va_end(ap);
-
- CExpr_RecSearchExprTree(expr);
-}
-
-static ENode *CExpr_RecSearchExprTreeReplace(ENode *expr) {
- ENodeList *list;
- ENode *replaced;
-
- if (cexpr_rsearch_bool[expr->type]) {
- replaced = cexpr_rsearch_callback(expr);
- if (!replaced)
- return expr;
- expr = replaced;
- }
-
- switch (expr->type) {
- case EPOSTINC:
- case EPOSTDEC:
- case EPREINC:
- case EPREDEC:
- case EINDIRECT:
- case EMONMIN:
- case EBINNOT:
- case ELOGNOT:
- case EFORCELOAD:
- case ETYPCON:
- case EBITFIELD:
- expr->data.monadic = CExpr_RecSearchExprTreeReplace(expr->data.monadic);
- return expr;
- case EMUL:
- case EMULV:
- case EDIV:
- case EMODULO:
- case EADDV:
- case ESUBV:
- 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 ELAND:
- case ELOR:
- 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 EPMODULO:
- case EROTL:
- case EROTR:
- case EBCLR:
- case EBTST:
- case EBSET:
- expr->data.diadic.left = CExpr_RecSearchExprTreeReplace(expr->data.diadic.left);
- expr->data.diadic.right = CExpr_RecSearchExprTreeReplace(expr->data.diadic.right);
- return expr;
- case EINTCONST:
- case EFLOATCONST:
- case ESTRINGCONST:
- case EOBJREF:
- case EPRECOMP:
- case ETEMP:
- case EARGOBJ:
- case ELOCOBJ:
- case ELABEL:
- case EMEMBER:
- case EINSTRUCTION:
- case EVECTOR128CONST:
- return expr;
- case EFUNCCALL:
- case EFUNCCALLP:
- for (list = expr->data.funccall.args; list; list = list->next)
- list->node = CExpr_RecSearchExprTreeReplace(list->node);
- expr->data.funccall.funcref = CExpr_RecSearchExprTreeReplace(expr->data.funccall.funcref);
- return expr;
- case ENULLCHECK:
- expr->data.nullcheck.nullcheckexpr = CExpr_RecSearchExprTreeReplace(expr->data.nullcheck.nullcheckexpr);
- expr->data.nullcheck.condexpr = CExpr_RecSearchExprTreeReplace(expr->data.nullcheck.condexpr);
- return expr;
- case EMFPOINTER:
- expr->data.mfpointer.accessnode = CExpr_RecSearchExprTreeReplace(expr->data.mfpointer.accessnode);
- expr->data.mfpointer.mfpointer = CExpr_RecSearchExprTreeReplace(expr->data.mfpointer.mfpointer);
- return expr;
- case ECOND:
- expr->data.cond.cond = CExpr_RecSearchExprTreeReplace(expr->data.cond.cond);
- expr->data.cond.expr1 = CExpr_RecSearchExprTreeReplace(expr->data.cond.expr1);
- expr->data.cond.expr2 = CExpr_RecSearchExprTreeReplace(expr->data.cond.expr2);
- return expr;
- default:
- CError_FATAL(220);
- return NULL;
- }
-}
-
-ENode *CExpr_SearchExprTreeReplace(ENode *expr, CExprReplaceCB callback, int count, ...) {
- va_list ap;
- short i;
-
- cexpr_rsearch_callback = callback;
-
- va_start(ap, count);
- for (i = 0; i < MAXEXPR; i++)
- cexpr_rsearch_bool[i] = 0;
- i = 0;
- while ((short) i < count) {
- cexpr_rsearch_bool[va_arg(ap, int)] = 1;
- ++i;
- }
- va_end(ap);
-
- return CExpr_RecSearchExprTreeReplace(expr);
-}
-
-static void CExpr_HasFuncCallCallBack(ENode *expr) {
- cexpr_hascall = 1;
-}
-
-Boolean CExpr_HasFuncCall(ENode *expr) {
- cexpr_hascall = 0;
- CExpr_SearchExprTree(expr, CExpr_HasFuncCallCallBack, 2, EFUNCCALL, EFUNCCALLP);
- return cexpr_hascall;
-}
-
-void CExpr_AliasTransform(ENode *expr) {
- ENode *n;
-
- Object *obj = expr->data.objref;
- if (obj->u.alias.offset) {
- n = makediadicnode(
- create_objectrefnode(obj->u.alias.object),
- intconstnode(TYPE(&stunsignedlong), obj->u.alias.offset),
- EADD);
- *expr = *n;
- } else {
- expr->data.objref = obj->u.alias.object;
- }
-}
-
-ENode *CExpr_UnaryFloatExpression(ENode *expr) {
- return expr;
-}
-
-ENode *CExpr_BinaryFloatExpression(ENode *expr) {
- return expr;
-}
-
-ENode *CExpr_NewENode(ENodeType ty) {
- ENode *expr = lalloc(sizeof(ENode));
- memclrw(expr, sizeof(ENode));
- expr->type = ty;
- return expr;
-}
-
-ENode *CExpr_NewTemplDepENode(TemplDepSubType t) {
- ENode *expr = CExpr_NewENode(ETEMPLDEP);
- expr->rtype = &sttemplexpr;
- expr->data.templdep.subtype = t;
- return expr;
-}
-
-ENode *nullnode(void) {
- ENode *expr = CExpr_NewENode(EINTCONST);
- expr->rtype = (Type *) &stsignedlong;
- return expr;
-}
-
-ENode *intconstnode(Type *type, SInt32 value) {
- ENode *expr = CExpr_NewENode(EINTCONST);
- expr->rtype = type;
- CInt64_SetLong(&expr->data.intval, value);
- return expr;
-}
-
-ENode *stringconstnode(char *str) {
- ENode *expr;
- SInt32 size;
-
- size = strlen(str) + 1;
- expr = CExpr_NewENode(ESTRINGCONST);
- expr->rtype = CDecl_NewArrayType((Type *) &stchar, size);
- expr->data.string.size = size;
- expr->data.string.data = str;
- expr->data.string.ispascal = 0;
- if (copts.const_strings)
- expr->flags = Q_CONST;
-
- expr = makemonadicnode(expr, EINDIRECT);
- expr->data.monadic->rtype = CDecl_NewPointerType(expr->rtype);
- return expr;
-}
-
-ENode *forceintegral(ENode *expr) {
- if (!IS_TYPE_ENUM(expr->rtype)) {
- CError_Error(CErrorStr144);
- return nullnode();
- } else {
- expr->rtype = TYPE_ENUM(expr->rtype)->enumtype;
- return expr;
- }
-}
-
-ENode *makemonadicnode(ENode *inner, ENodeType ty) {
- ENode *expr = lalloc(sizeof(ENode));
- expr->type = ty;
- if ((expr->cost = inner->cost) == 0)
- expr->cost = 1;
- expr->flags = inner->flags & ENODE_FLAG_QUALS;
- expr->rtype = inner->rtype;
- expr->data.monadic = inner;
- return expr;
-}
-
-ENode *makediadicnode(ENode *left, ENode *right, ENodeType ty) {
- ENode *expr = lalloc(sizeof(ENode));
- expr->type = ty;
- expr->rtype = left->rtype;
- expr->data.diadic.left = left;
- expr->data.diadic.right = right;
-
- if (left->cost != right->cost) {
- expr->cost = right->cost;
- if (left->cost > expr->cost)
- expr->cost = left->cost;
- } else {
- expr->cost = right->cost + 1;
- if (expr->cost > 200)
- expr->cost = 200;
- }
-
- expr->flags = (left->flags | right->flags) & ENODE_FLAG_QUALS;
- return expr;
-}
-
-ENode *makecommaexpression(ENode *left, ENode *right) {
- ENode *expr;
-
- if (ENODE_IS(right, EINDIRECT) && !ENODE_IS(right->data.monadic, EBITFIELD)) {
- Boolean savecpp = copts.cplusplus;
- copts.cplusplus = 1;
- expr = makediadicnode(left, getnodeaddress(right, 0), ECOMMA);
- copts.cplusplus = savecpp;
- expr->rtype = expr->data.diadic.right->rtype;
- expr = makemonadicnode(expr, EINDIRECT);
- } else {
- expr = makediadicnode(left, right, ECOMMA);
- }
-
- expr->rtype = right->rtype;
- expr->flags = right->flags;
- return expr;
-}
-
-short iszero(ENode *expr) {
- switch (expr->type) {
- case EINTCONST:
- return CInt64_IsZero(&expr->data.intval);
- case EFLOATCONST:
- return CMach_FloatIsZero(expr->data.floatval);
- default:
- return 0;
- }
-}
-
-short isnotzero(ENode *expr) {
- Object *obj;
-
- switch (expr->type) {
- case EINTCONST:
- return !CInt64_IsZero(&expr->data.intval);
- case EFLOATCONST:
- return !CMach_FloatIsZero(expr->data.floatval);
- case ESTRINGCONST:
- case ETEMP:
- return 1;
- case EOBJREF:
- obj = expr->data.objref;
- break;
- case EADD:
- case ESUB:
- if (ENODE_IS(expr->data.diadic.left, EOBJREF) && ENODE_IS(expr->data.diadic.right, EINTCONST)) {
- obj = expr->data.diadic.left->data.objref;
- break;
- }
- if (ENODE_IS(expr->data.diadic.left, EINTCONST) && ENODE_IS(expr->data.diadic.right, EOBJREF)) {
- obj = expr->data.diadic.right->data.objref;
- break;
- }
- return 0;
- default:
- return 0;
- }
-
- switch (obj->datatype) {
- case DLOCAL:
- return 1;
- default:
- return 0;
- }
-}
-
-Boolean CExpr_IsOne(ENode *expr) {
- if (ENODE_IS(expr, EINTCONST))
- return CInt64_Equal(expr->data.intval, cint64_one);
- else if (ENODE_IS(expr, EFLOATCONST))
- return CMach_FloatIsOne(expr->data.floatval);
- else
- return 0;
-}
-
-Boolean CExpr_AllBitsSet(ENode *expr) {
- SInt32 v;
-
- if (ENODE_IS(expr, EINTCONST)) {
- switch (expr->rtype->size) {
- case 1:
- v = CInt64_GetULong(&expr->data.intval) & 0xFF;
- return v == 0xFF;
- case 2:
- v = CInt64_GetULong(&expr->data.intval) & 0xFFFF;
- return v == 0xFFFF;
- case 3:
- v = CInt64_GetULong(&expr->data.intval) & 0xFFFFFF;
- return v == 0xFFFFFF;
- case 4:
- v = CInt64_GetULong(&expr->data.intval) & 0xFFFFFFFF;
- return v == 0xFFFFFFFF;
- default:
- return CInt64_Equal(expr->data.intval, cint64_negone);
- }
- }
-
- return 0;
-}
-
-ENode *CExpr_NewETEMPNode(Type *type, Boolean assign_id) {
- ENode *expr = lalloc(sizeof(ENode));
- expr->type = ETEMP;
- expr->cost = 0;
- expr->flags = 0;
- expr->rtype = CDecl_NewPointerType(type);
- expr->data.temp.type = type;
- expr->data.temp.uniqueid = assign_id ? CParser_GetUniqueID() : 0;
- expr->data.temp.needs_dtor = 0;
- return expr;
-}
-
-static ENode *CExpr_DerefETEMPCopy(ENode *expr) {
- ENode *copy;
-
- CError_ASSERT(636, IS_TYPE_POINTER_ONLY(expr->rtype));
-
- copy = lalloc(sizeof(ENode));
- *copy = *expr;
- copy = makemonadicnode(copy, EINDIRECT);
- copy->rtype = TYPE_POINTER(copy->rtype)->target;
- return copy;
-}
-
-ENode *CExpr_GetETEMPCopy(ENode *expr) {
- ENode *newnode;
- ENode *assnode;
- ENode *finalnode;
-
- newnode = CExpr_NewETEMPNode(expr->rtype, 1);
- newnode->flags = expr->flags;
-
- assnode = makediadicnode(CExpr_DerefETEMPCopy(newnode), expr, EASS);
- assnode->data.diadic.right = lalloc(sizeof(ENode));
- *assnode->data.diadic.right = *expr;
- *expr = *assnode;
-
- finalnode = makemonadicnode(newnode, EINDIRECT);
- finalnode->rtype = expr->rtype;
- return finalnode;
-}
-
-ENode *integralpromote(ENode *expr) {
- if (!IS_TYPE_INT(expr->rtype))
- expr = forceintegral(expr);
-
- if (TYPE_INTEGRAL(expr->rtype)->integral >= IT_INT)
- return expr;
-
- if (!ENODE_IS(expr, EINTCONST))
- expr = makemonadicnode(expr, ETYPCON);
- expr->rtype = (Type *) &stsignedint;
-
- return expr;
-}
-
-CInt64 CExpr_IntConstConvert(Type *a, Type *b, CInt64 val) {
- if (a == (Type *) &stbool)
- return CMach_CalcIntDiadic(b, val, TK_LOGICAL_NE, cint64_zero);
- else
- return CMach_CalcIntDiadic(a, val, '+', cint64_zero);
-}
-
-ENode *promote(ENode *expr, Type *type) {
- if (ENODE_IS(expr, EINTCONST)) {
- if (IS_TYPE_FLOAT(type)) {
- expr->type = EFLOATCONST;
- expr->data.floatval = CMach_CalcFloatConvertFromInt(expr->rtype, expr->data.intval);
- } else {
- expr->data.intval = CExpr_IntConstConvert(type, expr->rtype, expr->data.intval);
- }
- expr->rtype = type;
- return expr;
- }
- if (ENODE_IS(expr, EFLOATCONST)) {
- if (IS_TYPE_FLOAT(type)) {
- expr->data.floatval = CMach_CalcFloatConvert(type, expr->data.floatval);
- expr->rtype = type;
- return expr;
- } else if (IS_TYPE_INT(type)) {
- expr->data.intval = CMach_CalcIntConvertFromFloat(type, expr->data.floatval);
- expr->type = EINTCONST;
- expr->rtype = type;
- return expr;
- }
- }
-
- expr = makemonadicnode(expr, ETYPCON);
- expr->rtype = type;
- return expr;
-}
-
-void CExpr_ArithmeticConversion(ENode **left, ENode **right) {
- switch ((*left)->rtype->type) {
- case TYPEINT:
- case TYPEFLOAT:
- break;
- case TYPEENUM:
- (*left)->rtype = TYPE_ENUM((*left)->rtype)->enumtype;
- break;
- default:
- CError_Error(CErrorStr144);
- (*left) = nullnode();
- }
-
- switch ((*right)->rtype->type) {
- case TYPEINT:
- case TYPEFLOAT:
- break;
- case TYPEENUM:
- (*right)->rtype = TYPE_ENUM((*right)->rtype)->enumtype;
- break;
- default:
- CError_Error(CErrorStr144);
- (*right) = nullnode();
- }
-
- if (IS_TYPE_FLOAT((*left)->rtype) || IS_TYPE_FLOAT((*right)->rtype)) {
- if ((*left)->rtype != (*right)->rtype) {
- if (TYPE_INTEGRAL((*left)->rtype)->integral > TYPE_INTEGRAL((*right)->rtype)->integral)
- *right = promote(*right, (*left)->rtype);
- else
- *left = promote(*left, (*right)->rtype);
- }
- return;
- }
-
- *left = integralpromote(*left);
- *right = integralpromote(*right);
- if ((*left)->rtype != (*right)->rtype) {
- if (TYPE_INTEGRAL((*left)->rtype)->integral < TYPE_INTEGRAL((*right)->rtype)->integral) {
- ENode **tmp = left;
- left = right;
- right = tmp;
- }
-
- if ((*left)->rtype->size == (*right)->rtype->size && !is_unsigned((*left)->rtype) && is_unsigned((*right)->rtype)) {
- if ((*left)->rtype == (Type *) &stsignedlong) {
- *left = promote(*left, (Type *) &stunsignedlong);
- } else {
- CError_ASSERT(838, (*left)->rtype == (Type *) &stsignedlonglong);
- *left = promote(*left, (Type *) &stunsignedlonglong);
- }
- }
-
- *right = promote(*right, (*left)->rtype);
- }
-}
-
-static ENode *CExpr_GetEA(ENode *expr) {
- ENode *copy;
-
- for (;;) {
- switch (expr->type) {
- case EINDIRECT:
- expr = expr->data.monadic;
- for (;;) {
- switch (expr->type) {
- case EOBJREF:
- copy = lalloc(sizeof(ENode));
- *copy = *expr;
- return copy;
- case ECOMMA:
- expr = expr->data.diadic.right;
- continue;
- default:
- return CExpr_GetETEMPCopy(expr);
- }
- }
- break;
- case EPOSTINC:
- case EPOSTDEC:
- case EPREINC:
- case EPREDEC:
- expr = expr->data.monadic;
- continue;
- case EASS:
- case EMULASS:
- case EDIVASS:
- case EMODASS:
- case EADDASS:
- case ESUBASS:
- case ESHLASS:
- case ESHRASS:
- case EANDASS:
- case EXORASS:
- case EORASS:
- expr = expr->data.monadic;
- continue;
- case ECOMMA:
- expr = expr->data.diadic.right;
- continue;
- default:
- return NULL;
- }
- }
-}
-
-ENode *CExpr_TempModifyExpr(ENode *expr) {
- Type *type;
- ENode *left;
- ENode *right;
- ENode *eanode;
- ENode *tempnode;
- ENode *indnode;
- ENode *truenode;
-
- type = expr->rtype;
- tempnode = CExpr_NewETEMPNode(type, 1);
- eanode = CExpr_GetEA(expr);
- if (!eanode) {
- CError_Error(CErrorStr142);
- return expr;
- }
-
- // tempnode = expr
- left = makemonadicnode(tempnode, EINDIRECT);
- left->rtype = type;
- left = makediadicnode(left, expr, EASS);
-
- // eanode = true
- indnode = makemonadicnode(eanode, EINDIRECT);
- indnode->rtype = type;
- truenode = nullnode();
- truenode->rtype = (Type *) &stbool;
- CInt64_SetLong(&truenode->data.intval, 1);
- right = makediadicnode(indnode, truenode, EASS);
-
- expr = makediadicnode(left, right, ECOMMA);
-
- indnode = makemonadicnode(tempnode, EINDIRECT);
- indnode->rtype = type;
- return makediadicnode(expr, indnode, ECOMMA);
-}
-
-Boolean CExpr_IsLValue(ENode *expr) {
- while (!ENODE_IS(expr, EINDIRECT)) {
- switch (expr->type) {
- case EPREINC:
- case EPREDEC:
- return copts.cplusplus;
- case EASS:
- case EMULASS:
- case EDIVASS:
- case EMODASS:
- case EADDASS:
- case ESUBASS:
- case ESHLASS:
- case ESHRASS:
- case EANDASS:
- case EXORASS:
- case EORASS:
- if (!copts.cplusplus)
- return 0;
- expr = expr->data.diadic.left;
- continue;
- case ECOMMA:
- if (!copts.cplusplus)
- return 0;
- expr = expr->data.diadic.right;
- continue;
- case ECOND:
- if (
- copts.cplusplus &&
- is_typesame(expr->data.cond.expr1->rtype, expr->data.cond.expr2->rtype) &&
- (expr->data.cond.expr1->rtype->type != TYPEPOINTER || (UInt32) (expr->data.cond.expr1->flags & ENODE_FLAG_QUALS) == (expr->data.cond.expr2->flags & ENODE_FLAG_QUALS))
- ) {
- return CExpr_IsLValue(expr->data.cond.expr1) && CExpr_IsLValue(expr->data.cond.expr2);
- }
- return 0;
- default:
- return 0;
- }
- }
-
- expr = expr->data.monadic;
- switch (expr->type) {
- case ETEMP:
- return 0;
- case EFUNCCALL:
- if (expr->data.funccall.functype->functype->type != TYPEPOINTER || (expr->data.funccall.functype->flags & FUNC_IS_CTOR))
- return 0;
- default:
- return 1;
- }
-}
-
-ENode *CExpr_LValue(ENode *expr, Boolean flag1, Boolean flag2) {
- ENode *eanode;
- ENode *tmpnode;
-
-loop:
- switch (expr->type) {
- case ETYPCON:
- if (copts.pointercast_lvalue || !copts.ANSIstrict) {
- if (expr->rtype->type == TYPEPOINTER && expr->data.monadic->rtype->type == TYPEPOINTER) {
- switch (expr->data.monadic->type) {
- case EINDIRECT:
- case ETYPCON:
- expr->data.monadic->rtype = expr->rtype;
- expr->data.monadic->flags = expr->flags;
- expr = expr->data.monadic;
- goto loop;
- }
- }
- }
- break;
- case EINDIRECT:
- if (flag2) {
- if (!CExpr_IsLValue(expr))
- CError_Warning(CErrorStr142);
-
- if (
- ENODE_IS(expr->data.monadic, EOBJREF) &&
- expr->data.monadic->data.objref->name == this_name_node &&
- cscope_currentfunc &&
- cscope_currentclass &&
- expr->data.monadic->data.objref == CClass_ThisSelfObject())
- CError_Error(CErrorStr189);
- }
- if (flag1) {
- if (CParser_IsConst(expr->rtype, expr->flags & ENODE_FLAG_QUALS))
- CError_Error(CErrorStr179);
- }
- return expr;
- case EPREINC:
- case EPREDEC:
- case EASS:
- case EMULASS:
- case EDIVASS:
- case EMODASS:
- case EADDASS:
- case ESUBASS:
- case ESHLASS:
- case ESHRASS:
- case EANDASS:
- case EXORASS:
- case EORASS:
- case ECOMMA:
- if (copts.cplusplus) {
- if ((eanode = CExpr_GetEA(expr))) {
- tmpnode = makediadicnode(expr, eanode, ECOMMA);
- tmpnode->rtype = tmpnode->data.diadic.right->rtype;
- tmpnode = makemonadicnode(tmpnode, EINDIRECT);
- tmpnode->rtype = expr->rtype;
- return tmpnode;
- }
- CError_Error(CErrorStr190);
- return expr;
- }
- break;
- case ECOND:
- if (
- copts.cplusplus &&
- is_typesame(expr->data.cond.expr1->rtype, expr->data.cond.expr2->rtype) &&
- (expr->data.cond.expr1->rtype->type != TYPEPOINTER || (UInt32) (expr->data.cond.expr1->flags & ENODE_FLAG_QUALS) == (expr->data.cond.expr2->flags & ENODE_FLAG_QUALS))
- ) {
- expr->data.cond.expr1 = CExpr_LValue(expr->data.cond.expr1, flag1, flag2);
- expr->data.cond.expr2 = CExpr_LValue(expr->data.cond.expr2, flag1, flag2);
- if (ENODE_IS(expr->data.cond.expr1, EINDIRECT) && ENODE_IS(expr->data.cond.expr2, EINDIRECT)) {
- if (!ENODE_IS(expr->data.cond.expr1->data.monadic, EBITFIELD) && !ENODE_IS(expr->data.cond.expr2->data.monadic, EBITFIELD)) {
- expr->data.cond.expr1 = getnodeaddress(expr->data.cond.expr1, 0);
- expr->data.cond.expr2 = getnodeaddress(expr->data.cond.expr2, 0);
- expr->rtype = expr->data.cond.expr1->rtype;
- tmpnode = makemonadicnode(expr, EINDIRECT);
- tmpnode->rtype = TYPE_POINTER(tmpnode->rtype)->target;
- return tmpnode;
- }
- }
- }
- break;
- }
-
- if (flag2)
- CError_Error(CErrorStr142);
- return expr;
-}
-
-ENode *CExpr_MakeObjRefNode(Object *obj, Boolean flag) {
- ENode *expr;
-
- if (obj->sclass == TK_TYPEDEF) {
- CError_Error(CErrorStr141);
- return intconstnode((Type *) &void_ptr, 0);
- }
-
- expr = lalloc(sizeof(ENode));
- memclrw(expr, sizeof(ENode));
- expr->type = EOBJREF;
- expr->data.objref = obj;
- expr->rtype = CDecl_NewPointerType(obj->type);
-
- if (!IS_TYPE_FUNC(obj->type))
- expr->flags = obj->qual & ENODE_FLAG_QUALS;
- if (flag)
- obj->flags |= OBJECT_USED;
-
- return expr;
-}
-
-ENode *create_objectrefnode(Object *obj) {
- if (name_obj_check && !name_obj_check(NULL, obj))
- return intconstnode((Type *) &void_ptr, 0);
- return CExpr_MakeObjRefNode(obj, 1);
-}
-
-ENode *create_objectnode2(Object *obj) {
- ENode *expr;
-
- if (name_obj_check && !name_obj_check(NULL, obj))
- return nullnode();
-
- expr = makemonadicnode(CExpr_MakeObjRefNode(obj, 1), EINDIRECT);
- expr->rtype = TYPE_POINTER(expr->rtype)->target;
- return expr;
-}
-
-ENode *create_objectnode(Object *obj) {
- return checkreference(create_objectnode2(obj));
-}
-
-static ENode *CExpr_ExpandArg(ENode *expr, Type *type) {
- if (ENODE_IS(expr, ETYPCON) && IS_TYPE_FLOAT(type)) {
- expr->rtype = type;
- return expr;
- } else {
- return promote(expr, type);
- }
-}
-
-ENode *CExpr_IsTempConstruction(ENode *expr, Type *type, ENode **resultexpr) {
- ENodeList *args;
- ENode *funccall;
- ENode *funcref;
-
- if (
- !ENODE_IS(expr, EINDIRECT) ||
- expr->rtype != type ||
- !ENODE_IS((funccall = expr->data.monadic), EFUNCCALL) ||
- !(args = funccall->data.funccall.args)
- )
- return NULL;
-
- if (!ENODE_IS((funcref = funccall->data.funccall.funcref), EOBJREF) || !CClass_IsConstructor(funcref->data.objref)) {
- if (expr->data.monadic->data.funccall.functype->functype != type)
- return NULL;
- if (CABI_GetStructResultArgumentIndex(expr->data.monadic->data.funccall.functype) == 1) {
- args = args->next;
- CError_ASSERT(1277, args);
- }
- }
-
- if (resultexpr)
- *resultexpr = args->node;
- return expr->data.monadic;
-}
-
-ENode *CExpr_AdjustFunctionCall(ENode *expr) {
- ENodeList *list;
-
- switch (expr->data.funccall.functype->functype->type) {
- case TYPECLASS:
- CDecl_CompleteType(expr->data.funccall.functype->functype);
- case TYPESTRUCT:
- if (!expr->data.funccall.functype->functype->size)
- CError_Error(CErrorStr136, expr->data.funccall.functype->functype, 0);
- }
-
- if (CMach_GetFunctionResultClass(expr->data.funccall.functype)) {
- list = lalloc(sizeof(ENodeList));
- if (IS_TYPE_CLASS(expr->data.funccall.functype->functype)) {
- CDecl_CompleteType(expr->data.funccall.functype->functype);
- if (CClass_Destructor(TYPE_CLASS(expr->data.funccall.functype->functype)))
- list->node = create_temp_node2(expr->rtype);
- else
- list->node = create_temp_node(expr->rtype);
- } else {
- list->node = create_temp_node(expr->rtype);
- }
- list->next = expr->data.funccall.args;
- expr->data.funccall.args = list;
-
- if (expr->data.funccall.funcref->flags & ENODE_FLAG_10)
- expr = CSOM_EnvCheck(expr, list);
-
- expr = makemonadicnode(expr, EINDIRECT);
- expr->data.monadic->rtype = CDecl_NewPointerType(expr->rtype);
- return expr;
- }
-
- if (expr->data.funccall.funcref->flags & ENODE_FLAG_10)
- expr = CSOM_EnvCheck(expr, NULL);
- return expr;
-}
-
-ENode *funccallexpr(Object *func, ENode *arg1, ENode *arg2, ENode *arg3, ENode *arg4) {
- ENode *expr;
- TypeFunc *tfunc;
- ENodeList *list;
-
- tfunc = TYPE_FUNC(func->type);
- CError_ASSERT(1411, IS_TYPE_FUNC(tfunc));
-
- expr = lalloc(sizeof(ENode));
- expr->type = EFUNCCALL;
- expr->cost = 4;
- expr->rtype = tfunc->functype;
- expr->flags = tfunc->qual & ENODE_FLAG_QUALS;
- expr->data.funccall.funcref = create_objectrefnode(func);
- expr->data.funccall.functype = tfunc;
-
- if (arg1) {
- list = lalloc(sizeof(ENodeList));
- expr->data.funccall.args = list;
- list->node = arg1;
- if (arg2) {
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg2;
- if (arg3) {
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg3;
- if (arg4) {
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg4;
- }
- }
- }
- list->next = NULL;
- } else {
- expr->data.funccall.args = NULL;
- }
-
- return CExpr_AdjustFunctionCall(expr);
-}
-
-ENode *CExpr_FuncCallSix(Object *func, ENode *arg1, ENode *arg2, ENode *arg3, ENode *arg4, ENode *arg5, ENode *arg6) {
- ENode *expr;
- TypeFunc *tfunc;
- ENodeList *list;
-
- tfunc = TYPE_FUNC(func->type);
- CError_ASSERT(1460, IS_TYPE_FUNC(tfunc));
-
- expr = lalloc(sizeof(ENode));
- expr->type = EFUNCCALL;
- expr->cost = 4;
- expr->rtype = tfunc->functype;
- expr->flags = tfunc->qual & ENODE_FLAG_QUALS;
- expr->data.funccall.funcref = create_objectrefnode(func);
- expr->data.funccall.functype = tfunc;
-
- list = lalloc(sizeof(ENodeList));
- expr->data.funccall.args = list;
- list->node = arg1;
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg2;
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg3;
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg4;
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg5;
- if (arg6) {
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = arg6;
- }
- list->next = NULL;
-
- return CExpr_AdjustFunctionCall(expr);
-}
-
-static void CExpr_CalcStdAssign(short checkresult, Match5 *match, Type *t1, UInt32 q1, Type *t2, UInt32 q2, Boolean flag) {
- memclrw(match, sizeof(Match5));
- switch (checkresult) {
- case CheckResult1:
- match->x0++;
- break;
- case CheckResult2:
- match->x2++;
- break;
- case CheckResult3:
- match->x4++;
- match->x6 += assign_value;
- break;
- default:
- CError_FATAL(1504);
- }
-
- if (flag || (IS_TYPE_POINTER_ONLY(t2) && (IS_TYPE_POINTER_ONLY(t1) || IS_TYPEPOINTER_REFERENCE(TYPE_POINTER(t2))) != 0)) {
- if ((q2 & Q_CONST) == (q1 & Q_CONST))
- match->x8++;
- if ((q2 & Q_VOLATILE) == (q1 & Q_VOLATILE))
- match->x8++;
- }
-}
-
-void CExpr_MatchCV(Type *t1, UInt32 q1, Type *t2, UInt32 q2, Match13 *match) {
- Boolean r8;
-
- if (IS_TYPEPOINTER_REFERENCE(TYPE_POINTER(t2))) {
- t2 = TYPE_POINTER(t2)->target;
- r8 = 1;
- } else {
- r8 = 0;
- }
-
- while (IS_TYPE_POINTER_ONLY(t2) && IS_TYPE_POINTER_ONLY(t1)) {
- if (r8) {
- if ((TYPE_POINTER(t1)->qual & Q_CONST) != (TYPE_POINTER(t2)->qual & Q_CONST))
- match->anotherm5.x8--;
- if ((TYPE_POINTER(t1)->qual & Q_VOLATILE) != (TYPE_POINTER(t2)->qual & Q_VOLATILE))
- match->anotherm5.x8--;
- }
- t2 = TYPE_POINTER(t2)->target;
- t1 = TYPE_POINTER(t1)->target;
- r8 = 1;
- }
-
- if ((q1 & Q_CONST) != (q2 & Q_CONST))
- match->anotherm5.x8--;
- if ((q1 & Q_VOLATILE) != (q2 & Q_VOLATILE))
- match->anotherm5.x8--;
-}
-
-Boolean CExpr_MatchAssign(Type *type, UInt32 qual, ENode *expr, Match13 *match) {
- switch (assign_check(expr, type, qual, 0, 0, 1)) {
- case CheckResult0:
- return 0;
- case CheckResult1:
- match->anotherm5.x0++;
- break;
- case CheckResult2:
- match->anotherm5.x2++;
- break;
- case CheckResult3:
- match->anotherm5.x4++;
- match->anotherm5.x6 += assign_value;
- break;
- case CheckResult4:
- match->xE++;
- match->match5.x0 += user_std_match.x0;
- match->match5.x2 += user_std_match.x2;
- match->match5.x4 += user_std_match.x4;
- match->match5.x6 += user_std_match.x6;
- match->match5.x8 += user_std_match.x8;
- break;
- default:
- CError_FATAL(1585);
- }
-
- if (IS_TYPE_POINTER_ONLY(type))
- CExpr_MatchCV(expr->rtype, expr->flags & ENODE_FLAG_QUALS, type, qual, match);
-
- return 1;
-}
-
-static short CExpr_StdMatchCompare(Match5 *a, Match5 *b, Boolean flag) {
- if (a->x0 > b->x0) return 1;
- if (a->x0 == b->x0) {
- if (a->x2 > b->x2) return 1;
- if (a->x2 == b->x2) {
- if (a->x4 > b->x4) return 1;
- if (a->x4 == b->x4) {
- if (a->x6 > b->x6) return 1;
- if (a->x6 == b->x6) {
- if (!flag)
- return 0;
- if (a->x8 > b->x8) return 1;
- if (a->x8 == b->x8) return 0;
- }
- }
- }
- }
- return -1;
-}
-
-static short CExpr2_MemberPointerConversion(Type *type, ENode *expr, Boolean flag1) {
- ENode *newnode;
- short depth;
-
- newnode = lalloc(sizeof(ENode));
- *newnode = *expr;
- if (!IS_TYPE_MEMBERPOINTER(newnode->rtype)) {
- newnode = CExpr_MemberPointerConversion(newnode, TYPE_MEMBER_POINTER(type), flag1);
- if (iscpp_typeequal(newnode->rtype, type)) {
- if (flag1)
- assign_node = newnode;
- return CheckResult3;
- }
- }
-
- if (IS_TYPE_MEMBERPOINTER(newnode->rtype)) {
- CError_ASSERT(1656, IS_TYPE_CLASS(TYPE_MEMBER_POINTER(type)->ty2));
- CError_ASSERT(1657, IS_TYPE_CLASS(TYPE_MEMBER_POINTER(newnode->rtype)->ty2));
-
- if (CClass_IsBaseClass(TYPE_CLASS(TYPE_MEMBER_POINTER(type)->ty2), TYPE_CLASS(TYPE_MEMBER_POINTER(newnode->rtype)->ty2), &depth, 0, 0)) {
- assign_value = 1000 - depth;
- if (flag1)
- assign_node = PointerToMemberCast(newnode, TYPE_MEMBER_POINTER(newnode->rtype), TYPE_MEMBER_POINTER(type), 1);
- return CheckResult3;
- }
- }
-
- return CheckResult0;
-}
-
-ENode *CExpr_ClassPointerCast(BClassList *cls, ENode *origexpr, Boolean nullcheckflag) {
- ENode *expr;
- ClassList *base;
- Boolean do_nullcheck;
- TypeClass *tclass;
- SInt32 offset;
- ENode *tmp;
-
- expr = origexpr;
- tclass = TYPE_CLASS(cls->type);
- do_nullcheck = 0;
- CError_ASSERT(1691, cls);
-
- if (!IS_TYPE_POINTER_ONLY(origexpr->rtype)) {
- CError_Error(CErrorStr141);
- return origexpr;
- }
-
- cls = cls->next;
- while (cls) {
- for (base = tclass->bases; base; base = base->next) {
- if (base->base == TYPE_CLASS(cls->type))
- break;
- }
-
- if (!base) {
- CError_Error(CErrorStr221);
- while (cls->next)
- cls = cls->next;
-
- tmp = nullnode();
- tmp->rtype = CDecl_NewPointerType(cls->type);
- return tmp;
- }
-
- if (base->is_virtual) {
- if (!base->base->sominfo) {
- do_nullcheck = 1;
- if ((offset = base->offset) && !canadd(expr, offset)) {
- expr = makediadicnode(expr, intconstnode(TYPE(&stunsignedlong), offset), EADD);
- optimizecomm(expr);
- }
- expr->rtype = CDecl_NewPointerType(CDecl_NewPointerType(TYPE(base->base)));
- expr = makemonadicnode(expr, EINDIRECT);
- }
- } else {
- if ((offset = base->offset)) {
- do_nullcheck = 1;
- if (!canadd(expr, offset)) {
- expr = makediadicnode(expr, intconstnode(TYPE(&stunsignedlong), offset), EADD);
- optimizecomm(expr);
- }
- }
- }
-
- switch (expr->type) {
- case EPOSTINC:
- case EPOSTDEC:
- case EPREINC:
- case EPREDEC:
- expr = makemonadicnode(expr, ETYPCON);
- }
-
- expr->rtype = CDecl_NewPointerType(TYPE(base->base));
- tclass = TYPE_CLASS(cls->type);
- cls = cls->next;
- }
-
- if (nullcheckflag && do_nullcheck)
- expr = do_castnullcheck(expr, origexpr);
- return expr;
-}
-
-ENode *CExpr_GetClassAccessNode(BClassList *a, BClassList *b, ENode *expr, Object *obj, AccessType access, Boolean flag) {
- TypeClass *tclass;
- ENode *tmp;
-
- if (!expr) {
- if (!cscope_currentfunc || !cscope_currentclass || !cscope_is_member_func || !(expr = CClass_CreateThisSelfExpr())) {
- CError_Error(CErrorStr221);
- return NULL;
- }
- expr = makemonadicnode(expr, EINDIRECT);
- expr->rtype = TYPE(cscope_currentclass);
- }
-
- CError_ASSERT(1786, a);
- CError_ASSERT(1787, IS_TYPE_CLASS(expr->rtype));
-
- tclass = TYPE_CLASS(expr->rtype);
- a = CScope_GetClassAccessPath(a, tclass);
- if (!a || a->type != TYPE(tclass)) {
- CError_Error(CErrorStr221);
- return NULL;
- }
-
- if (flag)
- CClass_CheckPathAccess(a, obj, access);
-
- if (!TYPE_CLASS(a->type)->sominfo) {
- if (b)
- a = CClass_AppendPath(a, b);
-
- if (!ENODE_IS(expr, EINDIRECT))
- expr = CExpr_LValue(expr, 0, 0);
-
- if (ENODE_IS(expr, EINDIRECT)) {
- expr->data.monadic->flags = expr->flags;
- tmp = expr->data.monadic;
- switch (tmp->type) {
- case EPOSTINC:
- case EPOSTDEC:
- case EPREINC:
- case EPREDEC:
- tmp = makemonadicnode(tmp, ETYPCON);
- }
- expr = makemonadicnode(CExpr_ClassPointerCast(a, tmp, 0), EINDIRECT);
- expr->rtype = TYPE(tclass);
- }
- }
-
- return expr;
-}
-
-static short std_assign_check_overload(NameSpaceObjectList *list, TemplArg *templargs, Type *type, Boolean flag1) {
- Object *obj;
- Object *used_obj;
- Boolean found_non_template_func;
- Boolean is_ambig;
- TemplFuncInstance *instance;
- ENode *expr;
- Object *cmp1;
- Object *cmp2;
-
- if (!IS_TYPE_POINTER_ONLY(type) || !IS_TYPE_FUNC(TYPE_POINTER(type)->target))
- return CheckResult0;
-
- used_obj = NULL;
- type = TYPE_POINTER(type)->target;
- found_non_template_func = 0;
- is_ambig = 0;
- for (; list; list = list->next) {
- obj = OBJECT(list->object);
- if (obj->otype != OT_OBJECT)
- continue;
-
- if (IS_TYPE_FUNC(obj->type) && (TYPE_FUNC(obj->type)->flags & FUNC_IS_TEMPL)) {
- if (!found_non_template_func && CTempl_CanDeduceFunc(obj, TYPE_FUNC(type), templargs)) {
- instance = CTempl_DeduceFunc(obj, TYPE_FUNC(type), templargs, NULL, 0);
- CError_ASSERT(1861, instance);
- if (is_typesame(instance->object->type, type)) {
- if (used_obj && used_obj != instance->object)
- is_ambig = 1;
- else
- used_obj = instance->object;
- }
- }
- } else {
- if (is_typesame(obj->type, type)) {
- if (used_obj && found_non_template_func) {
- cmp1 = obj;
- if (obj->datatype == DALIAS)
- cmp1 = obj->u.alias.object;
- cmp2 = used_obj;
- if (used_obj->datatype == DALIAS)
- cmp2 = used_obj->u.alias.object;
- if (cmp1 != cmp2)
- is_ambig = 1;
- } else {
- is_ambig = 0;
- used_obj = obj;
- }
- found_non_template_func = 1;
- }
- }
- }
-
- if (used_obj) {
- if (flag1) {
- if (is_ambig)
- CError_Error(CErrorStr199);
- expr = CExpr_MakeObjRefNode(used_obj, 1);
- assign_node = expr;
- expr->rtype = CDecl_NewPointerType(used_obj->type);
- expr->flags = obj->qual & ENODE_FLAG_QUALS;
- used_obj->flags |= OBJECT_USED;
- if (used_obj->datatype == DINLINEFUNC)
- CError_Error(CErrorStr175);
- }
- return CheckResult1;
- } else {
- return CheckResult0;
- }
-}
-
-ENode *CExpr_ConvertToBool(ENode *expr, Boolean isExplicit) {
- if (IS_TYPE_MEMBERPOINTER(expr->rtype))
- expr = CExpr_ConvertToCondition(expr);
-
- switch (expr->rtype->type) {
- case TYPEINT:
- case TYPEFLOAT:
- case TYPEENUM:
- case TYPEPOINTER:
- if (IS_TYPE_ENUM(expr->rtype))
- expr = forceintegral(expr);
- switch (expr->type) {
- case EINTCONST:
- CInt64_SetLong(&expr->data.intval, !CInt64_IsZero(&expr->data.intval));
- break;
- case EFLOATCONST:
- CInt64_SetLong(&expr->data.intval, !CMach_FloatIsZero(expr->data.floatval));
- expr->type = EINTCONST;
- break;
- default:
- expr = makemonadicnode(expr, ELOGNOT);
- expr->rtype = TYPE(&stbool);
- expr = makemonadicnode(expr, ELOGNOT);
- }
- break;
- default:
- CError_Error(
- isExplicit ? CErrorStr247 : CErrorStr209,
- expr->rtype,
- expr->flags & ENODE_FLAG_QUALS,
- &stbool,
- 0);
- expr = nullnode();
- }
-
- expr->rtype = TYPE(&stbool);
- return expr;
-}
-
-static short std_assign_check(ENode *expr, Type *type, Boolean flag1, Boolean flag2) {
- short result;
-
- if (copts.cplusplus) {
- illegalimplicitconversion = 0;
-
- if ((result = iscpp_typeequal(expr->rtype, type))) {
- assign_node = expr;
- if (result == -1) {
- assign_value = 1;
- return CheckResult3;
- } else {
- return CheckResult1;
- }
- }
-
- if (flag1 && illegalimplicitconversion) {
- CError_Error(CErrorStr209, expr->rtype, expr->flags & ENODE_FLAG_QUALS, type, 0);
- return CheckResult0;
- }
- } else {
- if (is_typeequal(expr->rtype, type)) {
- assign_node = expr;
- return CheckResult1;
- }
- }
-
- if (type == TYPE(&stbool)) {
- switch (expr->rtype->type) {
- case TYPEPOINTER:
- case TYPEMEMBERPOINTER:
- assign_value = 0;
- case TYPEINT:
- case TYPEFLOAT:
- case TYPEENUM:
- if (flag1)
- assign_node = CExpr_ConvertToBool(expr, 0);
- return CheckResult3;
- default:
- return CheckResult0;
- }
- }
-
- if (IS_TYPE_ENUM(expr->rtype) && (IS_TYPE_INT(type) || IS_TYPE_FLOAT(type))) {
- result = CheckResult3;
- if (IS_TYPE_INT(type)) {
- if (TYPE_ENUM(expr->rtype)->enumtype == type) {
- result = CheckResult2;
- } else if (TYPE_INTEGRAL(TYPE_ENUM(expr->rtype)->enumtype)->integral < IT_INT) {
- switch (TYPE_INTEGRAL(type)->integral) {
- case IT_INT:
- if (expr->rtype->size < stsignedint.size || TYPE_ENUM(expr->rtype)->enumtype == TYPE(&stsignedshort))
- result = CheckResult2;
- break;
- case IT_UINT:
- if (expr->rtype->size >= stsignedint.size && TYPE_ENUM(expr->rtype)->enumtype != TYPE(&stsignedshort))
- result = CheckResult2;
- break;
- }
- }
- }
- if (flag1) {
- expr->rtype = TYPE_ENUM(expr->rtype)->enumtype;
- assign_node = promote(expr, type);
- }
- return result;
- }
-
- if (IS_TYPE_INT(expr->rtype) && (IS_TYPE_INT(type) || IS_TYPE_FLOAT(type))) {
- result = CheckResult3;
- if (TYPE_INTEGRAL(expr->rtype)->integral <= IT_INT) {
- if (type == TYPE(&stsignedint) || type == TYPE(&stunsignedint)) {
- switch (TYPE_INTEGRAL(type)->integral) {
- case IT_INT:
- if (expr->rtype->size < stsignedint.size || type != TYPE(&stunsignedshort))
- result = CheckResult2;
- break;
- case IT_UINT:
- if (expr->rtype->size == stsignedint.size && type == TYPE(&stunsignedshort))
- result = CheckResult2;
- break;
- }
- }
- }
-
- if (flag1 && type != expr->rtype)
- assign_node = promote(expr, type);
- else
- assign_node = expr;
- return result;
- }
-
- if (IS_TYPE_FLOAT(expr->rtype) && (IS_TYPE_INT(type) || IS_TYPE_FLOAT(type))) {
- if (type == TYPE(&stdouble) && (expr->rtype == TYPE(&stfloat) || expr->rtype == TYPE(&stshortdouble)))
- result = CheckResult2;
- else
- result = CheckResult3;
-
- if (flag1 && (!IS_TYPE_FLOAT(type) || type->size != expr->rtype->size))
- assign_node = promote(expr, type);
- else
- assign_node = expr;
- return result;
- }
-
- if (IS_TYPE_POINTER_ONLY(type)) {
- if (ENODE_IS(expr, EINTCONST) && CInt64_IsZero(&expr->data.intval) && (IS_TYPE_INT(expr->rtype) || (!copts.cplusplus && IS_TYPE_ENUM(expr->rtype)))) {
- if (flag1)
- expr->rtype = TYPE(&stunsignedlong);
- assign_node = expr;
- return CheckResult3;
- }
- if (ENODE_IS(expr, EOBJLIST)) {
- return std_assign_check_overload(expr->data.objlist.list, expr->data.objlist.templargs, type, flag1);
- }
- if (IS_TYPE_POINTER_ONLY(expr->rtype)) {
- if (ENODE_IS(expr, EOBJREF) && IS_TYPE_FUNC(expr->data.objref->type) && (TYPE_FUNC(expr->data.objref->type)->flags & FUNC_IS_TEMPL)) {
- NameSpaceObjectList list;
- list.next = NULL;
- list.object = OBJ_BASE(expr->data.objref);
- return std_assign_check_overload(&list, NULL, type, flag1);
- }
- if (copts.objective_c && CObjC_IsCompatibleType(expr->rtype, type)) {
- assign_value = 1;
- return CheckResult3;
- }
- if (IS_TYPE_CLASS(TYPE_POINTER(expr->rtype)->target) && IS_TYPE_CLASS(TYPE_POINTER(type)->target)) {
- short depth;
- Boolean isambig;
- BClassList *path;
- path = CClass_GetBasePath(
- TYPE_CLASS(TYPE_POINTER(expr->rtype)->target),
- TYPE_CLASS(TYPE_POINTER(type)->target),
- &depth, &isambig
- );
- if (path) {
- assign_value = 1000 - depth;
- if (flag1) {
- if (isambig)
- CError_Error(CErrorStr188);
- if (flag2)
- CClass_CheckPathAccess(path, NULL, ACCESSPUBLIC);
- assign_node = CExpr_ClassPointerCast(path, expr, 1);
- }
- return CheckResult3;
- } else {
- if (flag1) {
- if (isambig)
- CError_Error(CErrorStr188);
- else
- CError_Error(
- CErrorStr244,
- expr->rtype,
- expr->flags & ENODE_FLAG_QUALS,
- type,
- 0);
- }
- return CheckResult0;
- }
- }
- }
- }
-
- if (IS_TYPE_MEMBERPOINTER(type) && !IS_TYPE_CLASS(expr->rtype)) {
- return CExpr2_MemberPointerConversion(type, expr, flag1);
- }
-
- if (IS_TYPE_CLASS(expr->rtype) && IS_TYPE_CLASS(type)) {
- short depth;
- Boolean isambig;
- BClassList *path;
- path = CClass_GetBasePath(
- TYPE_CLASS(expr->rtype),
- TYPE_CLASS(type),
- &depth, &isambig
- );
- if (path) {
- assign_value = 1000 - depth;
- if (flag1) {
- if (isambig)
- CError_Error(CErrorStr188);
- CClass_CheckPathAccess(path, NULL, ACCESSPUBLIC);
- assign_node = getnodeaddress(expr, 0);
- assign_node = CExpr_ClassPointerCast(path, assign_node, 0);
- assign_node = makemonadicnode(assign_node, EINDIRECT);
- assign_node->rtype = type;
- }
- return CheckResult3;
- }
- }
-
- if (IS_TYPE_ENUM(type)) {
- switch (expr->rtype->type) {
- case TYPEINT:
- case TYPEFLOAT:
- case TYPEENUM:
- if (!copts.cplusplus) {
- if (flag1) {
- if (copts.pedantic)
- CError_Warning(CErrorStr217, expr->rtype, expr->flags & ENODE_FLAG_QUALS, type, 0);
- assign_node = do_typecast(expr, type, 0);
- assign_node->flags = expr->flags;
- }
- return CheckResult2;
- } else {
- if (flag1)
- CError_Error(CErrorStr217, expr->rtype, expr->flags & ENODE_FLAG_QUALS, type, 0);
- }
- }
- }
-
- return CodeGen_AssignCheck(expr, type, flag1, flag2);
-}
-
-static short is_compatible_conversion(Type *a, Type *b) {
- if (IS_TYPE_REFERENCE(a))
- a = TYPE_POINTER(a)->target;
- if (IS_TYPE_REFERENCE(b))
- b = TYPE_POINTER(b)->target;
- return iscpp_typeequal(b, a);
-}
-
-static void CExpr_ConIteratorInit(ConIterator *iter) {
- ClassList *base;
- ConIterator *subiter;
- ConIteratorList *list;
-
- for (base = iter->tclass->bases; base; base = base->next) {
- if (base->base->flags & CLASS_IS_CONVERTIBLE) {
- subiter = galloc(sizeof(ConIterator));
- memclrw(subiter, sizeof(ConIterator));
- subiter->parent = iter;
- subiter->tclass = base->base;
- CExpr_ConIteratorInit(subiter);
-
- list = galloc(sizeof(ConIteratorList));
- memclrw(list, sizeof(ConIteratorList));
- list->iter = subiter;
- list->next = iter->children;
- iter->children = list;
- }
- }
-}
-
-void CExpr_ConversionIteratorInit(ConversionIterator *iter, TypeClass *tclass) {
- memclrw(iter, sizeof(ConversionIterator));
- if (tclass->flags & CLASS_IS_CONVERTIBLE) {
- iter->coniter = &iter->myconiter;
- iter->myconiter.tclass = tclass;
- CExpr_ConIteratorInit(&iter->myconiter);
- CScope_InitObjectIterator(&iter->objiter, tclass->nspace);
- }
-}
-
-static Boolean CExpr_ConversionIteratorIsHidden(ConIterator *iter, TypeFunc *tfunc) {
- CScopeObjectIterator objiter;
- ObjBase *obj;
- TypeFunc *objtfunc;
-
- while (iter) {
- CScope_InitObjectIterator(&objiter, iter->tclass->nspace);
- while (1) {
- if (!(obj = CScope_NextObjectIteratorObject(&objiter)))
- break;
-
- objtfunc = TYPE_FUNC(OBJECT(obj)->type);
- if (
- IS_TYPE_FUNC(objtfunc) &&
- (objtfunc->flags & FUNC_CONVERSION) &&
- is_compatible_conversion(tfunc->functype, objtfunc->functype) &&
- (tfunc->args->qual & Q_CONST) == (objtfunc->args->qual & Q_CONST) &&
- (tfunc->qual & Q_CONST) == (objtfunc->qual & Q_CONST)
- )
- return 1;
- }
- iter = iter->parent;
- }
-
- return 0;
-}
-
-Object *CExpr_ConversionIteratorNext(ConversionIterator *iter) {
- ConIterator *ci;
- Object *obj;
-
- ci = iter->coniter;
- if (!ci)
- return NULL;
-
-restart:
- if ((obj = OBJECT(CScope_NextObjectIteratorObject(&iter->objiter)))) {
- if (
- IS_TYPE_FUNC(obj->type) &&
- (TYPE_FUNC(obj->type)->flags & FUNC_CONVERSION) &&
- !CExpr_ConversionIteratorIsHidden(ci->parent, TYPE_FUNC(obj->type))
- ) {
- return obj;
- }
- goto restart;
- }
-
- do {
- if (ci->children) {
- iter->coniter = ci->children->iter;
- ci->children = ci->children->next;
- ci = iter->coniter;
- CScope_InitObjectIterator(&iter->objiter, ci->tclass->nspace);
- goto restart;
- }
- } while ((ci = ci->parent));
-
- return NULL;
-}
-
-short user_assign_check(ENode *expr, Type *type, UInt32 qual, Boolean flag1, Boolean flag2, Boolean flag3) {
- Object *r26;
- ENode *r25;
- Boolean r24;
- Boolean r23;
- Boolean r22;
- Type *r18b;
- short r18;
- TypeFunc *r17;
- Object *r17b;
- NameSpaceObjectList *r16b;
- Object *r16;
- Object *r15;
- ENode *r15b;
- ENode *r14;
- short r14b;
- TypeFunc *r14c;
- ENodeList *r14d;
- TypeMemberFunc *r13;
- ENodeList *r13b;
- short result;
- FuncArg *arg;
- ConversionIterator iter;
- Match5 stdmatch;
- Match5 match_8C;
- Match5 match_98;
- BClassList path;
- UInt16 chk;
- Boolean is_const, is_volatile;
-
- CError_ASSERT(2378, copts.old_argmatch);
-
- memclrw(&stdmatch, sizeof(Match5));
- r24 = 0;
- r22 = 0;
- r23 = 0;
-
- if (!type->size)
- CDecl_CompleteType(type);
- if (!expr->rtype->size)
- CDecl_CompleteType(expr->rtype);
-
- if (IS_TYPE_CLASS(expr->rtype)) {
- r18 = 0;
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(expr->rtype));
- while ((r16 = CExpr_ConversionIteratorNext(&iter))) {
- r17 = TYPE_FUNC(r16->type);
- r14 = CExpr_NewENode(ETEMP);
- r14->rtype = r17->functype;
- if (IS_TYPE_REFERENCE(r14->rtype)) {
- r14->rtype = TYPE_POINTER(r14->rtype)->target;
- if (!CParser_IsConst(r14->rtype, r17->qual)) {
- r14 = makemonadicnode(r14, EINDIRECT);
- r14->data.monadic->rtype = TYPE(&void_ptr);
- r14 = makemonadicnode(r14, EINDIRECT);
- r14->data.monadic->rtype = TYPE(&void_ptr);
- }
- }
- if ((result = std_assign_check(r14, type, 0, flag3))) {
- CExpr_CalcStdAssign(result, &match_98, r17->functype, r17->qual, type, qual, 1);
- CError_ASSERT(2419, r17->args && IS_TYPE_POINTER_ONLY(r17->args->type));
- chk = expr->flags;
- if (!(is_const = (r17->args->qual & Q_CONST)) && (chk & Q_CONST) != 0)
- continue;
- if (!(is_volatile = (r17->args->qual & Q_VOLATILE)) && (chk & Q_VOLATILE) != 0)
- continue;
- //if (((r17->args->qual & Q_CONST) == 0 && (chk & Q_CONST) != 0) || ((r17->args->qual & Q_VOLATILE) == 0 && (chk & Q_VOLATILE) != 0))
- // continue;
-
- r14b = 0;
- if (is_const == (expr->flags & Q_CONST))
- r14b++;
- if (is_volatile == (expr->flags & Q_VOLATILE))
- r14b++;
- switch (CExpr_StdMatchCompare(&match_98, &stdmatch, 1)) {
- case -1:
- continue;
- case 0:
- if (r26 == r16)
- continue;
- if (r14b < r18)
- continue;
- if (r14b != r18)
- break;
- r22 = 1;
- continue;
- }
- r26 = r16;
- stdmatch = match_98;
- r24 = 1;
- r22 = 0;
- r18 = r14b;
- }
- }
- }
-
- if (IS_TYPE_CLASS(type) && (r16b = CClass_Constructor(TYPE_CLASS(type)))) {
- memclrw(&match_8C, sizeof(Match5));
- for (; r16b; r16b = r16b->next) {
- r17b = OBJECT(r16b->object);
- if (r17b->otype != OT_OBJECT)
- continue;
- r14c = TYPE_FUNC(r17b->type);
- if (!IS_TYPE_FUNC(r14c))
- continue;
- if (!flag2 && (r14c->qual & Q_EXPLICIT))
- continue;
- if (!r14c->args)
- continue;
- if (!(arg = r14c->args->next))
- continue;
- if ((TYPE_CLASS(type)->flags & CLASS_HAS_VBASES) && !(arg = arg->next))
- continue;
- if (arg == &elipsis)
- continue;
- if (arg->next && !arg->next->dexpr && arg->next != &elipsis)
- continue;
-
- r18b = arg->type;
- if (IS_TYPE_REFERENCE(r18b)) {
- r18b = TYPE_POINTER(r18b)->target;
- if (!CParser_IsConst(r18b, arg->qual) && !CExpr_IsLValue(expr))
- continue;
- }
-
- if ((result = std_assign_check(expr, r18b, 0, flag3))) {
- CExpr_CalcStdAssign(result, &match_98, r14c->functype, r14c->qual, type, qual, 0);
- switch (CExpr_StdMatchCompare(&match_98, &match_8C, 1)) {
- case -1:
- case 0:
- continue;
- }
- r25 = expr;
- match_8C = match_98;
- r23 = 1;
- r15 = r17b;
- }
- }
-
- if (r23) {
- if (r24) {
- switch (CExpr_StdMatchCompare(&stdmatch, &match_8C, 1)) {
- case -1:
- stdmatch = match_8C;
- r24 = 0;
- break;
- case 0:
- r22 = 1;
- break;
- }
- } else {
- stdmatch = match_8C;
- }
- }
- }
-
- if (r22 && flag1)
- CError_Error(CErrorStr199);
-
- if (r24 || r23) {
- if (flag1) {
- if (r24) {
- r13 = TYPE_METHOD(r26->type);
- CError_ASSERT(2537, r13->flags & FUNC_METHOD);
- r15b = create_objectrefnode(r26);
- r26->flags |= OBJECT_USED;
- r14d = lalloc(sizeof(ENodeList));
- r14d->next = NULL;
- expr = getnodeaddress(expr, 0);
- r14d->node = CExpr_AssignmentPromotion(expr, CDecl_NewPointerType(TYPE(r13->theclass)), expr->flags, 0);
-
- expr = lalloc(sizeof(ENode));
- expr->type = EFUNCCALL;
- expr->cost = 4;
- expr->rtype = r13->functype;
- expr->flags = r13->qual & ENODE_FLAG_QUALS;
- expr->data.funccall.funcref = r15b;
- expr->data.funccall.args = r14d;
- expr->data.funccall.functype = TYPE_FUNC(r26->type);
- assign_node = checkreference(CExpr_AdjustFunctionCall(expr));
- if (assign_node->rtype != type)
- assign_node = CExpr_AssignmentPromotion(assign_node, type, qual, 1);
- if (!IS_TYPE_REFERENCE(r13->functype))
- temp_reference_init = 1;
- } else {
- r13b = lalloc(sizeof(ENodeList));
- r13b->next = NULL;
- r13b->node = r25;
- if (TYPE_CLASS(type)->flags & CLASS_HAS_VBASES) {
- r13b->next = lalloc(sizeof(ENodeList));
- r13b->next->node = r25;
- r13b->next->next = NULL;
- r13b->node = intconstnode(TYPE(&stsignedshort), 1);
- }
- path.next = NULL;
- path.type = type;
- assign_node = makemonadicnode(create_temp_node(type), EINDIRECT);
- assign_node->rtype = type;
- assign_node = CExpr_GenericFuncCall(&path, assign_node, 0, r15, NULL, NULL, r13b, 0, 0, 1);
- if (ENODE_IS2(assign_node, EFUNCCALL, EFUNCCALLP)) {
- assign_node->rtype = CDecl_NewPointerType(type);
- assign_node = makemonadicnode(assign_node, EINDIRECT);
- assign_node->rtype = type;
- }
- temp_reference_init = 1;
- }
- }
-
- user_std_match = stdmatch;
- return CheckResult4;
- } else {
- if (flag1)
- CError_Error(CErrorStr244, expr->rtype, expr->flags & ENODE_FLAG_QUALS, type, qual);
- return CheckResult0;
- }
-}
-
-ENode *CExpr_ConvertToCondition(ENode *expr) {
- switch (expr->rtype->type) {
- case TYPEINT:
- case TYPEFLOAT:
- case TYPEPOINTER:
- return expr;
- case TYPEENUM:
- expr->rtype = TYPE_ENUM(expr->rtype)->enumtype;
- return expr;
- case TYPEMEMBERPOINTER:
- return memberpointercompare(ENOTEQU, expr, nullnode());
- case TYPECLASS:
- return CExpr_Convert(expr, TYPE(&stbool), 0, 0, 1);
- default:
- CError_Error(CErrorStr376, expr->rtype, expr->flags & ENODE_FLAG_QUALS);
- return nullnode();
- }
-}
-
-ENode *CExpr_ConvertToIntegral(ENode *expr) {
- ConversionIterator iter;
- Type *found;
- Object *obj;
-
- switch (expr->rtype->type) {
- case TYPEINT:
- case TYPEENUM:
- return integralpromote(expr);
- case TYPECLASS:
- CDecl_CompleteType(expr->rtype);
- found = NULL;
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(expr->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (IS_TYPE_INT_OR_ENUM(TYPE_FUNC(obj->type)->functype)) {
- if (found) {
- CError_Error(CErrorStr199);
- break;
- }
- found = TYPE_FUNC(obj->type)->functype;
- }
- }
- if (found)
- return integralpromote(CExpr_Convert(expr, found, 0, 0, 1));
- break;
- }
-
- CError_Error(CErrorStr376, expr->rtype, expr->flags & ENODE_FLAG_QUALS);
- return nullnode();
-}
-
-void CExpr_CheckArithmConversion(ENode *expr, Type *type) {
- CInt64 val;
-
- if (expr->rtype == type)
- return;
- if (expr->rtype == TYPE(&stbool))
- return;
-
- if (IS_TYPE_INT(expr->rtype)) {
- if (IS_TYPE_FLOAT(type))
- return;
- CError_ASSERT(2772, IS_TYPE_INT(type));
-
- if (type->size > expr->rtype->size)
- return;
- if (type->size == expr->rtype->size && is_unsigned(type) == is_unsigned(expr->rtype))
- return;
-
- switch (expr->type) {
- case EINTCONST:
- if (!CInt64_IsNegative(&expr->data.intval) || is_unsigned(expr->rtype) || !is_unsigned(type)) {
- val = CExpr_IntConstConvert(type, expr->rtype, expr->data.intval);
- val = CExpr_IntConstConvert(expr->rtype, type, val);
- if (CInt64_Equal(val, expr->data.intval))
- return;
- }
- break;
- case ELOGNOT:
- case ELESS:
- case EGREATER:
- case ELESSEQU:
- case EGREATEREQU:
- case EEQU:
- case ENOTEQU:
- case ELAND:
- case ELOR:
- return;
- }
- } else {
- if (IS_TYPE_FLOAT(type) && type->size >= expr->rtype->size)
- return;
- }
-
- CError_Warning(CErrorStr317, expr->rtype, 0, type, 0);
-}
-
-ENode *get_address_of_temp_copy(ENode *expr, Boolean flag) {
- char buf[64];
- ENode *result;
- Object *obj;
- Type *innertype;
-
- if (flag) {
- if (ENODE_IS2(expr, EINTCONST, EFLOATCONST)) {
- obj = CParser_NewCompilerDefDataObject();
- obj->type = expr->rtype;
- obj->name = CParser_GetUniqueName();
- obj->sclass = TK_STATIC;
- if (ENODE_IS(expr, EINTCONST)) {
- innertype = expr->rtype;
- switch (innertype->type) {
- case TYPEINT:
- break;
- case TYPEENUM:
- innertype = TYPE_ENUM(innertype)->enumtype;
- break;
- case TYPEPOINTER:
- innertype = TYPE(&stunsignedlong);
- break;
- default:
- CError_FATAL(2857);
- }
- CMach_InitIntMem(innertype, expr->data.intval, buf);
- } else {
- CMach_InitFloatMem(expr->rtype, expr->data.floatval, buf);
- }
- CInit_DeclareData(obj, buf, NULL, obj->type->size);
- return create_objectrefnode(obj);
- }
-
- if (cinit_tempnodefunc == NULL)
- result = CExpr_NewETEMPNode(expr->rtype, 1);
- else
- result = cinit_tempnodefunc(expr->rtype, 0);
- result = makemonadicnode(result, EINDIRECT);
- result->rtype = TYPE_POINTER(result->rtype)->target;
- return makecommaexpression(makediadicnode(result, expr, EASS), result->data.monadic);
- } else {
- result = nullnode();
- CInt64_SetLong(&result->data.intval, -1);
- result->rtype = CDecl_NewPointerType(expr->rtype);
- return result;
- }
-}
-
-short assign_check(ENode *expr, Type *type, UInt32 qual, Boolean flag1, Boolean flag2, Boolean flag3) {
- Type *type2;
- Boolean r30;
- Boolean r29;
- short result;
-
- assign_value = 1000;
- r30 = 0;
- r29 = 0;
- temp_reference_init = 0;
-
- type2 = type;
- if (IS_TYPE_REFERENCE(type) && !IS_TYPE_FUNC(TYPE_POINTER(type)->target)) {
- type2 = TYPE_POINTER(type)->target;
- r30 = 1;
- }
-
- assign_node = expr;
- if (IS_TYPE_ARRAY(type2)) {
- r29 = 1;
- type2 = CDecl_NewPointerType(TYPE_POINTER(type2)->target);
- }
-
- if (!type2->size) {
- CDecl_CompleteType(type2);
- if (!type2->size && !r30) {
- if (flag1) {
- if (IS_TYPE_CLASS(type2))
- CError_Error(CErrorStr136, type2, 0);
- else
- CError_Error(CErrorStr244, expr->rtype, expr->flags & ENODE_FLAG_QUALS, type2, qual);
- }
- return CheckResult0;
- }
- }
-
- if (copts.warn_implicitconv && flag1 && !flag2) {
- if (IS_TYPE_INT_OR_FLOAT(type2) && IS_TYPE_INT_OR_FLOAT(expr->rtype))
- CExpr_CheckArithmConversion(expr, type2);
- }
-
- result = std_assign_check(expr, type2, flag1, flag3);
- if (!result) {
- if (IS_TYPE_CLASS(expr->rtype) || IS_TYPE_CLASS(type2)) {
- result = user_assign_check(expr, type2, qual, flag1, flag2, flag3);
- } else if (flag1) {
- CError_Error(CErrorStr244, expr->rtype, expr->flags & ENODE_FLAG_QUALS, type2, qual);
- }
- }
-
- if (r30 && result) {
- if (flag1) {
- if (!ENODE_IS(assign_node, EINDIRECT)) {
- if (!r29) {
- assign_node = CExpr_LValue(assign_node, 0, 0);
- if (!ENODE_IS(assign_node, EINDIRECT)) {
- assign_node = get_address_of_temp_copy(assign_node, 1);
- temp_reference_init = 1;
- } else {
- assign_node = getnodeaddress(assign_node, 0);
- }
- }
- } else {
- if (!CExpr_IsLValue(assign_node))
- temp_reference_init = 1;
- if (!r29)
- assign_node = getnodeaddress(assign_node, 0);
- }
- } else {
- if (!r29 && !CExpr_IsLValue(assign_node) && !CParser_IsConst(TYPE_POINTER(type)->target, qual)) {
- result = CheckResult0;
- }
- }
- }
-
- return result;
-}
-
-Boolean CExpr_MatchCompare(Object *obj, Match13 *a, Match13 *b) {
- Object *tmp;
- ObjectList *list;
-
- switch (CExpr_StdMatchCompare(&b->anotherm5, &a->anotherm5, 0)) {
- case -1:
- return 0;
- case 0:
- if (a->xE > b->xE)
- return 0;
- if (a->xE != b->xE)
- break;
- switch (CExpr_StdMatchCompare(&b->match5, &a->match5, 1)) {
- case -1:
- return 0;
- case 0:
- if (a->anotherm5.x8 > b->anotherm5.x8)
- return 0;
- if (a->anotherm5.x8 == b->anotherm5.x8 && (tmp = a->obj)) {
- if (tmp->datatype == obj->datatype) {
- add_it:
- list = lalloc(sizeof(ObjectList));
- list->next = a->list;
- a->list = list;
- list->object = obj;
- return 0;
- }
- if (obj->datatype == DALIAS)
- return 0;
- if (tmp->datatype != DALIAS)
- goto add_it;
- }
- }
- }
-
- *a = *b;
- a->obj = obj;
- return 1;
-}
-
-static void MatchOverloadFunc(Object *obj, FuncArg *args, ENodeList *argexprs, Match13 *match) {
- Match13 match2;
-
- if (IS_TYPE_FUNC(obj->type) && !(TYPE_FUNC(obj->type)->flags & FUNC_IS_TEMPL)) {
- memclrw(&match2, sizeof(Match13));
- while (1) {
- if (!args || args->type == &stvoid) {
- if (!argexprs)
- break;
- return;
- }
-
- if (args == &elipsis)
- break;
- if (args == &oldstyle)
- break;
-
- if (!argexprs) {
- if (args->dexpr)
- break;
- return;
- }
-
- if (!CExpr_MatchAssign(args->type, args->qual, argexprs->node, &match2))
- return;
-
- argexprs = argexprs->next;
- args = args->next;
- }
-
- CExpr_MatchCompare(obj, match, &match2);
- }
-}
-
-Boolean CExpr_GetFuncMatchArgs(Object *obj, ENodeList *argexprs, ENode *expr, FuncMatchArgs *result) {
- ENode *intexpr;
-
- if (!(TYPE_FUNC(obj->type)->flags & FUNC_METHOD)) {
- result->exprs = argexprs;
- result->args = TYPE_FUNC(obj->type)->args;
- return 1;
- }
-
- if (TYPE_METHOD(obj->type)->is_static) {
- result->exprs = argexprs;
- result->args = TYPE_FUNC(obj->type)->args;
- return 1;
- }
-
- if (TYPE_FUNC(obj->type)->flags & FUNC_IS_CTOR) {
- result->exprs = argexprs;
- result->args = TYPE_FUNC(obj->type)->args->next;
- return 1;
- }
-
- if (expr) {
- intexpr = lalloc(sizeof(ENode));
- intexpr->type = EINTCONST;
- intexpr->cost = 0;
- intexpr->flags = expr->flags;
- intexpr->rtype = CDecl_NewPointerType(expr->rtype);
- intexpr->data.intval = cint64_zero;
-
- result->exprs = lalloc(sizeof(ENodeList));
- result->exprs->next = argexprs;
- result->exprs->node = intexpr;
-
- if (obj->datatype == DALIAS) {
- result->args = lalloc(sizeof(FuncArg));
- *result->args = *TYPE_FUNC(obj->type)->args;
- result->args->type = CDecl_NewPointerType(expr->rtype);
- } else {
- result->args = TYPE_FUNC(obj->type)->args;
- }
-
- return 1;
- }
-
- return 0;
-}
-
-static NameSpaceObjectList *CExpr_CopyNameSpaceObjectList(NameSpaceObjectList *list) {
- NameSpaceObjectList *first;
- NameSpaceObjectList *work;
-
- first = work = lalloc(sizeof(NameSpaceObjectList));
- while (1) {
- work->object = list->object;
- list = list->next;
- if (!list) {
- work->next = NULL;
- break;
- } else {
- work->next = lalloc(sizeof(NameSpaceObjectList));
- work = work->next;
- }
- }
- return first;
-}
-
-static void CExpr_MatchArgList(NameSpaceObjectList *list, TemplArg *templargs, ENodeList *argexprs, Match13 *match, ENode *expr, Boolean flag) {
- NameSpaceObjectList *copied_list;
- NameSpaceObjectList *scan_list;
- Object *obj;
- ENodeList *scan_expr;
- Boolean is_template;
- FuncMatchArgs fma;
-
- if (!copts.old_argmatch) {
- CExpr_FuncArgMatch(CExpr_CopyNameSpaceObjectList(list), templargs, argexprs, match, expr, flag);
- return;
- }
-
- copied_list = CExpr_CopyNameSpaceObjectList(list);
-
- for (scan_expr = argexprs; scan_expr; scan_expr = scan_expr->next)
- CDecl_CompleteType(scan_expr->node->rtype);
-
- scan_list = copied_list;
- is_template = 0;
- for (; scan_list; scan_list = scan_list->next) {
- obj = OBJECT(scan_list->object);
- if (obj->otype != OT_OBJECT)
- continue;
- if (IS_TYPE_FUNC(obj->type) && (!flag || !(obj->qual & Q_EXPLICIT))) {
- if (!(TYPE_FUNC(obj->type)->flags & FUNC_IS_TEMPL)) {
- if (CExpr_GetFuncMatchArgs(obj, argexprs, expr, &fma))
- MatchOverloadFunc(obj, fma.args, fma.exprs, match);
- } else {
- is_template = 1;
- }
- }
- }
-
- if (is_template) {
- if (!match->obj || match->anotherm5.x2 || match->anotherm5.x4 || match->xE)
- CTempl_FuncMatch(copied_list, templargs, argexprs, match, expr);
- }
-}
-
-ENode *CExpr_GetDefaultArgument(ENode *funcexpr, FuncArg *arg) {
- ENode *tmp;
-
- if (CTemplTool_IsTemplateArgumentDependentExpression(arg->dexpr)) {
- CError_ASSERT(3264, ENODE_IS(funcexpr, EOBJREF));
- tmp = CTemplTool_DeduceDefaultArg(
- funcexpr->data.objref,
- CInline_CopyExpression(arg->dexpr, CopyMode0)
- );
- return argumentpromotion(tmp, arg->type, arg->qual, 1);
- }
-
- return CInline_CopyExpression(arg->dexpr, CopyMode0);
-}
-
-static ENode *CExpr_GenericCall(ENode *funcexpr, ENodeList *argexprs, TypeFunc *tfunc, FuncArg *args) {
- ENodeList *list;
- ENode *callexpr;
-
- while (args) {
- if (args->dexpr) {
- if (argexprs) {
- list = argexprs;
- while (list->next)
- list = list->next;
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- } else {
- list = argexprs = lalloc(sizeof(ENodeList));
- }
- list->next = NULL;
- list->node = CExpr_GetDefaultArgument(funcexpr, args);
- }
- args = args->next;
- }
-
- callexpr = lalloc(sizeof(ENode));
- callexpr->type = EFUNCCALL;
- callexpr->cost = 4;
- callexpr->rtype = tfunc->functype;
- callexpr->flags = tfunc->qual & ENODE_FLAG_QUALS;
- callexpr->data.funccall.funcref = funcexpr;
- callexpr->data.funccall.funcref->rtype = CDecl_NewPointerType(TYPE(tfunc));
- callexpr->data.funccall.args = argexprs;
- callexpr->data.funccall.functype = tfunc;
- funcexpr->data.objref->flags |= OBJECT_USED;
- return CExpr_AdjustFunctionCall(callexpr);
-}
-
-static Boolean CExpr_IsObjrefPlusX(ENode *expr) {
- Type *type;
-
- if (ENODE_IS(expr, EOBJREF)) {
- type = expr->data.objref->type;
- while (IS_TYPE_ARRAY(type))
- type = TYPE_POINTER(type)->target;
- return IS_TYPE_CLASS(type);
- }
-
- if (ENODE_IS2(expr, EADD, ESUB)) {
- if (CExpr_IsObjrefPlusX(expr->data.diadic.left))
- return 1;
- if (CExpr_IsObjrefPlusX(expr->data.diadic.right))
- return 1;
- }
-
- return 0;
-}
-
-static Boolean CExpr_IsStaticType(ENode *expr) {
- return ENODE_IS(expr, EINDIRECT) && CExpr_IsObjrefPlusX(expr->data.monadic);
-}
-
-ENode *CExpr_VarArgPromotion(ENode *expr, Boolean flag) {
- if (!copts.old_argmatch)
- expr = pointer_generation(expr);
-
- switch (expr->rtype->type) {
- case TYPEVOID:
- case TYPEFUNC:
- CError_Error(CErrorStr353);
- expr = nullnode();
- break;
- case TYPEINT:
- case TYPEENUM:
- expr = integralpromote(expr);
- break;
- case TYPEFLOAT:
- if (TYPE_INTEGRAL(expr->rtype)->integral < IT_DOUBLE)
- expr = promote(expr, TYPE(&stdouble));
- break;
- case TYPECLASS:
- expr = classargument(expr);
- break;
- }
-
- if (!flag && copts.warn_largeargs) {
- if ((IS_TYPE_INT(expr->rtype) && TYPE_INTEGRAL(expr->rtype)->integral >= IT_LONGLONG) || IS_TYPE_FLOAT(expr->rtype))
- CError_Warning(CErrorStr316);
- }
-
- return expr;
-}
-
-ENode *CExpr_GenericFuncCall(BClassList *path, ENode *funcexpr, Boolean flag1, Object *obj, NameSpaceObjectList *nsol, TemplArg *templargs, ENodeList *nodes, Boolean flag2, Boolean flag3, Boolean flag4) {
- TypeFunc *tfunc;
- AccessType access;
- FuncArg *scan_arg;
- BClassList *buildpath;
- ENode *objexpr;
- ENodeList *scan_expr;
- BClassList *pathcopy;
- Boolean had_alias;
- NameSpaceObjectList my_list;
- Match13 match;
-
- memclrw(&match, sizeof(Match13));
-
- if (!obj || IS_TEMPL_FUNC(obj->type)) {
- if (!funcexpr && cscope_currentfunc && cscope_currentclass && cscope_is_member_func) {
- funcexpr = CClass_CreateThisSelfExpr();
- if (funcexpr) {
- funcexpr = makemonadicnode(funcexpr, EINDIRECT);
- funcexpr->rtype = TYPE(cscope_currentclass);
- }
- }
-
- if (obj) {
- my_list.next = NULL;
- my_list.object = OBJ_BASE(obj);
- nsol = &my_list;
- }
-
- CExpr_MatchArgList(nsol, templargs, nodes, &match, funcexpr, flag2);
- if (!match.obj) {
- CError_ErrorFuncCall(CErrorStr248, nsol, nodes);
- return nullnode();
- }
- if (match.list)
- CError_OverloadedFunctionError(match.obj, match.list);
- obj = match.obj;
- }
-
- objexpr = create_objectrefnode(obj);
- tfunc = TYPE_FUNC(obj->type);
- if (!IS_TYPE_FUNC(tfunc)) {
- CError_Error(CErrorStr161);
- return nullnode();
- }
-
- if (IS_TYPEFUNC_METHOD(tfunc) && !TYPE_METHOD(tfunc)->is_static) {
- had_alias = 0;
- buildpath = NULL;
- access = obj->access;
- while (obj->datatype == DALIAS) {
- buildpath = buildpath ? CClass_AppendPath(buildpath, CClass_GetPathCopy(obj->u.alias.member, 0)) : CClass_GetPathCopy(obj->u.alias.member, 0);
- obj = obj->u.alias.object;
- objexpr = create_objectrefnode(obj);
- had_alias = 1;
- }
- if (flag3)
- CError_Error(CErrorStr188);
-
- if (TYPE_METHOD(tfunc)->theclass->sominfo && (!(obj->qual & Q_INLINE) || (obj->datatype == DVFUNC && !flag1))) {
- pathcopy = CClass_GetPathCopy(path, 0);
- funcexpr = CExpr_GetClassAccessNode(path, buildpath, funcexpr, obj, access, flag4);
- if (!funcexpr)
- return nullnode();
- objexpr = CSOM_MethodAccess(pathcopy, obj, flag1);
- } else {
- if (obj->datatype == DVFUNC) {
- if (flag1 || (!copts.always_vdispatch && !had_alias && funcexpr && CExpr_IsStaticType(funcexpr)))
- objexpr->flags |= ENODE_FLAG_80;
- }
- funcexpr = CExpr_GetClassAccessNode(path, buildpath, funcexpr, obj, access, flag4);
- if (!funcexpr)
- return nullnode();
- }
-
- if (
- (tfunc->flags & FUNC_PURE) &&
- cscope_currentfunc &&
- (TYPE_FUNC(cscope_currentfunc->type)->flags & (FUNC_IS_CTOR | FUNC_IS_DTOR)) &&
- cscope_currentclass == TYPE_METHOD(tfunc)->theclass &&
- ENODE_IS(funcexpr, EINDIRECT) &&
- ENODE_IS(funcexpr->data.monadic, EINDIRECT) &&
- ENODE_IS(funcexpr->data.monadic->data.monadic, EOBJREF) &&
- funcexpr->data.monadic->data.monadic->data.objref->name == this_name_node &&
- !(objexpr->flags & ENODE_FLAG_80)
- )
- CError_Warning(CErrorStr195);
-
- scan_expr = lalloc(sizeof(ENodeList));
- scan_expr->next = nodes;
- scan_expr->node = funcexpr->data.monadic;
- if (ENODE_IS(scan_expr->node, EOBJREF))
- scan_expr->node->data.objref->flags |= OBJECT_FLAGS_2;
-
- if (((funcexpr->flags & Q_CONST) && !(tfunc->args->qual & Q_CONST)) || ((funcexpr->flags & Q_VOLATILE) && !(tfunc->args->qual & Q_VOLATILE))) {
- if (!(tfunc->flags & (FUNC_IS_CTOR | FUNC_IS_DTOR)))
- CError_Error(CErrorStr236);
- }
-
- nodes = scan_expr;
- scan_expr = scan_expr->next;
- scan_arg = tfunc->args->next;
- } else {
- if (flag4 && obj->access != ACCESSPROTECTED)
- CClass_CheckObjectAccess(path, obj);
-
- scan_arg = tfunc->args;
- scan_expr = nodes;
- if (tfunc->flags & FUNC_METHOD) {
- CError_ASSERT(3599, TYPE_METHOD(tfunc)->theclass->sominfo == NULL);
- }
- }
-
- while (scan_expr) {
- if (scan_arg && scan_arg != &elipsis && scan_arg != &oldstyle) {
- scan_expr->node = argumentpromotion(scan_expr->node, scan_arg->type, scan_arg->qual, 1);
- scan_arg = scan_arg->next;
- } else {
- if (!scan_arg) {
- my_list.next = NULL;
- my_list.object = OBJ_BASE(obj);
- CError_ErrorFuncCall(CErrorStr248, &my_list, nodes);
- }
- scan_expr->node = CExpr_VarArgPromotion(scan_expr->node, scan_arg == &elipsis);
- }
- scan_expr = scan_expr->next;
- }
-
- if (scan_arg) {
- if (scan_arg != &elipsis && scan_arg != &oldstyle) {
- if (!scan_arg->dexpr) {
- my_list.next = NULL;
- my_list.object = OBJ_BASE(obj);
- CError_ErrorFuncCall(CErrorStr248, &my_list, nodes);
- scan_arg = NULL;
- }
- } else {
- scan_arg = NULL;
- }
- }
-
- return CExpr_GenericCall(objexpr, nodes, tfunc, scan_arg);
-}
-
-ENode *CExpr_GenericPtmfCall(Object *obj, TypeFunc *tfunc, ENodeList *arg_exprs) {
- ENodeList *scan_expr;
- FuncArg *arg;
-
- scan_expr = arg_exprs;
- arg = tfunc->args;
- while (scan_expr) {
- if (!arg) {
- CError_Error(CErrorStr162);
- return nullnode();
- }
-
- if (arg != &elipsis && arg != &oldstyle) {
- scan_expr->node = argumentpromotion(scan_expr->node, arg->type, arg->qual, 1);
- arg = arg->next;
- } else {
- scan_expr->node = CExpr_VarArgPromotion(scan_expr->node, arg == &elipsis);
- }
- scan_expr = scan_expr->next;
- }
-
- if (arg) {
- if (arg != &elipsis && arg != &oldstyle) {
- if (!arg->dexpr) {
- CError_Error(CErrorStr162);
- arg = NULL;
- }
- } else {
- arg = NULL;
- }
- }
-
- return CExpr_GenericCall(create_objectrefnode(obj), arg_exprs, tfunc, arg);
-}
-
-static ENode *CExpr_ConvertEMember(ENode *expr) {
- ENode *result;
-
- if (expr->data.emember->list->next || expr->data.emember->templargs) {
- result = CExpr_NewENode(EOBJLIST);
- result->rtype = OBJECT(expr->data.emember->list->object)->type;
- result->data.objlist.list = expr->data.emember->list;
- result->data.objlist.templargs = expr->data.emember->templargs;
- return result;
- }
-
- if (expr->data.emember->list->object->otype != OT_OBJECT)
- return NULL;
- return CExpr_MakeObjRefNode(OBJECT(expr->data.emember->list->object), 1);
-}
-
-ENode *CExpr_MakeFunctionCall(ENode *funcexpr, ENodeList *arg_exprs) {
- ENode *expr;
- TypeFunc *tfunc;
- BClassList *save_path;
- ENode *save_expr;
- Boolean save_1D;
- Boolean save_isambig;
-
- FuncArg *scan_arg;
- ENodeList *scan_expr;
- Boolean has_varargs;
-
- if (ENODE_IS(funcexpr, EOBJLIST) && funcexpr->data.objlist.name) {
- funcexpr->data.objlist.list = CScope_ArgumentDependentNameLookup(
- funcexpr->data.objlist.list,
- funcexpr->data.objlist.name,
- arg_exprs, 0);
- if (!funcexpr->data.objlist.list) {
- CError_Error(CErrorStr140, CError_GetNameString(NULL, funcexpr->data.objlist.name));
- return nullnode();
- }
-
- if (
- funcexpr->data.objlist.list->object->otype == OT_OBJECT &&
- (TYPE_FUNC(OBJECT(funcexpr->data.objlist.list->object)->type)->flags & FUNC_INTRINSIC) &&
- (expr = CodeGen_HandleIntrinsicCall(OBJECT(funcexpr->data.objlist.list->object), arg_exprs)))
- return expr;
-
- return CExpr_GenericFuncCall(
- NULL, NULL, 0, NULL,
- funcexpr->data.objlist.list,
- funcexpr->data.objlist.templargs,
- arg_exprs, 0, 0, 1);
- }
-
- if (ENODE_IS(funcexpr, EMEMBER)) {
- save_path = funcexpr->data.emember->path;
- save_expr = funcexpr->data.emember->expr;
- save_1D = funcexpr->data.emember->pr_1D;
- save_isambig = funcexpr->data.emember->isambig;
- funcexpr = CExpr_ConvertEMember(funcexpr);
- if (!funcexpr) {
- CError_Error(CErrorStr161);
- return nullnode();
- }
- } else {
- save_path = NULL;
- save_expr = NULL;
- save_1D = 0;
- save_isambig = 0;
- }
-
- if (ENODE_IS(funcexpr, EOBJREF) && IS_TYPE_FUNC(funcexpr->data.objref->type) && (TYPE_FUNC(funcexpr->data.objref->type)->flags & FUNC_INTRINSIC)) {
- if (!(expr = CodeGen_HandleIntrinsicCall(funcexpr->data.objref, arg_exprs))) {
- expr = CExpr_GenericFuncCall(
- save_path, save_expr, save_1D, funcexpr->data.objref,
- NULL, NULL,
- arg_exprs, 0, save_isambig, 1);
- }
- return expr;
- }
-
- if (ENODE_IS(funcexpr, EOBJLIST)) {
- return CExpr_GenericFuncCall(
- save_path, save_expr, save_1D, NULL,
- funcexpr->data.objlist.list, funcexpr->data.objlist.templargs,
- arg_exprs, 0, save_isambig, 1);
- }
-
- if (!IS_TYPE_POINTER_ONLY(funcexpr->rtype) || !IS_TYPE_FUNC((tfunc = TYPE_FUNC(TYPE_POINTER(funcexpr->rtype)->target)))) {
- CError_Error(CErrorStr161);
- return nullnode();
- }
-
- if (ENODE_IS(funcexpr, EOBJREF)) {
- return CExpr_GenericFuncCall(
- save_path, save_expr, save_1D, funcexpr->data.objref,
- NULL, NULL, arg_exprs, 0, save_isambig, 1);
- }
-
- scan_expr = arg_exprs; // r25
- scan_arg = tfunc->args; // r26
- has_varargs = 0;
- while (scan_expr) {
- if (!has_varargs) {
- if (!scan_arg) {
- CError_Error(CErrorStr162);
- return nullnode();
- }
- if (scan_arg == &elipsis || scan_arg == &oldstyle) {
- scan_expr->node = CExpr_VarArgPromotion(scan_expr->node, scan_arg == &elipsis);
- has_varargs = 1;
- } else {
- scan_expr->node = argumentpromotion(scan_expr->node, scan_arg->type, scan_arg->qual, 1);
- scan_arg = scan_arg->next;
- }
- } else {
- scan_expr->node = CExpr_VarArgPromotion(scan_expr->node, 0);
- }
- scan_expr = scan_expr->next;
- }
-
- if (!has_varargs && scan_arg && scan_arg != &elipsis && scan_arg != &oldstyle) {
- do {
- if (!scan_arg->dexpr) {
- CError_Error(CErrorStr162);
- return nullnode();
- }
-
- if (arg_exprs) {
- scan_expr = arg_exprs;
- while (scan_expr->next)
- scan_expr = scan_expr->next;
- scan_expr->next = lalloc(sizeof(ENodeList));
- scan_expr = scan_expr->next;
- } else {
- scan_expr = lalloc(sizeof(ENodeList));
- arg_exprs = scan_expr;
- }
-
- scan_expr->next = NULL;
- scan_expr->node = CExpr_GetDefaultArgument(funcexpr, scan_arg);
- } while ((scan_arg = scan_arg->next) && scan_arg != &elipsis && scan_arg != &oldstyle);
- }
-
- expr = CExpr_NewENode(EFUNCCALL);
- expr->cost = 4;
- expr->rtype = tfunc->functype;
- expr->flags = tfunc->qual & ENODE_FLAG_QUALS;
- expr->data.funccall.funcref = funcexpr;
- expr->data.funccall.args = arg_exprs;
- expr->data.funccall.functype = tfunc;
- return CExpr_AdjustFunctionCall(expr);
-}
-
-static Boolean accept_conversion_type(Type *type, short mode) {
- switch (mode) {
- case 0:
- return IS_TYPE_INT(type);
- case 1:
- return IS_TYPE_INT_OR_FLOAT(type);
- case 2:
- return IS_TYPE_INT_OR_FLOAT(type) || IS_TYPE_POINTER_ONLY(type);
- case 3:
- return IS_TYPE_POINTER_ONLY(type);
- default:
- CError_FATAL(3912);
- return 0;
- }
-}
-
-static ENode *CExpr_OperatorConversion(ENode *expr, Type *type, UInt32 qual) {
- if (IS_TYPE_CLASS(expr->rtype) && type) {
- if (user_assign_check(expr, type, qual, 1, 0, 1))
- return assign_node;
- CError_Error(CErrorStr144);
- }
- return expr;
-}
-
-static Boolean wild_conversion_check(ENode *left, ENode *right, Conversion *conv) {
- ConversionIterator iter;
- Object *obj;
-
- Type *check;
- Type *left_type;
- Type *right_type;
-
- left_type = right_type = NULL;
- if (IS_TYPE_CLASS(left->rtype)) {
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(left->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- check = TYPE_FUNC(obj->type)->functype;
- if (accept_conversion_type(check, 2)) {
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (accept_conversion_type(TYPE_FUNC(obj->type)->functype, 2))
- CError_Error(CErrorStr199);
- }
- left_type = check;
- goto found_left;
- }
- }
- return 0;
- }
-found_left:
- if (IS_TYPE_CLASS(right->rtype)) {
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(right->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- check = TYPE_FUNC(obj->type)->functype;
- if (accept_conversion_type(check, 2)) {
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (accept_conversion_type(TYPE_FUNC(obj->type)->functype, 2))
- CError_Error(CErrorStr199);
- }
- right_type = check;
- goto found_right;
- }
- }
- return 0;
- }
-found_right:
- conv->x0 = NULL;
- conv->left = CExpr_OperatorConversion(left, left_type, 0);
- conv->right = CExpr_OperatorConversion(right, right_type, 0);
- return 1;
-}
-
-static Boolean monadic_conversion_check(ENode *expr, short which, Conversion *conv) {
- ConversionIterator iter;
- Object *obj;
- Type *check;
-
- if (!IS_TYPE_CLASS(expr->rtype))
- return 0;
-
- if (which == 4)
- which = 2;
- else if (which == 5)
- which = 1;
-
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(expr->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- check = TYPE_FUNC(obj->type)->functype;
- if (accept_conversion_type(check, which)) {
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (accept_conversion_type(TYPE_FUNC(obj->type)->functype, which))
- CError_Error(CErrorStr199);
- }
-
- conv->x0 = NULL;
- conv->left = CExpr_OperatorConversion(expr, check, 0);
- conv->right = NULL;
- return 1;
- }
- }
-
- return 0;
-}
-
-static Boolean is_legal_type_combination(Type *left, Type *right, short mode) {
- int left_type;
- int right_type;
-
- if (IS_TYPE_ENUM(left))
- left = TYPE_ENUM(left)->enumtype;
- if (IS_TYPE_ENUM(right))
- right = TYPE_ENUM(right)->enumtype;
-
- if (IS_TYPE_REFERENCE(left))
- left = TYPE_POINTER(left)->target;
- if (IS_TYPE_REFERENCE(right))
- right = TYPE_POINTER(right)->target;
-
- left_type = left->type; // r7
- right_type = right->type; // r8
- switch (mode) {
- case 3:
- if (left_type != TYPEPOINTER || right_type != TYPEPOINTER)
- return 0;
- use_cpp_typeequal:
- diadic_arg1.type = left;
- diadic_arg2.type = right;
- return iscpp_typeequal(left, right);
- case 7:
- if ((left_type == TYPEPOINTER && right_type == TYPEINT) || (left_type == TYPEINT && right_type == TYPEPOINTER)) {
- diadic_arg1.type = left;
- diadic_arg2.type = right;
- return 1;
- }
- return 0;
- case 6:
- if ((left_type == TYPEPOINTER && right_type == TYPEINT) || (left_type == TYPEINT && right_type == TYPEPOINTER)) {
- diadic_arg1.type = left;
- diadic_arg2.type = right;
- return 1;
- }
- case 2:
- if (left_type == TYPEPOINTER || right_type == TYPEPOINTER)
- goto use_cpp_typeequal;
- case 1:
- mode1:
- if (left_type == TYPEFLOAT || right_type == TYPEFLOAT) {
- if (left_type == TYPEFLOAT) {
- if (right_type == TYPEFLOAT) {
- if (TYPE_INTEGRAL(right)->integral > TYPE_INTEGRAL(left)->integral)
- left = right;
- diadic_arg2.type = left;
- diadic_arg1.type = left;
- return 1;
- }
- if (right_type != TYPEINT)
- return 0;
- diadic_arg2.type = left;
- diadic_arg1.type = left;
- return 1;
- }
- if (left_type != TYPEINT)
- return 0;
- diadic_arg2.type = right;
- diadic_arg1.type = right;
- return 1;
- }
- case 0:
- if (left_type != TYPEINT || right_type != TYPEINT)
- return 0;
- if (TYPE_INTEGRAL(right)->integral > TYPE_INTEGRAL(left)->integral)
- left = right;
- if (TYPE_INTEGRAL(left)->integral < IT_INT)
- left = TYPE(&stsignedint);
- diadic_arg2.type = left;
- diadic_arg1.type = left;
- return 1;
- case 4:
- if (left_type == TYPEPOINTER) {
- if (right_type != TYPEINT)
- return 0;
- diadic_arg1.type = left;
- diadic_arg2.type = right;
- return 1;
- }
- if (right_type == TYPEPOINTER) {
- if (left_type != TYPEINT)
- return 0;
- diadic_arg1.type = left;
- diadic_arg2.type = right;
- return 1;
- }
- goto mode1;
- case 5:
- if (left_type != TYPEPOINTER)
- goto mode1;
- if (right_type == TYPEPOINTER)
- goto use_cpp_typeequal;
- if (right_type != TYPEINT)
- return 0;
- diadic_arg1.type = left;
- diadic_arg2.type = right;
- return 1;
- default:
- CError_FATAL(4132);
- return 0;
- }
-}
-
-static void match_class_type_conversion(Match13 *match, ENode *left, ENode *right, ENodeList *list, short which) {
- ConversionIterator iter;
- Object *obj;
-
- if (which == 6) {
- if (!ENODE_IS(right, EINTCONST) || !CInt64_IsZero(&right->data.intval) || !IS_TYPE_INT(right->rtype))
- which = 2;
- }
-
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(left->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (is_legal_type_combination(TYPE_FUNC(obj->type)->functype, right->rtype, which)) {
- MatchOverloadFunc(obj, &diadic_arg1, list, match);
- if (match->obj == obj) {
- cexpr_left_conversion_type = diadic_arg1.type;
- cexpr_right_conversion_type = diadic_arg2.type;
- }
- }
- }
-}
-
-static void match_type_class_conversion(Match13 *match, ENode *left, ENode *right, ENodeList *list, short which) {
- ConversionIterator iter;
- Object *obj;
-
- if (which == 6) {
- if (!ENODE_IS(left, EINTCONST) || !CInt64_IsZero(&left->data.intval) || !IS_TYPE_INT(left->rtype))
- which = 2;
- }
-
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(right->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (is_legal_type_combination(left->rtype, TYPE_FUNC(obj->type)->functype, which)) {
- MatchOverloadFunc(obj, &diadic_arg1, list, match);
- if (match->obj == obj) {
- cexpr_left_conversion_type = diadic_arg1.type;
- cexpr_right_conversion_type = diadic_arg2.type;
- }
- }
- }
-}
-
-static void match_class_class_conversion(Match13 *match, ENode *left, ENode *right, ENodeList *list, short which) {
- ConversionIterator iter_left;
- ConversionIterator iter_right;
- Object *obj_left;
- Object *obj_right;
-
- if (which == 6)
- which = 2;
-
- CExpr_ConversionIteratorInit(&iter_left, TYPE_CLASS(left->rtype));
- while ((obj_left = CExpr_ConversionIteratorNext(&iter_left))) {
- CExpr_ConversionIteratorInit(&iter_right, TYPE_CLASS(right->rtype));
- while ((obj_right = CExpr_ConversionIteratorNext(&iter_right))) {
- if (is_legal_type_combination(TYPE_FUNC(obj_left->type)->functype, TYPE_FUNC(obj_right->type)->functype, which)) {
- MatchOverloadFunc(obj_left, &diadic_arg1, list, match);
- if (match->obj == obj_left) {
- cexpr_left_conversion_type = diadic_arg1.type;
- cexpr_right_conversion_type = diadic_arg2.type;
- }
- }
- }
- }
-}
-
-Boolean CExpr_CheckOperatorConversion(short token, ENode *left, ENode *right, ENodeList *list, Conversion *conv) {
- Match13 match;
- short which;
-
- switch (token) {
- case '*':
- if (!right) {
- which = 3;
- break;
- }
- case '/':
- which = 1;
- break;
- case '&':
- if (!right)
- return 0;
- case '%':
- case '^':
- case '|':
- case '~':
- case TK_SHL:
- case TK_SHR:
- which = 0;
- break;
- case '[':
- which = 7;
- break;
- case '+':
- which = 4;
- break;
- case '-':
- which = 5;
- break;
- case '!':
- case ':':
- case '<':
- case '>':
- case TK_LESS_EQUAL:
- case TK_GREATER_EQUAL:
- which = 2;
- break;
- case TK_LOGICAL_EQ:
- case TK_LOGICAL_NE:
- which = 6;
- break;
- case TK_LOGICAL_OR:
- case TK_LOGICAL_AND:
- return wild_conversion_check(left, right, conv);
- default:
- return 0;
- }
-
- if (!right)
- return monadic_conversion_check(left, which, conv);
-
- cexpr_left_conversion_type = cexpr_right_conversion_type = NULL;
- memclrw(&match, sizeof(Match13));
-
- if (IS_TYPE_CLASS(left->rtype)) {
- if (IS_TYPE_CLASS(right->rtype))
- match_class_class_conversion(&match, left, right, list, which);
- else
- match_class_type_conversion(&match, left, right, list, which);
- } else {
- if (IS_TYPE_CLASS(right->rtype))
- match_type_class_conversion(&match, left, right, list, which);
- else
- return 0;
- }
-
- if (!match.obj)
- return 0;
- if (match.list)
- CError_OverloadedFunctionError(match.obj, match.list);
-
- conv->x0 = NULL;
- conv->left = CExpr_OperatorConversion(left, cexpr_left_conversion_type, 0);
- conv->right = CExpr_OperatorConversion(right, cexpr_right_conversion_type, 0);
- return 1;
-}
-
-Boolean CExpr_CheckOperator(short token, ENode *left, ENode *right, Conversion *conv) {
- Match13 match;
- NameResult pr;
- NameResult pr2;
- ENode *expr;
- Object *obj;
- ENodeList *nodes;
- HashNameNode *name;
- BClassList *path;
- EMemberInfo *member;
- Object *prev_obj;
- NameSpaceObjectList mylist_A8;
- NameSpaceObjectList mylist_B0;
-
- if (!copts.old_argmatch) {
- if (token == '(') {
- CDecl_CompleteType(left->rtype);
- if (IS_TYPE_CLASS(left->rtype) && CScope_FindClassMemberObject(TYPE_CLASS(left->rtype), &pr,
- CMangler_OperatorName(token))) {
- if (pr.nsol_14 || (pr.obj_10 && pr.obj_10->otype == OT_OBJECT && IS_TYPE_FUNC(OBJECT(pr.obj_10)->type))) {
- member = lalloc(sizeof(EMemberInfo));
- memclrw(member, sizeof(EMemberInfo));
- member->path = pr.bcl_18;
- member->expr = left;
- member->pr_1D = pr.x1D;
- if (!pr.nsol_14) {
- member->list = galloc(sizeof(NameSpaceObjectList));
- member->list->next = NULL;
- member->list->object = pr.obj_10;
- } else {
- member->list = pr.nsol_14;
- }
- expr = CExpr_NewENode(EMEMBER);
- expr->rtype = &stvoid;
- expr->data.emember = member;
- tk = lex();
- conv->x0 = checkreference(CExpr_MakeFunctionCall(expr, CExpr_ScanExpressionList(1)));
- conv->left = NULL;
- conv->right = NULL;
- tk = lex();
- return 1;
- } else {
- CError_FATAL(4371);
- }
- }
- return 0;
- } else {
- return CExpr_OperatorMatch(token, left, right, conv);
- }
- }
-
- if (!IS_TYPE_CLASS(left->rtype)) {
- if (!IS_TYPE_ENUM(left->rtype)) {
- if (!right)
- return 0;
- if (!IS_TYPE_CLASS(right->rtype) && !IS_TYPE_ENUM(right->rtype))
- return 0;
- }
- } else {
- CDecl_CompleteType(left->rtype);
- }
-
- memclrw(&match, sizeof(Match13));
- name = CMangler_OperatorName(token);
- if (token == '(') {
- if (IS_TYPE_CLASS(left->rtype) && CScope_FindClassMemberObject(TYPE_CLASS(left->rtype), &pr2, name)) {
- if (pr2.nsol_14 || (pr2.obj_10 && pr2.obj_10->otype == OT_OBJECT && IS_TYPE_FUNC(OBJECT(pr2.obj_10)->type))) {
- member = lalloc(sizeof(EMemberInfo));
- memclrw(member, sizeof(EMemberInfo));
- member->path = pr2.bcl_18;
- member->expr = left;
- member->pr_1D = pr2.x1D;
- if (!pr2.nsol_14) {
- member->list = galloc(sizeof(NameSpaceObjectList));
- member->list->next = NULL;
- member->list->object = pr2.obj_10;
- } else {
- member->list = pr2.nsol_14;
- }
- expr = CExpr_NewENode(EMEMBER);
- expr->rtype = &stvoid;
- expr->data.emember = member;
- tk = lex();
- conv->x0 = checkreference(CExpr_MakeFunctionCall(expr, CExpr_ScanExpressionList(1)));
- conv->left = NULL;
- conv->right = NULL;
- tk = lex();
- return 1;
- } else {
- CError_FATAL(4439);
- }
- }
- return 0;
- }
-
- nodes = lalloc(sizeof(ENodeList));
- nodes->node = left;
- if (right) {
- nodes->next = lalloc(sizeof(ENodeList));
- nodes->next->node = right;
- nodes->next->next = NULL;
- } else {
- nodes->next = NULL;
- }
-
- obj = NULL;
- if (IS_TYPE_CLASS(left->rtype) && CScope_FindClassMemberObject(TYPE_CLASS(left->rtype), &pr2, name)) {
- if (pr2.obj_10) {
- mylist_B0.next = NULL;
- mylist_B0.object = pr2.obj_10;
- pr2.nsol_14 = &mylist_B0;
- } else {
- CError_ASSERT(4470, pr2.nsol_14);
- }
-
- if (token != '=' || (pr2.bcl_18->type == left->rtype && pr2.bcl_18->next == NULL)) {
- prev_obj = match.obj;
- CExpr_MatchArgList(pr2.nsol_14, NULL, nodes->next, &match, left, 0);
- if (prev_obj != match.obj) {
- obj = match.obj;
- path = pr2.bcl_18;
- }
- }
- }
-
- if (CScope_FindNonClassObject(cscope_current, &pr2, name)) {
- if (pr2.obj_10) {
- mylist_A8.next = NULL;
- mylist_A8.object = pr2.obj_10;
- pr2.nsol_14 = &mylist_A8;
- }
- } else {
- pr2.nsol_14 = NULL;
- }
-
- if (copts.arg_dep_lookup)
- pr2.nsol_14 = CScope_ArgumentDependentNameLookup(pr2.nsol_14, name, nodes, 1);
- if (pr2.nsol_14)
- CExpr_MatchArgList(pr2.nsol_14, NULL, nodes, &match, NULL, 0);
-
- if (!match.obj) {
- if (!IS_TYPE_CLASS(left->rtype) && (!right || !IS_TYPE_CLASS(right->rtype)))
- return 0;
- return CExpr_CheckOperatorConversion(token, left, right, nodes, conv);
- }
-
- if (!(token == '&' && !right) && (token != ',')) {
- if (!IS_TYPE_CLASS(left->rtype) && (!right || !IS_TYPE_CLASS(right->rtype)) && match.xE)
- return 0;
- if (right && match.xE == 2 && CExpr_CheckOperatorConversion(token, left, right, nodes, conv))
- return 1;
- }
-
- if (match.list)
- CError_OverloadedFunctionError(match.obj, match.list);
-
- if (match.obj == obj) {
- conv->x0 = CExpr_GenericFuncCall(path, nodes->node, 0, match.obj, NULL, NULL, nodes->next, 0, 0, 1);
- } else {
- conv->x0 = CExpr_GenericFuncCall(NULL, NULL, 0, match.obj, NULL, NULL, nodes, 0, 0, 1);
- }
-
- conv->x0 = checkreference(conv->x0);
- conv->left = NULL;
- conv->right = NULL;
- return 1;
-}
-
-ENode *CExpr_ConstructObject(TypeClass *tclass, ENode *addr_expr, ENodeList *args, Boolean flag1, Boolean flag2, Boolean flag3, Boolean flag4, Boolean flag5) {
- ENode *expr;
- NameSpaceObjectList *ctorlist;
- BClassList path;
-
- CError_ASSERT(4595, IS_TYPE_POINTER_ONLY(addr_expr->rtype));
-
- addr_expr = makemonadicnode(addr_expr, EINDIRECT);
- addr_expr->rtype = TYPE(tclass);
-
- if (!flag3 && args && !args->next && args->node->rtype == TYPE(tclass) && !CClass_CopyConstructor(tclass)) {
- CError_ASSERT(4605, IS_TYPE_CLASS(addr_expr->rtype));
- expr = makediadicnode(addr_expr, args->node, EASS);
- if (!flag1)
- expr = getnodeaddress(expr, 0);
- return expr;
- }
-
- if ((ctorlist = CClass_Constructor(tclass))) {
- if (tclass->flags & CLASS_HAS_VBASES) {
- ENodeList *list = lalloc(sizeof(ENodeList));
- list->next = args;
- args = list;
- list->node = intconstnode(TYPE(&stsignedshort), flag2 != 0);
- }
- path.next = NULL;
- path.type = TYPE(tclass);
- expr = CExpr_GenericFuncCall(&path, addr_expr, 0, NULL, ctorlist, NULL, args, !flag5, 0, flag4);
- if (ENODE_IS2(expr, EFUNCCALL, EFUNCCALLP))
- expr->rtype = CDecl_NewPointerType(TYPE(tclass));
- if (flag1) {
- expr = makemonadicnode(expr, EINDIRECT);
- expr->rtype = TYPE(tclass);
- }
- return expr;
- } else {
- if (args) {
- if (!args->next && ENODE_IS(addr_expr, EINDIRECT)) {
- return makediadicnode(
- addr_expr,
- CExpr_AssignmentPromotion(args->node, TYPE(tclass), 0, 1),
- EASS);
- }
- CError_Error(CErrorStr174);
- }
- return addr_expr;
- }
-}
-
-static ENode *CExpr_DeleteFuncCall(Object *obj, ENode *arg, Type *type, Boolean include_size) {
- ENode *expr;
- ENodeList *list;
-
- expr = lalloc(sizeof(ENode));
- expr->type = EFUNCCALL;
- expr->cost = 4;
- expr->flags = 0;
- expr->rtype = &stvoid;
- expr->data.funccall.funcref = create_objectrefnode(obj);
- expr->data.funccall.functype = TYPE_FUNC(obj->type);
- obj->flags |= OBJECT_USED;
-
- list = lalloc(sizeof(ENodeList));
- list->node = arg;
- expr->data.funccall.args = list;
-
- if (include_size) {
- list->next = lalloc(sizeof(ENodeList));
- list->next->node = nullnode();
- CInt64_SetLong(&list->next->node->data.intval, type->size);
- list->next->node->rtype = CABI_GetSizeTType();
- list->next->next = NULL;
- } else {
- list->next = NULL;
- }
-
- return expr;
-}
-
-static ENode *CExpr_CopyPlacementNewArg(ENodeList *list) {
- switch (list->node->type) {
- case EINDIRECT:
- if (!ENODE_IS(list->node->data.monadic, EOBJREF))
- break;
- if (list->node->data.monadic->data.objref->datatype != DLOCAL && !is_const_object(list->node->data.monadic->data.objref))
- break;
- case EINTCONST:
- case EFLOATCONST:
- case ESTRINGCONST:
- case EOBJREF:
- case EARGOBJ:
- case ELOCOBJ:
- case EOBJLIST:
- case EVECTOR128CONST:
- return CInline_CopyExpression(list->node, CopyMode0);
- }
-
- switch (list->node->rtype->type) {
- default:
- CError_FATAL(4726);
- case TYPEINT:
- case TYPEFLOAT:
- case TYPEENUM:
- case TYPESTRUCT:
- case TYPECLASS:
- case TYPEMEMBERPOINTER:
- case TYPEPOINTER:
- case TYPEOBJCID:
- return CExpr_GetETEMPCopy(list->node);
- }
-}
-
-static ENode *CExpr_PlacementDeleteCall(Type *type, ENode *expr, Object *obj, Boolean flag1, Boolean flag2) {
- ENodeList *list;
- Object *funcobj;
- ENode *result;
- ENodeList *inputarg;
- Boolean outflag;
-
- CError_ASSERT(4752, ENODE_IS(expr, EFUNCCALL) && ENODE_IS(expr->data.funccall.funcref, EOBJREF));
-
- funcobj = expr->data.funccall.funcref->data.objref;
- CError_ASSERT(4756, IS_TYPE_FUNC(funcobj->type) && TYPE_FUNC(funcobj->type)->args && TYPE_FUNC(funcobj->type)->args->next);
-
- funcobj = CParser_FindDeallocationObject(type, TYPE_FUNC(funcobj->type)->args->next, flag1, flag2, &outflag);
- if (!funcobj)
- return NULL;
-
- result = CExpr_NewENode(EFUNCCALL);
- result->type = EFUNCCALL;
- result->cost = 4;
- result->rtype = &stvoid;
- result->data.funccall.funcref = create_objectrefnode(funcobj);
- result->data.funccall.functype = TYPE_FUNC(funcobj->type);
- funcobj->flags |= OBJECT_USED;
-
- list = lalloc(sizeof(ENodeList));
- list->node = create_objectnode(obj);
- result->data.funccall.args = list;
-
- CError_ASSERT(4780, (inputarg = expr->data.funccall.args) && (inputarg = inputarg->next));
-
- do {
- list->next = lalloc(sizeof(ENodeList));
- list = list->next;
- list->node = CExpr_CopyPlacementNewArg(inputarg);
- inputarg = inputarg->next;
- } while (inputarg);
- list->next = NULL;
-
- return result;
-}
-
-static Type *scan_type_name(UInt32 *qual) {
- DeclInfo di;
- memclrw(&di, sizeof(DeclInfo));
-
- CParser_GetDeclSpecs(&di, 0);
- di.x46 = 1;
- scandeclarator(&di);
-
- if (di.name)
- CError_Error(CErrorStr146);
-
- firstarrayexpr = di.x24;
- *qual = di.qual;
- return di.thetype;
-}
-
-static UInt32 cv_qualifier_list(void) {
- UInt32 qual;
-
- qual = 0;
- tk = lex();
- while (tk >= TK_CONST && tk <= TK_ASM) {
- switch (tk) {
- case TK_CONST:
- if (qual & Q_CONST)
- CError_Error(CErrorStr121);
- qual |= Q_CONST;
- break;
- case TK_VOLATILE:
- if (qual & Q_VOLATILE)
- CError_Error(CErrorStr121);
- qual |= Q_VOLATILE;
- break;
- default:
- CError_Error(CErrorStr121);
- }
-
- tk = lex();
- }
-
- return qual;
-}
-
-static void scan_new_declarator(DeclInfo *di, Boolean flag) {
- NameResult pr;
- SInt32 size;
- ENode *expr;
-
- switch (tk) {
- case '*':
- makethetypepointer(di, cv_qualifier_list());
- if (tk != '[')
- scan_new_declarator(di, flag);
- break;
- case TK_IDENTIFIER:
- case TK_COLON_COLON:
- if (CScope_ParseQualifiedNameSpace(&pr, 1, 0) && pr.nspace_0 && pr.nspace_0->theclass && tk == '*') {
- makememberpointertype(di, pr.nspace_0->theclass, cv_qualifier_list());
- if (tk != '[')
- scan_new_declarator(di, flag);
- } else {
- CError_Error(CErrorStr121);
- }
- break;
- }
-
- if (tk == '[') {
- tk = lex();
- expr = expression();
-
- if (IS_TYPE_ENUM(expr->rtype))
- expr->rtype = TYPE_ENUM(expr->rtype)->enumtype;
- if (!IS_TYPE_INT(expr->rtype))
- CError_Error(CErrorStr146);
-
- if (tk != ']')
- CError_Error(CErrorStr125);
- else
- tk = lex();
-
- if (tk == '[')
- scan_new_declarator(di, 0);
-
- if (CanCreateObject(di->thetype) && IsCompleteType(di->thetype)) {
- di->thetype = CDecl_NewArrayType(di->thetype, 0);
- if (!ENODE_IS(expr, EINTCONST)) {
- size = 1;
- if (!flag)
- CError_Error(CErrorStr124);
- else
- firstarrayexpr = expr;
- } else {
- size = CInt64_GetULong(&expr->data.intval);
- }
- TYPE_POINTER(di->thetype)->size = size * TYPE_POINTER(di->thetype)->target->size;
- } else {
- CError_Error(CErrorStr129);
- }
- }
-}
-
-static Type *scan_new_type_name(UInt32 *qual) {
- DeclInfo di;
- memclrw(&di, sizeof(DeclInfo));
-
- di.x4F = 1;
- CParser_GetDeclSpecs(&di, 0);
- scan_new_declarator(&di, 1);
-
- *qual = di.qual;
- return di.thetype;
-}
-
-static ENode *CExpr_NewAlloc(Type *type, ENodeList *args, Boolean flag1, Boolean flag2) {
- NameSpaceObjectList *list;
- Object *obj;
- Boolean found;
- HashNameNode *name;
- NameResult pr;
-
- found = 0;
- if (!flag1 && IS_TYPE_CLASS(type)) {
- list = NULL;
- obj = NULL;
- name = (flag2 && copts.array_new_delete) ? newa_fobj->name : newp_fobj->name;
- if (CScope_FindClassMemberObject(TYPE_CLASS(type), &pr, name)) {
- list = pr.nsol_14;
- obj = OBJECT(pr.obj_10);
- CError_ASSERT(4935, list || obj);
- found = 1;
- } else if (TYPE_CLASS(type)->flags & CLASS_HANDLEOBJECT) {
- CError_ASSERT(4942, !flag2);
- obj = newh_func;
- found = 1;
- }
- }
-
- if (!found) {
- if (flag2 && copts.array_new_delete)
- list = &newa_fobj->first;
- else
- list = &newp_fobj->first;
- obj = NULL;
- }
-
- return CExpr_GenericFuncCall(NULL, NULL, 0, obj, list, NULL, args, 0, 0, 1);
-}
-
-static ENode *CExpr_NewExceptionSafeAlloc(Type *type, ENode *node, ENodeList *args, Boolean flag1, Boolean flag2, Object **objptr) {
- Object *obj;
- ENode *result;
- ENode *catchexpr;
- Object *deletefunc;
- Boolean include_size;
-
- if (!cscope_currentfunc || !copts.delete_exception || !copts.exceptions)
- return NULL;
-
- obj = create_temp_object(TYPE(&void_ptr));
- *objptr = obj;
- deletefunc = NULL;
- catchexpr = NULL;
- include_size = 0;
- if (args)
- catchexpr = CExpr_PlacementDeleteCall(type, node, obj, flag1, flag2);
- if (!args)
- deletefunc = CParser_FindDeallocationObject(type, NULL, flag1, flag2, &include_size);
-
- if (!deletefunc && !catchexpr)
- return NULL;
-
- result = lalloc(sizeof(ENode));
- *result = *node;
- node = makediadicnode(create_objectnode(obj), node, EASS);
- if (!catchexpr && !include_size) {
- result->type = ENEWEXCEPTION;
- result->data.newexception.initexpr = node;
- result->data.newexception.tryexpr = NULL;
- result->data.newexception.pointertemp = obj;
- result->data.newexception.deletefunc = deletefunc;
- } else {
- if (!catchexpr)
- catchexpr = CExpr_DeleteFuncCall(deletefunc, create_objectnode(obj), type, include_size);
- result->type = EINITTRYCATCH;
- result->data.itc.initexpr = node;
- result->data.itc.tryexpr = NULL;
- result->data.itc.result = create_objectnode(obj);
- result->data.itc.catchexpr = catchexpr;
- }
-
- return result;
-}
-
-static ENode *CExpr_NewExceptionSafeInit(ENode *expr, ENode *tryexpr) {
- switch (expr->type) {
- case ENEWEXCEPTION:
- expr->data.newexception.tryexpr = tryexpr;
- break;
- case EINITTRYCATCH:
- expr->data.itc.tryexpr = tryexpr;
- break;
- default:
- CError_FATAL(5056);
- }
- return expr;
-}
-
-static ENode *CExpr_NewArray(Type *type, UInt32 qual, ENodeList *nodelist, Boolean flag) {
- Type *tptr;
- Type *sizetype;
- Type *innertype;
- ENodeList *newlist;
- ENode *result;
- Object *ctor;
- Object *dtor;
- ENode *ass;
- ENode *etemp;
- ENode *mul;
- SInt32 count;
- ENode *newalloc;
- ENode *newESalloc;
- Object *tempobj;
- ENode *callexpr;
-
- tptr = CDecl_NewPointerType(TYPE_POINTER(type)->target);
- sizetype = CABI_GetSizeTType();
- innertype = TYPE_POINTER(type)->target;
- while (IS_TYPE_ARRAY(innertype))
- innertype = TYPE_POINTER(innertype)->target;
-
- if (!CanAllocObject(innertype) || !IsCompleteType(innertype))
- return nullnode();
-
- newlist = lalloc(sizeof(ENodeList));
- newlist->next = nodelist;
- if (tk == '(') {
- tk = lex();
- if (CExpr_ScanExpressionList(1))
- CError_Error(CErrorStr174);
- if (tk == ')')
- tk = lex();
- else
- CError_Error(CErrorStr115);
- }
-
- if (!IS_TYPE_CLASS(innertype) || CClass_IsPODClass(TYPE_CLASS(innertype))) {
- newlist->node = intconstnode(sizetype, type->size);
- if (firstarrayexpr) {
- newlist->node = makediadicnode(newlist->node, promote(firstarrayexpr, sizetype), EMUL);
- optimizecomm(newlist->node);
- }
- result = CExpr_NewAlloc(innertype, newlist, flag, 1);
- result->rtype = tptr;
- result->flags |= (qual & ENODE_FLAG_QUALS);
- return result;
- }
-
- ctor = NULL;
- if (CClass_Constructor(TYPE_CLASS(innertype))) {
- ctor = CClass_DefaultConstructor(TYPE_CLASS(innertype));
- if (ctor) {
- ctor->flags |= OBJECT_USED;
- } else {
- ctor = CClass_DummyDefaultConstructor(TYPE_CLASS(innertype));
- if (!ctor)
- CError_Error(CErrorStr203);
- }
- }
-
- dtor = CClass_Destructor(TYPE_CLASS(innertype));
- if (dtor)
- dtor = CABI_GetDestructorObject(dtor, CABIDestroy1);
-
- ass = NULL;
- if (firstarrayexpr) {
- etemp = CExpr_NewETEMPNode(sizetype, 1);
- mul = promote(firstarrayexpr, sizetype);
- if (innertype->size)
- count = type->size / innertype->size;
- else
- count = 0;
- if (count > 1) {
- mul = makediadicnode(mul, intconstnode(sizetype, count), EMUL);
- optimizecomm(mul);
- }
- ass = makediadicnode(CExpr_DerefETEMPCopy(etemp), mul, EASS);
- mul = makediadicnode(CExpr_DerefETEMPCopy(etemp), intconstnode(sizetype, innertype->size), EMUL);
- optimizecomm(mul);
- mul = makediadicnode(mul, intconstnode(sizetype, 16), EADD);
- optimizecomm(mul);
- newlist->node = mul;
- etemp = CExpr_DerefETEMPCopy(etemp);
- } else {
- newlist->node = intconstnode(sizetype, type->size + 16);
- if (innertype->size)
- count = type->size / innertype->size;
- else
- count = 0;
- etemp = intconstnode(sizetype, count);
- }
-
- newalloc = CExpr_NewAlloc(innertype, newlist, flag, 1);
- newalloc->rtype = tptr;
- newESalloc = CExpr_NewExceptionSafeAlloc(innertype, newalloc, nodelist, 1, flag, &tempobj);
- if (newESalloc) {
- callexpr = CExpr_FuncCallSix(
- cnar_func,
- create_objectnode(tempobj),
- ctor ? create_objectrefnode(ctor) : nullnode(),
- dtor ? create_objectrefnode(dtor) : nullnode(),
- intconstnode(sizetype, innertype->size),
- etemp,
- NULL
- );
- result = CExpr_NewExceptionSafeInit(newESalloc, makediadicnode(create_objectnode(tempobj), callexpr, EASS));
- } else {
- result = CExpr_FuncCallSix(
- cnar_func,
- newalloc,
- ctor ? create_objectrefnode(ctor) : nullnode(),
- dtor ? create_objectrefnode(dtor) : nullnode(),
- intconstnode(sizetype, innertype->size),
- etemp,
- NULL
- );
- }
-
- if (ass)
- result = makecommaexpression(ass, result);
- result->rtype = tptr;
- result->flags |= (qual & ENODE_FLAG_QUALS);
- return result;
-}
-
-static ENode *CExpr_NewSimpleClass(TypeClass *tclass, ENode *expr, ENodeList *args) {
- ENode *precomp;
- ENode *nullcheck;
-
- precomp = lalloc(sizeof(ENode));
- *precomp = *expr;
- precomp->type = EPRECOMP;
- precomp->data.precompid = CParser_GetUniqueID();
-
- nullcheck = lalloc(sizeof(ENode));
- *nullcheck = *expr;
- nullcheck->type = ENULLCHECK;
- nullcheck->cost = 4;
- nullcheck->data.nullcheck.nullcheckexpr = expr;
- nullcheck->data.nullcheck.condexpr = CExpr_ConstructObject(tclass, precomp, args, 0, 1, 1, 1, 1);
- nullcheck->data.nullcheck.precompid = precomp->data.precompid;
- return nullcheck;
-}
-
-static ENode *CExpr_NewClass(TypeClass *tclass, ENode *expr, ENodeList *args1, ENodeList *args2, Boolean flag) {
- Object *objptr;
- ENode *newESalloc;
-
- if (!args2 && !flag && CABI_ConstructorCallsNew(tclass)) {
- expr = nullnode();
- expr->rtype = CDecl_NewPointerType(TYPE(tclass));
- return CExpr_ConstructObject(tclass, expr, args1, 0, 1, 1, 1, 1);
- } else {
- newESalloc = CExpr_NewExceptionSafeAlloc(TYPE(tclass), expr, args2, 0, flag, &objptr);
- if (newESalloc) {
- return CExpr_NewExceptionSafeInit(
- newESalloc,
- CExpr_ConstructObject(tclass, create_objectnode(objptr), args1, 0, 1, 1, 1, 1));
- } else {
- return CExpr_NewSimpleClass(tclass, expr, args1);
- }
- }
-}
-
-ENode *scannew(Boolean flag) {
- Type *type; // r27
- UInt32 qual;
- ENodeList *args; // r28
- Boolean placement_flag; // r26
- ENodeList *newargs; // r26
- ENode *expr; // r26
- ENodeList *args2; // r29
- Object *tempobj;
- ENode *newESalloc; // r28
- ENode *tempobj_expr; // r25
- ENode *etemp_expr; // r28
- ENode *indirect_expr; // r25
- ENode *ass; // r25
- ENode *cond; // r27
-
- type = NULL;
- args = NULL;
- firstarrayexpr = NULL;
- if ((tk = lex()) == '(') {
- tk = lex();
- placement_flag = isdeclaration(1, 1, 1, ')');
- if (!placement_flag)
- args = CExpr_ScanExpressionList(1);
- if (placement_flag)
- type = scan_type_name(&qual);
- if (tk != ')')
- CError_Error(CErrorStr115);
- else
- tk = lex();
- }
-
- if (!type) {
- if (tk == '(') {
- tk = lex();
- type = scan_type_name(&qual);
- if (tk != ')')
- CError_Error(CErrorStr115);
- else
- tk = lex();
- } else {
- type = scan_new_type_name(&qual);
- }
- }
-
- if (IS_TYPE_ARRAY(type))
- return CExpr_NewArray(type, qual, args, flag);
-
- if (IS_TYPE_CLASS(type)) {
- if (TYPE_CLASS(type)->sominfo)
- return CSOM_New(TYPE_CLASS(type));
- if (TYPE_CLASS(type)->objcinfo)
- return CObjC_New(TYPE_CLASS(type));
- }
-
- if (!IsCompleteType(type) || !CanAllocObject(type))
- return nullnode();
-
- newargs = lalloc(sizeof(ENodeList));
- newargs->next = args;
- newargs->node = intconstnode(CABI_GetSizeTType(), type->size);
-
- expr = CExpr_NewAlloc(type, newargs, flag, 0);
- expr->rtype = CDecl_NewPointerType(type);
- expr->flags |= (qual & ENODE_FLAG_QUALS);
-
- if (tk == '(') {
- tk = lex();
- args2 = CExpr_ScanExpressionList(1);
- if (!args2 && !IS_TYPE_CLASS(type)) {
- args2 = lalloc(sizeof(ENodeList));
- memclrw(args2, sizeof(ENodeList));
- args2->node = do_typecast(nullnode(), type, 0);
- }
- if (tk == ')')
- tk = lex();
- else
- CError_Error(CErrorStr115);
- } else {
- args2 = NULL;
- }
-
- if (ENODE_IS(expr, EINTCONST))
- return expr;
-
- if (IS_TYPE_CLASS(type) && CClass_Constructor(TYPE_CLASS(type)))
- return CExpr_NewClass(TYPE_CLASS(type), expr, args2, args, flag);
-
- if (args2) {
- if (args2->next) {
- CError_Error(CErrorStr174);
- return nullnode();
- }
-
- newESalloc = CExpr_NewExceptionSafeAlloc(type, expr, args, 0, flag, &tempobj);
- if (newESalloc) {
- tempobj_expr = makemonadicnode(create_objectnode(tempobj), EINDIRECT);
- tempobj_expr->rtype = type;
- tempobj_expr->flags = args2->node->flags & ENODE_FLAG_QUALS;
- return CExpr_NewExceptionSafeInit(
- newESalloc,
- makediadicnode(tempobj_expr, CExpr_AssignmentPromotion(args2->node, type, newESalloc->flags, 1), EASS)
- );
- } else {
- etemp_expr = CExpr_GetETEMPCopy(expr);
- indirect_expr = makemonadicnode(etemp_expr, EINDIRECT);
- indirect_expr->rtype = type;
- indirect_expr->flags = args2->node->flags & ENODE_FLAG_QUALS;
- ass = makediadicnode(indirect_expr, CExpr_AssignmentPromotion(args2->node, type, indirect_expr->flags, 1), EASS);
- cond = CExpr_NewENode(ECOND);
- cond->cost = 4;
- cond->rtype = &stvoid;
- cond->data.cond.cond = expr;
- cond->data.cond.expr1 = ass;
- cond->data.cond.expr2 = nullnode();
- cond = makecommaexpression(cond, etemp_expr);
- cond->rtype = etemp_expr->rtype;
- cond->flags = etemp_expr->flags;
- return cond;
- }
- } else {
- return expr;
- }
-}
-
-static ENode *CExpr_DeleteArray(ENode *expr, Type *type, Boolean flag) {
- Object *obj;
- Object *dtor;
- Boolean outflag;
- ENode *precomp;
- SInt32 precompid;
- ENode *tmp;
- ENode *result;
-
- obj = CParser_FindDeallocationObject(type, NULL, 1, flag, &outflag);
-
- if (!IS_TYPE_CLASS(type) || CClass_IsPODClass(TYPE_CLASS(type)))
- return CExpr_DeleteFuncCall(obj, expr, type, outflag);
-
- dtor = CClass_Destructor(TYPE_CLASS(type));
- if (dtor || outflag) {
- if (obj->nspace == cscope_root && !outflag) {
- return funccallexpr(dnar_func, expr, dtor ? create_objectrefnode(dtor) : nullnode(), NULL, NULL);
- }
- return funccallexpr(
- dnar3_func,
- expr,
- dtor ? create_objectrefnode(dtor) : nullnode(),
- create_objectrefnode(obj),
- intconstnode(TYPE(&stsignedshort), outflag));
- }
-
- precomp = lalloc(sizeof(ENode));
- *precomp = *expr;
- precomp->type = EPRECOMP;
- precomp->data.precompid = precompid = CParser_GetUniqueID();
- tmp = CExpr_DeleteFuncCall(obj, makediadicnode(precomp, intconstnode(CABI_GetSizeTType(), 16), ESUB), type, 0);
-
- result = CExpr_NewENode(ENULLCHECK);
- result->rtype = &stvoid;
- result->cost = 4;
- result->data.nullcheck.nullcheckexpr = expr;
- result->data.nullcheck.condexpr = tmp;
- result->data.nullcheck.precompid = precompid;
-
- return result;
-}
-
-ENode *scandelete(Boolean flag) {
- Boolean is_array; // r24
- ENode *expr; // r25
- Type *conv_type; // r22
- UInt32 conv_qual; // r23
- Type *innertype; // r23
- Type *t;
- Object *obj;
- Object *dtor; // r24
- ENode *result_expr; // r24???
- ENode *precomp_orig; // r31
- SInt32 precompid; // r30
- Boolean is_virtual; // r23
- ENode *nc;
- ConversionIterator iter;
- Boolean outflag;
- BClassList path;
-
- if ((tk = lex()) == '[') {
- if ((tk = lex()) != ']')
- CError_Error(CErrorStr125);
- else
- tk = lex();
- is_array = 1;
- } else {
- is_array = 0;
- }
-
- expr = cast_expression();
- if (!IS_TYPE_POINTER_ONLY(expr->rtype)) {
- if (IS_TYPE_CLASS(expr->rtype)) {
- conv_type = NULL;
- CExpr_ConversionIteratorInit(&iter, TYPE_CLASS(expr->rtype));
- while ((obj = CExpr_ConversionIteratorNext(&iter))) {
- if (IS_TYPE_POINTER_ONLY(TYPE_FUNC(obj->type)->functype)) {
- if (conv_type) {
- CError_Error(CErrorStr199);
- break;
- }
- conv_type = TYPE_FUNC(obj->type)->functype;
- conv_qual = TYPE_FUNC(obj->type)->qual;
- }
- }
- if (conv_type) {
- if (!copts.old_argmatch) {
- expr = CExpr_Convert(expr, conv_type, conv_qual, 1, 1);
- } else {
- if (user_assign_check(expr, conv_type, conv_qual, 1, 0, 1))
- expr = assign_node;
- }
- }
- }
- if (!IS_TYPE_POINTER_ONLY(expr->rtype)) {
- CError_Error(CErrorStr146);
- return nullnode();
- }
- }
-
- innertype = TYPE_POINTER(expr->rtype)->target;
- if (innertype->size == 0)
- CDecl_CompleteType(innertype);
-
- if (IS_TYPE_ARRAY(innertype) && !is_array)
- CError_Error(CErrorStr146);
-
- if (is_array) {
- t = innertype;
- while (IS_TYPE_ARRAY(t))
- t = TYPE_POINTER(t)->target;
- return CExpr_DeleteArray(expr, t, flag);
- }
-
- if (copts.objective_c && CObjC_IsType_id(expr->rtype))
- return CObjC_Delete(NULL, expr);
-
- if (!IS_TYPE_CLASS(innertype)) {
- obj = CParser_FindDeallocationObject(innertype, NULL, 0, flag, &outflag);
- CClass_CheckObjectAccess(NULL, obj);
- return CExpr_DeleteFuncCall(obj, expr, innertype, outflag);
- }
-
- if (TYPE_CLASS(innertype)->sominfo)
- return CSOM_Delete(TYPE_CLASS(innertype), expr);
-
- if (TYPE_CLASS(innertype)->objcinfo)
- return CObjC_Delete(TYPE_CLASS(innertype), expr);
-
- if (!(TYPE_CLASS(innertype)->flags & CLASS_COMPLETED) && copts.pedantic)
- CError_Warning(CErrorStr136, innertype, 0);
-
- obj = CParser_FindDeallocationObject(innertype, NULL, 0, flag, &outflag);
- CClass_CheckObjectAccess(NULL, obj);
- dtor = CClass_Destructor(TYPE_CLASS(innertype));
- if (!dtor)
- return CExpr_DeleteFuncCall(obj, expr, innertype, outflag);
-
- path.next = NULL;
- path.type = innertype;
- CClass_CheckObjectAccess(&path, dtor);
-
- result_expr = lalloc(sizeof(ENode));
- result_expr->type = EFUNCCALL;
- result_expr->cost = 4;
- result_expr->flags = 0;
- result_expr->rtype = &stvoid;
- if (dtor->datatype == DVFUNC) {
- precomp_orig = expr;
- expr = lalloc(sizeof(ENode));
- *expr = *precomp_orig;
- expr->type = EPRECOMP;
- expr->data.precompid = precompid = CParser_GetUniqueID();
- is_virtual = 1;
- } else {
- is_virtual = 0;
- }
-
- if (!flag) {
- result_expr = CABI_DestroyObject(dtor, expr, 2, 0, 1);
- } else {
- CError_ASSERT(5650, !outflag);
- result_expr = CABI_DestroyObject(dtor, expr, 2, 0, 0);
- result_expr->rtype = TYPE(&void_ptr);
- result_expr = funccallexpr(obj, result_expr, NULL, NULL, NULL);
- obj->flags |= OBJECT_USED;
- }
-
- if (is_virtual) {
- nc = lalloc(sizeof(ENode));
- nc->type = ENULLCHECK;
- nc->rtype = &stvoid;
- nc->cost = 4;
- nc->flags = 0;
- nc->data.nullcheck.nullcheckexpr = precomp_orig;
- nc->data.nullcheck.condexpr = result_expr;
- nc->data.nullcheck.precompid = precompid;
- return nc;
- } else {
- return result_expr;
- }
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-22 14:13:33 +0000