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