Re: [Bug-gnubg] bearoffdump

[Joern Thyssen]

On Thu, Apr 29, 2004 at 10:08:09AM +0100, Ian Shaw wrote
> 
> Here are dumps from my working 12-point and broken 13-point databases.
> Sadly, the latter appears corrupted :(

Wait a moment!

> The bearoff file 'gnubg_os.bd' is likely to be corrupted.
> Please check that the MD5 sum is the same as documented in the GNU Backgammon 
> ma
> nual.
> Offset 0, dist size 1 (offset 0), gammon dist size 1 (offset 0)
> Assertion failed: FALSE, file bearoff.c, line 2089

These numbers look sane! So there is something from with the sanity
check!

The sanity check has a condition that offset must be smaller than 64 *
#pos"

However, with #pos = 37442160, we get 64 * #pos = -1898669056, since a
32bit signed integer only holds values between -2G and +2G.... This
makes the sanity check fail, as 0 is not less than -1898669056...

I'll commit a fix for this tonight!

However, we'll still have a problem for files >2GB, so support for the
14 pt database will require some rewriting.

Jørn