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 DSMTConstraintManager.h19 #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 DSMTConv.h1 //== 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 DBugReporterVisitors.cpp45 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h"
2835 llvm::SMTExprRef Constraints = SMTConv::getRangeExpr(
2840 Constraints, SMTConv::getRangeExpr(RefutationSolver, Ctx, Sym,

Completed in 126 milliseconds