Searched refs:doTypeConversion (Results 1 – 1 of 1) sorted by relevance
342 doTypeConversion(Solver, Ctx, NewLHS, NewRHS, LTy, RTy); in getBinExpr()554 static inline void doTypeConversion(SMTSolverRef &Solver, ASTContext &Ctx, in doTypeConversion() function