[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


================
@@ -2361,8 +2366,9 @@ void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallEvent &Call,
   const StringLiteral *RightStrLiteral =
       getCStringLiteral(C, state, Right.Expression, RightVal);
   bool canComputeResult = false;
-  SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),
-                                                LCtx, C.blockCount());
+  SVal resultVal =
+      svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),
+                                   C.getCFGElementRef(), LCtx, C.blockCount());
----------------
isuckatcs wrote:

.

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


More information about the cfe-commits mailing list