[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-gnubg] bearoffdump

From: Joern Thyssen
Subject: Re: [Bug-gnubg] bearoffdump
Date: Thu, 29 Apr 2004 11:56:55 +0000
User-agent: Mutt/

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

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

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]