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 289 ProgramStateManager& getStateManager() override { return StateMgr; } 291 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } 294 return StateMgr.getConstraintManager(); 299 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 | 356 ProgramStateManager &StateMgr = BRC.getStateManager(); local 357 CallEventManager &CallMgr = StateMgr.getCallEventManager(); 512 ProgramStateManager &StateMgr = BRC.getStateManager(); local 513 CallEventManager &CallMgr = StateMgr.getCallEventManager(); 847 ProgramStateManager &StateMgr = N->getState()->getStateManager(); 848 MemRegionManager &MRMgr = StateMgr.getRegionManager(); 1123 ProgramStateManager &StateMgr = state->getStateManager(); local 1128 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
|
H A D | ExprEngine.cpp | 68 StateMgr(getContext(), mgr.getStoreManagerCreator(), 71 SymMgr(StateMgr.getSymbolManager()), 72 svalBuilder(StateMgr.getSValBuilder()), 95 ProgramStateRef state = StateMgr.getInitialState(InitLoc); 191 ProgramStateManager &StateMgr = State->getStateManager(); local 192 MemRegionManager &MRMgr = StateMgr.getRegionManager(); 193 StoreManager &StoreMgr = StateMgr.getStoreManager(); 367 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 398 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && 401 assert(StateMgr 1325 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()) { 682 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument 684 : RM(rm), Ctx(StateMgr.getContext()), 685 svalBuilder(StateMgr.getSValBuilder()), 1169 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, 2306 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | RetainCountChecker.cpp | 2142 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument 2161 StateMgr.iterBindings(St, FB);
|
Completed in 133 milliseconds