Home | History | Annotate | Download | only in Core

Lines Matching defs:StoreManager

10 //  This file defined the types Store and StoreManager.
24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
28 StoreRef StoreManager::enterStackFrame(Store OldStore,
45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
73 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
246 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
262 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) {
273 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType,
306 SVal StoreManager::evalDynamicCast(SVal Base, QualType TargetType,
375 /// CastRetrievedVal - Used by subclasses of StoreManager to implement
378 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R,
399 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) {
434 SVal StoreManager::getLValueIvar(const ObjCIvarDecl *decl, SVal base) {
438 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset,
503 StoreManager::BindingsHandler::~BindingsHandler() {}
505 bool StoreManager::FindUniqueBinding::HandleBinding(StoreManager& SMgr,