Home
last modified time | relevance | path

Searched refs:getRegionManager (Results 1 – 14 of 14) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DConstraintManager.cpp23 const MemRegion *R = State->getStateManager().getRegionManager() in getLocFromSymbol()
DSValBuilder.cpp217 return loc::MemRegionVal(getRegionManager(). in getCXXThis()
226 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()
244 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()
249 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()
DExprEngineCXX.cpp173 MemRegionManager &MRMgr = Eng.getSValBuilder().getRegionManager(); in getRegionForConstructedObject()
508 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()
DCallEvent.cpp290 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
894 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
DStore.cpp26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
DBugReporterVisitors.cpp844 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
1120 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
DExprEngine.cpp201 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h500 MemRegionManager& getRegionManager() { in getRegionManager() function
501 return svalBuilder->getRegionManager(); in getRegionManager()
503 const MemRegionManager& getRegionManager() const { in getRegionManager() function
504 return svalBuilder->getRegionManager(); in getRegionManager()
632 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
DSValBuilder.h140 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function
141 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
DStore.h85 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp59 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
DCallAndMessageChecker.cpp257 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
DMallocChecker.cpp2258 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
DRetainCountChecker.cpp2700 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()