[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


================
@@ -207,7 +207,7 @@ void InvalidPtrChecker::postPreviousReturnInvalidatingCall(
 
   // Function call will return a pointer to the new symbolic region.
   DefinedOrUnknownSVal RetVal = C.getSValBuilder().conjureSymbolVal(
-      CE, LCtx, CE->getType(), C.blockCount());
+      C.getCFGElementRef(), LCtx, CE->getType(), C.blockCount());
----------------
isuckatcs wrote:

Same question here regarding different references.

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


More information about the cfe-commits mailing list