clang API Documentation

clang::ento::SymbolManager Member List
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(const llvm::APSInt &lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t)clang::ento::SymbolManager
getMetadataSymbol(const MemRegion *R, const Stmt *S, QualType T, unsigned VisitCount, const void *SymbolTag=nullptr)clang::ento::SymbolManager
getRegionValueSymbol(const TypedValueRegion *R)clang::ento::SymbolManager
getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const llvm::APSInt &rhs, QualType t)clang::ento::SymbolManager
getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, const llvm::APSInt &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]
SymbolManager(ASTContext &ctx, BasicValueFactory &bv, llvm::BumpPtrAllocator &bpalloc)clang::ento::SymbolManager [inline]
~SymbolManager()clang::ento::SymbolManager