Prepare compilerplugins for C++23 if consteval

...for which clang::IfStmt::getCond returns null

Change-Id: I8b86a033d52de87dedbdf6d867f2b3d3f57c1b5a
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/148979
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
This commit is contained in:
Stephan Bergmann 2023-03-16 12:06:43 +01:00
parent 9affc1f4eb
commit 3a1fbb70a3
3 changed files with 25 additions and 13 deletions

View file

@ -46,15 +46,19 @@ private:
bool SimplifyDynamicCast::TraverseIfStmt(IfStmt* ifStmt)
{
auto condExpr = ifStmt->getCond()->IgnoreParenImpCasts();
auto dynamicCastExpr = dyn_cast<CXXDynamicCastExpr>(condExpr);
if (!dynamicCastExpr)
CXXDynamicCastExpr const* dynamicCastExpr = nullptr;
if (Expr const* condExpr = ifStmt->getCond())
{
if (auto binaryOp = dyn_cast<BinaryOperator>(condExpr))
condExpr = condExpr->IgnoreParenImpCasts();
dynamicCastExpr = dyn_cast<CXXDynamicCastExpr>(condExpr);
if (!dynamicCastExpr)
{
if (binaryOp->getOpcode() == BO_NE)
dynamicCastExpr
= dyn_cast<CXXDynamicCastExpr>(binaryOp->getLHS()->IgnoreParenImpCasts());
if (auto binaryOp = dyn_cast<BinaryOperator>(condExpr))
{
if (binaryOp->getOpcode() == BO_NE)
dynamicCastExpr
= dyn_cast<CXXDynamicCastExpr>(binaryOp->getLHS()->IgnoreParenImpCasts());
}
}
}
Decl const* subExprDecl = nullptr;

View file

@ -131,14 +131,20 @@ public:
bool PreTraverseIfStmt(IfStmt* stmt)
{
contextuallyConvertedExprs_.push_back(stmt->getCond()->IgnoreParenImpCasts());
if (auto const cond = stmt->getCond())
{
contextuallyConvertedExprs_.push_back(cond->IgnoreParenImpCasts());
}
return true;
}
bool PostTraverseIfStmt(IfStmt*, bool)
bool PostTraverseIfStmt(IfStmt* stmt, bool)
{
assert(!contextuallyConvertedExprs_.empty());
contextuallyConvertedExprs_.pop_back();
if (stmt->getCond() != nullptr)
{
assert(!contextuallyConvertedExprs_.empty());
contextuallyConvertedExprs_.pop_back();
}
return true;
}

View file

@ -262,8 +262,10 @@ bool UnnecessaryParen::VisitParenExpr(const ParenExpr* parenExpr)
bool UnnecessaryParen::VisitIfStmt(const IfStmt* ifStmt)
{
handleUnreachableCodeConditionParens(ifStmt->getCond());
VisitSomeStmt(ifStmt, ifStmt->getCond(), "if");
if (auto const cond = ifStmt->getCond()) {
handleUnreachableCodeConditionParens(cond);
VisitSomeStmt(ifStmt, cond, "if");
}
return true;
}