clang API Documentation
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 |