Lines Matching refs:Referrer
405 const MemRegion *Referrer) { in printReferrer() argument
406 assert(Referrer); in printReferrer()
415 }(getStackOrGlobalSpaceRegion(State, Referrer)); in printReferrer()
417 while (!Referrer->canPrintPretty()) { in printReferrer()
418 if (const auto *SymReg = dyn_cast<SymbolicRegion>(Referrer); in printReferrer()
420 Referrer = SymReg->getSymbol()->getOriginRegion()->getBaseRegion(); in printReferrer()
421 } else if (isa<CXXThisRegion>(Referrer)) { in printReferrer()
426 } else if (isa<AllocaRegion>(Referrer)) { in printReferrer()
435 assert(Referrer); in printReferrer()
436 assert(Referrer->canPrintPretty()); in printReferrer()
441 Referrer->printPretty(os); in printReferrer()
489 bool checkForDanglingStackVariable(const MemRegion *Referrer, in checkEndFunction() argument
492 getStackOrGlobalSpaceRegion(State, Referrer); in checkEndFunction()
511 V.emplace_back(Referrer, Referred); in checkEndFunction()
516 isa<SymbolicRegion>(Referrer->getBaseRegion()) && in checkEndFunction()
519 V.emplace_back(Referrer, Referred); in checkEndFunction()
590 const MemRegion *Referrer = P.first->getBaseRegion(); in checkEndFunction() local
592 if (Cb.ExcludedRegions.contains(getOriginBaseRegion(Referrer))) { in checkEndFunction()
603 if (isa<CXXTempObjectRegion, CXXLifetimeExtendedObjectRegion>(Referrer)) { in checkEndFunction()
614 auto ReferrerVariable = printReferrer(State, Referrer); in checkEndFunction()