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 |