On: Nearly all binary searches and mergesorts are broken (2006)

[dataflow]

Nope, try low = 1, high = 1 and you get mid = 0.

[benmmurphy → dataflow]

i think you can fix it with: (low >> 1) + (high >> 1) + (low & 1 & high)

for unsigned numbers. not sure if it works for signed numbers.