Home | History | Annotate | Download | only in Core

Lines Matching defs:StoreManager

10 //  This file defined the types Store and StoreManager.
22 StoreManager::StoreManager(ProgramStateManager &stateMgr)
26 StoreRef StoreManager::enterStackFrame(ProgramStateRef state,
32 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
49 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
53 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
60 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
214 /// CastRetrievedVal - Used by subclasses of StoreManager to implement
217 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R,
238 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) {
273 SVal StoreManager::getLValueIvar(const ObjCIvarDecl *decl, SVal base) {
277 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset,
341 StoreManager::BindingsHandler::~BindingsHandler() {}
343 bool StoreManager::FindUniqueBinding::HandleBinding(StoreManager& SMgr,