Home | History | Annotate | Download | only in Checkers

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,
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) {
245 const MemRegion *Region) {
256 const MemRegion *Region) {
264 static const MemRegion *unwrapRValueReferenceIndirection(const MemRegion *MR) {
268 if (const MemRegion *OriginMR = Sym->getOriginRegion())
334 const MemRegion *Region,
350 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region,
391 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region,
472 const MemRegion *BaseRegion = ArgRegion->getBaseRegion();
550 MoveChecker::classifyObject(const MemRegion *MR,
571 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR,
610 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion();
626 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
661 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion();
685 const MemRegion *Region = E.first;
698 ArrayRef<const MemRegion *> RequestedRegions,
699 ArrayRef<const MemRegion *> InvalidatedRegions,
707 const MemRegion *ThisRegion = nullptr;