clang 20.0.0git
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
Bind(Store store, Loc loc, SVal val)=0clang::ento::StoreManagerpure virtual
BindDefaultInitial(Store store, const MemRegion *R, SVal V)=0clang::ento::StoreManagerpure virtual
BindDefaultZero(Store store, const MemRegion *R)=0clang::ento::StoreManagerpure virtual
castRegion(const MemRegion *region, QualType CastToTy)clang::ento::StoreManager
Ctxclang::ento::StoreManagerprotected
decrementReferenceCount(Store store)clang::ento::StoreManagerinlinevirtual
enterStackFrame(Store store, const CallEvent &Call, const StackFrameContext *CalleeCtx)clang::ento::StoreManager
evalBaseToDerived(SVal Base, QualType DerivedPtrType)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
getSValBuilder()clang::ento::StoreManagerinline
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 *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, 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
printJson(raw_ostream &Out, Store S, const char *NL, unsigned int Space, bool IsDot) const =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()=defaultclang::ento::StoreManagervirtual