Searched refs:StateMgr (Results 1 - 10 of 10) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h51 /// 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 DSValBuilder.h43 ProgramStateManager &StateMgr; member in class:clang::ento::SValBuilder
63 StateMgr(stateMgr),
97 ProgramStateManager &getStateManager() { return StateMgr; }
H A DStore.h39 ProgramStateManager &StateMgr; member in class:clang::ento::StoreManager
/external/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp232 StoreManager &storeMgr = StateMgr.getStoreManager();
250 val = StateMgr.ArrayToPointer(cast<Loc>(val));
303 StoreManager &storeMgr = StateMgr.getStoreManager();
H A DSimpleConstraintManager.cpp259 ProgramStateManager &StateMgr = state->getStateManager(); local
260 ASTContext &Ctx = StateMgr.getContext();
H A DStore.cpp22 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
60 ASTContext &Ctx = StateMgr.getContext();
H A DBugReporterVisitors.cpp308 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 DExprEngine.cpp59 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 DRegionStore.cpp481 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 DRetainCountChecker.cpp2110 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument
2126 StateMgr.iterBindings(St, FB);

Completed in 191 milliseconds