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