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 D | ExprEngine.h | 69 /// 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 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
|
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngine.cpp | 66 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 D | SValBuilder.cpp | 442 StoreManager &storeMgr = StateMgr.getStoreManager(); 462 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy); 518 StoreManager &storeMgr = StateMgr.getStoreManager();
|
H A D | Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 75 ASTContext &Ctx = StateMgr.getContext();
|
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(); 1121 ProgramStateManager &StateMgr = state->getStateManager(); local 1126 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
|
H A D | CallEvent.cpp | 498 ProgramStateManager &StateMgr = getState()->getStateManager(); local 499 SValBuilder &SVB = StateMgr.getSValBuilder(); 513 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
|
H A D | RegionStore.cpp | 359 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 D | RetainCountChecker.cpp | 2077 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, argument 2096 StateMgr.iterBindings(St, FB);
|
Completed in 124 milliseconds