1235     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1287       state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1291       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1394     State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1421             SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1435       State = State->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1471       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1567   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1808             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1812               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength);  in evalStrcpyCommon()
1817               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize);  in evalStrcpyCommon()
2010   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
2081     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
2159   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
2220   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
2257   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()
2286     ZeroSize = ZeroSize->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()
2308   State = State->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()