Searched defs:getRegionManager (Results 1 - 3 of 3) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
H A D | SValBuilder.h | 145 MemRegionManager &getRegionManager() { return MemMgr; } function in class:clang::ento::SValBuilder 146 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 | 508 MemRegionManager& getRegionManager() { function in class:clang::ento::ProgramStateManager 509 return svalBuilder->getRegionManager(); 511 const MemRegionManager& getRegionManager() const { function in class:clang::ento::ProgramStateManager 512 return svalBuilder->getRegionManager(); 640 return getStateManager().getRegionManager().getVarRegion(D, LC); |
Completed in 68 milliseconds