[gecode-users] Freeze with MSVC 2015 optimized build

[Christian Schulte]

Hi Filip,

Thanks for the information. This really looks like a gcc problem. Guido, can
you reproduce this behavior?

Cheers
Christian

--
Christian Schulte, www.gecode.org/~schulte
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Filip Konvicka
Sent: Friday, October 2, 2015 09:58 AM
To: users at gecode.org
Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build

Hi,

We were looking a bit more into 4.4.0 on Linux where we've also hit some
issues.

All tests worked fine with gcc 4.9.3.  However, with gcc 5.2.0 many tests
failed - see the attachements for details:
   gecode-4.4.0-gcc-5.2.0-failed_tests.list
   ... list of failed tests (except two memory fails below)
   gecode-4.4.0-gcc-5.2.0-failed_tests.log
   ... log from 'test' for failed tests

Two tests ran out of memory (allocated several GBs of memory before getting
killed by system):
   Set::Branch::Sparse::3
   Set::Channel::Sorted

gcc details:
target=x86_64-linux-gnu
GCC_VER=5.2.0
GMP_VER=6.0.0
MPFR_VER=3.1.3
MPC_VER=1.0.3
BINUTILS_VER=2.25

It could also be a gcc bug of course, hard to tell.

Thanks,
Filip