Searched refs:Regions (Results 1 - 23 of 23) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h107 ArrayRef<const MemRegion *> Regions,
H A DCallEvent.h169 virtual void getExtraInvalidatedRegions(RegionList &Regions) const {}
450 virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
490 virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
671 virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
770 virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
H A DStore.h175 /// \param[in] Regions The regions to invalidate.
189 ArrayRef<const MemRegion *> Regions,
H A DExprEngine.h246 ArrayRef<const MemRegion *> Regions,
H A DProgramState.h225 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
402 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions,
H A DMemRegion.h113 // Decl Regions.
1084 llvm::FoldingSet<MemRegion> Regions; member in class:clang::ento::MemRegionManager
/external/llvm/lib/MC/
H A DMCMachOStreamer.cpp147 std::vector<DataRegionData> &Regions = getAssembler().getDataRegions(); local
148 Regions.push_back(Data);
152 std::vector<DataRegionData> &Regions = getAssembler().getDataRegions(); local
153 assert(Regions.size() && "Mismatched .end_data_region!");
154 DataRegionData &Data = Regions.back();
/external/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp44 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
50 Regions.InsertNode(R, InsertPos);
62 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
68 Regions.InsertNode(R, InsertPos);
83 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
89 Regions.InsertNode(R, InsertPos);
102 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
108 Regions.InsertNode(R, InsertPos);
121 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
127 Regions
[all...]
H A DCallEvent.cpp382 void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const {
384 Regions.push_back(R);
526 void BlockCall::getExtraInvalidatedRegions(RegionList &Regions) const {
529 Regions.push_back(R);
547 void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
549 Regions.push_back(static_cast<const MemRegion *>(Data));
601 ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const {
603 Regions.push_back(R);
H A DProgramState.cpp144 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions, argument
151 return invalidateRegionsImpl(Regions, E, Count, LCtx,
154 return invalidateRegionsImpl(Regions, E, Count, LCtx, *IS, Call);
158 ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, argument
169 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
172 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
176 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
572 // Regions captured by a block are also implicitly reachable.
H A DRegionStore.cpp223 StoreRef invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions,
625 StoreManager::InvalidatedRegions *Regions; member in class:__anon3965::invalidateRegionsWorker
636 Ex(ex), Count(count), LCtx(lctx), IS(is), Regions(r) {}
724 if (Regions)
725 Regions->push_back(baseR);
802 ArrayRef<const MemRegion *> Regions,
817 I = Regions.begin(), E = Regions.end(); I != E; ++I)
801 invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions, const Expr *Ex, unsigned Count, const LocationContext *LCtx, InvalidatedSymbols &IS, const CallEvent *Call, InvalidatedRegions *Invalidated) argument
H A DCheckerManager.cpp475 ArrayRef<const MemRegion *> Regions,
483 ExplicitRegions, Regions, Call);
472 runCheckersForRegionChanges(ProgramStateRef state, const StoreManager::InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) argument
H A DBugReporter.cpp1470 interestingRegions.push_back(new Regions());
1479 BugReport::Regions &BugReport::getInterestingRegions() {
1486 interestingRegions.push_back(new Regions(getInterestingRegions()));
H A DExprEngine.cpp187 ArrayRef<const MemRegion *> Regions,
190 Explicits, Regions, Call);
184 processRegionChanges(ProgramStateRef state, const StoreManager::InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> Explicits, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) argument
/external/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp225 /// \param Regions The transitive closure of accessible regions,
237 ArrayRef<const MemRegion *> Regions,
234 checkRegionChanges(ProgramStateRef State, const StoreManager::InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) const argument
H A DCStringChecker.cpp68 ArrayRef<const MemRegion *> Regions,
1889 ArrayRef<const MemRegion *> Regions,
1900 I = Regions.begin(), E = Regions.end(); I != E; ++I) {
1886 checkRegionChanges(ProgramStateRef state, const StoreManager::InvalidatedSymbols *, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) const argument
H A DRetainCountChecker.cpp2527 ArrayRef<const MemRegion *> Regions,
2610 SmallVector<const MemRegion*, 10> Regions;
2619 Regions.push_back(VR);
2623 state->scanReachableSymbols<StopTrackingCallback>(Regions.data(),
2624 Regions.data() + Regions.size()).getState();
3465 ArrayRef<const MemRegion *> Regions,
3462 checkRegionChanges(ProgramStateRef state, const StoreManager::InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) const argument
H A DMallocChecker.cpp145 ArrayRef<const MemRegion *> Regions,
1174 SmallVector<const MemRegion*, 10> Regions;
1183 Regions.push_back(VR);
1187 state->scanReachableSymbols<StopTrackingCallback>(Regions.data(),
1188 Regions.data() + Regions.size()).getState();
1453 ArrayRef<const MemRegion *> Regions,
1450 checkRegionChanges(ProgramStateRef State, const StoreManager::InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) const argument
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h83 typedef llvm::DenseSet<const MemRegion *> Regions; typedef in class:clang::ento::BugReport
97 llvm::SmallVector<Regions *, 2> interestingRegions;
122 Regions &getInterestingRegions();
/external/llvm/lib/Analysis/
H A DRegionInfo.cpp66 // Only clean the cache for this Region. Caches of child Regions will be
67 // cleaned when the child Regions are deleted.
769 assert (A && B && "One of the Regions is NULL");
780 RegionInfo::getCommonRegion(SmallVectorImpl<Region*> &Regions) const {
781 Region* ret = Regions.back();
782 Regions.pop_back();
784 for (SmallVectorImpl<Region*>::const_iterator I = Regions.begin(),
785 E = Regions.end(); I != E; ++I)
/external/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h298 ArrayRef<const MemRegion *> Regions,
301 Explicits, Regions, Call);
294 _checkRegionChanges(void *checker, ProgramStateRef state, const StoreManager::InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> Explicits, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) argument
H A DCheckerManager.h306 /// \param Regions The transitive closure of accessible regions,
314 ArrayRef<const MemRegion *> Regions,
397 ArrayRef<const MemRegion *> Regions,
/external/llvm/include/llvm/Analysis/
H A DRegionInfo.h47 /// iterate in Flat mode. During a Flat mode iteration all Regions are entered
94 /// example a BasicBlock is element of two Regions, there exist two
166 /// Regions.
170 /// Two canonical Regions either do not intersect at all or one is
174 /// Regions in the control flow graph and E is the \e parent relation of these
175 /// Regions.
558 /// @brief Analysis that detects all canonical Regions.
560 /// The RegionInfo pass detects all canonical regions in a function. The Regions
690 /// @param Regions A vector of regions.
691 /// @return The smallest region that contains all regions in Regions
[all...]

Completed in 276 milliseconds