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

via cfe-commits cfe-commits at lists.llvm.org
Sun Feb 23 17:26:45 PST 2025


================
@@ -2261,7 +2265,8 @@ void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallEvent &Call,
     // If this is a stpcpy-style copy, but we were unable to check for a buffer
     // overflow, we still need a result. Conjure a return value.
     if (ReturnEnd && Result.isUnknown()) {
-      Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,
+      Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),
+                                            C.getCFGElementRef(), LCtx,
----------------
isuckatcs wrote:

.

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


More information about the cfe-commits mailing list