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;
210 void modelUse(ProgramStateRef State, const MemRegion *Region,
216 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
223 const MemRegion *Region,
228 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
234 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) { in isMovedFrom()
244 const MemRegion *Region) { in removeFromState()
255 const MemRegion *Region) { in isAnyBaseRegionReported()
263 static const MemRegion *unwrapRValueReferenceIndirection(const MemRegion *MR) { in unwrapRValueReferenceIndirection()
267 if (const MemRegion *OriginMR = Sym->getOriginRegion()) in unwrapRValueReferenceIndirection()
333 const MemRegion *Region, in getMoveLocation()
349 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region, in modelUse()
390 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
471 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
549 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
570 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
609 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
621 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
660 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
684 const MemRegion *Region = E.first; in checkDeadSymbols()
697 ArrayRef<const MemRegion *> RequestedRegions, in checkRegionChanges()
698 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges()
706 const MemRegion *ThisRegion = nullptr; in checkRegionChanges()