tree 8b39171bfd9d30d0f90df21cbbd6646540ad86c3
parent 3528e2aed3e8808f33e1e7d63eeb1560456a605a
author Richard Barnes <rbarnes@umn.edu> 1603909971 -0600
committer Richard Barnes <rbarnes@umn.edu> 1603909971 -0600

Make binary search overflow safe.

Our internal static analysis flags potentially unsafe midpoint
calculations. The proposed fix ensures the binary search doesn't
overflow at the cost of a single additional operation.