Searched refs:castAPSInt (Results 1 – 2 of 2) sorted by relevance
187 SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>( in getSymVal()
310 static inline llvm::APSInt castAPSInt(SMTSolverRef &Solver, in castAPSInt() function