| /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 | 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
|
| 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
|
| /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/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
|
| /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/clang/lib/StaticAnalyzer/Core/ |
| 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 | 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 | 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
|
| 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
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 113 // Decl Regions.
1084 llvm::FoldingSet<MemRegion> Regions; member in class:clang::ento::MemRegionManager
|