HomeSort by relevance Sort by last modified time
    Searched defs:getRegionManager (Results 1 - 3 of 3) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 140 MemRegionManager &getRegionManager() { return MemMgr; }
141 const MemRegionManager &getRegionManager() const { return MemMgr; }
Store.h 83 /// getRegionManager - Returns the internal RegionManager object that is
85 MemRegionManager& getRegionManager() { return MRMgr; }
ProgramState.h 499 MemRegionManager& getRegionManager() {
500 return svalBuilder->getRegionManager();
502 const MemRegionManager& getRegionManager() const {
503 return svalBuilder->getRegionManager();
631 return getStateManager().getRegionManager().getVarRegion(D, LC);

Completed in 129 milliseconds