Lines Matching refs:MemRegion

59                      ArrayRef<const MemRegion *> RequestedRegions,
60 ArrayRef<const MemRegion *> InvalidatedRegions,
148 ObjectKind classifyObject(const MemRegion *MR, const CXXRecordDecl *RD) const;
152 void explainObject(llvm::raw_ostream &OS, const MemRegion *MR,
159 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
180 const MemRegion *Region;
211 void modelUse(ProgramStateRef State, const MemRegion *Region,
217 ExplodedNode *reportBug(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::reportBug(const MemRegion *Region, in reportBug()
472 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
550 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
571 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
610 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
626 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
661 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
685 const MemRegion *Region = E.first; in checkDeadSymbols()
698 ArrayRef<const MemRegion *> RequestedRegions, in checkRegionChanges()
699 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges()
707 const MemRegion *ThisRegion = nullptr; in checkRegionChanges()