clang  8.0.0
clang::ento::SMTConv Member List

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

castAPSInt(SMTSolverRef &Solver, const llvm::APSInt &V, QualType ToTy, uint64_t ToWidth, QualType FromTy, uint64_t FromWidth)clang::ento::SMTConvinlinestatic
doFloatTypeConversion(SMTSolverRef &Solver, ASTContext &Ctx, T &LHS, QualType &LTy, T &RHS, QualType &RTy)clang::ento::SMTConvinlinestatic
doIntTypeConversion(SMTSolverRef &Solver, ASTContext &Ctx, T &LHS, QualType &LTy, T &RHS, QualType &RTy)clang::ento::SMTConvinlinestatic
doTypeConversion(SMTSolverRef &Solver, ASTContext &Ctx, SMTExprRef &LHS, SMTExprRef &RHS, QualType &LTy, QualType &RTy)clang::ento::SMTConvinlinestatic
fixAPSInt(ASTContext &Ctx, const llvm::APSInt &Int)clang::ento::SMTConvinlinestatic
fromBinOp(SMTSolverRef &Solver, const SMTExprRef &LHS, const BinaryOperator::Opcode Op, const SMTExprRef &RHS, bool isSigned)clang::ento::SMTConvinlinestatic
fromCast(SMTSolverRef &Solver, const SMTExprRef &Exp, QualType ToTy, uint64_t ToBitWidth, QualType FromTy, uint64_t FromBitWidth)clang::ento::SMTConvinlinestatic
fromData(SMTSolverRef &Solver, const SymbolID ID, const QualType &Ty, uint64_t BitWidth)clang::ento::SMTConvinlinestatic
fromFloatBinOp(SMTSolverRef &Solver, const SMTExprRef &LHS, const BinaryOperator::Opcode Op, const SMTExprRef &RHS)clang::ento::SMTConvinlinestatic
fromFloatSpecialBinOp(SMTSolverRef &Solver, const SMTExprRef &LHS, const BinaryOperator::Opcode Op, const llvm::APFloat::fltCategory &RHS)clang::ento::SMTConvinlinestatic
fromFloatUnOp(SMTSolverRef &Solver, const UnaryOperator::Opcode Op, const SMTExprRef &Exp)clang::ento::SMTConvinlinestatic
fromNBinOp(SMTSolverRef &Solver, const BinaryOperator::Opcode Op, const std::vector< SMTExprRef > &ASTs)clang::ento::SMTConvinlinestatic
fromUnOp(SMTSolverRef &Solver, const UnaryOperator::Opcode Op, const SMTExprRef &Exp)clang::ento::SMTConvinlinestatic
getAPSIntType(ASTContext &Ctx, const llvm::APSInt &Int)clang::ento::SMTConvinlinestatic
getBinExpr(SMTSolverRef &Solver, ASTContext &Ctx, const SMTExprRef &LHS, QualType LTy, BinaryOperator::Opcode Op, const SMTExprRef &RHS, QualType RTy, QualType *RetTy)clang::ento::SMTConvinlinestatic
getCastExpr(SMTSolverRef &Solver, ASTContext &Ctx, const SMTExprRef &Exp, QualType FromTy, QualType ToTy)clang::ento::SMTConvinlinestatic
getExpr(SMTSolverRef &Solver, ASTContext &Ctx, SymbolRef Sym, QualType *RetTy=nullptr, bool *hasComparison=nullptr)clang::ento::SMTConvinlinestatic
getRangeExpr(SMTSolverRef &Solver, ASTContext &Ctx, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange)clang::ento::SMTConvinlinestatic
getSymBinExpr(SMTSolverRef &Solver, ASTContext &Ctx, const BinarySymExpr *BSE, bool *hasComparison, QualType *RetTy)clang::ento::SMTConvinlinestatic
getSymExpr(SMTSolverRef &Solver, ASTContext &Ctx, SymbolRef Sym, QualType *RetTy, bool *hasComparison)clang::ento::SMTConvinlinestatic
getZeroExpr(SMTSolverRef &Solver, ASTContext &Ctx, const SMTExprRef &Exp, QualType Ty, bool Assumption)clang::ento::SMTConvinlinestatic
mkSort(SMTSolverRef &Solver, const QualType &Ty, unsigned BitWidth)clang::ento::SMTConvinlinestatic