Method DoForLess

IDEHelper/Compiler/BfStmtEvaluator.cpp:6272–6455

}

void BfModule::DoForLess(BfForEachStatement* forEachStmt)
{
	UpdateSrcPos(forEachStmt);

	auto startBB = mBfIRBuilder->GetInsertBlock();
	auto condBB = mBfIRBuilder->CreateBlock("forless.cond", true);
	mBfIRBuilder->SetInsertPoint(condBB);

	BfScopeData scopeData;
	// We set mIsLoop later
	if (forEachStmt->mLabelNode != NULL)
		scopeData.mLabelNode = forEachStmt->mLabelNode->mLabel;
	mCurMethodState->AddScope(&scopeData);
	NewScopeState();

	auto autoComplete = mCompiler->GetAutoComplete();

	auto isLet = BfNodeDynCast<BfLetTypeReference>(forEachStmt->mVariableTypeRef) != 0;
	auto isVar = BfNodeDynCast<BfVarTypeReference>(forEachStmt->mVariableTypeRef) != 0;

	BfTypedValue target;
	BfType* varType = NULL;
	bool didInference = false;
	if (isLet || isVar)
	{
		if (forEachStmt->mCollectionExpression != NULL)
			target = CreateValueFromExpression(forEachStmt->mCollectionExpression);
		if (target)
		{
			FixIntUnknown(target);
			varType = target.mType;
		}

		if (autoComplete != NULL)
			autoComplete->CheckVarResolution(forEachStmt->mVariableTypeRef, varType);
		didInference = true;
	}
	else
	{
		varType = ResolveTypeRef(forEachStmt->mVariableTypeRef, BfPopulateType_Data, BfResolveTypeRefFlag_AllowRef);
		if (forEachStmt->mCollectionExpression != NULL)
			target = CreateValueFromExpression(forEachStmt->mCollectionExpression, varType);
	}
	if (varType == NULL)
		varType = GetPrimitiveType(BfTypeCode_IntPtr);

	BfDeferredLocalAssignData deferredLocalAssignData(mCurMethodState->mCurScope);
	deferredLocalAssignData.mIsIfCondition = true;
	deferredLocalAssignData.ExtendFrom(mCurMethodState->mDeferredLocalAssignData, true);
	deferredLocalAssignData.mVarIdBarrier = mCurMethodState->GetRootMethodState()->mCurLocalVarId;
	SetAndRestoreValue<BfDeferredLocalAssignData*> prevDLA(mCurMethodState->mDeferredLocalAssignData, &deferredLocalAssignData);

	deferredLocalAssignData.mIsIfCondition = false;

	// The "extend chain" is only valid for the conditional -- since that expression may contain unconditionally executed and
	//  conditionally executed code (in the case of "(GetVal(out a) && GetVal(out b))" for example
	mCurMethodState->mDeferredLocalAssignData->BreakExtendChain();