Searched defs:getRegionManager (Results 1 - 3 of 3) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
| H A D | SValBuilder.h | 140 MemRegionManager &getRegionManager() { return MemMgr; } function in class:clang::ento::SValBuilder 141 const MemRegionManager &getRegionManager() const { return MemMgr; } function in class:clang::ento::SValBuilder |
| H A D | Store.h | 83 /// getRegionManager - Returns the internal RegionManager object that is 85 MemRegionManager& getRegionManager() { return MRMgr; } function in class:clang::ento::StoreManager |
| H A D | ProgramState.h | 507 MemRegionManager& getRegionManager() { function in class:clang::ento::ProgramStateManager 508 return svalBuilder->getRegionManager(); 510 const MemRegionManager& getRegionManager() const { function in class:clang::ento::ProgramStateManager 511 return svalBuilder->getRegionManager(); 639 return getStateManager().getRegionManager().getVarRegion(D, LC); |
Completed in 112 milliseconds