From c73968a515fb8c56d744932957950b0a57a96641 Mon Sep 17 00:00:00 2001 From: Brian Fiete Date: Fri, 25 Oct 2024 07:40:12 -0400 Subject: [PATCH] Fixed sized array OOB check with undef index --- IDEHelper/Compiler/BfExprEvaluator.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/IDEHelper/Compiler/BfExprEvaluator.cpp b/IDEHelper/Compiler/BfExprEvaluator.cpp index 7e7be44d..d562c623 100644 --- a/IDEHelper/Compiler/BfExprEvaluator.cpp +++ b/IDEHelper/Compiler/BfExprEvaluator.cpp @@ -22135,7 +22135,7 @@ void BfExprEvaluator::HandleIndexerExpression(BfIndexerExpression* indexerExpr, if (indexArgument.mValue.IsConst()) { auto indexConst = mModule->mBfIRBuilder->GetConstant(indexArgument.mValue); - if (indexConst->mUInt64 >= (uint64)sizedArrayType->mElementCount) + if ((BfIRBuilder::IsIntable(indexConst->mTypeCode)) && (indexConst->mUInt64 >= (uint64)sizedArrayType->mElementCount)) { if ((!mModule->IsInSpecializedSection()) && (checkedKind != BfCheckedKind_Unchecked)) {