[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