[clang] [Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConjured (PR #128251)
Fangyi Zhou via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 24 11:56:14 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:
Fair enough, I will remove the assertion but leave this FIXME here for future reference.
https://github.com/llvm/llvm-project/pull/128251
More information about the cfe-commits
mailing list