Searched refs:StateMgr (Results 1 - 10 of 10) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 51 /// StateMgr - Object that manages the data for all created states. 52 ProgramStateManager StateMgr; member in class:clang::ento::ExprEngine 207 virtual ProgramStateManager& getStateManager() { return StateMgr; } 209 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } 212 return StateMgr.getConstraintManager(); 217 return StateMgr.getBasicVals(); 220 return StateMgr.getBasicVals();
|
H A D | SValBuilder.h | 43 ProgramStateManager &StateMgr; member in class:clang::ento::SValBuilder 63 StateMgr(stateMgr), 97 ProgramStateManager &getStateManager() { return StateMgr; }
|
H A D | Store.h | 39 ProgramStateManager &StateMgr; member in class:clang::ento::StoreManager
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SValBuilder.cpp | 232 StoreManager &storeMgr = StateMgr.getStoreManager(); 250 val = StateMgr.ArrayToPointer(cast<Loc>(val)); 303 StoreManager &storeMgr = StateMgr.getStoreManager();
|
H A D | SimpleConstraintManager.cpp | 259 ProgramStateManager &StateMgr = state->getStateManager(); local 260 ASTContext &Ctx = StateMgr.getContext();
|
H A D | Store.cpp | 22 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 60 ASTContext &Ctx = StateMgr.getContext();
|
H A D | BugReporterVisitors.cpp | 308 ProgramStateManager &StateMgr = N->getState()->getStateManager(); 330 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); 423 ProgramStateManager &StateMgr = state->getStateManager(); local 428 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
|
H A D | ExprEngine.cpp | 59 StateMgr(getContext(), mgr.getStoreManagerCreator(), 62 SymMgr(StateMgr.getSymbolManager()), 63 svalBuilder(StateMgr.getSValBuilder()), 85 const ProgramState *state = StateMgr.getInitialState(InitLoc); 228 StateMgr.recycleUnusedStates(); 256 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 293 assert(StateMgr.haveEqualEnvironments(CheckerState, EntryState) && 296 assert(StateMgr.haveEqualStores(CheckerState, EntryState) && 303 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState); 908 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, argument [all...] |
H A D | RegionStore.cpp | 481 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument 483 : RM(rm), Ctx(StateMgr.getContext()), 484 svalBuilder(StateMgr.getSValBuilder()), 727 invalidateRegionsWorker W(*this, StateMgr, 1781 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | RetainCountChecker.cpp | 2110 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument 2126 StateMgr.iterBindings(St, FB);
|
Completed in 191 milliseconds