clang  6.0.0svn
clang::ento::StoreManager Member List

This is the complete list of members for clang::ento::StoreManager, including all inherited members.

ArrayToPointer(Loc Array, QualType ElementTy)=0clang::ento::StoreManagerpure virtual
attemptDownCast(SVal Base, QualType DerivedPtrType, bool &Failed)clang::ento::StoreManager
Bind(Store store, Loc loc, SVal val)=0clang::ento::StoreManagerpure virtual
BindDefault(Store store, const MemRegion *R, SVal V)clang::ento::StoreManagervirtual
castRegion(const MemRegion *region, QualType CastToTy)clang::ento::StoreManager
CastRetrievedVal(SVal val, const TypedValueRegion *region, QualType castTy, bool performTestOnly=true)clang::ento::StoreManagerprotected
Ctxclang::ento::StoreManagerprotected
decrementReferenceCount(Store store)clang::ento::StoreManagerinlinevirtual
enterStackFrame(Store store, const CallEvent &Call, const StackFrameContext *CalleeCtx)clang::ento::StoreManager
evalDerivedToBase(SVal Derived, const CastExpr *Cast)clang::ento::StoreManager
evalDerivedToBase(SVal Derived, const CXXBasePath &CastPath)clang::ento::StoreManager
evalDerivedToBase(SVal Derived, QualType DerivedPtrType, bool IsVirtual)clang::ento::StoreManager
getBinding(Store store, Loc loc, QualType T=QualType())=0clang::ento::StoreManagerpure virtual
getDefaultBinding(Store store, const MemRegion *R)=0clang::ento::StoreManagerpure virtual
getDefaultBinding(nonloc::LazyCompoundVal lcv)clang::ento::StoreManagerinline
GetElementZeroRegion(const SubRegion *R, QualType T)clang::ento::StoreManager
getInitialStore(const LocationContext *InitLoc)=0clang::ento::StoreManagerpure virtual
getLValueCompoundLiteral(const CompoundLiteralExpr *CL, const LocationContext *LC)clang::ento::StoreManagerinline
getLValueElement(QualType elementType, NonLoc offset, SVal Base)clang::ento::StoreManagervirtual
getLValueField(const FieldDecl *D, SVal Base)clang::ento::StoreManagerinlinevirtual
getLValueIvar(const ObjCIvarDecl *decl, SVal base)clang::ento::StoreManagervirtual
getLValueVar(const VarDecl *VD, const LocationContext *LC)clang::ento::StoreManagerinlinevirtual
getRegionManager()clang::ento::StoreManagerinline
getSizeInElements(ProgramStateRef state, const MemRegion *region, QualType EleTy)clang::ento::StoreManagerinlinevirtual
includedInBindings(Store store, const MemRegion *region) const =0clang::ento::StoreManagerpure virtual
incrementReferenceCount(Store store)clang::ento::StoreManagerinlinevirtual
InvalidatedRegions typedefclang::ento::StoreManager
invalidateRegions(Store store, ArrayRef< SVal > Values, const Expr *E, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *InvalidatedTopLevel, InvalidatedRegions *Invalidated)=0clang::ento::StoreManagerpure virtual
iterBindings(Store store, BindingsHandler &f)=0clang::ento::StoreManagerpure virtual
killBinding(Store ST, Loc L)=0clang::ento::StoreManagerpure virtual
MakeElementRegion(const SubRegion *baseRegion, QualType pointeeTy, uint64_t index=0)clang::ento::StoreManagerprotected
MRMgrclang::ento::StoreManagerprotected
print(Store store, raw_ostream &Out, const char *nl, const char *sep)=0clang::ento::StoreManagerpure virtual
removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper &SymReaper)=0clang::ento::StoreManagerpure virtual
scanReachableSymbols(Store S, const MemRegion *R, ScanReachableSymbols &Visitor)=0clang::ento::StoreManagerpure virtual
StateMgrclang::ento::StoreManagerprotected
StoreManager(ProgramStateManager &stateMgr)clang::ento::StoreManagerprotected
svalBuilderclang::ento::StoreManagerprotected
~StoreManager()clang::ento::StoreManagerinlinevirtual