Home | History | Annotate | Download | only in Core

Lines Matching defs:StateMgr

496     ProgramStateManager &StateMgr = getState()->getStateManager();
497     SValBuilder &SVB = StateMgr.getSValBuilder();
511       ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);