diff options
author | Timm Bäder <tbaeder@redhat.com> | 2023-07-01 16:54:10 +0200 |
---|---|---|
committer | Timm Bäder <tbaeder@redhat.com> | 2023-07-02 06:49:55 +0200 |
commit | 381e8052d0966a247f811cfc301059393d3c650a (patch) | |
tree | 8690d23ba29bea92a5a8d5c94267dd6e2225ba32 /clang/lib/Sema/SemaChecking.cpp | |
parent | 0a9d2fa9ac9ec12eb4d50674d40fc73510fef405 (diff) | |
download | llvm-381e8052d0966a247f811cfc301059393d3c650a.zip llvm-381e8052d0966a247f811cfc301059393d3c650a.tar.gz llvm-381e8052d0966a247f811cfc301059393d3c650a.tar.bz2 |
[clang][Sema][NFC] Make worklist in CheckForIntOverflow const
Diffstat (limited to 'clang/lib/Sema/SemaChecking.cpp')
-rw-r--r-- | clang/lib/Sema/SemaChecking.cpp | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp index 09ce790..294d9bf 100644 --- a/clang/lib/Sema/SemaChecking.cpp +++ b/clang/lib/Sema/SemaChecking.cpp @@ -15189,39 +15189,39 @@ void Sema::CheckBoolLikeConversion(Expr *E, SourceLocation CC) { /// Diagnose when expression is an integer constant expression and its evaluation /// results in integer overflow -void Sema::CheckForIntOverflow (Expr *E) { +void Sema::CheckForIntOverflow (const Expr *E) { // Use a work list to deal with nested struct initializers. - SmallVector<Expr *, 2> Exprs(1, E); + SmallVector<const Expr *, 2> Exprs(1, E); do { - Expr *OriginalE = Exprs.pop_back_val(); - Expr *E = OriginalE->IgnoreParenCasts(); + const Expr *OriginalE = Exprs.pop_back_val(); + const Expr *E = OriginalE->IgnoreParenCasts(); if (isa<BinaryOperator, UnaryOperator>(E)) { E->EvaluateForOverflow(Context); continue; } - if (auto InitList = dyn_cast<InitListExpr>(OriginalE)) + if (const auto *InitList = dyn_cast<InitListExpr>(OriginalE)) Exprs.append(InitList->inits().begin(), InitList->inits().end()); else if (isa<ObjCBoxedExpr>(OriginalE)) E->EvaluateForOverflow(Context); - else if (auto Call = dyn_cast<CallExpr>(E)) + else if (const auto *Call = dyn_cast<CallExpr>(E)) Exprs.append(Call->arg_begin(), Call->arg_end()); - else if (auto Message = dyn_cast<ObjCMessageExpr>(E)) + else if (const auto *Message = dyn_cast<ObjCMessageExpr>(E)) Exprs.append(Message->arg_begin(), Message->arg_end()); - else if (auto Construct = dyn_cast<CXXConstructExpr>(E)) + else if (const auto *Construct = dyn_cast<CXXConstructExpr>(E)) Exprs.append(Construct->arg_begin(), Construct->arg_end()); - else if (auto Temporary = dyn_cast<CXXBindTemporaryExpr>(E)) + else if (const auto *Temporary = dyn_cast<CXXBindTemporaryExpr>(E)) Exprs.push_back(Temporary->getSubExpr()); - else if (auto Array = dyn_cast<ArraySubscriptExpr>(E)) + else if (const auto *Array = dyn_cast<ArraySubscriptExpr>(E)) Exprs.push_back(Array->getIdx()); - else if (auto Compound = dyn_cast<CompoundLiteralExpr>(E)) + else if (const auto *Compound = dyn_cast<CompoundLiteralExpr>(E)) Exprs.push_back(Compound->getInitializer()); - else if (auto New = dyn_cast<CXXNewExpr>(E)) { - if (New->isArray()) - if (auto ArraySize = New->getArraySize()) - Exprs.push_back(*ArraySize); + else if (const auto *New = dyn_cast<CXXNewExpr>(E); + New && New->isArray()) { + if (auto ArraySize = New->getArraySize()) + Exprs.push_back(*ArraySize); } } while (!Exprs.empty()); } |