[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