[clang] [analyzer] Add support for consteval in ConditionBRVisitor::VisitTerminator (PR #146859)
via cfe-commits
cfe-commits at lists.llvm.org
Sun Jul 6 17:57:19 PDT 2025
================
@@ -2794,6 +2794,9 @@ PathDiagnosticPieceRef ConditionBRVisitor::VisitTerminator(
default:
return nullptr;
case Stmt::IfStmtClass:
+ // Handle if consteval which doesn't have a traditional condition
+ if (cast<IfStmt>(Term)->isConsteval())
+ return nullptr;
Cond = cast<IfStmt>(Term)->getCond();
break;
----------------
isuckatcs wrote:
Nit:
```suggestion
const auto *IfStmt = cast<IfStmt>(Term);
// Handle if consteval which doesn't have a traditional condition.
if (IfStmt->isConsteval())
return nullptr;
Cond = IfStmt->getCond();
break;
```
https://github.com/llvm/llvm-project/pull/146859
More information about the cfe-commits
mailing list