clang 10.0.0git

clang::ento::SValBuilder Member List

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

areEqual(ProgramStateRef state, SVal lhs, SVal rhs) | clang::ento::SValBuilder |
ArrayIndexTy | clang::ento::SValBuilder | protected
ArrayIndexWidth | clang::ento::SValBuilder | protected
BasicVals | clang::ento::SValBuilder | protected
conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | inline
conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | inline
conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count) | clang::ento::SValBuilder |
conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) | clang::ento::SValBuilder |
conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) | clang::ento::SValBuilder |
Context | clang::ento::SValBuilder | protected
convertToArrayIndex(SVal val) | clang::ento::SValBuilder |
dispatchCast(SVal val, QualType castTy)=0 | clang::ento::SValBuilder | pure virtual
evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, SVal lhs, SVal rhs, QualType type) | clang::ento::SValBuilder |
evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, Loc rhs, QualType resultTy)=0 | clang::ento::SValBuilder | pure virtual
evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, NonLoc rhs, QualType resultTy)=0 | clang::ento::SValBuilder | pure virtual
evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)=0 | clang::ento::SValBuilder | pure virtual
evalCast(SVal val, QualType castTy, QualType originalType) | clang::ento::SValBuilder |
evalCastFromLoc(Loc val, QualType castTy)=0 | clang::ento::SValBuilder | protected pure virtual
evalCastFromNonLoc(NonLoc val, QualType castTy)=0 | clang::ento::SValBuilder | protected pure virtual
evalComplement(NonLoc val)=0 | clang::ento::SValBuilder | pure virtual
evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) | clang::ento::SValBuilder |
evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, DefinedOrUnknownSVal rhs) | clang::ento::SValBuilder |
evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy, QualType originalType) | clang::ento::SValBuilder |
evalMinus(NonLoc val)=0 | clang::ento::SValBuilder | pure virtual
getArrayIndexType() const | clang::ento::SValBuilder | inline
getBasicValueFactory() | clang::ento::SValBuilder | inline
getBasicValueFactory() const | clang::ento::SValBuilder | inline
getBlockPointer(const BlockDecl *block, CanQualType locTy, const LocationContext *locContext, unsigned blockCount) | clang::ento::SValBuilder |
getConditionType() const | clang::ento::SValBuilder | inline
getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned Count) | clang::ento::SValBuilder |
getConstantVal(const Expr *E) | clang::ento::SValBuilder |
getContext() | clang::ento::SValBuilder | inline
getContext() const | clang::ento::SValBuilder | inline
getCXXThis(const CXXMethodDecl *D, const StackFrameContext *SFC) | clang::ento::SValBuilder |
getCXXThis(const CXXRecordDecl *D, const StackFrameContext *SFC) | clang::ento::SValBuilder |
getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, const TypedValueRegion *region) | clang::ento::SValBuilder |
getFunctionPointer(const FunctionDecl *func) | clang::ento::SValBuilder |
getKnownValue(ProgramStateRef state, SVal val)=0 | clang::ento::SValBuilder | pure virtual
getMemberPointer(const DeclaratorDecl *DD) | clang::ento::SValBuilder |
getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, const LocationContext *LCtx, unsigned count) | clang::ento::SValBuilder |
getRegionManager() | clang::ento::SValBuilder | inline
getRegionManager() const | clang::ento::SValBuilder | inline
getRegionValueSymbolVal(const TypedValueRegion *region) | clang::ento::SValBuilder |
getStateManager() | clang::ento::SValBuilder | inline
getSymbolManager() | clang::ento::SValBuilder | inline
getSymbolManager() const | clang::ento::SValBuilder | inline
haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) | clang::ento::SValBuilder | inline
haveSameType(QualType Ty1, QualType Ty2) | clang::ento::SValBuilder | inline
makeArrayIndex(uint64_t idx) | clang::ento::SValBuilder | inline
makeBoolVal(const ObjCBoolLiteralExpr *boolean) | clang::ento::SValBuilder | inline
makeBoolVal(const CXXBoolLiteralExpr *boolean) | clang::ento::SValBuilder |
makeCompoundVal(QualType type, llvm::ImmutableList< SVal > vals) | clang::ento::SValBuilder | inline
makeIntLocVal(const llvm::APSInt &integer) | clang::ento::SValBuilder | inline
makeIntVal(const IntegerLiteral *integer) | clang::ento::SValBuilder | inline
makeIntVal(const llvm::APSInt &integer) | clang::ento::SValBuilder | inline
makeIntVal(const llvm::APInt &integer, bool isUnsigned) | clang::ento::SValBuilder | inline
makeIntVal(uint64_t integer, QualType type) | clang::ento::SValBuilder | inline
makeIntVal(uint64_t integer, bool isUnsigned) | clang::ento::SValBuilder | inline
makeIntValWithPtrWidth(uint64_t integer, bool isUnsigned) | clang::ento::SValBuilder | inline
makeLazyCompoundVal(const StoreRef &store, const TypedValueRegion *region) | clang::ento::SValBuilder | inline
makeLoc(SymbolRef sym) | clang::ento::SValBuilder | inline
makeLoc(const MemRegion *region) | clang::ento::SValBuilder | inline
makeLoc(const AddrLabelExpr *expr) | clang::ento::SValBuilder | inline
makeLoc(const llvm::APSInt &integer) | clang::ento::SValBuilder | inline
makeLocAsInteger(Loc loc, unsigned bits) | clang::ento::SValBuilder | inline
makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, const llvm::APSInt &rhs, QualType type) | clang::ento::SValBuilder |
makeNonLoc(const llvm::APSInt &rhs, BinaryOperator::Opcode op, const SymExpr *lhs, QualType type) | clang::ento::SValBuilder |
makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType type) | clang::ento::SValBuilder |
makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy) | clang::ento::SValBuilder |
makeNull() | clang::ento::SValBuilder | inline
makeNullWithType(QualType type) | clang::ento::SValBuilder | inline
makePointerToMember(const DeclaratorDecl *DD) | clang::ento::SValBuilder | inline
makePointerToMember(const PointerToMemberData *PTMD) | clang::ento::SValBuilder | inline
makeSymbolVal(SymbolRef Sym) | clang::ento::SValBuilder | inline
makeSymExprValNN(BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy) | clang::ento::SValBuilder |
makeTruthVal(bool b, QualType type) | clang::ento::SValBuilder | inline
makeTruthVal(bool b) | clang::ento::SValBuilder | inline
makeZeroArrayIndex() | clang::ento::SValBuilder | inline
makeZeroVal(QualType type) | clang::ento::SValBuilder |
MemMgr | clang::ento::SValBuilder | protected
simplifySVal(ProgramStateRef State, SVal Val)=0 | clang::ento::SValBuilder | pure virtual
StateMgr | clang::ento::SValBuilder | protected
SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) | clang::ento::SValBuilder | inline
SymMgr | clang::ento::SValBuilder | protected
~SValBuilder()=default | clang::ento::SValBuilder | virtual