https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91555
--- Comment #8 from Daniel Richard G. <skunk at iskunk dot org> --- The most I could tell via strategic printf() calls is that everything appears to run correctly up until the binary search. I don't think any (unchecked) overflow is at issue, but it seems I don't have a way of instrumenting the program to check for that...