[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
================
@@ -1794,7 +1797,8 @@ void CStringChecker::evalstrLengthCommon(CheckerContext &C,
// value, so it can be used in constraints, at least.
if (result.isUnknown()) {
result = C.getSValBuilder().conjureSymbolVal(
- nullptr, Call.getOriginExpr(), LCtx, C.blockCount());
+ 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