================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
