Searched refs:getRegionManager (Results 1 - 13 of 13) sorted by relevance

/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp23 const MemRegion *R = State->getStateManager().getRegionManager()
H A DSValBuilder.cpp217 return loc::MemRegionVal(getRegionManager().
226 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC));
244 return makeLoc(getRegionManager().getObjCStringRegion(SL));
249 return makeLoc(getRegionManager().getStringRegion(SL));
H A DExprEngineCXX.cpp177 MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
470 svalBuilder.getRegionManager().getCXXThisRegion(
H A DStore.cpp26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
H A DCallEvent.cpp289 MemRegionManager &MRMgr = SVB.getRegionManager();
902 MemRegionManager &MRMgr = SVB.getRegionManager();
H A DBugReporterVisitors.cpp848 MemRegionManager &MRMgr = StateMgr.getRegionManager();
1126 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
H A DExprEngine.cpp190 MemRegionManager &MRMgr = StateMgr.getRegionManager();
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp57 MemRegionManager& RM = C.getStoreManager().getRegionManager();
H A DCallAndMessageChecker.cpp186 C.getSValBuilder().getRegionManager(),
H A DMallocChecker.cpp1781 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();
/freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h140 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 DProgramState.h499 MemRegionManager& getRegionManager() { function in class:clang::ento::ProgramStateManager
500 return svalBuilder->getRegionManager();
502 const MemRegionManager& getRegionManager() const { function in class:clang::ento::ProgramStateManager
503 return svalBuilder->getRegionManager();
631 return getStateManager().getRegionManager().getVarRegion(D, LC);
H A DStore.h83 /// getRegionManager - Returns the internal RegionManager object that is
85 MemRegionManager& getRegionManager() { return MRMgr; } function in class:clang::ento::StoreManager

Completed in 286 milliseconds