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

[Fangyi Zhou via cfe-commits]

================
@@ -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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits