[clang] [Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConjured (PR #128251)

Fangyi Zhou via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 25 03:00:16 PDT 2025


================
@@ -2556,10 +2556,19 @@ void ExprEngine::processCFGBlockEntrance(const BlockEdge &L,
     const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt();
     if (!isa_and_nonnull<ForStmt, WhileStmt, DoStmt, CXXForRangeStmt>(Term))
       return;
+
+    // FIXME:
----------------
fangyi-zhou wrote:

I suspect we need to actually provide a valid CFG element here, so maybe we need to pass the first element in the new CFG Block?

https://github.com/llvm/llvm-project/pull/128251


More information about the cfe-commits mailing list