[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


================
@@ -1665,8 +1666,9 @@ void CStringChecker::evalMemcmp(CheckerContext &C, const CallEvent &Call,
     State = CheckBufferAccess(C, State, Left, Size, AccessKind::read, CK);
     if (State) {
       // The return value is the comparison result, which we don't know.
-      SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,
-                                           C.blockCount());
+      SVal CmpV =
+          Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(),
+                                   C.getCFGElementRef(), LCtx, C.blockCount());
----------------
isuckatcs wrote:

Same here

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


More information about the cfe-commits mailing list