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