Lines Matching refs:BindExpr

1459         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);  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()
1663       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);  in evalMemcmp()
1700       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);  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()
2262   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrcpyCommon()
2336         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,  in evalStrcmpCommon()
2414   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);  in evalStrcmpCommon()
2476   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrsep()
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()