[gecode-users] Freeze with MSVC 2015 optimized build

[Filip Konvička]

Hi Christian,

Have you had any chance to look into supporting gcc 5 and MSVC 2015?

Thanks,
Filip

> 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
>