Lines Matching defs:ThisVal
415 SVal ThisVal = getSVal(Base);
416 assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>());
417 return ThisVal;
488 SVal ThisVal = getCXXThisVal();
489 if (!ThisVal.isUnknown()) {
505 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
509 if (!ThisVal.isUnknown())
510 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
583 SVal ThisVal = getCXXThisVal();
584 if (!ThisVal.isUnknown()) {
588 Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
941 SVal ThisVal = State->getSVal(ThisPtr);
944 ThisVal.getAsRegion(), State, CallerCtx);
967 SVal ThisVal = State->getSVal(ThisPtr);
977 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(),
