Diff of the two buildlogs: -- --- b1/build.log 2024-04-25 19:55:09.921256545 +0000 +++ b2/build.log 2024-04-25 20:00:45.626947028 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Thu Apr 25 07:47:11 -12 2024 -I: pbuilder-time-stamp: 1714074431 +I: Current time: Fri Apr 26 09:55:30 +14 2024 +I: pbuilder-time-stamp: 1714074930 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -28,52 +28,84 @@ dpkg-source: info: applying ldflags.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/5875/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/D01_modify_environment starting +debug: Running on virt64z. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Apr 25 19:55 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='armhf' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='armhf' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") + BASH_VERSION='5.2.21(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=armhf + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=arm + HOST_ARCH=armhf IFS=' ' - INVOCATION_ID='44700d3b9f734c13b96645cfc56918f6' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='5875' - PS1='# ' - PS2='> ' + INVOCATION_ID=e95df963df41403ba208261f1220fe8a + LANG=C + LANGUAGE=it_CH:it + LC_ALL=C + MACHTYPE=arm-unknown-linux-gnueabihf + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnueabihf + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=32433 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.v5We6tMu/pbuilderrc_2buS --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.v5We6tMu/b1 --logfile b1/build.log cadical_1.7.4-1.dsc' - SUDO_GID='113' - SUDO_UID='107' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://10.0.0.15:3142/' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.v5We6tMu/pbuilderrc_6U9q --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.v5We6tMu/b2 --logfile b2/build.log cadical_1.7.4-1.dsc' + SUDO_GID=110 + SUDO_UID=103 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://10.0.0.15:3142/ I: uname -a - Linux virt32a 6.1.0-20-armmp-lpae #1 SMP Debian 6.1.85-1 (2024-04-11) armv7l GNU/Linux + Linux i-capture-the-hostname 6.1.0-20-arm64 #1 SMP Debian 6.1.85-1 (2024-04-11) aarch64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Apr 25 11:24 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/5875/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Apr 23 11:25 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -86,7 +118,7 @@ Depends: debhelper-compat (= 13), help2man dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. -(Reading database ... 19468 files and directories currently installed.) +(Reading database ... 19638 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: @@ -143,10 +175,10 @@ Get: 30 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 31 http://deb.debian.org/debian trixie/main armhf debhelper all 13.15.3 [901 kB] Get: 32 http://deb.debian.org/debian trixie/main armhf help2man armhf 1.49.3 [198 kB] -Fetched 18.6 MB in 1s (35.5 MB/s) +Fetched 18.6 MB in 0s (65.5 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package liblocale-gettext-perl. -(Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19468 files and directories currently installed.) +(Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19638 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-6+b1_armhf.deb ... Unpacking liblocale-gettext-perl (1.07-6+b1) ... Selecting previously unselected package sensible-utils. @@ -286,7 +318,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/cadical-1.7.4/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../cadical_1.7.4-1_source.changes +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/cadical-1.7.4/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../cadical_1.7.4-1_source.changes dpkg-buildpackage: info: source package cadical dpkg-buildpackage: info: source version 1.7.4-1 dpkg-buildpackage: info: source distribution unstable @@ -318,7 +354,7 @@ configure: optionally run 'make test' make[1]: Leaving directory '/build/reproducible-path/cadical-1.7.4' dh_auto_build - make -j3 + make -j4 make[1]: Entering directory '/build/reproducible-path/cadical-1.7.4' make -C "/build/reproducible-path/cadical-1.7.4/build" make[2]: Entering directory '/build/reproducible-path/cadical-1.7.4/build' @@ -326,6 +362,8 @@ g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/arena.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/assume.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/averages.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/backtrack.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/backward.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -444,26 +482,8 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/backtrack.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/backward.cpp -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)' at ../src/analyze.cpp:316:26, - inlined from 'void CaDiCaL::Internal::analyze()' at ../src/analyze.cpp:976:20: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)' at ../src/analyze.cpp:282:26, - inlined from 'void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)' at ../src/analyze.cpp:319:23, - inlined from 'void CaDiCaL::Internal::analyze()' at ../src/analyze.cpp:976:20: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::Internal::analyze()' at ../src/analyze.cpp:1095:28: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/bins.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/block.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -472,7 +492,6 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/bins.cpp In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)' at ../src/backward.cpp:178:36, @@ -492,8 +511,25 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/block.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ccadical.cpp +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)' at ../src/analyze.cpp:316:26, + inlined from 'void CaDiCaL::Internal::analyze()' at ../src/analyze.cpp:976:20: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)' at ../src/analyze.cpp:282:26, + inlined from 'void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)' at ../src/analyze.cpp:319:23, + inlined from 'void CaDiCaL::Internal::analyze()' at ../src/analyze.cpp:976:20: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'void CaDiCaL::Internal::analyze()' at ../src/analyze.cpp:1095:28: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/checker.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/clause.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/collect.cpp @@ -620,6 +656,7 @@ g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ema.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/extend.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/external.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/external_propagate.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -628,7 +665,15 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/external_propagate.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/file.cpp +In file included from /usr/include/c++/13/vector:72, + from /usr/include/c++/13/queue:63, + from ../src/internal.hpp:34, + from ../src/external.cpp:1: +/usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]': +/usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 + 445 | vector<_Tp, _Alloc>:: + | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)' at ../src/elim.cpp:313:28: @@ -650,15 +695,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In file included from /usr/include/c++/13/vector:72, - from /usr/include/c++/13/queue:63, - from ../src/internal.hpp:34, - from ../src/external.cpp:1: -/usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]': -/usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 - 445 | vector<_Tp, _Alloc>:: - | ^~~~~~~~~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/file.cpp /usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 In member function 'std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]', @@ -691,6 +727,7 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/flags.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -715,12 +752,21 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/flags.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/flip.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/format.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/gates.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/instantiate.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/internal.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ipasir.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/limit.cpp +In file included from /usr/include/c++/13/vector:72, + from /usr/include/c++/13/queue:63, + from ../src/internal.hpp:34, + from ../src/instantiate.cpp:1: +/usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]': +/usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 + 445 | vector<_Tp, _Alloc>:: + | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -754,6 +800,27 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In file included from /usr/include/c++/13/vector:66: +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:232:26: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:251:30: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:268:28: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:282:28: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)' at ../src/gates.cpp:248:32, inlined from 'void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)' at ../src/gates.cpp:201:6: @@ -778,40 +845,53 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ipasir.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/limit.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/logging.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lookahead.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lratbuilder.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lratchecker.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, - from ../src/instantiate.cpp:1: + from ../src/lratbuilder.cpp:1: /usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:232:26: + inlined from 'void CaDiCaL::LratBuilder::construct_chain()' at ../src/lratbuilder.cpp:560:29: /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:251:30: + inlined from 'void CaDiCaL::LratBuilder::construct_chain()' at ../src/lratbuilder.cpp:581:21: /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:268:28: + inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:600:23: /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)' at ../src/instantiate.cpp:282:28: + inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:613:27, + inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:596:6: /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/logging.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lookahead.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lratbuilder.cpp +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:616:34, + inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:596:6: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', + inlined from 'void CaDiCaL::LratBuilder::proof_clause()' at ../src/lratbuilder.cpp:632:27: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lucky.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/message.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -824,6 +904,7 @@ /usr/include/c++/13/bits/vector.tcc:529:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 /usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]': /usr/include/c++/13/bits/vector.tcc:529:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/minimize.cpp In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long unsigned int]' at ../src/internal.cpp:90:14, @@ -853,53 +934,23 @@ /usr/include/c++/13/bits/stl_vector.h:1034:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1034 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lratchecker.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/occs.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/options.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/parse.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, - from ../src/lratbuilder.cpp:1: -/usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]': -/usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 - 445 | vector<_Tp, _Alloc>:: - | ^~~~~~~~~~~~~~~~~~~ + from ../src/occs.cpp:1: +/usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]': +/usr/include/c++/13/bits/vector.tcc:529:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 + 529 | vector<_Tp, _Alloc>:: + | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:66: -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::LratBuilder::construct_chain()' at ../src/lratbuilder.cpp:560:29: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::LratBuilder::construct_chain()' at ../src/lratbuilder.cpp:581:21: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:600:23: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:613:27, - inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:596:6: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:616:34, - inlined from 'void CaDiCaL::LratBuilder::proof_inconsistent_clause()' at ../src/lratbuilder.cpp:596:6: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::LratBuilder::proof_clause()' at ../src/lratbuilder.cpp:632:27: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lucky.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/message.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/minimize.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/occs.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/options.cpp +In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]', + inlined from 'void CaDiCaL::Internal::init_noccs()' at ../src/occs.cpp:28:17: +/usr/include/c++/13/bits/stl_vector.h:1034:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1034 | _M_fill_insert(end(), __new_size - size(), __x); + | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -961,6 +1012,7 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/phases.cpp In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::minimize_clause()' at ../src/minimize.cpp:93:36: /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 @@ -971,24 +1023,9 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/parse.cpp -In file included from /usr/include/c++/13/vector:72, - from /usr/include/c++/13/queue:63, - from ../src/internal.hpp:34, - from ../src/occs.cpp:1: -/usr/include/c++/13/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]': -/usr/include/c++/13/bits/vector.tcc:529:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 - 529 | vector<_Tp, _Alloc>:: - | ^~~~~~~~~~~~~~~~~~~ -In file included from /usr/include/c++/13/vector:66: -In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]', - inlined from 'void CaDiCaL::Internal::init_noccs()' at ../src/occs.cpp:28:17: -/usr/include/c++/13/bits/stl_vector.h:1034:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1034 | _M_fill_insert(end(), __new_size - size(), __x); - | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/phases.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/probe.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/profile.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/proof.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1016,7 +1053,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/proof.cpp In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::probe_lrat_for_units(int)' at ../src/probe.cpp:368:26, inlined from 'void CaDiCaL::Internal::probe_lrat_for_units(int)' at ../src/probe.cpp:352:13, @@ -1114,6 +1150,7 @@ 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/queue.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/random.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1145,7 +1182,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/random.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/reap.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/reduce.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/rephase.cpp @@ -1154,6 +1190,7 @@ g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/restart.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/restore.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/score.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/shrink.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1168,7 +1205,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/shrink.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/signal.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/solution.cpp In file included from /usr/include/c++/13/vector:72, @@ -1179,6 +1215,7 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/solver.cpp In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::shrink_and_minimize_clause()' at ../src/shrink.cpp:444:38: @@ -1190,7 +1227,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/solver.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/stats.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/subsume.cpp In file included from /usr/include/c++/13/vector:72, @@ -1201,7 +1237,6 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/terminal.cpp In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'int CaDiCaL::Internal::try_to_subsume_clause(CaDiCaL::Clause*, std::vector&)' at ../src/subsume.cpp:306:28: @@ -1217,6 +1252,7 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/terminal.cpp In member function 'std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {CaDiCaL::Bin}; _Tp = CaDiCaL::Bin; _Alloc = std::allocator]', inlined from 'void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = CaDiCaL::Bin; _Alloc = std::allocator]' at /usr/include/c++/13/bits/stl_vector.h:1296:21, inlined from 'bool CaDiCaL::Internal::subsume_round()' at ../src/subsume.cpp:590:31: @@ -1226,6 +1262,7 @@ g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ternary.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/tracer.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/transred.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/util.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1245,6 +1282,8 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/var.cpp +../scripts/make-build-header.sh > build.hpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1253,6 +1292,8 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ +make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/vivify.cpp In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::transred()' at ../src/transred.cpp:182:36: @@ -1279,13 +1320,9 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/util.cpp -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/var.cpp -../scripts/make-build-header.sh > build.hpp -make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/vivify.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/walk.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/watch.cpp +g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/cadical.cpp In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1300,11 +1337,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = double; _Alloc = std::allocator]', - inlined from 'CaDiCaL::Walker::Walker(CaDiCaL::Internal*, double, int64_t)' at ../src/walk.cpp:79:21: -/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 - 1289 | _M_realloc_insert(end(), __x); - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:72, from /usr/include/c++/13/queue:63, from ../src/internal.hpp:34, @@ -1313,6 +1345,11 @@ /usr/include/c++/13/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ +In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = double; _Alloc = std::allocator]', + inlined from 'CaDiCaL::Walker::Walker(CaDiCaL::Internal*, double, int64_t)' at ../src/walk.cpp:79:21: +/usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 + 1289 | _M_realloc_insert(end(), __x); + | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In file included from /usr/include/c++/13/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CaDiCaL::Internal::vivify_build_lrat(int, CaDiCaL::Clause*)' at ../src/vivify.cpp:1034:28: @@ -1324,7 +1361,6 @@ /usr/include/c++/13/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/cadical.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/mobical.cpp g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp ../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] @@ -1347,7 +1383,7 @@ help2man --version-string=1.7.4 --name="CaDiCaL Simplified Satisfiability Solver" -N -o mobical.1 -h -h build/mobical make[1]: Leaving directory '/build/reproducible-path/cadical-1.7.4' dh_auto_test - make -j3 test "TESTSUITEFLAGS=-j3 --verbose" VERBOSE=1 + make -j4 test "TESTSUITEFLAGS=-j4 --verbose" VERBOSE=1 make[1]: Entering directory '/build/reproducible-path/cadical-1.7.4' make -C "/build/reproducible-path/cadical-1.7.4/build" test make[2]: Entering directory '/build/reproducible-path/cadical-1.7.4/build' @@ -3746,12 +3782,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/32433/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/5875 and its subdirectories -I: Current time: Thu Apr 25 07:55:05 -12 2024 -I: pbuilder-time-stamp: 1714074905 +I: removing directory /srv/workspace/pbuilder/32433 and its subdirectories +I: Current time: Fri Apr 26 10:00:41 +14 2024 +I: pbuilder-time-stamp: 1714075241