================
@@ -2322,30 +2323,25 @@ void CStringChecker::evalStrxfrm(CheckerContext &C,
StateSuccess = invalidateDestinationBufferBySize(
C, StateSuccess, Dest.Expression, Call.getCFGElementRef(), DestVal,
SizeVal, Size.Expression->getType());
-
- StateSuccess = StateSuccess->BindExpr(Call.getOriginExpr(), LCtx,
RetVal);
- C.addTransition(StateSuccess);
+ BindReturnAndTransition(StateSuccess);
----------------
alejandro-alvarez-sonarsource wrote:
Makes sense. I have reworked a bit these if/else to make clearer (I hope) the
intent.
https://github.com/llvm/llvm-project/pull/156507
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
