1014     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1068         state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1074         state = state->BindExpr(CE, LCtx, result);  in evalCopyCommon()
1080       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1174     state = state->BindExpr(CE, LCtx,  in evalMemcmp()
1201         state = StSameBuf->BindExpr(CE, LCtx,  in evalMemcmp()
1216         state = state->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1259       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1356   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1527           StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1738   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
1821     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
1897   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
1956   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
1993   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()