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

/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h69 /// StateMgr - Object that manages the data for all created states.
70 ProgramStateManager StateMgr; member in class:clang::ento::ExprEngine
287 virtual ProgramStateManager& getStateManager() { return StateMgr; }
289 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
292 return StateMgr.getConstraintManager();
297 return StateMgr.getBasicVals();
H A DSValBuilder.h45 ProgramStateManager &StateMgr; member in class:clang::ento::SValBuilder
67 StateMgr(stateMgr),
124 ProgramStateManager &getStateManager() { return StateMgr; }
H A DStore.h43 ProgramStateManager &StateMgr; member in class:clang::ento::StoreManager
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp66 StateMgr(getContext(), mgr.getStoreManagerCreator(),
69 SymMgr(StateMgr.getSymbolManager()),
70 svalBuilder(StateMgr.getSValBuilder()),
93 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
189 ProgramStateManager &StateMgr = State->getStateManager(); local
190 MemRegionManager &MRMgr = StateMgr.getRegionManager();
191 StoreManager &StoreMgr = StateMgr.getStoreManager();
361 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
392 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
395 assert(StateMgr
1294 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument
[all...]
H A DSValBuilder.cpp442 StoreManager &storeMgr = StateMgr.getStoreManager();
462 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy);
518 StoreManager &storeMgr = StateMgr.getStoreManager();
H A DStore.cpp25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
75 ASTContext &Ctx = StateMgr.getContext();
H A DBugReporterVisitors.cpp356 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();
1121 ProgramStateManager &StateMgr = state->getStateManager(); local
1126 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
H A DCallEvent.cpp498 ProgramStateManager &StateMgr = getState()->getStateManager(); local
499 SValBuilder &SVB = StateMgr.getSValBuilder();
513 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
H A DRegionStore.cpp359 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
685 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, argument
687 : RM(rm), Ctx(StateMgr.getContext()),
688 svalBuilder(StateMgr.getSValBuilder()),
1172 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
2311 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DRetainCountChecker.cpp2077 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument
2096 StateMgr.iterBindings(St, FB);

Completed in 124 milliseconds