Searched refs:NewToInt (Results 1 – 1 of 1) sorted by relevance
511 llvm::APSInt NewToInt; in getRangeExpr() local512 std::tie(NewToInt, ToTy) = fixAPSInt(Ctx, To); in getRangeExpr()513 SMTExprRef ToExp = Solver->mkBitvector(NewToInt, NewToInt.getBitWidth()); in getRangeExpr()