Lines Matching defs:ThisVal
707 SVal ThisVal = getCXXThisVal();
708 Values.push_back(ThisVal);
726 const MemRegion *ThisRegion = ThisVal.getAsRegion();
738 SVal ThisVal = Base ? getSVal(Base) : UnknownVal();
740 if (isa<NonLoc>(ThisVal)) {
742 QualType OriginalTy = ThisVal.getType(SVB.getContext());
743 return SVB.evalCast(ThisVal, Base->getType(), OriginalTy);
746 assert(ThisVal.isUnknownOrUndef() || isa<Loc>(ThisVal));
747 return ThisVal;
823 SVal ThisVal = getCXXThisVal();
824 if (!ThisVal.isUnknown()) {
840 StateMgr.getStoreManager().evalBaseToDerived(ThisVal, Ty);
848 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy);
850 ThisVal = *V;
853 if (!ThisVal.isUnknown())
854 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
911 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion);
913 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
950 SVal ThisVal = getCXXThisVal();
951 if (!ThisVal.isUnknown()) {
955 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
1455 SVal ThisVal = State->getSVal(ThisPtr);
1458 return getCXXConstructorCall(CE, ThisVal.getAsRegion(), State, CallerCtx,
1461 return getCXXInheritedConstructorCall(CIE, ThisVal.getAsRegion(), State,
1479 SVal ThisVal = State->getSVal(ThisPtr);
1490 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(),