/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SubEngine.h | 107 ArrayRef<const MemRegion *> Regions,
|
H A D | CallEvent.h | 169 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 D | Store.h | 175 /// \param[in] Regions The regions to invalidate. 189 ArrayRef<const MemRegion *> Regions,
|
H A D | ExprEngine.h | 246 ArrayRef<const MemRegion *> Regions,
|
H A D | ProgramState.h | 225 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions, 402 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions,
|
H A D | MemRegion.h | 113 // Decl Regions. 1084 llvm::FoldingSet<MemRegion> Regions; member in class:clang::ento::MemRegionManager
|
/external/llvm/lib/MC/ |
H A D | MCMachOStreamer.cpp | 147 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 D | MemRegion.cpp | 44 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 D | CallEvent.cpp | 382 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 D | ProgramState.cpp | 144 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 D | RegionStore.cpp | 223 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 D | CheckerManager.cpp | 475 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 D | BugReporter.cpp | 1470 interestingRegions.push_back(new Regions()); 1479 BugReport::Regions &BugReport::getInterestingRegions() { 1486 interestingRegions.push_back(new Regions(getInterestingRegions()));
|
H A D | ExprEngine.cpp | 187 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 D | CheckerDocumentation.cpp | 225 /// \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 D | CStringChecker.cpp | 68 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 D | RetainCountChecker.cpp | 2527 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 D | MallocChecker.cpp | 145 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 D | BugReporter.h | 83 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 D | RegionInfo.cpp | 66 // 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 D | Checker.h | 298 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 D | CheckerManager.h | 306 /// \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 D | RegionInfo.h | 47 /// 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...] |