1148     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1200       state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1204       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1300     State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1327             SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1341       State = State->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1377       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1473   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1714             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1718               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength);  in evalStrcpyCommon()
1723               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize);  in evalStrcpyCommon()
1915   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
1986     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
2064   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
2125   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
2162   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()
2191     ZeroSize = ZeroSize->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()
2213   State = State->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()