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

via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 26 07:48:28 PST 2025


================
@@ -165,8 +167,9 @@ void STLAlgorithmModeling::Find(CheckerContext &C, const CallExpr *CE,
   // FIXME: Reverse iterators
   Pos = getIteratorPosition(State, Param);
   if (Pos) {
-    StateFound = createIteratorPosition(StateFound, RetVal, Pos->getContainer(),
-                                        CE, LCtx, C.blockCount());
+    StateFound =
+        createIteratorPosition(StateFound, RetVal, Pos->getContainer(),
+                               C.getCFGElementRef(), LCtx, C.blockCount());
----------------
isuckatcs wrote:

Isn't this element ref different from the element ref of `CE`?

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


More information about the cfe-commits mailing list