Lines Matching refs:ThisVal
423 SVal ThisVal = getSVal(Base);
424 assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>());
425 return ThisVal;
496 SVal ThisVal = getCXXThisVal();
497 if (!ThisVal.isUnknown()) {
513 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
517 if (!ThisVal.isUnknown())
518 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
598 SVal ThisVal = getCXXThisVal();
599 if (!ThisVal.isUnknown()) {
603 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
949 SVal ThisVal = State->getSVal(ThisPtr);
952 ThisVal.getAsRegion(), State, CallerCtx);
975 SVal ThisVal = State->getSVal(ThisPtr);
985 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(),