[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