Searched refs:ThisV (Results 1 – 1 of 1) sorted by relevance
262 SVal ThisV = state->getSVal(This); in processCallExit() local263 ThisV = state->getSVal(ThisV.castAs<Loc>()); in processCallExit()264 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()710 SVal ThisV = C->getCXXThisVal(); in bindReturnValue() local711 ThisV = State->getSVal(ThisV.castAs<Loc>()); in bindReturnValue()712 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()