reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
384 ProgramStateManager &getStateManager() override { return StateMgr; } 386 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } 389 return StateMgr.getConstraintManager(); 394 return StateMgr.getBasicVals();tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
213 SymMgr(StateMgr.getSymbolManager()), 214 MRMgr(StateMgr.getRegionManager()), 215 svalBuilder(StateMgr.getSValBuilder()), 233 ProgramStateRef state = StateMgr.getInitialState(InitLoc); 731 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 753 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && 756 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && 763 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);