Ben Pfaff <
blp@...> wrote:
> Eric Blake <
ebb9@...> writes:
>
>> You know, an O(log n) solution with no branches beats an O(n) loop any
>> day.
>
> You're right of course. I installed the following.
>
> I wanted to use verify_true instead of if...abort, but GCC -Wall
> gave an annoying "statement with no effect" warning.
You can use (void) verify_true (...).