Searched refs:getCastExpr (Results 1 – 1 of 1) sorted by relevance
326 static inline SMTExprRef getCastExpr(SMTSolverRef &Solver, ASTContext &Ctx, in getCastExpr() function432 return getCastExpr(Solver, Ctx, Exp, FromTy, Sym->getType()); in getSymExpr()