clang  14.0.0git
clang::ento::SMTConv Member List

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

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