clang 20.0.0git
|
This is the complete list of members for clang::ento::SymbolManager, including all inherited members.
addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent) | clang::ento::SymbolManager | |
canSymbolicate(QualType T) | clang::ento::SymbolManager | static |
conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned VisitCount, const void *SymbolTag=nullptr) | clang::ento::SymbolManager | |
conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag=nullptr) | clang::ento::SymbolManager | inline |
getBasicVals() | clang::ento::SymbolManager | inline |
getCastSymbol(const SymExpr *Operand, QualType From, QualType To) | clang::ento::SymbolManager | |
getContext() | clang::ento::SymbolManager | inline |
getDependentSymbols(const SymbolRef Primary) | clang::ento::SymbolManager | |
getDerivedSymbol(SymbolRef parentSymbol, const TypedValueRegion *R) | clang::ento::SymbolManager | |
getExtentSymbol(const SubRegion *R) | clang::ento::SymbolManager | |
getIntSymExpr(APSIntPtr lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) | clang::ento::SymbolManager | |
getMetadataSymbol(const MemRegion *R, const Stmt *S, QualType T, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag=nullptr) | clang::ento::SymbolManager | |
getRegionValueSymbol(const TypedValueRegion *R) | clang::ento::SymbolManager | |
getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op, APSIntPtr rhs, QualType t) | clang::ento::SymbolManager | |
getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, APSIntPtr rhs, QualType t) | clang::ento::SymbolManager | inline |
getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) | clang::ento::SymbolManager | |
getType(const SymExpr *SE) const | clang::ento::SymbolManager | inline |
getUnarySymExpr(const SymExpr *operand, UnaryOperator::Opcode op, QualType t) | clang::ento::SymbolManager | |
SymbolManager(ASTContext &ctx, BasicValueFactory &bv, llvm::BumpPtrAllocator &bpalloc) | clang::ento::SymbolManager | inline |