clang::ento::ProgramState Member List
This is the complete list of members for clang::ento::ProgramState, including all inherited members.
| add(typename ProgramStateTrait< T >::key_type K) const | clang::ento::ProgramState | |
| areEqual(SVal Lhs, SVal Rhs) const | clang::ento::ProgramState | |
| assume(DefinedOrUnknownSVal cond, bool assumption) const | clang::ento::ProgramState | inline |
| assume(DefinedOrUnknownSVal cond) const | clang::ento::ProgramState | inline |
| assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound, bool assumption, QualType IndexType=QualType()) const | clang::ento::ProgramState | |
| assumeInBoundDual(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound, QualType IndexType=QualType()) const | clang::ento::ProgramState | |
| assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To, bool assumption) const | clang::ento::ProgramState | inline |
| assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To) const | clang::ento::ProgramState | inline |
| bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const | clang::ento::ProgramState | |
| bindDefaultZero(SVal loc, const LocationContext *LCtx) const | clang::ento::ProgramState | |
| BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate=true) const | clang::ento::ProgramState | |
| bindLoc(Loc location, SVal V, const LocationContext *LCtx, bool notifyChanges=true) const | clang::ento::ProgramState | |
| bindLoc(SVal location, SVal V, const LocationContext *LCtx) const | clang::ento::ProgramState | inline |
| ConstraintManager class | clang::ento::ProgramState | friend |
| contains(typename ProgramStateTrait< T >::key_type key) const | clang::ento::ProgramState | inline |
| dump() const | clang::ento::ProgramState | |
| enterStackFrame(const CallEvent &Call, const StackFrameContext *CalleeCtx) const | clang::ento::ProgramState | |
| ExplodedGraph class | clang::ento::ProgramState | friend |
| ExplodedNode class | clang::ento::ProgramState | friend |
| FindGDM(void *K) const | clang::ento::ProgramState | |
| GenericDataMap typedef | clang::ento::ProgramState | |
| get() const | clang::ento::ProgramState | inline |
| get(typename ProgramStateTrait< T >::key_type key) const | clang::ento::ProgramState | inline |
| get_context() const | clang::ento::ProgramState | |
| getAnalysisManager() const | clang::ento::ProgramState | |
| getBasicVals() const | clang::ento::ProgramState | inline |
| getConstraintManager() const | clang::ento::ProgramState | inline |
| getEnvironment() const | clang::ento::ProgramState | inline |
| getGDM() const | clang::ento::ProgramState | inline |
| getID() const | clang::ento::ProgramState | |
| getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const | clang::ento::ProgramState | inline |
| getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super, bool IsVirtual) const | clang::ento::ProgramState | inline |
| getLValue(const VarDecl *D, const LocationContext *LC) const | clang::ento::ProgramState | inline |
| getLValue(const CompoundLiteralExpr *literal, const LocationContext *LC) const | clang::ento::ProgramState | inline |
| getLValue(const ObjCIvarDecl *decl, SVal base) const | clang::ento::ProgramState | inline |
| getLValue(const FieldDecl *decl, SVal Base) const | clang::ento::ProgramState | |
| getLValue(const IndirectFieldDecl *decl, SVal Base) const | clang::ento::ProgramState | |
| getLValue(QualType ElementType, SVal Idx, SVal Base) const | clang::ento::ProgramState | inline |
| getRawSVal(Loc LV, QualType T=QualType()) const | clang::ento::ProgramState | inline |
| getRegion(const VarDecl *D, const LocationContext *LC) const | clang::ento::ProgramState | inline |
| getSelfSVal(const LocationContext *LC) const | clang::ento::ProgramState | |
| getStateManager() const | clang::ento::ProgramState | inline |
| getStore() const | clang::ento::ProgramState | inline |
| getSVal(const Stmt *S, const LocationContext *LCtx) const | clang::ento::ProgramState | inline |
| getSVal(Loc LV, QualType T=QualType()) const | clang::ento::ProgramState | |
| getSVal(const MemRegion *R, QualType T=QualType()) const | clang::ento::ProgramState | inline |
| getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const | clang::ento::ProgramState | inline |
| getSValAsScalarOrLoc(const MemRegion *R) const | clang::ento::ProgramState | |
| getSymbolManager() const | clang::ento::ProgramState | inline |
| invalidateRegions(ArrayRef< const MemRegion * > Regions, ConstCFGElementRef Elem, unsigned BlockCount, const LocationContext *LCtx, bool CausesPointerEscape, InvalidatedSymbols *IS=nullptr, const CallEvent *Call=nullptr, RegionAndSymbolInvalidationTraits *ITraits=nullptr) const | clang::ento::ProgramState | |
| invalidateRegions(ArrayRef< SVal > Values, ConstCFGElementRef Elem, unsigned BlockCount, const LocationContext *LCtx, bool CausesPointerEscape, InvalidatedSymbols *IS=nullptr, const CallEvent *Call=nullptr, RegionAndSymbolInvalidationTraits *ITraits=nullptr) const | clang::ento::ProgramState | |
| isNonNull(SVal V) const | clang::ento::ProgramState | |
| isNull(SVal V) const | clang::ento::ProgramState | |
| killBinding(Loc LV) const | clang::ento::ProgramState | |
| NodeBuilder class | clang::ento::ProgramState | friend |
| printDOT(raw_ostream &Out, const LocationContext *LCtx=nullptr, unsigned int Space=0) const | clang::ento::ProgramState | |
| printJson(raw_ostream &Out, const LocationContext *LCtx=nullptr, const char *NL="\n", unsigned int Space=0, bool IsDot=false) const | clang::ento::ProgramState | |
| Profile(llvm::FoldingSetNodeID &ID, const ProgramState *V) | clang::ento::ProgramState | inlinestatic |
| Profile(llvm::FoldingSetNodeID &ID) const | clang::ento::ProgramState | inline |
| ProgramState(ProgramStateManager *mgr, const Environment &env, StoreRef st, GenericDataMap gdm) | clang::ento::ProgramState | |
| ProgramState(const ProgramState &RHS) | clang::ento::ProgramState | |
| ProgramStateManager class | clang::ento::ProgramState | friend |
| ProgramStateRelease(const ProgramState *state) | clang::ento::ProgramState | friend |
| ProgramStateRetain(const ProgramState *state) | clang::ento::ProgramState | friend |
| region_iterator typedef | clang::ento::ProgramState | |
| remove(typename ProgramStateTrait< T >::key_type K) const | clang::ento::ProgramState | |
| remove(typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C) const | clang::ento::ProgramState | |
| remove() const | clang::ento::ProgramState | |
| scanReachableSymbols(SVal val, SymbolVisitor &visitor) const | clang::ento::ProgramState | |
| scanReachableSymbols(llvm::iterator_range< region_iterator > Reachable, SymbolVisitor &visitor) const | clang::ento::ProgramState | |
| scanReachableSymbols(SVal val) const | clang::ento::ProgramState | |
| scanReachableSymbols(llvm::iterator_range< region_iterator > Reachable) const | clang::ento::ProgramState | |
| set(typename ProgramStateTrait< T >::data_type D) const | clang::ento::ProgramState | |
| set(typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type E) const | clang::ento::ProgramState | |
| set(typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type E, typename ProgramStateTrait< T >::context_type C) const | clang::ento::ProgramState | |
| setGDM(GenericDataMap gdm) | clang::ento::ProgramState | inline |
| ~ProgramState() | clang::ento::ProgramState |
Generated on for clang by
1.14.0