Searched refs:ProgramStateManager (Results 1 - 21 of 21) sorted by relevance

/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState_Fwd.h19 class ProgramStateManager;
H A DStore.h35 class ProgramStateManager;
43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
277 // FIXME: Do we need to pass ProgramStateManager anymore?
278 StoreManager *CreateRegionStoreManager(ProgramStateManager& StMgr);
279 StoreManager *CreateFieldsOnlyRegionStoreManager(ProgramStateManager& StMgr);
H A DSubEngine.h34 class ProgramStateManager;
52 virtual ProgramStateManager &getStateManager() = 0;
108 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
112 /// processRegionChanges - Called by ProgramStateManager whenever a change is
139 /// printState - Called by ProgramStateManager to print checker-specific data.
H A DConstraintManager.h151 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
H A DSValBuilder.h45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
124 ProgramStateManager &getStateManager() { return StateMgr; }
327 ProgramStateManager &stateMgr);
H A DProgramState.h42 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&,
44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
80 friend class ProgramStateManager;
84 ProgramStateManager *stateMgr;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
107 /// Return the ProgramStateManager associated with this state.
108 ProgramStateManager &getStateManager() const {
152 // are managed using the ConstraintManager associated with a ProgramStateManager.
433 // ProgramStateManager - Factory object for ProgramStates.
436 class ProgramStateManager { class in namespace:clang::ento
[all...]
H A DCheckerContext.h169 ProgramStateManager &getStateManager() {
H A DExprEngine.h70 ProgramStateManager StateMgr;
270 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
274 /// processRegionChanges - Called by ProgramStateManager whenever a change is made
283 /// printState - Called by ProgramStateManager to print checker-specific data.
287 virtual ProgramStateManager& getStateManager() { return StateMgr; }
H A DSVals.h38 class ProgramStateManager;
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp10 // This file implements ProgramState and ProgramStateManager.
37 ProgramStateManager &Mgr = s->getStateManager();
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
70 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, function in class:ProgramStateManager
83 ProgramStateManager::~ProgramStateManager() {
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
115 ProgramStateManager &Mgr = getStateManager();
126 ProgramStateManager
[all...]
H A DRegionStore.cpp355 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f)
615 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
621 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) {
685 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
954 ProgramStateManager &stateMgr,
2189 ProgramStateManager &stateMgr,
H A DStore.cpp24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
H A DBugReporterVisitors.cpp356 ProgramStateManager &StateMgr = BRC.getStateManager();
512 ProgramStateManager &StateMgr = BRC.getStateManager();
847 ProgramStateManager &StateMgr = N->getState()->getStateManager();
1121 ProgramStateManager &StateMgr = state->getStateManager();
H A DSimpleSValBuilder.cpp30 ProgramStateManager &stateMgr)
54 ProgramStateManager &stateMgr) {
H A DRangeConstraintManager.cpp330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
H A DCallEvent.cpp498 ProgramStateManager &StateMgr = getState()->getStateManager();
H A DExprEngine.cpp189 ProgramStateManager &StateMgr = State->getStateManager();
1294 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr,
H A DBugReporter.cpp2763 ProgramStateManager&
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DChrootChecker.cpp89 ProgramStateManager &Mgr = state->getStateManager();
99 ProgramStateManager &Mgr = state->getStateManager();
H A DRetainCountChecker.cpp2077 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N,
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h498 ProgramStateManager &getStateManager();
530 ProgramStateManager& getStateManager() {

Completed in 123 milliseconds