=> Building devel/gecode Started : Thursday, 7 MAR 2019 at 01:23:20 UTC Platform: 5.5-DEVELOPMENT DragonFly v5.5.0.192.g15ae7f0-DEVELOPMENT #34: Tue Feb 19 09:07:07 PST 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.5-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.5-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for gecode-5.1.0_3: GIST=off: Interactive Search Tool (requires Qt) ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- MAKE=gmake ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/construction/devel/gecode XDG_CONFIG_HOME=/construction/devel/gecode HOME=/construction/devel/gecode TMPDIR="/tmp" PATH=/construction/devel/gecode/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --disable-static --enable-shared --disable-doc-dot --disable-doc-tagfile --disable-doc-chm --enable-driver --enable-graph --enable-flatzinc --enable-sheduling --disable-examples --enable-minimodel --enable-search --with-gmp-include=/usr/local/include --with-gmp-lib=/usr/local/lib --with-mpfr-include=/usr/local/include --with-mpfr-lib=/usr/local/lib --disable-gist --disable-qt --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/construction/devel/gecode XDG_CONFIG_HOME=/construction/devel/gecode HOME=/construction/devel/gecode TMPDIR="/tmp" PATH=/construction/devel/gecode/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/devel/gecode/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- SHLIB_VERSION=44 GIST="@comment " NO_GIST="" OSREL=5.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PERL_VERSION=5.28.1 PERL_VER=5.28 PERL5_MAN1=lib/perl5/site_perl/man/man1 PERL5_MAN3=lib/perl5/site_perl/man/man3 SITE_PERL=lib/perl5/site_perl SITE_ARCH=lib/perl5/site_perl/mach/5.28 PROFILE="@comment " DOCSDIR="share/doc/gecode" EXAMPLESDIR="share/examples/gecode" DATADIR="share/gecode" WWWDIR="www/gecode" ETCDIR="etc/gecode" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- GIST="@comment " NO_GIST="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/gecode DOCSDIR=/usr/local/share/doc/gecode EXAMPLESDIR=/usr/local/share/examples/gecode WWWDIR=/usr/local/www/gecode ETCDIR=/usr/local/etc/gecode -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-BE USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.26.2 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500500 OSVERSION=9999999 OSREL=5.5 _OSRELEASE=5.5-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> gecode-5.1.0_3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz Installing pkg-1.10.5_5... Extracting pkg-1.10.5_5: .......... done ===> gecode-5.1.0_3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of gecode-5.1.0_3 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_3 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_3 for building => SHA256 Checksum OK for gecode-5.1.0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_3 for building ===> Extracting for gecode-5.1.0_3 ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_3 for building => SHA256 Checksum OK for gecode-5.1.0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for gecode-5.1.0_3 ===> Applying ports patches for gecode-5.1.0_3 ===> Applying dragonfly patches for gecode-5.1.0_3 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> gecode-5.1.0_3 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.3.2,1.txz Installing bison-3.3.2,1... `-- Installing gettext-runtime-0.19.8.1_2... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gettext-runtime-0.19.8.1_2: .......... done `-- Installing m4-1.4.18_1,1... `-- Extracting m4-1.4.18_1,1: .......... done Extracting bison-3.3.2,1: .......... done ===> gecode-5.1.0_3 depends on executable: bison - found ===> Returning to build of gecode-5.1.0_3 ===> gecode-5.1.0_3 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz Installing gmake-4.2.1_3... Extracting gmake-4.2.1_3: .......... done ===> gecode-5.1.0_3 depends on executable: gmake - found ===> Returning to build of gecode-5.1.0_3 ===> gecode-5.1.0_3 depends on package: perl5>=5.28.r1<5.29 - not found ===> Installing existing package /packages/All/perl5-5.28.1.txz Installing perl5-5.28.1... Extracting perl5-5.28.1: .......... done Message from perl5-5.28.1: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. ===> gecode-5.1.0_3 depends on package: perl5>=5.28.r1<5.29 - found ===> Returning to build of gecode-5.1.0_3 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> gecode-5.1.0_3 depends on shared library: libmpfr.so - not found ===> Installing existing package /packages/All/mpfr-4.0.2.txz Installing mpfr-4.0.2... `-- Installing gmp-6.1.2_1... `-- Extracting gmp-6.1.2_1: .......... done Extracting mpfr-4.0.2: .......... done ===> gecode-5.1.0_3 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> Returning to build of gecode-5.1.0_3 ===> gecode-5.1.0_3 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for gecode-5.1.0_3 configure: loading site script /xports/Templates/config.site checking for the host operating system... Linux checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking for gcc... cc checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking for ranlib... ranlib checking for diff... ok checking for tar... ok checking for make... ok checking for sed... ok checking for perl... ok checking how to run the C++ preprocessor... c++ -E checking for rc.exe... no checking whether to build with Visual Studio resource files... no checking Whether to build for different architectures... no checking for user-defined library name prefix... no checking for user-defined library name suffix... no checking whether to build static libraries... no checking whether to build shared libraries... yes checking whether to build with debug symbols and assertions... no checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking whether to build with peak heap size tracking... no checking whether to optimize for code size... no checking whether to build with support for finding memory leaks... no checking whether to build with default memory allocator... yes checking whether to build with auditing code... no checking whether to build with profiling information... no checking whether to build with gcov support... no checking size of int... 4 checking if int has at least 32 bit... yes checking if doubles have a big enough mantissa... yes checking whether to build with multi-threading support... yes checking for unistd.h... (cached) yes checking for pthread.h... (cached) yes checking libkern/OSAtomic.h usability... no checking libkern/OSAtomic.h presence... no checking for libkern/OSAtomic.h... no checking for spin locks... yes checking for sys/time.h... (cached) yes checking whether c++ accepts -fPIC... yes checking whether cc accepts -fPIC... yes checking whether c++ accepts -Wextra... yes checking whether cc accepts -Wextra... yes checking whether c++ accepts -Wall... yes checking whether cc accepts -Wall... yes checking whether c++ accepts -pipe... yes checking whether cc accepts -pipe... yes checking whether c++ accepts -std=c++11... yes checking whether cc accepts -std=c++11... no checking whether c++ accepts -ggdb... yes checking for __builtin_ffsl... no checking whether to use gcc visibility attributes... yes checking whether c++ accepts -fvisibility=hidden... yes checking if compiler supports forced inlining... yes checking whether c++ accepts ... yes checking whether cc accepts ... yes checking whether c++ accepts -fno-strict-aliasing... yes checking whether cc accepts -fno-strict-aliasing... yes checking whether c++ accepts -fno-math-errno... yes checking whether cc accepts -fno-math-errno... yes checking whether c++ accepts -ffinite-math-only... yes checking whether cc accepts -ffinite-math-only... yes checking whether c++ accepts -fno-rounding-math... yes checking whether cc accepts -fno-rounding-math... yes checking whether c++ accepts -fno-signaling-nans... yes checking whether cc accepts -fno-signaling-nans... yes checking whether c++ accepts -fcx-limited-range... yes checking whether cc accepts -fcx-limited-range... yes checking whether c++ accepts -mthreads... no checking whether cc accepts -mthreads... no checking whether c++ accepts -Qunused-arguments... no checking whether cc accepts -Qunused-arguments... no checking ext/hash_map usability... yes checking ext/hash_map presence... yes checking for ext/hash_map... yes checking unordered_map usability... yes checking unordered_map presence... yes checking for unordered_map... yes checking for dot... no checking whether to enable graphs in the documentation... no checking whether to enable the documentation search engine... no checking whether to generate a doxygen tagfile... no checking whether to build compressed html documentation... no checking whether to build docset documentation for XCode... no checking whether to build the float variables library... yes checking whether to build the set variables library... yes checking whether to build the int variables library... yes checking whether to build with MPFR support... yes checking for __gmpz_init in -lgmp... yes checking gmp.h usability... yes checking gmp.h presence... yes checking for gmp.h... yes checking mpfr.h usability... yes checking mpfr.h presence... yes checking for mpfr.h... yes checking for mpfr_add in -lmpfr... yes checking for qmake-qt4... no checking for qmake... no checking for moc-qt4... no checking for moc... no checking whether to build with Qt support... no checking whether to build Gist... no checking for flex... flex checking whether we have at least flex 2.5.33... yes checking for bison... bison checking whether we have at least bison 2.3... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/param.h... (cached) yes checking for getpagesize... (cached) yes checking for working mmap... yes checking whether to build driver... yes checking whether to build flatzinc... yes checking whether to build driver... yes checking whether to build examples... no checking whether to build minimodel... yes checking whether to build search... yes configure: creating ./config.status config.status: creating Makefile config.status: creating tools/flatzinc/mzn-gecode config.status: creating doxygen.conf config.status: creating doxygen.hh config.status: creating gecode/support/config.hpp -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for gecode-5.1.0_3 gmake[2]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' perl ./misc/genvarimp.perl -typehpp ./gecode/int/var-imp/int.vis ./gecode/int/var-imp/bool.vis ./gecode/set/var-imp/set.vis ./gecode/float/var-imp/float.vis > gecode/kernel/var-type.hpp perl ./misc/genvarimp.perl -header ./gecode/int/var-imp/int.vis ./gecode/int/var-imp/bool.vis ./gecode/set/var-imp/set.vis ./gecode/float/var-imp/float.vis > gecode/kernel/var-imp.hpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/exception.o gecode/support/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/allocator.o gecode/support/allocator.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/heap.o gecode/support/heap.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/thread/thread.o gecode/support/thread/thread.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/thread/windows.o gecode/support/thread/windows.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/thread/pthreads.o gecode/support/thread/pthreads.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/hw-rnd.o gecode/support/hw-rnd.cpp c++ -shared -pthread gecode/support/exception.o gecode/support/allocator.o gecode/support/heap.o gecode/support/thread/thread.o gecode/support/thread/windows.o gecode/support/thread/pthreads.o gecode/support/hw-rnd.o -Wl,-soname=libgecodesupport.so.44 \ -o libgecodesupport.so.44.0 ln -fs libgecodesupport.so.44.0 libgecodesupport.so ln -fs libgecodesupport.so.44.0 libgecodesupport.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/archive.o gecode/kernel/archive.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/core.o gecode/kernel/core.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/memory-manager.o gecode/kernel/memory-manager.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/branch.o gecode/kernel/branch.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/region.o gecode/kernel/region.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/afc.o gecode/kernel/afc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/action.o gecode/kernel/action.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/chb.o gecode/kernel/chb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/rnd.o gecode/kernel/rnd.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/exception.o gecode/kernel/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace-recorder.o gecode/kernel/trace-recorder.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace-filter.o gecode/kernel/trace-filter.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/tracer.o gecode/kernel/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace.o gecode/kernel/trace.cpp c++ -shared -pthread gecode/kernel/archive.o gecode/kernel/core.o gecode/kernel/memory-manager.o gecode/kernel/branch.o gecode/kernel/region.o gecode/kernel/afc.o gecode/kernel/action.o gecode/kernel/chb.o gecode/kernel/rnd.o gecode/kernel/exception.o gecode/kernel/trace-recorder.o gecode/kernel/trace-filter.o gecode/kernel/tracer.o gecode/kernel/trace.o -Wl,-soname=libgecodekernel.so.44 \ -L. -lgecodesupport \ -o libgecodekernel.so.44.0 ln -fs libgecodekernel.so.44.0 libgecodekernel.so ln -fs libgecodekernel.so.44.0 libgecodekernel.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/stop.o gecode/search/stop.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/options.o gecode/search/options.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/cutoff.o gecode/search/cutoff.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/engine.o gecode/search/engine.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/engine.o gecode/search/parallel/engine.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/dfs.o gecode/search/dfs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/dfs.o gecode/search/parallel/dfs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/bab.o gecode/search/bab.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/bab.o gecode/search/parallel/bab.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/lds.o gecode/search/lds.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/sequential/lds.o gecode/search/sequential/lds.cpp In file included from gecode/search/sequential/lds.cpp:41: ./gecode/search/sequential/lds.hh: In member function 'Gecode::Space* Gecode::Search::Sequential::Probe::next(const Gecode::Search::Options&)': ./gecode/search/sequential/lds.hh:256:13: warning: this statement may fall through [-Wimplicit-fallthrough=] fail++; ~~~~^~ ./gecode/search/sequential/lds.hh:257:7: note: here case SS_SOLVED: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/sequential/path.o gecode/search/sequential/path.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/path.o gecode/search/parallel/path.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/rbs.o gecode/search/meta/rbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/nogoods.o gecode/search/meta/nogoods.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/dead.o gecode/search/meta/dead.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/sequential/pbs.o gecode/search/meta/sequential/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/parallel/pbs.o gecode/search/meta/parallel/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/rbs.o gecode/search/rbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/pbs.o gecode/search/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/sebs.o gecode/search/sebs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/exception.o gecode/search/exception.cpp c++ -shared -pthread gecode/search/stop.o gecode/search/options.o gecode/search/cutoff.o gecode/search/engine.o gecode/search/parallel/engine.o gecode/search/dfs.o gecode/search/parallel/dfs.o gecode/search/bab.o gecode/search/parallel/bab.o gecode/search/lds.o gecode/search/sequential/lds.o gecode/search/sequential/path.o gecode/search/parallel/path.o gecode/search/meta/rbs.o gecode/search/meta/nogoods.o gecode/search/meta/dead.o gecode/search/meta/sequential/pbs.o gecode/search/meta/parallel/pbs.o gecode/search/rbs.o gecode/search/pbs.o gecode/search/sebs.o gecode/search/exception.o -Wl,-soname=libgecodesearch.so.44 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodesearch.so.44.0 ln -fs libgecodesearch.so.44.0 libgecodesearch.so ln -fs libgecodesearch.so.44.0 libgecodesearch.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/int-set.o gecode/int/int-set.cpp In file included from ./gecode/int.hh:4494, from gecode/int/int-set.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var-imp/int.o gecode/int/var-imp/int.cpp In file included from ./gecode/int.hh:4494, from gecode/int/var-imp/int.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var-imp/bool.o gecode/int/var-imp/bool.cpp In file included from ./gecode/int.hh:4494, from gecode/int/var-imp/bool.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var/int.o gecode/int/var/int.cpp In file included from ./gecode/int.hh:4494, from gecode/int/var/int.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var/bool.o gecode/int/var/bool.cpp In file included from ./gecode/int.hh:4494, from gecode/int/var/bool.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/array.o gecode/int/array.cpp In file included from ./gecode/int.hh:4494, from gecode/int/array.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bool.o gecode/int/bool.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/bool.hh:43, from gecode/int/bool.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/bool.hh:43, from gecode/int/bool.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bool/eqv.o gecode/int/bool/eqv.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/bool.hh:43, from gecode/int/bool/eqv.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/bool.hh:43, from gecode/int/bool/eqv.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional/dfa.o gecode/int/extensional/dfa.cpp In file included from ./gecode/int.hh:4494, from gecode/int/extensional/dfa.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional/tuple-set.o gecode/int/extensional/tuple-set.cpp In file included from ./gecode/int.hh:4494, from gecode/int/extensional/tuple-set.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional.o gecode/int/extensional.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/extensional.hh:43, from gecode/int/extensional.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/int/extensional.hh:224, from gecode/int/extensional.cpp:40: ./gecode/int/extensional/layered-graph.hpp: In function 'Gecode::ExecStatus Gecode::Int::Extensional::post_lgp(Gecode::Home, const Gecode::VarArgArray&, const Gecode::DFA&) [with Var = Gecode::IntVar]': ./gecode/int/extensional/layered-graph.hpp:869:7: warning: this statement may fall through [-Wimplicit-fallthrough=] switch (t_state_idx) { ^~~~~~ ./gecode/int/extensional/layered-graph.hpp:924:5: note: here case Gecode::Support::IT_INT: ^~~~ ./gecode/int/extensional/layered-graph.hpp: In function 'Gecode::ExecStatus Gecode::Int::Extensional::post_lgp(Gecode::Home, const Gecode::VarArgArray&, const Gecode::DFA&) [with Var = Gecode::BoolVar]': ./gecode/int/extensional/layered-graph.hpp:869:7: warning: this statement may fall through [-Wimplicit-fallthrough=] switch (t_state_idx) { ^~~~~~ ./gecode/int/extensional/layered-graph.hpp:924:5: note: here case Gecode::Support::IT_INT: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/dom.o gecode/int/dom.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/dom.hh:43, from gecode/int/dom.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/dom.hh:43, from gecode/int/dom.cpp:39: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/rel.o gecode/int/rel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/rel.hh:47, from gecode/int/rel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/rel.hh:47, from gecode/int/rel.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/precede.o gecode/int/precede.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/precede.hh:45, from gecode/int/precede.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/element.o gecode/int/element.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/element.hh:43, from gecode/int/element.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/element.hh:43, from gecode/int/element.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/count.o gecode/int/count.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/count.hh:43, from gecode/int/count.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/arithmetic.o gecode/int/arithmetic.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/arithmetic.hh:43, from gecode/int/arithmetic.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/exec.o gecode/int/exec.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/exec.hh:41, from gecode/int/exec.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/exec.hh:41, from gecode/int/exec.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/exec/when.o gecode/int/exec/when.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/exec.hh:41, from gecode/int/exec/when.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/exec.hh:41, from gecode/int/exec/when.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/element/pair.o gecode/int/element/pair.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/element.hh:43, from gecode/int/element/pair.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear/int-post.o gecode/int/linear/int-post.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/rel.hh:47, from gecode/int/linear/int-post.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/rel.hh:47, from gecode/int/linear/int-post.cpp:40: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear-int.o gecode/int/linear-int.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/linear.hh:45, from gecode/int/linear-int.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear/bool-post.o gecode/int/linear/bool-post.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/linear.hh:45, from gecode/int/linear/bool-post.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/linear.hh:45, from gecode/int/linear/bool-post.cpp:40: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear-bool.o gecode/int/linear-bool.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/linear.hh:45, from gecode/int/linear-bool.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch.o gecode/int/branch.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/branch.hh:41, from gecode/int/branch.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:245, from ./gecode/int.hh:59, from ./gecode/int/branch.hh:41, from gecode/int/branch.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::IntView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]': ./gecode/int/branch/view-values.hpp:101:58: required from 'Gecode::Int::Branch::ViewValuesBrancher::ViewValuesBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:113:12: required from 'static void Gecode::Int::Branch::ViewValuesBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:210:17: required from 'void Gecode::Int::Branch::postviewvaluesbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' gecode/int/branch.cpp:56:63: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ~~~~~~~~~~~~~~~~~~~~~^~~ ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::BoolView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:260:12: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:368:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/branch.cpp:183:57: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] In file included from ./gecode/kernel.hh:243, from ./gecode/int.hh:59, from ./gecode/int/branch.hh:41, from gecode/int/branch.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::IntView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::IntView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]' ./gecode/int/branch/view-values.hpp:101:58: required from 'Gecode::Int::Branch::ViewValuesBrancher::ViewValuesBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:113:12: required from 'static void Gecode::Int::Branch::ViewValuesBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:216:17: required from 'void Gecode::Int::Branch::postviewvaluesbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' gecode/int/branch.cpp:56:63: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ~~~~~~~~~~~~~~~~~~^~ ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:260:12: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:374:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/branch.cpp:183:57: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct/eqite.o gecode/int/distinct/eqite.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/distinct.hh:47, from gecode/int/distinct/eqite.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct.o gecode/int/distinct.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/distinct.hh:47, from gecode/int/distinct.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/sorted.o gecode/int/sorted.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/sorted.hh:42, from gecode/int/sorted.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/gcc.o gecode/int/gcc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/gcc.hh:47, from gecode/int/gcc.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/channel.o gecode/int/channel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/channel.hh:41, from gecode/int/channel.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/channel/link-single.o gecode/int/channel/link-single.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/channel.hh:41, from gecode/int/channel/link-single.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/channel/link-multi.o gecode/int/channel/link-multi.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/channel.hh:41, from gecode/int/channel/link-multi.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/unshare.o gecode/int/unshare.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/rel.hh:47, from gecode/int/unshare.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/rel.hh:47, from gecode/int/unshare.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/sequence.o gecode/int/sequence.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/sequence.hh:41, from gecode/int/sequence.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing.o gecode/int/bin-packing.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/bin-packing.hh:45, from gecode/int/bin-packing.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing/propagate.o gecode/int/bin-packing/propagate.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/bin-packing.hh:45, from gecode/int/bin-packing/propagate.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing/conflict-graph.o gecode/int/bin-packing/conflict-graph.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/bin-packing.hh:45, from gecode/int/bin-packing/conflict-graph.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/unary.o gecode/int/unary.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/task.hh:41, from ./gecode/int/unary.hh:43, from gecode/int/unary.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/task.hh:41, from ./gecode/int/unary.hh:43, from gecode/int/unary.cpp:40: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/cumulative.o gecode/int/cumulative.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/task.hh:41, from ./gecode/int/cumulative.hh:43, from gecode/int/cumulative.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/task.hh:41, from ./gecode/int/cumulative.hh:43, from gecode/int/cumulative.cpp:40: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/cumulatives.o gecode/int/cumulatives.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/cumulatives.hh:41, from gecode/int/cumulatives.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/circuit.o gecode/int/circuit.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/circuit.hh:41, from gecode/int/circuit.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/no-overlap.o gecode/int/no-overlap.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/no-overlap.hh:41, from gecode/int/no-overlap.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/no-overlap.hh:41, from gecode/int/no-overlap.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/nvalues.o gecode/int/nvalues.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/nvalues.hh:41, from gecode/int/nvalues.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/nvalues.hh:41, from gecode/int/nvalues.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/member.o gecode/int/member.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/member.hh:41, from gecode/int/member.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/int/member.hh:41, from gecode/int/member.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/action.o gecode/int/branch/action.cpp In file included from ./gecode/int.hh:4494, from gecode/int/branch/action.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/chb.o gecode/int/branch/chb.cpp In file included from ./gecode/int.hh:4494, from gecode/int/branch/chb.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/arithmetic/mult.o gecode/int/arithmetic/mult.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/arithmetic.hh:43, from gecode/int/arithmetic/mult.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/view-sel.o gecode/int/branch/view-sel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/branch.hh:41, from gecode/int/branch/view-sel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/val-sel-commit.o gecode/int/branch/val-sel-commit.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/branch.hh:41, from gecode/int/branch/val-sel-commit.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/view-values.o gecode/int/branch/view-values.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/branch.hh:41, from gecode/int/branch/view-values.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/relax.o gecode/int/relax.cpp In file included from ./gecode/int.hh:4494, from gecode/int/relax.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb.o gecode/int/ldsb.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:245, from ./gecode/int.hh:59, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::IntView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:12: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:298:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' gecode/int/ldsb.cpp:307:24: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ~~~~~~~~~~~~~~~~~~~~~^~~ ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::BoolView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:12: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:298:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/ldsb.cpp:467:67: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] In file included from ./gecode/kernel.hh:243, from ./gecode/int.hh:59, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::IntView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::IntView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:12: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:303:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' gecode/int/ldsb.cpp:307:24: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ~~~~~~~~~~~~~~~~~~^~ ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:12: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:303:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/ldsb.cpp:467:67: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] gecode/int/ldsb.cpp: In function 'void Gecode::branch(Gecode::Home, const Gecode::IntVarArgs&, Gecode::IntVarBranch, Gecode::IntValBranch, const Gecode::Symmetries&, Gecode::IntBranchFilter, Gecode::IntVarValPrint)': gecode/int/ldsb.cpp:285:7: warning: this statement may fall through [-Wimplicit-fallthrough=] if (vals.commit()) ^~ gecode/int/ldsb.cpp:289:5: note: here default: ^~~~~~~ gecode/int/ldsb.cpp: In function 'void Gecode::branch(Gecode::Home, const Gecode::IntVarArgs&, Gecode::TieBreak, Gecode::IntValBranch, const Gecode::Symmetries&, Gecode::IntBranchFilter, Gecode::IntVarValPrint)': gecode/int/ldsb.cpp:365:11: warning: this statement may fall through [-Wimplicit-fallthrough=] if (vals.commit()) ^~ gecode/int/ldsb.cpp:369:9: note: here default: ^~~~~~~ gecode/int/ldsb.cpp:389:11: warning: this statement may fall through [-Wimplicit-fallthrough=] if (vals.commit()) ^~ gecode/int/ldsb.cpp:393:9: note: here default: ^~~~~~~ gecode/int/ldsb.cpp:413:11: warning: this statement may fall through [-Wimplicit-fallthrough=] if (vals.commit()) ^~ gecode/int/ldsb.cpp:417:9: note: here default: ^~~~~~~ gecode/int/ldsb.cpp: In function 'void Gecode::branch(Gecode::Home, const Gecode::BoolVarArgs&, Gecode::BoolVarBranch, Gecode::BoolValBranch, const Gecode::Symmetries&, Gecode::BoolBranchFilter, Gecode::BoolVarValPrint)': gecode/int/ldsb.cpp:461:7: warning: this statement may fall through [-Wimplicit-fallthrough=] if (vals.commit()) ^~ gecode/int/ldsb.cpp:465:5: note: here default: ^~~~~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-imp.o gecode/int/ldsb/sym-imp.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb/sym-imp.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-obj.o gecode/int/ldsb/sym-obj.cpp In file included from ./gecode/int.hh:4494, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb/sym-obj.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/trace.o gecode/int/trace.cpp In file included from ./gecode/int.hh:4494, from gecode/int/trace.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/trace/tracer.o gecode/int/trace/tracer.cpp In file included from ./gecode/int.hh:4494, from gecode/int/trace/tracer.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdIntTracer::init(const Gecode::Space&, const IntTraceRecorder&)': gecode/int/trace/tracer.cpp:49:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:50:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdIntTracer::prune(const Gecode::Space&, const IntTraceRecorder&, const Gecode::ViewTraceInfo&, int, Gecode::IntTraceDelta&)': gecode/int/trace/tracer.cpp:59:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:60:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdIntTracer::fix(const Gecode::Space&, const IntTraceRecorder&)': gecode/int/trace/tracer.cpp:78:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:79:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdIntTracer::fail(const Gecode::Space&, const IntTraceRecorder&)': gecode/int/trace/tracer.cpp:96:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:97:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdIntTracer::done(const Gecode::Space&, const IntTraceRecorder&)': gecode/int/trace/tracer.cpp:114:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:115:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdBoolTracer::init(const Gecode::Space&, const BoolTraceRecorder&)': gecode/int/trace/tracer.cpp:129:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:130:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdBoolTracer::prune(const Gecode::Space&, const BoolTraceRecorder&, const Gecode::ViewTraceInfo&, int, Gecode::BoolTraceDelta&)': gecode/int/trace/tracer.cpp:139:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:140:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdBoolTracer::fix(const Gecode::Space&, const BoolTraceRecorder&)': gecode/int/trace/tracer.cpp:158:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:159:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdBoolTracer::fail(const Gecode::Space&, const BoolTraceRecorder&)': gecode/int/trace/tracer.cpp:176:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:177:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/int/trace/tracer.cpp: In member function 'virtual void Gecode::StdBoolTracer::done(const Gecode::Space&, const BoolTraceRecorder&)': gecode/int/trace/tracer.cpp:194:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/int/trace/tracer.cpp:195:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/exception.o gecode/int/exception.cpp In file included from ./gecode/int.hh:4494, from gecode/int/exception.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -shared -pthread gecode/int/int-set.o gecode/int/var-imp/int.o gecode/int/var-imp/bool.o gecode/int/var/int.o gecode/int/var/bool.o gecode/int/array.o gecode/int/bool.o gecode/int/bool/eqv.o gecode/int/extensional/dfa.o gecode/int/extensional/tuple-set.o gecode/int/extensional.o gecode/int/dom.o gecode/int/rel.o gecode/int/precede.o gecode/int/element.o gecode/int/count.o gecode/int/arithmetic.o gecode/int/exec.o gecode/int/exec/when.o gecode/int/element/pair.o gecode/int/linear/int-post.o gecode/int/linear-int.o gecode/int/linear/bool-post.o gecode/int/linear-bool.o gecode/int/branch.o gecode/int/distinct/eqite.o gecode/int/distinct.o gecode/int/sorted.o gecode/int/gcc.o gecode/int/channel.o gecode/int/channel/link-single.o gecode/int/channel/link-multi.o gecode/int/unshare.o gecode/int/sequence.o gecode/int/bin-packing.o gecode/int/bin-packing/propagate.o gecode/int/bin-packing/conflict-graph.o gecode/int/unary.o gecode/int/cumulative.o gecode/int/cumulatives.o gecode/int/circuit.o gecode/int/no-overlap.o gecode/int/nvalues.o gecode/int/member.o gecode/int/branch/action.o gecode/int/branch/chb.o gecode/int/arithmetic/mult.o gecode/int/branch/view-sel.o gecode/int/branch/val-sel-commit.o gecode/int/branch/view-values.o gecode/int/relax.o gecode/int/ldsb.o gecode/int/ldsb/sym-imp.o gecode/int/ldsb/sym-obj.o gecode/int/trace.o gecode/int/trace/tracer.o gecode/int/exception.o -Wl,-soname=libgecodeint.so.44 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodeint.so.44.0 ln -fs libgecodeint.so.44.0 libgecodeint.so ln -fs libgecodeint.so.44.0 libgecodeint.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/var/float.o gecode/float/var/float.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/var/float.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/var-imp/float.o gecode/float/var-imp/float.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/var-imp/float.cpp:45: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/arithmetic.o gecode/float/arithmetic.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float/arithmetic.hh:45, from gecode/float/arithmetic.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/array.o gecode/float/array.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/array.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch.o gecode/float/branch.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from ./gecode/float/branch.hh:43, from gecode/float/branch.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:245, from ./gecode/float.hh:51, from ./gecode/float/branch.hh:43, from gecode/float/branch.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Float::FloatView; Val = Gecode::FloatNumBranch; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:260:12: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:368:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' gecode/float/branch.cpp:55:57: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ~~~~~~~~~~~~~~~~~~~~~^~~ In file included from ./gecode/kernel.hh:243, from ./gecode/float.hh:51, from ./gecode/float/branch.hh:43, from gecode/float/branch.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Float::FloatView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Float::FloatView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:260:12: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:374:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' gecode/float/branch.cpp:55:57: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ~~~~~~~~~~~~~~~~~~^~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/rel.o gecode/float/rel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float/rel.hh:49, from gecode/float/rel.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/float/rel.hh:49, from gecode/float/rel.cpp:40: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/linear.o gecode/float/linear.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float/linear.hh:45, from gecode/float/linear.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/linear/post.o gecode/float/linear/post.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float/linear.hh:45, from gecode/float/linear/post.cpp:43: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/bool.o gecode/float/bool.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from ./gecode/float/bool.hh:41, from gecode/float/bool.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/channel.o gecode/float/channel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float/channel.hh:45, from gecode/float/channel.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/transcendental.o gecode/float/transcendental.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/transcendental.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/trigonometric.o gecode/float/trigonometric.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/trigonometric.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/action.o gecode/float/branch/action.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/branch/action.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/chb.o gecode/float/branch/chb.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/branch/chb.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/rounding.o gecode/float/rounding.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/rounding.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/exec.o gecode/float/exec.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/exec.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/val-sel-commit.o gecode/float/branch/val-sel-commit.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from ./gecode/float/branch.hh:43, from gecode/float/branch/val-sel-commit.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/view-sel.o gecode/float/branch/view-sel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from ./gecode/float/branch.hh:43, from gecode/float/branch/view-sel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/dom.o gecode/float/dom.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float/rel.hh:49, from gecode/float/dom.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/int.hh:59, from ./gecode/float/rel.hh:49, from gecode/float/dom.cpp:39: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/relax.o gecode/float/relax.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/relax.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/trace.o gecode/float/trace.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/trace.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/trace/tracer.o gecode/float/trace/tracer.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/trace/tracer.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/float/trace/tracer.cpp: In member function 'virtual void Gecode::StdFloatTracer::init(const Gecode::Space&, const FloatTraceRecorder&)': gecode/float/trace/tracer.cpp:49:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/float/trace/tracer.cpp:50:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/float/trace/tracer.cpp: In member function 'virtual void Gecode::StdFloatTracer::prune(const Gecode::Space&, const FloatTraceRecorder&, const Gecode::ViewTraceInfo&, int, Gecode::FloatTraceDelta&)': gecode/float/trace/tracer.cpp:59:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/float/trace/tracer.cpp:60:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/float/trace/tracer.cpp: In member function 'virtual void Gecode::StdFloatTracer::fix(const Gecode::Space&, const FloatTraceRecorder&)': gecode/float/trace/tracer.cpp:69:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/float/trace/tracer.cpp:70:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/float/trace/tracer.cpp: In member function 'virtual void Gecode::StdFloatTracer::fail(const Gecode::Space&, const FloatTraceRecorder&)': gecode/float/trace/tracer.cpp:87:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/float/trace/tracer.cpp:88:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/float/trace/tracer.cpp: In member function 'virtual void Gecode::StdFloatTracer::done(const Gecode::Space&, const FloatTraceRecorder&)': gecode/float/trace/tracer.cpp:105:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/float/trace/tracer.cpp:106:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/exception.o gecode/float/exception.cpp In file included from ./gecode/int.hh:4494, from ./gecode/float.hh:52, from gecode/float/exception.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -shared -pthread gecode/float/var/float.o gecode/float/var-imp/float.o gecode/float/arithmetic.o gecode/float/array.o gecode/float/branch.o gecode/float/rel.o gecode/float/linear.o gecode/float/linear/post.o gecode/float/bool.o gecode/float/channel.o gecode/float/transcendental.o gecode/float/trigonometric.o gecode/float/branch/action.o gecode/float/branch/chb.o gecode/float/rounding.o gecode/float/exec.o gecode/float/branch/val-sel-commit.o gecode/float/branch/view-sel.o gecode/float/dom.o gecode/float/relax.o gecode/float/trace.o gecode/float/trace/tracer.o gecode/float/exception.o -Wl,-soname=libgecodefloat.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodeint -L/usr/local/lib -L/usr/local/lib -lmpfr -lgmp\ -o libgecodefloat.so.44.0 ln -fs libgecodefloat.so.44.0 libgecodefloat.so ln -fs libgecodefloat.so.44.0 libgecodefloat.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch.o gecode/set/branch.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:245, from ./gecode/set.hh:47, from ./gecode/set/branch.hh:47, from gecode/set/branch.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Set::SetView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:260:12: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:368:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/branch.cpp:55:57: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ~~~~~~~~~~~~~~~~~~~~~^~~ In file included from ./gecode/kernel.hh:243, from ./gecode/set.hh:47, from ./gecode/set/branch.hh:47, from gecode/set/branch.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Set::SetView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Set::SetView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:260:12: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:374:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/branch.cpp:55:57: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ~~~~~~~~~~~~~~~~~~^~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/cardinality.o gecode/set/cardinality.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/cardinality.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/convex.o gecode/set/convex.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/convex.hh:47, from gecode/set/convex.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/convex/conv.o gecode/set/convex/conv.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/convex.hh:47, from gecode/set/convex/conv.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/convex/hull.o gecode/set/convex/hull.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/convex.hh:47, from gecode/set/convex/hull.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/dom.o gecode/set/dom.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/dom.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/set.hh:47, from gecode/set/dom.cpp:41: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel.o gecode/set/rel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/rel.hh:47, from gecode/set/rel.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/set.hh:47, from ./gecode/set/rel.hh:47, from gecode/set/rel.cpp:41: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op.o gecode/set/rel-op.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/rel-op.hh:47, from gecode/set/rel-op.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-ternary.o gecode/set/rel-op-ternary.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/rel-op.hh:47, from gecode/set/rel-op-ternary.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-singleton.o gecode/set/rel-op-singleton.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/rel-op.hh:47, from gecode/set/rel-op-singleton.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl.o gecode/set/rel-op/post-compl.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-compl.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::ComplementView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl.o gecode/set/rel-op/post-nocompl.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-nocompl.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sub(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:91:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:94:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sup(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:132:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:135:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvv.o gecode/set/rel-op/post-compl-cvv.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl-cvv.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-compl-cvv.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::ComplementView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvv.o gecode/set/rel-op/post-nocompl-cvv.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl-cvv.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-nocompl-cvv.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sub(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:91:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:94:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sup(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:132:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:135:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-vvc.o gecode/set/rel-op/post-compl-vvc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl-vvc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-compl-vvc.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-vvc.o gecode/set/rel-op/post-nocompl-vvc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl-vvc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-nocompl-vvc.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sub(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:91:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:94:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sup(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:132:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:135:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::SetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvc.o gecode/set/rel-op/post-compl-cvc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl-cvc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-compl-cvc.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvc.o gecode/set/rel-op/post-nocompl-cvc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl-cvc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/set/rel-op.hh:293, from gecode/set/rel-op/post-nocompl-cvc.cpp:42: ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sub(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:91:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:94:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_sup(Gecode::Home, View0, Gecode::SetOpType, View1, View2) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; View2 = Gecode::Set::ConstSetView]': ./gecode/set/rel-op/post.hpp:132:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:135:5: note: here case SOT_UNION: ^~~~ ./gecode/set/rel-op/post.hpp: In function 'void Gecode::Set::RelOp::rel_eq(Gecode::Home, View0, Gecode::SetOpType, View1, Res) [with View0 = Gecode::Set::ConstSetView; View1 = Gecode::Set::SetView; Res = Gecode::Set::SetView]': ./gecode/set/rel-op/post.hpp:55:62: warning: this statement may fall through [-Wimplicit-fallthrough=] ::post(home, x0, x1, emptyset))); ^ ./gecode/set/rel-op/post.hpp:58:5: note: here case SOT_UNION: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vvc.o gecode/set/rel-op-const-vvc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op-const-vvc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcv.o gecode/set/rel-op-const-vcv.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op-const-vcv.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcc.o gecode/set/rel-op-const-vcc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op-const-vcc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvc.o gecode/set/rel-op-const-cvc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op-const-cvc.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvv.o gecode/set/rel-op-const-cvv.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/rel-op-const-cvv.cpp:41: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/int.o gecode/set/int.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/int.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:152, from ./gecode/set.hh:47, from gecode/set/int.cpp:40: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4170:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4177:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/channel.o gecode/set/channel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/channel.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/bool.o gecode/set/bool.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/bool.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/element.o gecode/set/element.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/element.hh:43, from gecode/set/element.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence.o gecode/set/sequence.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/sequence.hh:47, from gecode/set/sequence.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/distinct.o gecode/set/distinct.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/distinct.hh:41, from gecode/set/distinct.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/distinct/atmostOne.o gecode/set/distinct/atmostOne.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/distinct.hh:41, from gecode/set/distinct/atmostOne.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/precede.o gecode/set/precede.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/precede.hh:47, from gecode/set/precede.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence/seq.o gecode/set/sequence/seq.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/sequence.hh:47, from gecode/set/sequence/seq.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence/seq-u.o gecode/set/sequence/seq-u.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/sequence.hh:47, from gecode/set/sequence/seq-u.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/array.o gecode/set/array.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/array.cpp:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/var-imp/set.o gecode/set/var-imp/set.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/var-imp/set.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/var-imp/integerset.o gecode/set/var-imp/integerset.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/var-imp/integerset.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/var/set.o gecode/set/var/set.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/var/set.cpp:43: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/exec.o gecode/set/exec.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/exec.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/action.o gecode/set/branch/action.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/branch/action.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/chb.o gecode/set/branch/chb.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/branch/chb.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/view-sel.o gecode/set/branch/view-sel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch/view-sel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/val-sel-commit.o gecode/set/branch/val-sel-commit.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch/val-sel-commit.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/ngl.o gecode/set/branch/ngl.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch/ngl.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/ldsb.o gecode/set/ldsb.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ In file included from ./gecode/kernel.hh:245, from ./gecode/set.hh:47, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Set::SetView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:54:20: required from 'Gecode::Set::LDSB::LDSBSetBrancher::LDSBSetBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:265:12: required from 'static void Gecode::Set::LDSB::LDSBSetBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:284:17: required from 'void Gecode::Set::LDSB::postldsbsetbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/ldsb.cpp:171:65: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ~~~~~~~~~~~~~~~~~~~~~^~~ In file included from ./gecode/kernel.hh:243, from ./gecode/set.hh:47, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Set::SetView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Set::SetView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:54:20: required from 'Gecode::Set::LDSB::LDSBSetBrancher::LDSBSetBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:265:12: required from 'static void Gecode::Set::LDSB::LDSBSetBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:289:17: required from 'void Gecode::Set::LDSB::postldsbsetbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/ldsb.cpp:171:65: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ~~~~~~~~~~~~~~~~~~^~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/ldsb/sym-imp.o gecode/set/ldsb/sym-imp.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb/sym-imp.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/relax.o gecode/set/relax.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/relax.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/trace.o gecode/set/trace.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/trace.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/trace/tracer.o gecode/set/trace/tracer.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/trace/tracer.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/set/trace/tracer.cpp: In member function 'virtual void Gecode::StdSetTracer::init(const Gecode::Space&, const SetTraceRecorder&)': gecode/set/trace/tracer.cpp:49:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/set/trace/tracer.cpp:50:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/set/trace/tracer.cpp: In member function 'virtual void Gecode::StdSetTracer::prune(const Gecode::Space&, const SetTraceRecorder&, const Gecode::ViewTraceInfo&, int, Gecode::SetTraceDelta&)': gecode/set/trace/tracer.cpp:59:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/set/trace/tracer.cpp:60:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/set/trace/tracer.cpp: In member function 'virtual void Gecode::StdSetTracer::fix(const Gecode::Space&, const SetTraceRecorder&)': gecode/set/trace/tracer.cpp:91:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/set/trace/tracer.cpp:92:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/set/trace/tracer.cpp: In member function 'virtual void Gecode::StdSetTracer::fail(const Gecode::Space&, const SetTraceRecorder&)': gecode/set/trace/tracer.cpp:109:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/set/trace/tracer.cpp:110:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ gecode/set/trace/tracer.cpp: In member function 'virtual void Gecode::StdSetTracer::done(const Gecode::Space&, const SetTraceRecorder&)': gecode/set/trace/tracer.cpp:127:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (t.group().in()) ^~ gecode/set/trace/tracer.cpp:128:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' os << ",g:";t.group().id(); ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/exception.o gecode/set/exception.cpp In file included from ./gecode/int.hh:4494, from ./gecode/set.hh:48, from gecode/set/exception.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -shared -pthread gecode/set/branch.o gecode/set/cardinality.o gecode/set/convex.o gecode/set/convex/conv.o gecode/set/convex/hull.o gecode/set/dom.o gecode/set/rel.o gecode/set/rel-op.o gecode/set/rel-op-ternary.o gecode/set/rel-op-singleton.o gecode/set/rel-op/post-compl.o gecode/set/rel-op/post-nocompl.o gecode/set/rel-op/post-compl-cvv.o gecode/set/rel-op/post-nocompl-cvv.o gecode/set/rel-op/post-compl-vvc.o gecode/set/rel-op/post-nocompl-vvc.o gecode/set/rel-op/post-compl-cvc.o gecode/set/rel-op/post-nocompl-cvc.o gecode/set/rel-op-const-vvc.o gecode/set/rel-op-const-vcv.o gecode/set/rel-op-const-vcc.o gecode/set/rel-op-const-cvc.o gecode/set/rel-op-const-cvv.o gecode/set/int.o gecode/set/channel.o gecode/set/bool.o gecode/set/element.o gecode/set/sequence.o gecode/set/distinct.o gecode/set/distinct/atmostOne.o gecode/set/precede.o gecode/set/sequence/seq.o gecode/set/sequence/seq-u.o gecode/set/array.o gecode/set/var-imp/set.o gecode/set/var-imp/integerset.o gecode/set/var/set.o gecode/set/exec.o gecode/set/branch/action.o gecode/set/branch/chb.o gecode/set/branch/view-sel.o gecode/set/branch/val-sel-commit.o gecode/set/branch/ngl.o gecode/set/ldsb.o gecode/set/ldsb/sym-imp.o gecode/set/relax.o gecode/set/trace.o gecode/set/trace/tracer.o gecode/set/exception.o -Wl,-soname=libgecodeset.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodeint \ -o libgecodeset.so.44.0 ln -fs libgecodeset.so.44.0 libgecodeset.so ln -fs libgecodeset.so.44.0 libgecodeset.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-expr.o gecode/minimodel/int-expr.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/int-expr.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-rel.o gecode/minimodel/int-rel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/int-rel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-arith.o gecode/minimodel/int-arith.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/int-arith.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/bool-expr.o gecode/minimodel/bool-expr.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/bool-expr.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/minimodel/bool-expr.cpp: At global scope: gecode/minimodel/bool-expr.cpp:258:51: warning: 'visibility' attribute ignored [-Wattributes] static NNF* nnf(Region& r, Node* n, bool neg); ^ gecode/minimodel/bool-expr.cpp:264:35: warning: 'visibility' attribute ignored [-Wattributes] IntPropLevel ipl) const; ^~~~~ gecode/minimodel/bool-expr.cpp:267:49: warning: 'visibility' attribute ignored [-Wattributes] BoolVar expr(Home home, IntPropLevel ipl) const; ^~~~~ gecode/minimodel/bool-expr.cpp:270:45: warning: 'visibility' attribute ignored [-Wattributes] void rel(Home home, IntPropLevel ipl) const; ^~~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/set-expr.o gecode/minimodel/set-expr.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/set-expr.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/minimodel/set-expr.cpp: In member function 'void Gecode::{anonymous}::NNF::post(Gecode::Home, Gecode::SetRelType, Gecode::SetVar, Gecode::BoolVar) const': gecode/minimodel/set-expr.cpp:383:11: warning: this statement may fall through [-Wimplicit-fallthrough=] } ^ gecode/minimodel/set-expr.cpp:385:7: note: here case SetExpr::NT_INTER: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/set-rel.o gecode/minimodel/set-rel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/set-rel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-expr.o gecode/minimodel/float-expr.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/float-expr.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-rel.o gecode/minimodel/float-rel.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/float-rel.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-arith.o gecode/minimodel/float-arith.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/float-arith.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/reg.o gecode/minimodel/reg.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/reg.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/minimodel/reg.cpp: In member function 'void Gecode::REG::Exp::dispose()': gecode/minimodel/reg.cpp:127:9: warning: this statement may fall through [-Wimplicit-fallthrough=] if ((e->data.kids[1] != NULL) && (--e->data.kids[1]->use_cnt == 0)) ^~ gecode/minimodel/reg.cpp:129:7: note: here case ET_STAR: ^~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/optimize.o gecode/minimodel/optimize.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/optimize.cpp:38: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/exception.o gecode/minimodel/exception.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from gecode/minimodel/exception.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -shared -pthread gecode/minimodel/int-expr.o gecode/minimodel/int-rel.o gecode/minimodel/int-arith.o gecode/minimodel/bool-expr.o gecode/minimodel/set-expr.o gecode/minimodel/set-rel.o gecode/minimodel/float-expr.o gecode/minimodel/float-rel.o gecode/minimodel/float-arith.o gecode/minimodel/reg.o gecode/minimodel/optimize.o gecode/minimodel/exception.o -Wl,-soname=libgecodeminimodel.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodeint -lgecodefloat -lgecodeset \ -o libgecodeminimodel.so.44.0 ln -fs libgecodeminimodel.so.44.0 libgecodeminimodel.so ln -fs libgecodeminimodel.so.44.0 libgecodeminimodel.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/driver/options.o gecode/driver/options.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from ./gecode/driver.hh:41, from gecode/driver/options.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/driver/script.o gecode/driver/script.cpp In file included from ./gecode/int.hh:4494, from ./gecode/minimodel.hh:48, from ./gecode/driver.hh:41, from gecode/driver/script.cpp:39: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -shared -pthread gecode/driver/options.o gecode/driver/script.o -Wl,-soname=libgecodedriver.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint -lgecodeminimodel \ -o libgecodedriver.so.44.0 ln -fs libgecodedriver.so.44.0 libgecodedriver.so ln -fs libgecodedriver.so.44.0 libgecodedriver.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/flatzinc.o gecode/flatzinc/flatzinc.cpp In file included from ./gecode/int.hh:4494, from ./gecode/flatzinc.hh:48, from gecode/flatzinc/flatzinc.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/registry.o gecode/flatzinc/registry.cpp In file included from ./gecode/int.hh:4494, from ./gecode/flatzinc.hh:48, from ./gecode/flatzinc/registry.hh:41, from gecode/flatzinc/registry.cpp:42: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/parser.tab.o gecode/flatzinc/parser.tab.cpp In file included from ./gecode/int.hh:4494, from ./gecode/flatzinc.hh:48, from gecode/flatzinc/parser.yxx:44: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ gecode/flatzinc/parser.yxx: In function 'int yyparse(void*)': gecode/flatzinc/parser.yxx:1888:75: warning: 'e.Gecode::FlatZinc::SymbolEntry::i' may be used uninitialized in this function [-Wmaybe-uninitialized] if ($3 == 0 || $3 > pp->arrays[e.i]) { ^ gecode/flatzinc/parser.yxx:1879:21: note: 'e.Gecode::FlatZinc::SymbolEntry::i' was declared here SymbolEntry e; ^ gecode/flatzinc/parser.yxx:1894:11: warning: 'e' may be used uninitialized in this function [-Wmaybe-uninitialized] if (e.t == ST_INTVARARRAY) ^~ gecode/flatzinc/parser.yxx:1879:21: note: 'e' was declared here SymbolEntry e; ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/lexer.yy.o gecode/flatzinc/lexer.yy.cpp gecode/flatzinc/lexer.yy.cpp:406: warning: "yywrap" redefined gecode/flatzinc/lexer.yy.cpp:78: note: this is the location of the previous definition c++ -shared -pthread gecode/flatzinc/flatzinc.o gecode/flatzinc/registry.o gecode/flatzinc/parser.tab.o gecode/flatzinc/lexer.yy.o -Wl,-soname=libgecodeflatzinc.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint \ -lgecodeset -lgecodefloat -lgecodeminimodel -lgecodedriver \ -o libgecodeflatzinc.so.44.0 ln -fs libgecodeflatzinc.so.44.0 libgecodeflatzinc.so ln -fs libgecodeflatzinc.so.44.0 libgecodeflatzinc.so.44 gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'framework'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o tools/flatzinc/fzn-gecode.o tools/flatzinc/fzn-gecode.cpp In file included from ./gecode/int.hh:4494, from ./gecode/flatzinc.hh:48, from tools/flatzinc/fzn-gecode.cpp:40: ./gecode/int/branch/var.hpp: In function 'Gecode::BoolVarBranch Gecode::BOOL_VAR_CHB_MAX(Gecode::BoolCHB, Gecode::BranchTbl)': ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ~~~~~~~~^ c++ -o tools/flatzinc/fzn-gecode tools/flatzinc/fzn-gecode.o \ -L. -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -lgecodeflatzinc -lgecodedriver -lgecodesearch -lgecodeminimodel -lgecodeset -lgecodefloat -L/usr/local/lib -L/usr/local/lib -lmpfr -lgmp -lgecodeint -lgecodekernel -lgecodesupport perl ./misc/fixmanifest.perl .so.44.0 tools/flatzinc/fzn-gecode.manifest gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' Compilation of Gecode finished successfully. To use Gecode, either add /construction/devel/gecode/gecode-5.1.0 to your search path for libraries, or install Gecode using make install gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[2]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for gecode-5.1.0_3 ===> Generating temporary packing list gmake[2]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: 'gecode/kernel/var-type.hpp' is up to date. gmake[3]: 'gecode/kernel/var-imp.hpp' is up to date. gmake[3]: 'libgecodesupport.so.44.0' is up to date. gmake[3]: 'libgecodekernel.so.44.0' is up to date. gmake[3]: 'libgecodesearch.so.44.0' is up to date. gmake[3]: 'libgecodeint.so.44.0' is up to date. gmake[3]: 'libgecodefloat.so.44.0' is up to date. gmake[3]: 'libgecodeset.so.44.0' is up to date. gmake[3]: 'libgecodeminimodel.so.44.0' is up to date. gmake[3]: 'libgecodedriver.so.44.0' is up to date. gmake[3]: 'libgecodeflatzinc.so.44.0' is up to date. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'framework'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'flatzinc'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake doinstalllib gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' mkdir -p /construction/devel/gecode/stage/usr/local/lib && \ mkdir -p /construction/devel/gecode/stage/usr/local/lib && \ mkdir -p /construction/devel/gecode/stage/usr/local/bin && \ for_libtargets="libgecodesupport.so.44.0 libgecodekernel.so.44.0 libgecodesearch.so.44.0 libgecodeint.so.44.0 libgecodefloat.so.44.0 libgecodeset.so.44.0 libgecodeminimodel.so.44.0 libgecodedriver.so.44.0 libgecodeflatzinc.so.44.0 " && \ for f in $for_libtargets; do \ cp $f /construction/devel/gecode/stage/usr/local/lib; done && \ for_liblinktargets="libgecodesupport.so.44 libgecodekernel.so.44 libgecodesearch.so.44 libgecodeint.so.44 libgecodefloat.so.44 libgecodeset.so.44 libgecodeminimodel.so.44 libgecodedriver.so.44 libgecodeflatzinc.so.44 libgecodesupport.so libgecodekernel.so libgecodesearch.so libgecodeint.so libgecodefloat.so libgecodeset.so libgecodeminimodel.so libgecodedriver.so libgecodeflatzinc.so" && \ for f in $for_liblinktargets; do \ cp -pR $f /construction/devel/gecode/stage/usr/local/lib; done &&\ for_liblibtargets="" && \ for f in $for_liblibtargets; do \ cp $f /construction/devel/gecode/stage/usr/local/lib; done &&\ for_exetargets="tools/flatzinc/fzn-gecode tools/flatzinc/mzn-gecode" && \ for f in $for_exetargets; do \ cp $f /construction/devel/gecode/stage/usr/local/bin; done gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake doinstallheaders gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' mkdir -p /construction/devel/gecode/stage/usr/local/include && \ (cd . && tar cf - gecode/support.hh gecode/support/block-allocator.hpp gecode/support/cast.hpp gecode/support/dynamic-array.hpp gecode/support/dynamic-stack.hpp gecode/support/exception.hpp gecode/support/allocator.hpp gecode/support/heap.hpp gecode/support/macros.hpp gecode/support/random.hpp gecode/support/sort.hpp gecode/support/static-stack.hpp gecode/support/marked-pointer.hpp gecode/support/int-type.hpp gecode/support/auto-link.hpp gecode/support/thread.hpp gecode/support/thread/thread.hpp gecode/support/thread/windows.hpp gecode/support/thread/pthreads.hpp gecode/support/thread/none.hpp gecode/support/timer.hpp gecode/support/dynamic-queue.hpp gecode/support/bitset-base.hpp gecode/support/bitset.hpp gecode/support/bitset-offset.hpp gecode/support/hw-rnd.hpp gecode/support/run-jobs.hpp gecode/kernel.hh gecode/kernel/wait.hh gecode/kernel/archive.hpp gecode/kernel/array.hpp gecode/kernel/shared-array.hpp gecode/kernel/shared-data.hpp gecode/kernel/core.hpp gecode/kernel/exception.hpp gecode/kernel/macros.hpp gecode/kernel/memory-config.hpp gecode/kernel/memory-manager.hpp gecode/kernel/region.hpp gecode/kernel/modevent.hpp gecode/kernel/range-list.hpp gecode/kernel/propagator.hpp gecode/kernel/advisor.hpp gecode/kernel/view.hpp gecode/kernel/var.hpp gecode/kernel/branch-var.hpp gecode/kernel/branch-val.hpp gecode/kernel/branch-tiebreak.hpp gecode/kernel/brancher-view-sel.hpp gecode/kernel/brancher-merit.hpp gecode/kernel/brancher-val-sel.hpp gecode/kernel/brancher-val-commit.hpp gecode/kernel/brancher-view.hpp gecode/kernel/brancher-view-val.hpp gecode/kernel/brancher-val-sel-commit.hpp gecode/kernel/brancher-print.hpp gecode/kernel/brancher-filter.hpp gecode/kernel/allocators.hpp gecode/kernel/gpi.hpp gecode/kernel/afc.hpp gecode/kernel/action.hpp gecode/kernel/chb.hpp gecode/kernel/rnd.hpp gecode/kernel/branch-traits.hpp gecode/kernel/trace-traits.hpp gecode/kernel/trace-filter.hpp gecode/kernel/tracer.hpp gecode/kernel/trace-recorder.hpp gecode/kernel/trace.hpp gecode/kernel/trace-print.hpp gecode/kernel/subscribed-propagators.hpp gecode/search.hh gecode/search/statistics.hpp gecode/search/stop.hpp gecode/search/options.hpp gecode/search/cutoff.hpp gecode/search/support.hh gecode/search/worker.hh gecode/search/exception.hpp gecode/search/engine.hpp gecode/search/base.hpp gecode/search/build.hpp gecode/search/traits.hpp gecode/search/sebs.hpp gecode/search/sequential/path.hh gecode/search/sequential/dfs.hh gecode/search/sequential/bab.hh gecode/search/sequential/lds.hh gecode/search/parallel/path.hh gecode/search/parallel/engine.hh gecode/search/parallel/dfs.hh gecode/search/parallel/bab.hh gecode/search/meta/rbs.hh gecode/search/meta/rbs.hpp gecode/search/meta/nogoods.hh gecode/search/meta/dead.hh gecode/search/meta/sequential/pbs.hh gecode/search/meta/parallel/pbs.hh gecode/search/meta/sequential/pbs.hpp gecode/search/meta/parallel/pbs.hpp gecode/search/dfs.hpp gecode/search/bab.hpp gecode/search/lds.hpp gecode/search/rbs.hpp gecode/search/pbs.hpp gecode/search/relax.hh gecode/int.hh gecode/int/limits.hpp gecode/int/support-values.hh gecode/int/support-values.hpp gecode/int/idx-view.hh gecode/int/idx-view.hpp gecode/int/div.hh gecode/int/div.hpp gecode/int/exec.hh gecode/int/exec/when.hpp gecode/int/arithmetic/abs.hpp gecode/int/arithmetic/max.hpp gecode/int/arithmetic/argmax.hpp gecode/int/arithmetic/mult.hpp gecode/int/arithmetic/divmod.hpp gecode/int/arithmetic/pow-ops.hpp gecode/int/arithmetic/pow.hpp gecode/int/arithmetic/nroot.hpp gecode/int/bool/or.hpp gecode/int/bool/eq.hpp gecode/int/bool/lq.hpp gecode/int/bool/eqv.hpp gecode/int/bool/base.hpp gecode/int/bool/clause.hpp gecode/int/bool/ite.hpp gecode/int/precede.hh gecode/int/precede/single.hpp gecode/int/branch/traits.hpp gecode/int/branch/var.hpp gecode/int/branch/val.hpp gecode/int/branch/assign.hpp gecode/int/branch/view-values.hpp gecode/int/branch/merit.hpp gecode/int/branch/val-sel.hpp gecode/int/branch/val-commit.hpp gecode/int/branch/ngl.hpp gecode/int/count.hh gecode/int/count/rel.hpp gecode/int/count/int-base.hpp gecode/int/count/int-eq.hpp gecode/int/count/int-gq.hpp gecode/int/count/int-lq.hpp gecode/int/count/view-base.hpp gecode/int/count/view-eq.hpp gecode/int/count/view-gq.hpp gecode/int/count/view-lq.hpp gecode/int/view-val-graph.hh gecode/int/view-val-graph/graph.hpp gecode/int/view-val-graph/bi-link.hpp gecode/int/view-val-graph/comb-ptr-flag.hpp gecode/int/view-val-graph/edge.hpp gecode/int/view-val-graph/node.hpp gecode/int/view-val-graph/iter-prune-val.hpp gecode/int/distinct/graph.hpp gecode/int/distinct/dom-ctrl.hpp gecode/int/distinct/bnd.hpp gecode/int/distinct/dom.hpp gecode/int/distinct/val.hpp gecode/int/distinct/ter-dom.hpp gecode/int/distinct/eqite.hpp gecode/int/dom/range.hpp gecode/int/dom/set.hpp gecode/int/element/int.hpp gecode/int/element/view.hpp gecode/int/element/pair.hpp gecode/int/gcc/bnd.hpp gecode/int/gcc/dom.hpp gecode/int/gcc/bnd-sup.hpp gecode/int/gcc/dom-sup.hpp gecode/int/gcc/val.hpp gecode/int/gcc/view.hpp gecode/int/gcc/post.hpp gecode/int/linear/post.hpp gecode/int/linear/int-noview.hpp gecode/int/linear/int-bin.hpp gecode/int/linear/int-ter.hpp gecode/int/linear/int-nary.hpp gecode/int/linear/int-dom.hpp gecode/int/linear/bool-int.hpp gecode/int/linear/bool-view.hpp gecode/int/linear/bool-scale.hpp gecode/int/extensional/dfa.hpp gecode/int/extensional/layered-graph.hpp gecode/int/extensional/tuple-set.hpp gecode/int/extensional/base.hpp gecode/int/extensional/basic.hpp gecode/int/extensional/incremental.hpp gecode/int/rel/eq.hpp gecode/int/rel/lex.hpp gecode/int/rel/lq-le.hpp gecode/int/rel/nq.hpp gecode/int/sorted/matching.hpp gecode/int/sorted/narrowing.hpp gecode/int/sorted/order.hpp gecode/int/sorted/propagate.hpp gecode/int/sorted/sortsup.hpp gecode/int/int-set-1.hpp gecode/int/int-set-2.hpp gecode/int/var-imp/delta.hpp gecode/int/var/print.hpp gecode/int/var/bool.hpp gecode/int/var-imp/int.hpp gecode/int/var-imp/bool.hpp gecode/int/var/int.hpp gecode/int/view/bool.hpp gecode/int/view/cached.hpp gecode/int/view/constint.hpp gecode/int/view/zero.hpp gecode/int/view/int.hpp gecode/int/view/minus.hpp gecode/int/view/print.hpp gecode/int/view/neg-bool.hpp gecode/int/view/bool-test.hpp gecode/int/view/offset.hpp gecode/int/view/rel-test.hpp gecode/int/view/scale.hpp gecode/int/view/iter.hpp gecode/int/arithmetic.hh gecode/int/array.hpp gecode/int/array-traits.hpp gecode/int/bool.hh gecode/int/branch.hh gecode/int/distinct.hh gecode/int/dom.hh gecode/int/element.hh gecode/int/exception.hpp gecode/int/gcc.hh gecode/int/linear.hh gecode/int/reify.hpp gecode/int/propagator.hpp gecode/int/extensional.hh gecode/int/rel.hh gecode/int/sorted.hh gecode/int/var-imp.hpp gecode/int/view.hpp gecode/int/ipl.hpp gecode/int/irt.hpp gecode/int/channel.hh gecode/int/channel.hpp gecode/int/channel/dom.hpp gecode/int/channel/val.hpp gecode/int/channel/base.hpp gecode/int/channel/link-single.hpp gecode/int/channel/link-multi.hpp gecode/int/sequence.hh gecode/int/sequence/int.hpp gecode/int/sequence/view.hpp gecode/int/sequence/set-op.hpp gecode/int/sequence/violations.hpp gecode/int/bin-packing.hh gecode/int/bin-packing/propagate.hpp gecode/int/bin-packing/conflict-graph.hpp gecode/int/task.hh gecode/int/task/fwd-to-bwd.hpp gecode/int/task/array.hpp gecode/int/task/sort.hpp gecode/int/task/iter.hpp gecode/int/task/tree.hpp gecode/int/task/purge.hpp gecode/int/task/prop.hpp gecode/int/task/man-to-opt.hpp gecode/int/task/event.hpp gecode/int/unary.hh gecode/int/unary/task.hpp gecode/int/unary/task-view.hpp gecode/int/unary/tree.hpp gecode/int/unary/overload.hpp gecode/int/unary/detectable.hpp gecode/int/unary/time-tabling.hpp gecode/int/unary/not-first-not-last.hpp gecode/int/unary/edge-finding.hpp gecode/int/unary/subsumption.hpp gecode/int/unary/man-prop.hpp gecode/int/unary/opt-prop.hpp gecode/int/unary/post.hpp gecode/int/cumulative.hh gecode/int/cumulative/man-prop.hpp gecode/int/cumulative/opt-prop.hpp gecode/int/cumulative/task-view.hpp gecode/int/cumulative/overload.hpp gecode/int/cumulative/time-tabling.hpp gecode/int/cumulative/task.hpp gecode/int/cumulative/edge-finding.hpp gecode/int/cumulative/post.hpp gecode/int/cumulative/tree.hpp gecode/int/cumulative/limits.hpp gecode/int/cumulative/subsumption.hpp gecode/int/cumulatives.hh gecode/int/cumulatives/val.hpp gecode/int/circuit.hh gecode/int/circuit/base.hpp gecode/int/circuit/val.hpp gecode/int/circuit/dom.hpp gecode/int/no-overlap.hh gecode/int/no-overlap/dim.hpp gecode/int/no-overlap/box.hpp gecode/int/no-overlap/base.hpp gecode/int/no-overlap/man.hpp gecode/int/no-overlap/opt.hpp gecode/int/nvalues.hh gecode/int/nvalues/range-event.hpp gecode/int/nvalues/sym-bit-matrix.hpp gecode/int/nvalues/graph.hpp gecode/int/nvalues/bool-base.hpp gecode/int/nvalues/bool-eq.hpp gecode/int/nvalues/bool-lq.hpp gecode/int/nvalues/bool-gq.hpp gecode/int/nvalues/int-base.hpp gecode/int/nvalues/int-eq.hpp gecode/int/nvalues/int-lq.hpp gecode/int/nvalues/int-gq.hpp gecode/int/val-set.hh gecode/int/val-set.hpp gecode/int/member.hh gecode/int/member/prop.hpp gecode/int/member/re-prop.hpp gecode/int/branch/afc.hpp gecode/int/branch/action.hpp gecode/int/branch/chb.hpp gecode/int/ldsb.hh gecode/int/ldsb/brancher.hpp gecode/int/ldsb/sym-imp.hpp gecode/int/trace.hpp gecode/int/trace/bool-trace-view.hpp gecode/int/trace/int-trace-view.hpp gecode/int/trace/bool-delta.hpp gecode/int/trace/int-delta.hpp gecode/int/trace/traits.hpp gecode/float.hh gecode/float/var-imp.hpp gecode/float/array.hpp gecode/float/array-traits.hpp gecode/float/limits.hpp gecode/float/exception.hpp gecode/float/view.hpp gecode/float/view/float.hpp gecode/float/view/minus.hpp gecode/float/view/offset.hpp gecode/float/view/scale.hpp gecode/float/view/print.hpp gecode/float/view/rel-test.hpp gecode/float/var-imp/float.hpp gecode/float/var-imp/delta.hpp gecode/float/var/float.hpp gecode/float/var/print.hpp gecode/float/linear.hh gecode/float/linear/nary.hpp gecode/float/arithmetic.hh gecode/float/arithmetic/sqr-sqrt.hpp gecode/float/arithmetic/pow-nroot.hpp gecode/float/arithmetic/mult.hpp gecode/float/arithmetic/div.hpp gecode/float/arithmetic/min-max.hpp gecode/float/arithmetic/abs.hpp gecode/float/channel.hh gecode/float/channel.hpp gecode/float/channel/channel.hpp gecode/float/transcendental.hh gecode/float/transcendental/exp-log.hpp gecode/float/trigonometric.hh gecode/float/trigonometric/sincos.hpp gecode/float/trigonometric/asinacos.hpp gecode/float/trigonometric/tanatan.hpp gecode/float/rel.hh gecode/float/rel/eq.hpp gecode/float/rel/lq-le.hpp gecode/float/rel/nq.hpp gecode/float/bool.hh gecode/float/bool/ite.hpp gecode/float/branch.hh gecode/float/branch/afc.hpp gecode/float/branch/action.hpp gecode/float/branch/chb.hpp gecode/float/branch/traits.hpp gecode/float/branch/var.hpp gecode/float/branch/val.hpp gecode/float/branch/assign.hpp gecode/float/branch/val-commit.hpp gecode/float/branch/val-sel.hpp gecode/float/branch/merit.hpp gecode/float/num.hpp gecode/float/val.hpp gecode/float/rounding.hpp gecode/float/nextafter.hpp gecode/float/trace.hpp gecode/float/trace/trace-view.hpp gecode/float/trace/delta.hpp gecode/float/trace/traits.hpp gecode/set.hh gecode/set/limits.hpp gecode/set/view.hpp gecode/set/exception.hpp gecode/set/int.hh gecode/set/int.hpp gecode/set/element.hh gecode/set/var-imp.hpp gecode/set/int/card.hpp gecode/set/int/minmax.hpp gecode/set/int/weights.hpp gecode/set/channel/sorted.hpp gecode/set/channel/int.hpp gecode/set/channel/bool.hpp gecode/set/channel/set.hpp gecode/set/element/inter.hpp gecode/set/element/union.hpp gecode/set/element/unionConst.hpp gecode/set/element/disjoint.hpp gecode/set/array.hpp gecode/set/array-traits.hpp gecode/set/var-imp/set.hpp gecode/set/var-imp/integerset.hpp gecode/set/var-imp/delta.hpp gecode/set/var-imp/iter.hpp gecode/set/var/set.hpp gecode/set/var/print.hpp gecode/set/view/complement.hpp gecode/set/view/const.hpp gecode/set/view/set.hpp gecode/set/view/singleton.hpp gecode/set/view/cached.hpp gecode/set/view/print.hpp gecode/set/rel/subset.hpp gecode/set/rel/re-subset.hpp gecode/set/rel/eq.hpp gecode/set/rel/nq.hpp gecode/set/rel/re-eq.hpp gecode/set/rel/lq.hpp gecode/set/rel/re-lq.hpp gecode/set/rel/common.hpp gecode/set/rel/nosubset.hpp gecode/set/sequence.hh gecode/set/rel-op/union.hpp gecode/set/rel-op/partition.hpp gecode/set/rel-op/subofunion.hpp gecode/set/rel-op/inter.hpp gecode/set/rel-op/superofinter.hpp gecode/set/rel-op/post.hpp gecode/set/rel-op/common.hpp gecode/set/rel.hh gecode/set/distinct.hh gecode/set/distinct/atmostOne.hpp gecode/set/sequence/seq.hpp gecode/set/sequence/seq-u.hpp gecode/set/sequence/common.hpp gecode/set/convex/conv.hpp gecode/set/convex/hull.hpp gecode/set/convex.hh gecode/set/precede.hh gecode/set/precede/single.hpp gecode/set/rel-op.hh gecode/set/branch.hh gecode/set/branch/afc.hpp gecode/set/branch/action.hpp gecode/set/branch/chb.hpp gecode/set/branch/traits.hpp gecode/set/branch/var.hpp gecode/set/branch/val.hpp gecode/set/branch/assign.hpp gecode/set/branch/merit.hpp gecode/set/branch/val-commit.hpp gecode/set/branch/val-sel.hpp gecode/set/branch/ngl.hpp gecode/set/ldsb.hh gecode/set/ldsb/brancher.hpp gecode/set/channel.hh gecode/set/trace.hpp gecode/set/trace/trace-view.hpp gecode/set/trace/delta.hpp gecode/set/trace/traits.hpp gecode/minimodel.hh gecode/minimodel/int-rel.hpp gecode/minimodel/float-rel.hpp gecode/minimodel/exception.hpp gecode/minimodel/matrix.hpp gecode/minimodel/bool-expr.hpp gecode/minimodel/set-expr.hpp gecode/minimodel/set-rel.hpp gecode/minimodel/optimize.hpp gecode/minimodel/reg.hpp gecode/minimodel/ldsb.hpp gecode/driver.hh gecode/driver/options.hpp gecode/driver/script.hpp gecode/iter.hh gecode/iter/ranges-add.hpp gecode/iter/ranges-append.hpp gecode/iter/ranges-array.hpp gecode/iter/ranges-cache.hpp gecode/iter/ranges-compl.hpp gecode/iter/ranges-diff.hpp gecode/iter/ranges-empty.hpp gecode/iter/ranges-inter.hpp gecode/iter/ranges-minmax.hpp gecode/iter/ranges-minus.hpp gecode/iter/ranges-offset.hpp gecode/iter/ranges-operations.hpp gecode/iter/ranges-rangelist.hpp gecode/iter/ranges-scale.hpp gecode/iter/ranges-singleton.hpp gecode/iter/ranges-singleton-append.hpp gecode/iter/ranges-size.hpp gecode/iter/ranges-union.hpp gecode/iter/ranges-values.hpp gecode/iter/ranges-negative.hpp gecode/iter/ranges-positive.hpp gecode/iter/ranges-map.hpp gecode/iter/ranges-list.hpp gecode/iter/values-array.hpp gecode/iter/values-minus.hpp gecode/iter/values-offset.hpp gecode/iter/values-ranges.hpp gecode/iter/values-positive.hpp gecode/iter/values-negative.hpp gecode/iter/values-singleton.hpp gecode/iter/values-unique.hpp gecode/iter/values-inter.hpp gecode/iter/values-union.hpp gecode/iter/values-map.hpp gecode/iter/values-bitset.hpp gecode/iter/values-list.hpp gecode/iter/values-bitsetoffset.hpp gecode/gist/drawingcursor.hh gecode/gist/drawingcursor.hpp gecode/gist/gist.hpp gecode/gist/gecodelogo.hh gecode/gist/node.hh gecode/gist/node.hpp gecode/gist/nodecursor.hh gecode/gist/nodecursor.hpp gecode/gist/nodevisitor.hh gecode/gist/nodevisitor.hpp gecode/gist/layoutcursor.hh gecode/gist/layoutcursor.hpp gecode/gist/spacenode.hh gecode/gist/spacenode.hpp gecode/gist/qtgist.hh gecode/gist/textoutput.hh gecode/gist/treecanvas.hh gecode/gist/zoomToFitIcon.hpp gecode/gist/visualnode.hh gecode/gist/visualnode.hpp gecode/gist/nodestats.hh gecode/gist/nodewidget.hh gecode/gist/mainwindow.hh gecode/gist/preferences.hh gecode/gist/stopbrancher.hh gecode/gist.hh gecode/flatzinc/ast.hh gecode/flatzinc/conexpr.hh gecode/flatzinc/option.hh gecode/flatzinc/parser.hh gecode/flatzinc/plugin.hh gecode/flatzinc/registry.hh gecode/flatzinc/symboltable.hh gecode/flatzinc/varspec.hh gecode/flatzinc.hh gecode/third-party/boost/config/compiler/borland.hpp gecode/third-party/boost/config/compiler/clang.hpp gecode/third-party/boost/config/compiler/codegear.hpp gecode/third-party/boost/config/compiler/comeau.hpp gecode/third-party/boost/config/compiler/common_edg.hpp gecode/third-party/boost/config/compiler/compaq_cxx.hpp gecode/third-party/boost/config/compiler/digitalmars.hpp gecode/third-party/boost/config/compiler/gcc.hpp gecode/third-party/boost/config/compiler/gcc_xml.hpp gecode/third-party/boost/config/compiler/greenhills.hpp gecode/third-party/boost/config/compiler/hp_acc.hpp gecode/third-party/boost/config/compiler/intel.hpp gecode/third-party/boost/config/compiler/kai.hpp gecode/third-party/boost/config/compiler/metrowerks.hpp gecode/third-party/boost/config/compiler/mpw.hpp gecode/third-party/boost/config/compiler/nvcc.hpp gecode/third-party/boost/config/compiler/pathscale.hpp gecode/third-party/boost/config/compiler/pgi.hpp gecode/third-party/boost/config/compiler/sgi_mipspro.hpp gecode/third-party/boost/config/compiler/sunpro_cc.hpp gecode/third-party/boost/config/compiler/vacpp.hpp gecode/third-party/boost/config/compiler/visualc.hpp gecode/third-party/boost/config/no_tr1/cmath.hpp gecode/third-party/boost/config/no_tr1/utility.hpp gecode/third-party/boost/config/platform/aix.hpp gecode/third-party/boost/config/platform/amigaos.hpp gecode/third-party/boost/config/platform/beos.hpp gecode/third-party/boost/config/platform/bsd.hpp gecode/third-party/boost/config/platform/cygwin.hpp gecode/third-party/boost/config/platform/hpux.hpp gecode/third-party/boost/config/platform/irix.hpp gecode/third-party/boost/config/platform/linux.hpp gecode/third-party/boost/config/platform/macos.hpp gecode/third-party/boost/config/platform/qnxnto.hpp gecode/third-party/boost/config/platform/solaris.hpp gecode/third-party/boost/config/platform/symbian.hpp gecode/third-party/boost/config/platform/vms.hpp gecode/third-party/boost/config/platform/vxworks.hpp gecode/third-party/boost/config/platform/win32.hpp gecode/third-party/boost/config/posix_features.hpp gecode/third-party/boost/config/select_compiler_config.hpp gecode/third-party/boost/config/select_platform_config.hpp gecode/third-party/boost/config/select_stdlib_config.hpp gecode/third-party/boost/config/stdlib/dinkumware.hpp gecode/third-party/boost/config/stdlib/libcomo.hpp gecode/third-party/boost/config/stdlib/libcpp.hpp gecode/third-party/boost/config/stdlib/libstdcpp3.hpp gecode/third-party/boost/config/stdlib/modena.hpp gecode/third-party/boost/config/stdlib/msl.hpp gecode/third-party/boost/config/stdlib/roguewave.hpp gecode/third-party/boost/config/stdlib/sgi.hpp gecode/third-party/boost/config/stdlib/stlport.hpp gecode/third-party/boost/config/stdlib/vacpp.hpp gecode/third-party/boost/config/suffix.hpp gecode/third-party/boost/config/user.hpp gecode/third-party/boost/config.hpp gecode/third-party/boost/detail/endian.hpp gecode/third-party/boost/detail/limits.hpp gecode/third-party/boost/numeric/interval/arith.hpp gecode/third-party/boost/numeric/interval/arith2.hpp gecode/third-party/boost/numeric/interval/arith3.hpp gecode/third-party/boost/numeric/interval/checking.hpp gecode/third-party/boost/numeric/interval/compare/certain.hpp gecode/third-party/boost/numeric/interval/compare/explicit.hpp gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp gecode/third-party/boost/numeric/interval/compare/possible.hpp gecode/third-party/boost/numeric/interval/compare/set.hpp gecode/third-party/boost/numeric/interval/compare.hpp gecode/third-party/boost/numeric/interval/constants.hpp gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/bugs.hpp gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/division.hpp gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/test_input.hpp gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp gecode/third-party/boost/numeric/interval/hw_rounding.hpp gecode/third-party/boost/numeric/interval/interval.hpp gecode/third-party/boost/numeric/interval/policies.hpp gecode/third-party/boost/numeric/interval/rounded_arith.hpp gecode/third-party/boost/numeric/interval/rounded_transc.hpp gecode/third-party/boost/numeric/interval/rounding.hpp gecode/third-party/boost/numeric/interval/transc.hpp gecode/third-party/boost/numeric/interval/utility.hpp gecode/third-party/boost/numeric/interval.hpp gecode/third-party/boost/LICENSE_1_0.txt gecode/third-party/boost/limits.hpp gecode/third-party/boost/non_type.hpp gecode/third-party/boost/type.hpp) | \ (cd /construction/devel/gecode/stage/usr/local/include && tar xf -) && \ for_varimpheaders="gecode/kernel/var-type.hpp gecode/kernel/var-imp.hpp" && \ for f in $for_varimpheaders; do \ cp $f /construction/devel/gecode/stage/usr/local/include/gecode/kernel; done && \ for_extraheaders="gecode/support/config.hpp gecode/flatzinc/parser.tab.hh" && \ for f in $for_extraheaders; do \ cp $f /construction/devel/gecode/stage/usr/local/include/$f; done && \ for_mznlib="gecode/flatzinc/mznlib" && \ for f in $for_mznlib; do \ mkdir -p /construction/devel/gecode/stage/usr/local/share/gecode/mznlib; \ cp ./$f/*.mzn \ /construction/devel/gecode/stage/usr/local/share/gecode/mznlib; done gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake ranliblib gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'ranliblib'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake installsubdirs gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[2]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for gecode-5.1.0_3 file sizes/checksums [750]: ........ done packing files [750]: ........ done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 7 MAR 2019 at 01:57:36 UTC Duration: 00:34:15