[gecode-users] Freeze with MSVC 2015 optimized build

[Christian Schulte]

Hi,

I am travelling right now and cannot look into the issue right now.

Building with Qt is easy: I just build Qt myself (there is Qt doc how to do
that) and then use that build by setting the path accordingly (pointing to
%QTDIR%/base/bin). I do that as I have Qt builds for all platforms we run
tests on...

Then everything works like a charm.

You need to patient, though, when building Qt.

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: Thursday, September 3, 2015 10:50 AM
To: users at gecode.org
Subject: [gecode-users] Freeze with MSVC 2015 optimized build

Hi,

I'm having issues with the trunk version of Gecode compiled with MSVC
2015 RTM. The "Release" build seems to get stuck on the attached simple test
case. The "Debug" version of the same (configured with --enable-debug), as
well as the official 4.4.0 distribution compiled with MSVC 2013 x64 seem to
work without issue.

In the test case source code there is a constant "8686.9666660000003". 
Changing it to "8686" seems to fix the problem - but even "8686.9" makes dfs
freeze.  It also seems that it is the branching strategy
'FLOAT_VAL_SPLIT_MAX' that is causing problems.

I have built Gecode using my usual setup (the environment is set up for the
"xp" compiler toolset) - in the 2015 x64 command prompt I run:

set "INCLUDE=%ProgramFiles(x86)%\Microsoft
SDKs\Windows\7.1A\Include;%INCLUDE%"
set "PATH=%ProgramFiles(x86)%\Microsoft SDKs\Windows\7.1A\Bin;%PATH%"
set "LIB=%ProgramFiles(x86)%\Microsoft SDKs\Windows\7.1A\Lib\x64;%LIB%"
set "CL=/D_USING_V110_SDK71_"
set "LINK=/SUBSYSTEM:CONSOLE,5.02"
C:\cygwin\cygwin
cd /cygdrive/c/build/gecode
./configure --disable-examples --disable-qt --disable-gist
--disable-flatzinc --prefix=`pwd`/x64rel make -j7 install

As you may notice I'm building without Gist so I could not easily check the
progress of the search; as far as I could tell from the callstack there
seems to be some kind of loop but I'm not sure how tight it is. 
I'm now trying to get Qt and build with it but so far I'm struggling with
that (is there a howto on building with Qt on Windows?)

Thanks for any hints,
Filip