HomeSort by: relevance | last modified time | path
    Searched refs:SMTConv (Results 1 - 3 of 3) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SMTConstraintManager.h 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h"
51 SMTConv::getExpr(Solver, Ctx, Sym, &RetTy, &hasComparison);
58 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption));
69 State, Sym, SMTConv::getRangeExpr(Solver, Ctx, Sym, From, To, InRange));
87 llvm::SMTExprRef VarExp = SMTConv::getExpr(Solver, Ctx, Sym, &RetTy);
89 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/true);
93 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/false);
125 llvm::SMTExprRef Exp = SMTConv::fromData(Solver, Ctx, SD);
140 llvm::SMTExprRef NotExp = SMTConv::fromBinOp(
190 std::tie(ConvertedLHS, LTy) = SMTConv::fixAPSInt(Ctx, *LHS)
    [all...]
SMTConv.h 1 //== SMTConv.h --------------------------------------------------*- C++ -*--==//
24 class SMTConv {
581 SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>(
587 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>(
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
BugReporterVisitors.cpp 45 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h"
2961 llvm::SMTExprRef SMTConstraints = SMTConv::getRangeExpr(
2966 SMTConstraints, SMTConv::getRangeExpr(RefutationSolver, Ctx, Sym,

Completed in 21 milliseconds