Lines Matching defs:Region

161         : Chk(Chk), Region(R), RD(RD), MK(MK), Found(false) {}
166       ID.AddPointer(Region);
180     const MemRegion *Region;
211   void modelUse(ProgramStateRef State, const MemRegion *Region,
218   ExplodedNode *tryToReportBug(const MemRegion *Region, const CXXRecordDecl *RD,
225                                       const MemRegion *Region,
236 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) {
237   const RegionState *RS = State->get<TrackedRegionMap>(Region);
246                                        const MemRegion *Region) {
247   if (!Region)
250     if (E.first->isSubRegionOf(Region))
257                                     const MemRegion *Region) {
259     if (Region->isSubRegionOf(E.first) && E.second.isReported())
285   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);
287       StatePrev->get<TrackedRegionMap>(Region);
302   ObjectKind OK = Chk.classifyObject(Region, RD);
307         Chk.explainObject(OS, Region, RD, MK);
318       Chk.explainObject(OS, Region, RD, MK);
323       Chk.explainObject(OS, Region, RD, MK);
335                                                  const MemRegion *Region,
343     if (!State->get<TrackedRegionMap>(Region))
351 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region,
355   const RegionState *RS = State->get<TrackedRegionMap>(Region);
356   ObjectKind OK = classifyObject(Region, RD);
373   if (isAnyBaseRegionReported(State, Region)) {
382   ExplodedNode *N = tryToReportBug(Region, RD, C, MK);
388   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());
392 ExplodedNode *MoveChecker::tryToReportBug(const MemRegion *Region,
400     const ExplodedNode *MoveNode = getMoveLocation(N, Region, C);
412         explainObject(OS, Region, RD, MK);
416         explainObject(OS, Region, RD, MK);
421         explainObject(OS, Region, RD, MK);
426         explainObject(OS, Region, RD, MK);
433     R->addVisitor(std::make_unique<MovedBugVisitor>(*this, Region, RD, MK));
688     const MemRegion *Region = E.first;
689     bool IsRegDead = !SymReaper.isLiveRegion(Region);
693       State = State->remove<TrackedRegionMap>(Region);
717     for (const auto *Region : RequestedRegions) {
718       if (ThisRegion != Region &&
719           llvm::is_contained(InvalidatedRegions, Region))
720         State = removeFromState(State, Region);
725     for (const auto *Region : InvalidatedRegions)
726       State = removeFromState(State, Region->getBaseRegion());