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,
217 ExplodedNode *tryToReportBug(const MemRegion *Region, const CXXRecordDecl *RD,
224 const MemRegion *Region,
229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
235 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) { in isMovedFrom()
245 const MemRegion *Region) { in removeFromState()
256 const MemRegion *Region) { in isAnyBaseRegionReported()
264 static const MemRegion *unwrapRValueReferenceIndirection(const MemRegion *MR) { in unwrapRValueReferenceIndirection()
268 if (const MemRegion *OriginMR = Sym->getOriginRegion()) in unwrapRValueReferenceIndirection()
334 const MemRegion *Region, in getMoveLocation()
350 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region, in modelUse()
391 ExplodedNode *MoveChecker::tryToReportBug(const MemRegion *Region, in tryToReportBug()
473 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
551 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
573 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
612 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
624 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
663 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
687 const MemRegion *Region = E.first; in checkDeadSymbols()
700 ArrayRef<const MemRegion *> RequestedRegions, in checkRegionChanges()
701 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges()
709 const MemRegion *ThisRegion = nullptr; in checkRegionChanges()