reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.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::fixAPSInt(Ctx, *LHS);
  190       std::tie(ConvertedRHS, RTy) = SMTConv::fixAPSInt(Ctx, *RHS);
  191       SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>(
  191       SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>(

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h

  577       SMTConv::doIntTypeConversion<llvm::SMTExprRef, &fromCast>(
  583       SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>(

tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

 2834     llvm::SMTExprRef Constraints = SMTConv::getRangeExpr(
 2839           Constraints, SMTConv::getRangeExpr(RefutationSolver, Ctx, Sym,