size >> 31 >> 1 is used instead of size >> 32 to support 32-bit Windows (size_t is 32 bit there, and you cannot shift 32-bit value by 32 bits on x86) This is equivalent to sizeof(size) == 4 ? 0 : size >> 32
dabf3da7e5