[polyml] Compiler in SVN

On 05/08/2013 06:47, David Greenaway wrote:

Hi David,

We internally have some large Isabelle proofs. In different two cases (which both have heavy multi-threading and large heap sizes) I saw the following assertion fail:

poly: scanaddrs.cpp:324: static void ScanAddress::SetConstantValue(byte*, PolyWord, ScanRelocationKind): Assertion `newDisp < 0x80000000 && newDisp >= -(POLYSIGNED)0x80000000' failed.

This is on Linux x86_64, SVN revision 1827.

Is there any information I can provide to help you track this down?

Cheers, David

Hi David, Thanks for letting me know about this. I might have a better idea of what is happening if you could get a core dump and produce a trace back. Are you familiar with gdb? You will need to build poly with --enable-debug or at least with the -g option to gcc to get symbols in the executable. What memory size are you running in? Regards, David