Searched refs:ThisV (Results 1 – 1 of 1) sorted by relevance
255 SVal ThisV = state->getSVal(This); in processCallExit() local256 ThisV = state->getSVal(ThisV.castAs<Loc>()); in processCallExit()257 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()657 SVal ThisV = C->getCXXThisVal(); in bindReturnValue() local658 ThisV = State->getSVal(ThisV.castAs<Loc>()); in bindReturnValue()659 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()