=>> Building math/gecode build started at Mon Jan 19 13:06:07 EST 2026 port directory: /usr/ports/math/gecode package name: gecode-6.3.0_7 building for: FreeBSD pkg.DaveG.ca 14.3-RELEASE-p7 FreeBSD 14.3-RELEASE-p7 1403000 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 2728 Aug 27 2024 /usr/ports/math/gecode/Makefile Ports top last git commit: 076a295eb33c Ports top unclean checkout: no Port dir last git commit: 617da838ad2b Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1403000 Job Id: 04 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1403000 UNAME_v=FreeBSD 14.3-RELEASE-p7 1403000 UNAME_r=14.3-RELEASE-p7 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_14_3_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=xterm-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_14_3_x64-HEAD-ALL/04/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_3_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_3_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for gecode-6.3.0_7: AUDIT=off: Build with auditing code CBS=on: Support for counting-based search FLATZINC=on: Build FlatZinc interpreter GIST=off: Enable gist, graphical and interactive search tool PEAKHEAP=off: Peak heap size tracking PROFILE=off: Build with profiling information SEARCH=on: Build search engines ====> Library type: you can only select none or one of them SHARED=on: Build shared executables and/or libraries STATIC=off: Build static executables and/or libraries ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --disable-examples --disable-audit --enable-cbs --enable-flatzinc --disable-gist --disable-qt --disable-peakheap --disable-profile --enable-search --enable-shared --disable-static --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/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=/wrkdirs/usr/ports/math/gecode/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/gecode/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/gecode/work/.cache HOME=/wrkdirs/usr/ports/math/gecode/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/gecode/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/gecode/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288 --End CONFIGURE_ENV-- --MAKE_ENV-- PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/wrkdirs/usr/ports/math/gecode/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/gecode/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/gecode/work/.cache HOME=/wrkdirs/usr/ports/math/gecode/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/gecode/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/gecode/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " 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" --End MAKE_ENV-- --PLIST_SUB-- AUDIT="@comment " NO_AUDIT="" CBS="" NO_CBS="@comment " FLATZINC="" NO_FLATZINC="@comment " GIST="@comment " NO_GIST="" PEAKHEAP="@comment " NO_PEAKHEAP="" PROFILE="@comment " NO_PROFILE="" SEARCH="" NO_SEARCH="@comment " SHARED="" NO_SHARED="@comment " STATIC="@comment " NO_STATIC="" OSREL=14.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PERL_VERSION=5.42.0 PERL_VER=5.42 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.42 DOCSDIR="share/doc/gecode" EXAMPLESDIR="share/examples/gecode" DATADIR="share/minizinc/gecode" WWWDIR="www/gecode" ETCDIR="etc/gecode" --End PLIST_SUB-- --SUB_LIST-- AUDIT="@comment " NO_AUDIT="" CBS="" NO_CBS="@comment " FLATZINC="" NO_FLATZINC="@comment " GIST="@comment " NO_GIST="" PEAKHEAP="@comment " NO_PEAKHEAP="" PROFILE="@comment " NO_PROFILE="" SEARCH="" NO_SEARCH="@comment " SHARED="" NO_SHARED="@comment " STATIC="@comment " NO_STATIC="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/minizinc/gecode DOCSDIR=/usr/local/share/doc/gecode EXAMPLESDIR=/usr/local/share/examples/gecode WWWDIR=/usr/local/www/gecode ETCDIR=/usr/local/etc/gecode --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> gecode-6.3.0_7 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.5.1.pkg [pkg.DaveG.ca] Installing pkg-2.5.1... [pkg.DaveG.ca] Extracting pkg-2.5.1: .......... done ===> gecode-6.3.0_7 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of gecode-6.3.0_7 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by gecode-6.3.0_7 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by gecode-6.3.0_7 for building => SHA256 Checksum OK for Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by gecode-6.3.0_7 for building ===> Extracting for gecode-6.3.0_7 => SHA256 Checksum OK for Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for gecode-6.3.0_7 ===> Applying FreeBSD patches for gecode-6.3.0_7 from /usr/ports/math/gecode/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> gecode-6.3.0_7 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.8.2_2,1.pkg [pkg.DaveG.ca] Installing bison-3.8.2_2,1... [pkg.DaveG.ca] `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] `-- Installing libtextstyle-0.26... [pkg.DaveG.ca] `-- Extracting libtextstyle-0.26: .......... done [pkg.DaveG.ca] `-- Installing m4-1.4.20,1... [pkg.DaveG.ca] `-- Extracting m4-1.4.20,1: .......... done [pkg.DaveG.ca] Extracting bison-3.8.2_2,1: .......... done ===> gecode-6.3.0_7 depends on executable: bison - found ===> Returning to build of gecode-6.3.0_7 ===> gecode-6.3.0_7 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [pkg.DaveG.ca] Installing gmake-4.4.1... [pkg.DaveG.ca] Extracting gmake-4.4.1: .......... done ===> gecode-6.3.0_7 depends on package: gmake>=4.4.1 - found ===> Returning to build of gecode-6.3.0_7 ===> gecode-6.3.0_7 depends on package: perl5>=5.42.r<5.43 - not found ===> Installing existing package /packages/All/perl5-5.42.0_1.pkg [pkg.DaveG.ca] Installing perl5-5.42.0_1... [pkg.DaveG.ca] Extracting perl5-5.42.0_1: .......... done ===> gecode-6.3.0_7 depends on package: perl5>=5.42.r<5.43 - found ===> Returning to build of gecode-6.3.0_7 ===> gecode-6.3.0_7 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> gecode-6.3.0_7 depends on file: /usr/local/bin/ccache - found ===> Returning to build of gecode-6.3.0_7 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for gecode-6.3.0_7 configure: loading site script /usr/ports/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 os/lock.h usability... no checking os/lock.h presence... no checking for os/lock.h... no 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 -Wno-unknown-pragmas... yes checking whether cc accepts -Wno-unknown-pragmas... yes checking whether c++ accepts -pipe... yes checking whether cc accepts -pipe... yes checking whether c++ accepts -std=c++17... yes checking whether cc accepts -std=c++17... no checking whether c++ accepts -ggdb... yes checking for __builtin_ffsll... no checking for __builtin_popcountll... no checking whether to use gcc visibility attributes... yes checking whether c++ accepts -fvisibility=hidden... yes checking if compiler supports forced inlining... no checking whether c++ accepts -O3... yes checking whether cc accepts -O3... 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... no checking whether cc accepts -fno-signaling-nans... no 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... yes checking whether cc accepts -Qunused-arguments... yes 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... yes 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... no checking for __gmpz_init in -lmpir... no checking gmp.h usability... no checking gmp.h presence... no checking for gmp.h... no checking for qmake-qt5... no checking for qmake... no checking for moc-qt5... no checking for moc... no checking whether to build with Qt support... no checking whether to build Gist... no checking whether to build with support for cbs... yes checking whether to build with support for CPProfiler... 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... (cached) 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 tools/flatzinc/gecode.msc config.status: creating tools/flatzinc/gecode-gist.msc config.status: creating doxygen.conf config.status: creating doxygen.hh config.status: creating gecode/support/config.hpp =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for gecode-6.3.0_7 gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' 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. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/exception.o gecode/support/exception.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/allocator.o gecode/support/allocator.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/heap.o gecode/support/heap.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/thread/thread.o gecode/support/thread/thread.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/thread/windows.o gecode/support/thread/windows.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/thread/pthreads.o gecode/support/thread/pthreads.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/support/hw-rnd.o gecode/support/hw-rnd.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/archive.o gecode/kernel/archive.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/core.o gecode/kernel/core.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/exception.o gecode/kernel/exception.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/gpi.o gecode/kernel/gpi.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/data/rnd.o gecode/kernel/data/rnd.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/branch/action.o gecode/kernel/branch/action.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/branch/afc.o gecode/kernel/branch/afc.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/branch/chb.o gecode/kernel/branch/chb.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/branch/function.o gecode/kernel/branch/function.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/memory/manager.o gecode/kernel/memory/manager.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/memory/region.o gecode/kernel/memory/region.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/trace/recorder.o gecode/kernel/trace/recorder.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/trace/filter.o gecode/kernel/trace/filter.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/trace/tracer.o gecode/kernel/trace/tracer.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/trace/general.o gecode/kernel/trace/general.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/kernel/data/array.o gecode/kernel/data/array.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/stop.o gecode/search/stop.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/options.o gecode/search/options.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/cutoff.o gecode/search/cutoff.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/engine.o gecode/search/engine.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/dfs.o gecode/search/dfs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/bab.o gecode/search/bab.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/lds.o gecode/search/lds.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/seq/rbs.o gecode/search/seq/rbs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/seq/dead.o gecode/search/seq/dead.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/seq/pbs.o gecode/search/seq/pbs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/par/pbs.o gecode/search/par/pbs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/rbs.o gecode/search/rbs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/pbs.o gecode/search/pbs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/nogoods.o gecode/search/nogoods.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/exception.o gecode/search/exception.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/tracer.o gecode/search/tracer.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/search/cpprofiler/tracer.o gecode/search/cpprofiler/tracer.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/int-set.o gecode/int/int-set.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/var-imp/int.o gecode/int/var-imp/int.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/var-imp/bool.o gecode/int/var-imp/bool.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/var/int.o gecode/int/var/int.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/var/bool.o gecode/int/var/bool.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/array.o gecode/int/array.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/bool.o gecode/int/bool.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/bool/eqv.o gecode/int/bool/eqv.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/extensional/dfa.o gecode/int/extensional/dfa.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/extensional/tuple-set.o gecode/int/extensional/tuple-set.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/extensional-regular.o gecode/int/extensional-regular.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/extensional-tuple-set.o gecode/int/extensional-tuple-set.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/dom.o gecode/int/dom.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/rel.o gecode/int/rel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/precede.o gecode/int/precede.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/element.o gecode/int/element.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/count.o gecode/int/count.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/arithmetic.o gecode/int/arithmetic.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/exec.o gecode/int/exec.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/exec/when.o gecode/int/exec/when.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/element/pair.o gecode/int/element/pair.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/linear/int-post.o gecode/int/linear/int-post.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/linear-int.o gecode/int/linear-int.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/linear/bool-post.o gecode/int/linear/bool-post.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/linear-bool.o gecode/int/linear-bool.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/branch.o gecode/int/branch.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/distinct/eqite.o gecode/int/distinct/eqite.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/distinct/cbs.o gecode/int/distinct/cbs.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/distinct.o gecode/int/distinct.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/sorted.o gecode/int/sorted.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/gcc.o gecode/int/gcc.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/channel.o gecode/int/channel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/channel/link-single.o gecode/int/channel/link-single.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/channel/link-multi.o gecode/int/channel/link-multi.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/unshare.o gecode/int/unshare.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/sequence.o gecode/int/sequence.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/bin-packing.o gecode/int/bin-packing.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/bin-packing/propagate.o gecode/int/bin-packing/propagate.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/bin-packing/conflict-graph.o gecode/int/bin-packing/conflict-graph.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/order.o gecode/int/order.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/order/propagate.o gecode/int/order/propagate.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/unary.o gecode/int/unary.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/cumulative.o gecode/int/cumulative.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/cumulatives.o gecode/int/cumulatives.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/circuit.o gecode/int/circuit.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/no-overlap.o gecode/int/no-overlap.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/nvalues.o gecode/int/nvalues.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/member.o gecode/int/member.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/branch/action.o gecode/int/branch/action.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/branch/chb.o gecode/int/branch/chb.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/arithmetic/mult.o gecode/int/arithmetic/mult.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/branch/view-sel.o gecode/int/branch/view-sel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/branch/val-sel-commit.o gecode/int/branch/val-sel-commit.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/branch/view-values.o gecode/int/branch/view-values.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/relax.o gecode/int/relax.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/ldsb.o gecode/int/ldsb.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-imp.o gecode/int/ldsb/sym-imp.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-obj.o gecode/int/ldsb/sym-obj.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/trace.o gecode/int/trace.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/trace/tracer.o gecode/int/trace/tracer.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/int/exception.o gecode/int/exception.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/var/float.o gecode/float/var/float.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/var-imp/float.o gecode/float/var-imp/float.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/arithmetic.o gecode/float/arithmetic.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/array.o gecode/float/array.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/branch.o gecode/float/branch.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/rel.o gecode/float/rel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/linear.o gecode/float/linear.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/linear/post.o gecode/float/linear/post.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/bool.o gecode/float/bool.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/channel.o gecode/float/channel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/transcendental.o gecode/float/transcendental.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/trigonometric.o gecode/float/trigonometric.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/branch/action.o gecode/float/branch/action.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/branch/chb.o gecode/float/branch/chb.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/rounding.o gecode/float/rounding.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/exec.o gecode/float/exec.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/branch/val-sel-commit.o gecode/float/branch/val-sel-commit.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/branch/view-sel.o gecode/float/branch/view-sel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/dom.o gecode/float/dom.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/relax.o gecode/float/relax.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/trace.o gecode/float/trace.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/trace/tracer.o gecode/float/trace/tracer.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/float/exception.o gecode/float/exception.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/branch.o gecode/set/branch.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/cardinality.o gecode/set/cardinality.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/convex.o gecode/set/convex.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/convex/conv.o gecode/set/convex/conv.cpp In file included from gecode/float/var/float.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/var/float.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/convex/hull.o gecode/set/convex/hull.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/dom.o gecode/set/dom.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel.o gecode/set/rel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op.o gecode/set/rel-op.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-ternary.o gecode/set/rel-op-ternary.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-singleton.o gecode/set/rel-op-singleton.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl.o gecode/set/rel-op/post-compl.cpp In file included from gecode/float/var-imp/float.cpp:41: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/var-imp/float.cpp:41: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl.o gecode/set/rel-op/post-nocompl.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvv.o gecode/set/rel-op/post-compl-cvv.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvv.o gecode/set/rel-op/post-nocompl-cvv.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -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/float/channel.cpp:36: In file included from ./gecode/float/channel.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/channel.cpp:36: In file included from ./gecode/float/channel.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-vvc.o gecode/set/rel-op/post-nocompl-vvc.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -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/float/trigonometric.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/trigonometric.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvc.o gecode/set/rel-op/post-nocompl-cvc.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vvc.o gecode/set/rel-op-const-vvc.cpp In file included from gecode/float/transcendental.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/transcendental.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcv.o gecode/set/rel-op-const-vcv.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcc.o gecode/set/rel-op-const-vcc.cpp In file included from gecode/float/array.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/array.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvc.o gecode/set/rel-op-const-cvc.cpp In file included from gecode/float/branch/chb.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/branch/chb.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvv.o gecode/set/rel-op-const-cvv.cpp In file included from gecode/float/linear.cpp:36: In file included from ./gecode/float/linear.hh:158: ./gecode/float/linear/nary.hpp:112:19: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 112 | return ((n == std::numeric_limits::infinity()) || | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/float/linear/nary.hpp:113:20: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 113 | (n == -std::numeric_limits::infinity())); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from gecode/float/linear.cpp:36: In file included from ./gecode/float/linear.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/linear.cpp:36: In file included from ./gecode/float/linear.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 4 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/int.o gecode/set/int.cpp In file included from gecode/float/exec.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/exec.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/channel.o gecode/set/channel.cpp In file included from gecode/float/branch/action.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/branch/action.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/bool.o gecode/set/bool.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/element.o gecode/set/element.cpp In file included from gecode/float/rel.cpp:36: In file included from ./gecode/float/rel.hh:46: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/rel.cpp:36: In file included from ./gecode/float/rel.hh:46: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/sequence.o gecode/set/sequence.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/distinct.o gecode/set/distinct.cpp In file included from gecode/float/rounding.cpp:38: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/rounding.cpp:38: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/distinct/atmostOne.o gecode/set/distinct/atmostOne.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/precede.o gecode/set/precede.cpp In file included from gecode/float/trace/tracer.cpp:35: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/trace/tracer.cpp:35: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/sequence/seq.o gecode/set/sequence/seq.cpp In file included from gecode/float/relax.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/relax.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/sequence/seq-u.o gecode/set/sequence/seq-u.cpp In file included from gecode/float/bool.cpp:34: In file included from ./gecode/float/bool.hh:37: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/bool.cpp:34: In file included from ./gecode/float/bool.hh:37: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/array.o gecode/set/array.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/var-imp/set.o gecode/set/var-imp/set.cpp In file included from gecode/float/trace.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/trace.cpp:34: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/float/linear/post.cpp:39: In file included from ./gecode/float/linear.hh:158: ./gecode/float/linear/nary.hpp:112:19: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 112 | return ((n == std::numeric_limits::infinity()) || | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/float/linear/nary.hpp:113:20: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 113 | (n == -std::numeric_limits::infinity())); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from gecode/float/linear/post.cpp:39: In file included from ./gecode/float/linear.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/linear/post.cpp:39: In file included from ./gecode/float/linear.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 4 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/var-imp/integerset.o gecode/set/var-imp/integerset.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/var/set.o gecode/set/var/set.cpp In file included from gecode/float/dom.cpp:35: In file included from ./gecode/float/rel.hh:46: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/dom.cpp:35: In file included from ./gecode/float/rel.hh:46: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/exec.o gecode/set/exec.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/branch/action.o gecode/set/branch/action.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/branch/chb.o gecode/set/branch/chb.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/branch/view-sel.o gecode/set/branch/view-sel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/branch/val-sel-commit.o gecode/set/branch/val-sel-commit.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/branch/ngl.o gecode/set/branch/ngl.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/ldsb.o gecode/set/ldsb.cpp In file included from gecode/float/exception.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/exception.cpp:36: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/ldsb/sym-imp.o gecode/set/ldsb/sym-imp.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/relax.o gecode/set/relax.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/trace.o gecode/set/trace.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/trace/tracer.o gecode/set/trace/tracer.cpp In file included from gecode/float/arithmetic.cpp:36: In file included from ./gecode/float/arithmetic.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/arithmetic.cpp:36: In file included from ./gecode/float/arithmetic.hh:42: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/set/exception.o gecode/set/exception.cpp In file included from gecode/float/branch/val-sel-commit.cpp:34: In file included from ./gecode/float/branch.hh:39: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/branch/val-sel-commit.cpp:34: In file included from ./gecode/float/branch.hh:39: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/int-expr.o gecode/minimodel/int-expr.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/int-rel.o gecode/minimodel/int-rel.cpp In file included from gecode/float/branch.cpp:34: In file included from ./gecode/float/branch.hh:39: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/branch.cpp:34: In file included from ./gecode/float/branch.hh:39: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/int-arith.o gecode/minimodel/int-arith.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/bool-expr.o gecode/minimodel/bool-expr.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/set-expr.o gecode/minimodel/set-expr.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/set-rel.o gecode/minimodel/set-rel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/dom.o gecode/minimodel/dom.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/float-expr.o gecode/minimodel/float-expr.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/float-rel.o gecode/minimodel/float-rel.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/float-arith.o gecode/minimodel/float-arith.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/reg.o gecode/minimodel/reg.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/optimize.o gecode/minimodel/optimize.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/exception.o gecode/minimodel/exception.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/minimodel/ipl.o gecode/minimodel/ipl.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/driver/options.o gecode/driver/options.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -c -o gecode/driver/script.o gecode/driver/script.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ \ -c -o gecode/flatzinc/flatzinc.o gecode/flatzinc/flatzinc.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ \ -c -o gecode/flatzinc/registry.o gecode/flatzinc/registry.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ \ -c -o gecode/flatzinc/branch.o gecode/flatzinc/branch.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ \ -c -o gecode/flatzinc/parser.tab.o gecode/flatzinc/parser.tab.cpp c++ -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ \ -c -o gecode/flatzinc/lexer.yy.o gecode/flatzinc/lexer.yy.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.51 \ -o libgecodesupport.so.51.0 ln -fs libgecodesupport.so.51.0 libgecodesupport.so ln -fs libgecodesupport.so.51.0 libgecodesupport.so.51 c++ -shared -pthread gecode/kernel/archive.o gecode/kernel/core.o gecode/kernel/exception.o gecode/kernel/gpi.o gecode/kernel/data/rnd.o gecode/kernel/branch/action.o gecode/kernel/branch/afc.o gecode/kernel/branch/chb.o gecode/kernel/branch/function.o gecode/kernel/memory/manager.o gecode/kernel/memory/region.o gecode/kernel/trace/recorder.o gecode/kernel/trace/filter.o gecode/kernel/trace/tracer.o gecode/kernel/trace/general.o gecode/kernel/data/array.o -Wl,-soname=libgecodekernel.so.51 \ -L. -lgecodesupport \ -o libgecodekernel.so.51.0 In file included from gecode/float/branch/view-sel.cpp:34: In file included from ./gecode/float/branch.hh:39: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/float/branch/view-sel.cpp:34: In file included from ./gecode/float/branch.hh:39: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. ln -fs libgecodekernel.so.51.0 libgecodekernel.so ln -fs libgecodekernel.so.51.0 libgecodekernel.so.51 In file included from gecode/minimodel/int-rel.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/int-rel.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -shared -pthread gecode/search/stop.o gecode/search/options.o gecode/search/cutoff.o gecode/search/engine.o gecode/search/dfs.o gecode/search/bab.o gecode/search/lds.o gecode/search/seq/rbs.o gecode/search/seq/dead.o gecode/search/seq/pbs.o gecode/search/par/pbs.o gecode/search/rbs.o gecode/search/pbs.o gecode/search/nogoods.o gecode/search/exception.o gecode/search/tracer.o gecode/search/cpprofiler/tracer.o -Wl,-soname=libgecodesearch.so.51 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodesearch.so.51.0 In file included from gecode/set/ldsb/sym-imp.cpp:34: In file included from ./gecode/set/ldsb.hh:142: ./gecode/set/ldsb/brancher.hpp:104:9: warning: variable 'n' set but not used [-Wunused-but-set-variable] 104 | int n = 0; | ^ 1 warning generated. ln -fs libgecodesearch.so.51.0 libgecodesearch.so ln -fs libgecodesearch.so.51.0 libgecodesearch.so.51 In file included from gecode/minimodel/set-rel.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/set-rel.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/bool-expr.cpp:38: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/bool-expr.cpp:38: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/float-rel.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/float-rel.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/float-arith.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/float-arith.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/exception.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/exception.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/set-expr.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/set-expr.cpp:36: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/int-arith.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/int-arith.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/dom.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/dom.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/float-expr.cpp:38: In file included from ./gecode/float/linear.hh:158: ./gecode/float/linear/nary.hpp:112:19: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 112 | return ((n == std::numeric_limits::infinity()) || | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/float/linear/nary.hpp:113:20: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 113 | (n == -std::numeric_limits::infinity())); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from gecode/minimodel/float-expr.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/float-expr.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 4 warnings generated. In file included from gecode/minimodel/ipl.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/ipl.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/int-expr.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/int-expr.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/minimodel/optimize.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/optimize.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/driver/script.cpp:35: In file included from ./gecode/driver.hh:37: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/driver/script.cpp:35: In file included from ./gecode/driver.hh:37: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. gecode/minimodel/reg.cpp:718:11: warning: variable 'd' set but not used [-Wunused-but-set-variable] 718 | int d = 0; | ^ In file included from gecode/minimodel/reg.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/minimodel/reg.cpp:34: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 3 warnings generated. In file included from gecode/driver/options.cpp:35: In file included from ./gecode/driver.hh:37: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/driver/options.cpp:35: In file included from ./gecode/driver.hh:37: In file included from ./gecode/minimodel.hh:51: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from ./gecode/flatzinc/lexer.lxx:54: In file included from ./gecode/flatzinc/parser.hh:37: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from ./gecode/flatzinc/lexer.lxx:54: In file included from ./gecode/flatzinc/parser.hh:37: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/flatzinc/branch.cpp:35: In file included from ./gecode/flatzinc/branch.hh:39: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/flatzinc/branch.cpp:35: In file included from ./gecode/flatzinc/branch.hh:39: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/set/ldsb.cpp:34: In file included from ./gecode/set/ldsb.hh:142: ./gecode/set/ldsb/brancher.hpp:104:9: warning: variable 'n' set but not used [-Wunused-but-set-variable] 104 | int n = 0; | ^ 1 warning generated. In file included from gecode/flatzinc/registry.cpp:38: In file included from ./gecode/flatzinc/registry.hh:37: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/flatzinc/registry.cpp:38: In file included from ./gecode/flatzinc/registry.hh:37: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/int/extensional-regular.cpp:34: In file included from ./gecode/int/extensional.hh:353: ./gecode/int/extensional/tiny-bit-set.hpp:52:9: warning: misleading indentation; statement is not part of the previous 'for' [-Wmisleading-indentation] 52 | for (unsigned int i=n; i::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from ./gecode/flatzinc/parser.yxx:40: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 3 warnings generated. In file included from gecode/flatzinc/flatzinc.cpp:38: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:49:13: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 49 | return -std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from gecode/flatzinc/flatzinc.cpp:38: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. In file included from gecode/int/extensional-tuple-set.cpp:38: In file included from ./gecode/int/extensional.hh:353: ./gecode/int/extensional/tiny-bit-set.hpp:52:9: warning: misleading indentation; statement is not part of the previous 'for' [-Wmisleading-indentation] 52 | for (unsigned int i=n; i::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:42: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::neg_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ In file included from tools/flatzinc/fzn-gecode.cpp:36: In file included from ./gecode/flatzinc.hh:49: In file included from ./gecode/float.hh:80: In file included from ./gecode/third-party/boost/numeric/interval.hpp:23: ./gecode/third-party/boost/numeric/interval/checking.hpp:44:12: warning: use of infinity is undefined behavior due to the currently enabled floating-point options [-Wnan-infinity-disabled] 44 | return std::numeric_limits::infinity(); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./gecode/third-party/boost/numeric/interval/interval.hpp:304:63: note: in instantiation of member function 'gecode_boost::numeric::interval_lib::checking_base::pos_inf' requested here 304 | return interval(checking::neg_inf(), checking::pos_inf(), true); | ^ ./gecode/third-party/boost/numeric/interval/detail/division.hpp:142:38: note: in instantiation of member function 'gecode_boost::numeric::interval, gecode_boost::numeric::interval_lib::checking_strict>>::whole' requested here 142 | else return interval::whole(); | ^ ./gecode/third-party/boost/numeric/interval/arith.hpp:256:38: note: in instantiation of function template specialization 'gecode_boost::numeric::interval_lib::detail::div_zero, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 256 | return interval_lib::detail::div_zero(x); | ^ ./gecode/float/val.hpp:214:24: note: in instantiation of function template specialization 'gecode_boost::numeric::operator/, gecode_boost::numeric::interval_lib::checking_strict>>' requested here 214 | return FloatVal(x.x/y.x); | ^ 2 warnings generated. c++ -o tools/flatzinc/fzn-gecode tools/flatzinc/fzn-gecode.o \ -L. -I. -Qunused-arguments -fcx-limited-range -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing \ -lgecodeflatzinc -lgecodedriver -lgecodesearch -lgecodeminimodel -lgecodeset -lgecodefloat -lgecodeint -lgecodekernel -lgecodesupport perl ./misc/fixmanifest.perl .so.51.0 tools/flatzinc/fzn-gecode.manifest gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' Compilation of Gecode finished successfully. To use Gecode, either add /wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40 to your search path for libraries, or install Gecode using make install gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for gecode-6.3.0_7 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: 'gecode/kernel/var-type.hpp' is up to date. gmake[1]: 'gecode/kernel/var-imp.hpp' is up to date. gmake[1]: 'libgecodesupport.so.51.0' is up to date. gmake[1]: 'libgecodekernel.so.51.0' is up to date. gmake[1]: 'libgecodesearch.so.51.0' is up to date. gmake[1]: 'libgecodeint.so.51.0' is up to date. gmake[1]: 'libgecodefloat.so.51.0' is up to date. gmake[1]: 'libgecodeset.so.51.0' is up to date. gmake[1]: 'libgecodeminimodel.so.51.0' is up to date. gmake[1]: 'libgecodedriver.so.51.0' is up to date. gmake[1]: 'libgecodeflatzinc.so.51.0' is up to date. gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Nothing to be done for 'framework'. gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Nothing to be done for 'flatzinc'. gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' /usr/local/bin/gmake doinstalllib gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' mkdir -p /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/lib && \ mkdir -p /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/lib && \ mkdir -p /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/bin && \ for_libtargets="libgecodesupport.so.51.0 libgecodekernel.so.51.0 libgecodesearch.so.51.0 libgecodeint.so.51.0 libgecodefloat.so.51.0 libgecodeset.so.51.0 libgecodeminimodel.so.51.0 libgecodedriver.so.51.0 libgecodeflatzinc.so.51.0 " && \ for f in $for_libtargets; do \ cp $f /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/lib; done && \ for_liblinktargets="libgecodesupport.so.51 libgecodekernel.so.51 libgecodesearch.so.51 libgecodeint.so.51 libgecodefloat.so.51 libgecodeset.so.51 libgecodeminimodel.so.51 libgecodedriver.so.51 libgecodeflatzinc.so.51 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 /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/lib; done &&\ for_liblibtargets="" && \ for f in $for_liblibtargets; do \ cp $f /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/lib; done &&\ for_exetargets="tools/flatzinc/fzn-gecode tools/flatzinc/mzn-gecode" && \ for f in $for_exetargets; do \ cp $f /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/bin; done gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' /usr/local/bin/gmake doinstallheaders gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' mkdir -p /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/include && \ (cd . && tar cf - gecode/support.hh gecode/support/block-allocator.hpp gecode/support/cast.hpp gecode/support/hash.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/support/ref-count.hpp gecode/kernel.hh gecode/kernel/archive.hpp gecode/kernel/core.hpp gecode/kernel/exception.hpp gecode/kernel/macros.hpp gecode/kernel/modevent.hpp gecode/kernel/gpi.hpp gecode/kernel/shared-object.hpp gecode/kernel/shared-space-data.hpp gecode/kernel/range-list.hpp gecode/kernel/view.hpp gecode/kernel/var.hpp gecode/kernel/memory/config.hpp gecode/kernel/memory/manager.hpp gecode/kernel/memory/region.hpp gecode/kernel/memory/allocators.hpp gecode/kernel/data/array.hpp gecode/kernel/data/rnd.hpp gecode/kernel/data/shared-array.hpp gecode/kernel/data/shared-data.hpp gecode/kernel/propagator/pattern.hpp gecode/kernel/propagator/advisor.hpp gecode/kernel/propagator/subscribed.hpp gecode/kernel/propagator/wait.hpp gecode/kernel/branch/var.hpp gecode/kernel/branch/val.hpp gecode/kernel/branch/tiebreak.hpp gecode/kernel/branch/traits.hpp gecode/kernel/branch/afc.hpp gecode/kernel/branch/action.hpp gecode/kernel/branch/chb.hpp gecode/kernel/branch/view-sel.hpp gecode/kernel/branch/merit.hpp gecode/kernel/branch/val-sel.hpp gecode/kernel/branch/val-commit.hpp gecode/kernel/branch/view.hpp gecode/kernel/branch/view-val.hpp gecode/kernel/branch/val-sel-commit.hpp gecode/kernel/branch/print.hpp gecode/kernel/branch/filter.hpp gecode/kernel/trace/traits.hpp gecode/kernel/trace/filter.hpp gecode/kernel/trace/tracer.hpp gecode/kernel/trace/recorder.hpp gecode/kernel/trace/general.hpp gecode/kernel/trace/print.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/nogoods.hh gecode/search/nogoods.hpp gecode/search/build.hpp gecode/search/traits.hpp gecode/search/sebs.hpp gecode/search/seq/path.hh gecode/search/seq/path.hpp gecode/search/seq/dfs.hh gecode/search/seq/dfs.hpp gecode/search/seq/bab.hh gecode/search/seq/bab.hpp gecode/search/seq/lds.hh gecode/search/seq/lds.hpp gecode/search/seq/rbs.hh gecode/search/seq/rbs.hpp gecode/search/seq/dead.hh gecode/search/seq/pbs.hh gecode/search/seq/pbs.hpp gecode/search/par/path.hh gecode/search/par/path.hpp gecode/search/par/engine.hh gecode/search/par/engine.hpp gecode/search/par/dfs.hh gecode/search/par/dfs.hpp gecode/search/par/bab.hh gecode/search/par/bab.hpp gecode/search/par/pbs.hh gecode/search/par/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/search/tracer.hpp gecode/search/trace-recorder.hpp gecode/search/cpprofiler/message.hpp gecode/search/cpprofiler/connector.hpp 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/branch/cbs.hpp gecode/int/branch.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/cbs.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/compact.hpp gecode/int/extensional/tiny-bit-set.hpp gecode/int/extensional/bit-set.hpp gecode/int/extensional.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/order.hh gecode/int/order/propagate.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.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.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-expr.hpp gecode/minimodel/int-rel.hpp gecode/minimodel/float-expr.hpp gecode/minimodel/float-rel.hpp gecode/minimodel/bool-expr.hpp gecode/minimodel/set-expr.hpp gecode/minimodel/set-rel.hpp gecode/minimodel/exception.hpp gecode/minimodel/matrix.hpp gecode/minimodel/optimize.hpp gecode/minimodel/reg.hpp gecode/minimodel/ldsb.hpp gecode/minimodel/channel.hpp gecode/minimodel/aliases.hpp gecode/minimodel/ipl.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/branch.hh gecode/flatzinc/branch.hpp gecode/flatzinc/lastval.hh gecode/flatzinc/complete.hh gecode/flatzinc.hh examples/scowl.hpp examples/job-shop-instances.hpp 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 /wrkdirs/usr/ports/math/gecode/work/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 /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/include/gecode/kernel; done && \ for_extraheaders="gecode/support/config.hpp gecode/flatzinc/parser.tab.hpp" && \ for f in $for_extraheaders; do \ cp $f /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/include/$f; done && \ mkdir -p /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/share/minizinc/solvers && \ for_flatconf="tools/flatzinc/gecode.msc" && \ for f in $for_flatconf; do \ cp $f /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/share/minizinc/solvers; done && \ for_mznlib="gecode/flatzinc/mznlib" && \ mkdir -p /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/share/minizinc/gecode; \ for f in $for_mznlib; do \ cp ./$f/*.mzn \ /wrkdirs/usr/ports/math/gecode/work/stage/usr/local/share/minizinc/gecode; done gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' /usr/local/bin/gmake ranliblib gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Nothing to be done for 'ranliblib'. gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' /usr/local/bin/gmake installsubdirs gmake[1]: Entering directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/gecode/work/gecode-fc22c40' ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-01-19T18:06:07+0000' 'PKG_NOTE_ports_top_git_hash=076a295eb33c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=617da838ad2b' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for gecode-6.3.0_7 ===> Building gecode-6.3.0_7 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for gecode-6.3.0_7 build of math/gecode | gecode-6.3.0_7 ended at Mon Jan 19 13:08:06 EST 2026 build time: 00:02:00