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

via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 21 17:15:26 PST 2025


================
@@ -844,7 +845,7 @@ SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {
   return CDataPtr->getEnd();
 }
 
-ProgramStateRef createContainerBegin(ProgramStateRef State,
+ProgramStateRef createContainerBegin(CheckerContext &C, ProgramStateRef State,
                                      const MemRegion *Cont, const Expr *E,
                                      QualType T, const LocationContext *LCtx,
                                      unsigned BlockCount) {
----------------
isuckatcs wrote:

In this function `const Expr *E` is unused. Instead of passing down the `CheckerContext`, just pass a `CFGElementRef` instead of  `const Expr *E`.

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


More information about the cfe-commits mailing list