Extern/Beef
1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-06-08 03:28:20 +02:00
Code Activity

Fixed accidental const binary op resolution in generic constraint check

Browse source
This commit is contained in:
Brian Fiete 2025-05-29 06:48:58 +02:00
parent 864b9252ea
commit 6f35d484b1
2 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
IDEHelper/Compiler/BfExprEvaluator.cpp
View file

@ -3410,6 +3410,16 @@ bool BfExprEvaluator::IsComptimeEntry()
return ((mBfEvalExprFlags & BfEvalExprFlags_Comptime) != 0);
}
void BfExprEvaluator::EnsureResultNotConstant()
{
if ((mResult.mValue.IsConst()) && (!mResult.mType->IsValuelessType()))
{
auto newTypedValue = mModule->GetDefaultTypedValue(mResult.mType, true, Beefy::BfDefaultValueKind_Addr);
mModule->mBfIRBuilder->CreateStore(mResult.mValue, newTypedValue.mValue);
mResult = newTypedValue;
}
}
int BfExprEvaluator::GetStructRetIdx(BfMethodInstance* methodInstance, bool forceStatic)
{
if (IsComptime())
@ -25374,6 +25384,7 @@ void BfExprEvaluator::PerformBinaryOperation(BfAstNode* leftExpression, BfAstNod
if (needNewCheck)
{
PerformBinaryOperation(leftExpression, rightExpression, binaryOp, opToken, flags, newLeftValue, newRightValue);
EnsureResultNotConstant();
return;
}
}

1
IDEHelper/Compiler/BfExprEvaluator.h
View file

@ -458,6 +458,7 @@ public:
bool IsComptime();
bool IsConstEval();
bool IsComptimeEntry();
void EnsureResultNotConstant();
int GetStructRetIdx(BfMethodInstance* methodInstance, bool forceStatic = false);
BfTypedValue SetupNullConditional(BfTypedValue target, BfTokenNode* dotToken);
void Evaluate(BfAstNode* astNode, bool propogateNullConditional = false, bool ignoreNullConditional = false, bool allowSplat = true);