Hi David,
On 02/08/13 22:21, David Matthews wrote:
There's been quite a lot of work on the intermediate code optimiser since the last release and it's largely been rewritten. The main aim has been to reduce the number of cases where heap storage was allocated for argument tuples or closures.
[...]
Please try out the SVN version and let me know how it goes.
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
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.