Lines Matching refs:BindExpr
1211 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1263 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1267 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1368 State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1395 SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1409 State = State->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1445 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1541 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1782 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1786 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength); in evalStrcpyCommon()
1791 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize); in evalStrcpyCommon()
1983 state = state->BindExpr(CE, LCtx, Result); in evalStrcpyCommon()
2054 StSameBuf = StSameBuf->BindExpr(CE, LCtx, in evalStrcmpCommon()
2132 state = state->BindExpr(CE, LCtx, resultVal); in evalStrcmpCommon()
2193 State = State->BindExpr(CE, LCtx, Result); in evalStrsep()
2230 State = State->BindExpr(CE, LCtx, ResultVal); in evalStdCopyCommon()
2259 ZeroSize = ZeroSize->BindExpr(CE, LCtx, BufferPtrVal); in evalMemset()
2281 State = State->BindExpr(CE, LCtx, BufferPtrVal); in evalMemset()