Function AddDefineVariableNode

NULLC/Callbacks.cpp:1763–1836

Function for variable assignment in place of definition

// Function for variable assignment in place of definition
void AddDefineVariableNode(const char* pos, VariableInfo* varInfo, bool noOverload)
{
	CodeInfo::lastKnownStartPos = pos;
	VariableInfo *variableInfo = (VariableInfo*)varInfo;

	// If a function is being assigned to variable, then take it's address
	ConvertFunctionToPointer(pos, variableInfo->varType);

	// If current type is set to NULL, it means that current type is auto
	// Is such case, type is retrieved from last AST node
	TypeInfo *realCurrType = variableInfo->varType ? variableInfo->varType : CodeInfo::nodeList.back()->typeInfo;

	// If variable type is array without explicit size, and it is being defined with value of different type
	ConvertArrayToUnsized(pos, realCurrType);
	HandlePointerToObject(pos, realCurrType);

	// If type wasn't known until assignment, it means that variable alignment wasn't performed in AddVariable function
	if(!variableInfo->varType)
	{
		if(realCurrType == typeVoid)
			ThrowError(pos, "ERROR: r-value type is 'void'");

		variableInfo->pos = varTop;
		// If type has default alignment or if user specified it
		if(realCurrType->alignBytes != 0 || currAlign != TypeInfo::UNSPECIFIED_ALIGNMENT)
		{
			// Find address offset. Alignment selected by user has higher priority than default alignment
			unsigned int offset = GetAlignmentOffset(pos, currAlign != TypeInfo::UNSPECIFIED_ALIGNMENT ? currAlign : realCurrType->alignBytes);
			variableInfo->pos += offset;
			varTop += offset;
		}
		variableInfo->varType = realCurrType;
		varTop += realCurrType->size;

		if(variableInfo->varType->hasFinalizer)
			ThrowError(pos, "ERROR: cannot create '%s' that implements 'finalize' on stack", variableInfo->varType->GetFullTypeName());
		if(!variableInfo->varType->hasFinished && variableInfo->varType != newType)
			ThrowError(pos, "ERROR: type '%s' is not fully defined", variableInfo->varType->GetFullTypeName());
	}

	if(currDefinedFunc.size() && currDefinedFunc.back()->type == FunctionInfo::COROUTINE && variableInfo->blockDepth > currDefinedFunc[0]->vTopSize && variableInfo->pos > currDefinedFunc.back()->allParamSize)
	{
		// If that variable is not in current scope, we have to get it through current closure
		FunctionInfo *currFunc = currDefinedFunc.back();
		// Add variable to the list of function external variables
		FunctionInfo::ExternalInfo *external = AddFunctionExternal(currFunc, variableInfo);

		assert(currFunc->allParamSize % 4 == 0);
		CodeInfo::nodeList.push_back(new NodeGetUpvalue(currFunc, currFunc->allParamSize, external->closurePos, CodeInfo::GetReferenceType(variableInfo->varType)));
	}else{
		CodeInfo::nodeList.push_back(new NodeGetAddress(variableInfo, variableInfo->pos, variableInfo->varType));
	}

	varDefined = false;

	// Call overloaded operator with error suppression
	if(!noOverload)
	{