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