clang 19.0.0git
clang::ento::SValBuilder Member List

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

AnOptsclang::ento::SValBuilderprotected
areEqual(ProgramStateRef state, SVal lhs, SVal rhs)clang::ento::SValBuilder
ArrayIndexTyclang::ento::SValBuilderprotected
ArrayIndexWidthclang::ento::SValBuilderprotected
BasicValsclang::ento::SValBuilderprotected
conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag=nullptr)clang::ento::SValBuilderinline
conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag=nullptr)clang::ento::SValBuilderinline
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
Contextclang::ento::SValBuilderprotected
convertToArrayIndex(SVal val)clang::ento::SValBuilder
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)=0clang::ento::SValBuilderpure virtual
evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, NonLoc rhs, QualType resultTy)=0clang::ento::SValBuilderpure virtual
evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)=0clang::ento::SValBuilderpure virtual
evalCast(SVal V, QualType CastTy, QualType OriginalTy)clang::ento::SValBuilder
evalComplement(NonLoc val)clang::ento::SValBuilder
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)clang::ento::SValBuilder
evalUnaryOp(ProgramStateRef state, UnaryOperator::Opcode opc, SVal operand, QualType type)clang::ento::SValBuilder
getAllocaRegionVal(const Expr *E, const LocationContext *LCtx, unsigned Count)clang::ento::SValBuilder
getAnalyzerOptions() constclang::ento::SValBuilderinline
getArrayIndexType() constclang::ento::SValBuilderinline
getBasicValueFactory()clang::ento::SValBuilderinline
getBasicValueFactory() constclang::ento::SValBuilderinline
getBlockPointer(const BlockDecl *block, CanQualType locTy, const LocationContext *locContext, unsigned blockCount)clang::ento::SValBuilder
getCastedMemRegionVal(const MemRegion *region, QualType type)clang::ento::SValBuilder
getConditionType() constclang::ento::SValBuilderinline
getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned Count)clang::ento::SValBuilder
getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, QualType type, unsigned Count)clang::ento::SValBuilder
getConstantVal(const Expr *E)clang::ento::SValBuilder
getContext()clang::ento::SValBuilderinline
getContext() constclang::ento::SValBuilderinline
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)=0clang::ento::SValBuilderpure virtual
getMaxValue(ProgramStateRef state, SVal val)=0clang::ento::SValBuilderpure virtual
getMemberPointer(const NamedDecl *ND)clang::ento::SValBuilder
getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, const LocationContext *LCtx, unsigned count)clang::ento::SValBuilder
getMinValue(ProgramStateRef state, SVal val)=0clang::ento::SValBuilderpure virtual
getRegionManager()clang::ento::SValBuilderinline
getRegionManager() constclang::ento::SValBuilderinline
getRegionValueSymbolVal(const TypedValueRegion *region)clang::ento::SValBuilder
getStateManager()clang::ento::SValBuilderinline
getSymbolManager()clang::ento::SValBuilderinline
getSymbolManager() constclang::ento::SValBuilderinline
makeArrayIndex(uint64_t idx)clang::ento::SValBuilderinline
makeBoolVal(const ObjCBoolLiteralExpr *boolean)clang::ento::SValBuilderinline
makeBoolVal(const CXXBoolLiteralExpr *boolean)clang::ento::SValBuilder
makeCompoundVal(QualType type, llvm::ImmutableList< SVal > vals)clang::ento::SValBuilderinline
makeIntLocVal(const llvm::APSInt &integer)clang::ento::SValBuilderinline
makeIntVal(const IntegerLiteral *integer)clang::ento::SValBuilderinline
makeIntVal(const llvm::APSInt &integer)clang::ento::SValBuilderinline
makeIntVal(const llvm::APInt &integer, bool isUnsigned)clang::ento::SValBuilderinline
makeIntVal(uint64_t integer, QualType type)clang::ento::SValBuilderinline
makeIntVal(uint64_t integer, bool isUnsigned)clang::ento::SValBuilderinline
makeIntValWithWidth(QualType ptrType, uint64_t integer)clang::ento::SValBuilderinline
makeLazyCompoundVal(const StoreRef &store, const TypedValueRegion *region)clang::ento::SValBuilderinline
makeLoc(SymbolRef sym)clang::ento::SValBuilderinline
makeLoc(const MemRegion *region)clang::ento::SValBuilderinline
makeLoc(const AddrLabelExpr *expr)clang::ento::SValBuilderinline
makeLoc(const llvm::APSInt &integer)clang::ento::SValBuilderinline
makeLocAsInteger(Loc loc, unsigned bits)clang::ento::SValBuilderinline
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, UnaryOperator::Opcode op, QualType type)clang::ento::SValBuilder
makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy)clang::ento::SValBuilder
makeNullWithType(QualType type)clang::ento::SValBuilderinline
makePointerToMember(const DeclaratorDecl *DD)clang::ento::SValBuilderinline
makePointerToMember(const PointerToMemberData *PTMD)clang::ento::SValBuilderinline
makeSymbolVal(SymbolRef Sym)clang::ento::SValBuilderinline
makeSymExprValNN(BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)clang::ento::SValBuilder
makeTruthVal(bool b, QualType type)clang::ento::SValBuilderinline
makeTruthVal(bool b)clang::ento::SValBuilderinline
makeZeroArrayIndex()clang::ento::SValBuilderinline
makeZeroVal(QualType type)clang::ento::SValBuilder
MemMgrclang::ento::SValBuilderprotected
simplifySVal(ProgramStateRef State, SVal Val)=0clang::ento::SValBuilderpure virtual
StateMgrclang::ento::SValBuilderprotected
SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr)clang::ento::SValBuilder
SymMgrclang::ento::SValBuilderprotected
~SValBuilder()=defaultclang::ento::SValBuildervirtual