Home
last modified time | relevance | path

Searched refs:doIntTypeConversion (Results 1 – 2 of 2) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h563 SMTConv::doIntTypeConversion<SMTExprRef, &fromCast>(Solver, Ctx, LHS, LTy, in doTypeConversion()
630 static inline void doIntTypeConversion(SMTSolverRef &Solver, ASTContext &Ctx, in doIntTypeConversion() function
H A DSMTConstraintManager.h187 SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>( in getSymVal()