================
@@ -1515,7 +1515,8 @@ void CStringChecker::evalCopyCommon(CheckerContext &C,
const CallEvent &Call,
// conjure a return value for later.
if (lastElement.isUnknown())
lastElement = C.getSValBuilder().conjureSymbolVal(
- nullptr, Call.getOriginExpr(), LCtx, C.blockCount());
+ nullptr, Call.getOriginExpr(), C.getCFGElementRef(), LCtx,
----------------
isuckatcs wrote:
At this point, isn't it the `Call` that conjured the symbol? Shouldn't we pass
a `CFGElementRef` to the `Call` instead?
https://github.com/llvm/llvm-project/pull/128251
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
