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