Searched refs:SMTConv (Results 1 - 3 of 3) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConstraintManager.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h" 49 SMTConv::getExpr(Solver, Ctx, Sym, &RetTy, &hasComparison); 56 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); 67 State, Sym, SMTConv::getRangeExpr(Solver, Ctx, Sym, From, To, InRange)); 85 llvm::SMTExprRef VarExp = SMTConv::getExpr(Solver, Ctx, Sym, &RetTy); 87 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/true); 91 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/false); 124 SMTConv::fromData(Solver, SD->getSymbolID(), Ty, Ctx.getTypeSize(Ty)); 139 llvm::SMTExprRef NotExp = SMTConv::fromBinOp( 189 std::tie(ConvertedLHS, LTy) = SMTConv [all...] |
H A D | SMTConv.h | 1 //== SMTConv.h --------------------------------------------------*- C++ -*--==// 24 class SMTConv { class in namespace:clang::ento 577 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>( 583 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>(
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | BugReporterVisitors.cpp | 45 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h" 2835 llvm::SMTExprRef Constraints = SMTConv::getRangeExpr( 2840 Constraints, SMTConv::getRangeExpr(RefutationSolver, Ctx, Sym,
|
Completed in 126 milliseconds