Searched refs:ThisR (Results 1 – 3 of 3) sorted by relevance
181 const CXXThisRegion *ThisR = in VisitCXXConstructExpr()192 state = state->bindLoc(loc::MemRegionVal(ThisR), loc::MemRegionVal(Dest)); in VisitCXXConstructExpr()257 const CXXThisRegion *ThisR = getCXXThisRegion(DD->getParent(), SFC); in VisitCXXDestructor() local262 state = state->bindLoc(loc::MemRegionVal(ThisR), loc::MemRegionVal(Dest)); in VisitCXXDestructor()
437 const CXXThisRegion *ThisR = RegMgr.getCXXThisRegion(ThisT, InitLoc); in getInitialStore() local438 SVal ThisV = svalBuilder.getRegionValueSymbolVal(ThisR); in getInitialStore()439 St = Bind(St.getStore(), svalBuilder.makeLoc(ThisR), ThisV); in getInitialStore()
1210 const CXXThisRegion *ThisR = in processCallExit() local1213 SVal ThisV = state->getSVal(ThisR); in processCallExit()