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

Reply via email to