1459         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1511             nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalCopyCommon()
1514       state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement);  in evalCopyCommon()
1518       state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1620     State = State->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1647         State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1661       SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalMemcmp()
1663       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);  in evalMemcmp()
1700       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);  in evalstrLengthCommon()
1766           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1790           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1796   state = state->BindExpr(Call.getOriginExpr(), LCtx, result);  in evalstrLengthCommon()
2046                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);  in evalStrcpyCommon()
2050               StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(),  in evalStrcpyCommon()
2057                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);  in evalStrcpyCommon()
2127           getCStringLength(C, state, Call.getOriginExpr(), DstVal, true);  in evalStrcpyCommon()
2257       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrcpyCommon()
2262   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrcpyCommon()
2336         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,  in evalStrcmpCommon()
2357   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),  in evalStrcmpCommon()
2414   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);  in evalStrcmpCommon()
2465                        SVB.conjureSymbolVal(getTag(), Call.getOriginExpr(),  in evalStrsep()
2471     Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrsep()
2476   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrsep()
2516       SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalStdCopyCommon()
2517   State = State->BindExpr(Call.getOriginExpr(), LCtx, ResultVal);  in evalStdCopyCommon()
2547     ZeroSize = ZeroSize->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2569   State = State->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2631   const auto *CE = cast<CallExpr>(Call.getOriginExpr());  in evalSprintfCommon()
2672   const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in identifyCall()
2710   assert(isa<CallExpr>(Call.getOriginExpr()));  in evalCall()