Lines Matching refs:MemRegion

58                      ArrayRef<const MemRegion *> RequestedRegions,
59 ArrayRef<const MemRegion *> InvalidatedRegions,
147 ObjectKind classifyObject(const MemRegion *MR, const CXXRecordDecl *RD) const;
151 void explainObject(llvm::raw_ostream &OS, const MemRegion *MR,
158 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
179 const MemRegion *Region;
206 void modelUse(ProgramStateRef State, const MemRegion *Region,
212 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
219 const MemRegion *Region,
224 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
228 const MemRegion *Region) { in REGISTER_MAP_WITH_PROGRAMSTATE()
239 const MemRegion *Region) { in isAnyBaseRegionReported()
247 static const MemRegion *unwrapRValueReferenceIndirection(const MemRegion *MR) { in unwrapRValueReferenceIndirection()
251 if (const MemRegion *OriginMR = Sym->getOriginRegion()) in unwrapRValueReferenceIndirection()
316 const MemRegion *Region, in getMoveLocation()
332 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region, in modelUse()
373 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
459 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
537 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
558 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
597 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
613 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
648 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
672 const MemRegion *Region = E.first; in checkDeadSymbols()
685 ArrayRef<const MemRegion *> RequestedRegions, in checkRegionChanges()
686 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges()
694 const MemRegion *ThisRegion = nullptr; in checkRegionChanges()