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

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Mon Feb 24 04:44:44 PST 2025


================
@@ -27,7 +27,8 @@ namespace ento {
 /// by the loop body in any iteration.
 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
                                     const LocationContext *LCtx,
-                                    unsigned BlockCount, const Stmt *LoopStmt);
+                                    unsigned BlockCount, const Stmt *LoopStmt,
----------------
Xazax-hun wrote:

Do we need both the Stmt and the ElemRef here?

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


More information about the cfe-commits mailing list