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