Searched defs:StateMgr (Results 1 - 8 of 8) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 68 /// StateMgr - Object that manages the data for all created states. 69 ProgramStateManager StateMgr; member in class:clang::ento::ExprEngine 298 ProgramStateManager& getStateManager() override { return StateMgr; } 300 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } 303 return StateMgr.getConstraintManager(); 308 return StateMgr.getBasicVals();
|
H A D | SValBuilder.h | 45 ProgramStateManager &StateMgr; member in class:clang::ento::SValBuilder 67 StateMgr(stateMgr), 124 ProgramStateManager &getStateManager() { return StateMgr; }
|
H A D | Store.h | 43 ProgramStateManager &StateMgr; member in class:clang::ento::StoreManager
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 490 ProgramStateManager &StateMgr = getState()->getStateManager(); local 491 SValBuilder &SVB = StateMgr.getSValBuilder(); 505 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
|
H A D | BugReporterVisitors.cpp | 352 ProgramStateManager &StateMgr = BRC.getStateManager(); local 353 CallEventManager &CallMgr = StateMgr.getCallEventManager(); 508 ProgramStateManager &StateMgr = BRC.getStateManager(); local 509 CallEventManager &CallMgr = StateMgr.getCallEventManager(); 843 ProgramStateManager &StateMgr = N->getState()->getStateManager(); 844 MemRegionManager &MRMgr = StateMgr.getRegionManager(); 1115 ProgramStateManager &StateMgr = state->getStateManager(); local 1120 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
|
H A D | ExprEngine.cpp | 77 StateMgr(getContext(), mgr.getStoreManagerCreator(), 80 SymMgr(StateMgr.getSymbolManager()), 81 svalBuilder(StateMgr.getSValBuilder()), 104 ProgramStateRef state = StateMgr.getInitialState(InitLoc); 200 ProgramStateManager &StateMgr = State->getStateManager(); local 201 MemRegionManager &MRMgr = StateMgr.getRegionManager(); 202 StoreManager &StoreMgr = StateMgr.getStoreManager(); 376 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 407 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && 410 assert(StateMgr 1417 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument [all...] |
H A D | RegionStore.cpp | 355 if (SubEngine *Eng = StateMgr.getOwningEngine()) { 683 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument 685 : RM(rm), Ctx(StateMgr.getContext()), 686 svalBuilder(StateMgr.getSValBuilder()), 1170 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, 2307 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | RetainCountChecker.cpp | 2189 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument 2208 StateMgr.iterBindings(St, FB);
|
Completed in 161 milliseconds