Searched refs:doFloatTypeConversion (Results 1 – 1 of 1) sorted by relevance
569 SMTConv::doFloatTypeConversion<SMTExprRef, &fromCast>(Solver, Ctx, LHS, in doTypeConversion()714 doFloatTypeConversion(SMTSolverRef &Solver, ASTContext &Ctx, T &LHS, in doFloatTypeConversion() function