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