I: pbuilder: network access will be disabled during build I: Current time: Mon May 6 09:32:06 +14 2024 I: pbuilder-time-stamp: 1714937526 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [cryptominisat_5.11.21+dfsg1-1.dsc] I: copying [./cryptominisat_5.11.21+dfsg1.orig.tar.xz] I: copying [./cryptominisat_5.11.21+dfsg1-1.debian.tar.xz] I: Extracting source gpgv: Signature made Fri May 3 06:23:03 2024 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./cryptominisat_5.11.21+dfsg1-1.dsc: no acceptable signature found dpkg-source: info: extracting cryptominisat in cryptominisat-5.11.21+dfsg1 dpkg-source: info: unpacking cryptominisat_5.11.21+dfsg1.orig.tar.xz dpkg-source: info: unpacking cryptominisat_5.11.21+dfsg1-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying reproducible-build.patch dpkg-source: info: applying fix_typos.patch I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/516529/tmp/hooks/D01_modify_environment starting debug: Running on codethink02-arm64. 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 May 5 19:32 /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/516529/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/516529/tmp/hooks/D02_print_environment starting I: set 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]="aarch64-unknown-linux-gnu") 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=arm64 DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' DIRSTACK=() DISTRIBUTION=trixie EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=aarch64 HOST_ARCH=arm64 IFS=' ' INVOCATION_ID=35092e9d8c8d43d5a8a2efa1638a1eb8 LANG=C LANGUAGE=nl_BE:nl LC_ALL=C MACHTYPE=aarch64-unknown-linux-gnu MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnu 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=516529 PS4='+ ' 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.oNeaHooY/pbuilderrc_xGcH --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.oNeaHooY/b2 --logfile b2/build.log cryptominisat_5.11.21+dfsg1-1.dsc' SUDO_GID=109 SUDO_UID=104 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://192.168.101.4:3128 I: uname -a Linux i-capture-the-hostname 6.1.0-20-cloud-arm64 #1 SMP Debian 6.1.85-1 (2024-04-11) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 May 3 08:22 /bin -> usr/bin I: user script /srv/workspace/pbuilder/516529/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: arm64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: dpkg-dev (>= 1.22.5), cmake, debhelper-compat (= 13), dh-python, help2man, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject, python3-dev, python3-setuptools, zlib1g-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19735 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: pbuilder-satisfydepends-dummy depends on cmake; however: Package cmake is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-python; however: Package dh-python is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. pbuilder-satisfydepends-dummy depends on libboost-program-options-dev; however: Package libboost-program-options-dev is not installed. pbuilder-satisfydepends-dummy depends on libm4ri-dev; however: Package libm4ri-dev is not installed. pbuilder-satisfydepends-dummy depends on pybuild-plugin-pyproject; however: Package pybuild-plugin-pyproject is not installed. pbuilder-satisfydepends-dummy depends on python3-dev; however: Package python3-dev is not installed. pbuilder-satisfydepends-dummy depends on python3-setuptools; however: Package python3-setuptools is not installed. pbuilder-satisfydepends-dummy depends on zlib1g-dev; however: Package zlib1g-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cmake{a} cmake-data{a} debhelper{a} dh-autoreconf{a} dh-python{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13t64{a} libboost-program-options-dev{a} libboost-program-options1.83-dev{a} libboost-program-options1.83.0{a} libboost1.83-dev{a} libbrotli1{a} libcom-err2{a} libcurl4t64{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libexpat1-dev{a} libfile-stripnondeterminism-perl{a} libgssapi-krb5-2{a} libicu72{a} libjs-jquery{a} libjs-sphinxdoc{a} libjs-underscore{a} libjsoncpp25{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libldap-2.5-0{a} liblocale-gettext-perl{a} libm4ri-0.0.20200125{a} libm4ri-dev{a} libmagic-mgc{a} libmagic1t64{a} libnghttp2-14{a} libpipeline1{a} libpng16-16t64{a} libproc2-0{a} libpsl5t64{a} libpython3-dev{a} libpython3-stdlib{a} libpython3.11-dev{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libpython3.11t64{a} libreadline8t64{a} librhash0{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1t64{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libuv1t64{a} libxml2{a} m4{a} man-db{a} media-types{a} netbase{a} po-debconf{a} procps{a} pybuild-plugin-pyproject{a} python3{a} python3-build{a} python3-dev{a} python3-distutils{a} python3-installer{a} python3-lib2to3{a} python3-minimal{a} python3-packaging{a} python3-pkg-resources{a} python3-pyproject-hooks{a} python3-setuptools{a} python3-toml{a} python3-wheel{a} python3.11{a} python3.11-dev{a} python3.11-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} zlib1g-dev{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl javascript-common krb5-locales libarchive-cpio-perl libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules lynx psmisc publicsuffix wget 0 packages upgraded, 97 newly installed, 0 to remove and 0 not upgraded. Need to get 60.7 MB of archives. After unpacking 370 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian trixie/main arm64 liblocale-gettext-perl arm64 1.07-7 [14.8 kB] Get: 2 http://deb.debian.org/debian trixie/main arm64 libpython3.11-minimal arm64 3.11.9-1 [813 kB] Get: 3 http://deb.debian.org/debian trixie/main arm64 libexpat1 arm64 2.6.2-1 [88.7 kB] Get: 4 http://deb.debian.org/debian trixie/main arm64 python3.11-minimal arm64 3.11.9-1 [1767 kB] Get: 5 http://deb.debian.org/debian trixie/main arm64 python3-minimal arm64 3.11.8-1 [26.3 kB] Get: 6 http://deb.debian.org/debian trixie/main arm64 media-types all 10.1.0 [26.9 kB] Get: 7 http://deb.debian.org/debian trixie/main arm64 netbase all 6.4 [12.8 kB] Get: 8 http://deb.debian.org/debian trixie/main arm64 tzdata all 2024a-3 [255 kB] Get: 9 http://deb.debian.org/debian trixie/main arm64 readline-common all 8.2-4 [69.3 kB] Get: 10 http://deb.debian.org/debian trixie/main arm64 libreadline8t64 arm64 8.2-4 [157 kB] Get: 11 http://deb.debian.org/debian trixie/main arm64 libpython3.11-stdlib arm64 3.11.9-1 [1775 kB] Get: 12 http://deb.debian.org/debian trixie/main arm64 python3.11 arm64 3.11.9-1 [602 kB] Get: 13 http://deb.debian.org/debian trixie/main arm64 libpython3-stdlib arm64 3.11.8-1 [9332 B] Get: 14 http://deb.debian.org/debian trixie/main arm64 python3 arm64 3.11.8-1 [27.4 kB] Get: 15 http://deb.debian.org/debian trixie/main arm64 libproc2-0 arm64 2:4.0.4-4 [61.7 kB] Get: 16 http://deb.debian.org/debian trixie/main arm64 procps arm64 2:4.0.4-4 [869 kB] Get: 17 http://deb.debian.org/debian trixie/main arm64 sensible-utils all 0.0.22 [22.4 kB] Get: 18 http://deb.debian.org/debian trixie/main arm64 libmagic-mgc arm64 1:5.45-3 [314 kB] Get: 19 http://deb.debian.org/debian trixie/main arm64 libmagic1t64 arm64 1:5.45-3 [100 kB] Get: 20 http://deb.debian.org/debian trixie/main arm64 file arm64 1:5.45-3 [43.0 kB] Get: 21 http://deb.debian.org/debian trixie/main arm64 gettext-base arm64 0.21-14+b1 [160 kB] Get: 22 http://deb.debian.org/debian trixie/main arm64 libuchardet0 arm64 0.0.8-1+b1 [69.0 kB] Get: 23 http://deb.debian.org/debian trixie/main arm64 groff-base arm64 1.23.0-4 [1130 kB] Get: 24 http://deb.debian.org/debian trixie/main arm64 bsdextrautils arm64 2.40-8 [93.0 kB] Get: 25 http://deb.debian.org/debian trixie/main arm64 libpipeline1 arm64 1.5.7-2 [36.5 kB] Get: 26 http://deb.debian.org/debian trixie/main arm64 man-db arm64 2.12.1-1 [1394 kB] Get: 27 http://deb.debian.org/debian trixie/main arm64 m4 arm64 1.4.19-4 [277 kB] Get: 28 http://deb.debian.org/debian trixie/main arm64 autoconf all 2.71-3 [332 kB] Get: 29 http://deb.debian.org/debian trixie/main arm64 autotools-dev all 20220109.1 [51.6 kB] Get: 30 http://deb.debian.org/debian trixie/main arm64 automake all 1:1.16.5-1.3 [823 kB] Get: 31 http://deb.debian.org/debian trixie/main arm64 autopoint all 0.21-14 [496 kB] Get: 32 http://deb.debian.org/debian trixie/main arm64 libicu72 arm64 72.1-4+b1 [9224 kB] Get: 33 http://deb.debian.org/debian trixie/main arm64 libxml2 arm64 2.9.14+dfsg-1.3+b3 [624 kB] Get: 34 http://deb.debian.org/debian trixie/main arm64 libarchive13t64 arm64 3.7.2-2 [321 kB] Get: 35 http://deb.debian.org/debian trixie/main arm64 libbrotli1 arm64 1.1.0-2+b3 [295 kB] Get: 36 http://deb.debian.org/debian trixie/main arm64 libkrb5support0 arm64 1.20.1-6+b1 [33.0 kB] Get: 37 http://deb.debian.org/debian trixie/main arm64 libcom-err2 arm64 1.47.1~rc2-1 [22.5 kB] Get: 38 http://deb.debian.org/debian trixie/main arm64 libk5crypto3 arm64 1.20.1-6+b1 [80.5 kB] Get: 39 http://deb.debian.org/debian trixie/main arm64 libkeyutils1 arm64 1.6.3-3 [9112 B] Get: 40 http://deb.debian.org/debian trixie/main arm64 libkrb5-3 arm64 1.20.1-6+b1 [315 kB] Get: 41 http://deb.debian.org/debian trixie/main arm64 libgssapi-krb5-2 arm64 1.20.1-6+b1 [124 kB] Get: 42 http://deb.debian.org/debian trixie/main arm64 libsasl2-modules-db arm64 2.1.28+dfsg1-6 [20.1 kB] Get: 43 http://deb.debian.org/debian trixie/main arm64 libsasl2-2 arm64 2.1.28+dfsg1-6 [55.3 kB] Get: 44 http://deb.debian.org/debian trixie/main arm64 libldap-2.5-0 arm64 2.5.17+dfsg-1 [173 kB] Get: 45 http://deb.debian.org/debian trixie/main arm64 libnghttp2-14 arm64 1.61.0-1+b1 [71.0 kB] Get: 46 http://deb.debian.org/debian trixie/main arm64 libpsl5t64 arm64 0.21.2-1.1 [56.8 kB] Get: 47 http://deb.debian.org/debian trixie/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b4 [56.7 kB] Get: 48 http://deb.debian.org/debian trixie/main arm64 libssh2-1t64 arm64 1.11.0-4.1+b2 [207 kB] Get: 49 http://deb.debian.org/debian trixie/main arm64 libcurl4t64 arm64 8.7.1-3 [412 kB] Get: 50 http://deb.debian.org/debian trixie/main arm64 libjsoncpp25 arm64 1.9.5-6+b2 [73.2 kB] Get: 51 http://deb.debian.org/debian trixie/main arm64 librhash0 arm64 1.4.3-3+b1 [127 kB] Get: 52 http://deb.debian.org/debian trixie/main arm64 libuv1t64 arm64 1.48.0-1.1 [142 kB] Get: 53 http://deb.debian.org/debian trixie/main arm64 cmake-data all 3.29.2-2 [2167 kB] Get: 54 http://deb.debian.org/debian trixie/main arm64 cmake arm64 3.29.2-2 [9059 kB] Get: 55 http://deb.debian.org/debian trixie/main arm64 libdebhelper-perl all 13.15.3 [88.0 kB] Get: 56 http://deb.debian.org/debian trixie/main arm64 libtool all 2.4.7-7 [517 kB] Get: 57 http://deb.debian.org/debian trixie/main arm64 dh-autoreconf all 20 [17.1 kB] Get: 58 http://deb.debian.org/debian trixie/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 59 http://deb.debian.org/debian trixie/main arm64 libsub-override-perl all 0.10-1 [10.6 kB] Get: 60 http://deb.debian.org/debian trixie/main arm64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 61 http://deb.debian.org/debian trixie/main arm64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 62 http://deb.debian.org/debian trixie/main arm64 libelf1t64 arm64 0.191-1+b1 [187 kB] Get: 63 http://deb.debian.org/debian trixie/main arm64 dwz arm64 0.15-1+b1 [102 kB] Get: 64 http://deb.debian.org/debian trixie/main arm64 gettext arm64 0.21-14+b1 [1249 kB] Get: 65 http://deb.debian.org/debian trixie/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 66 http://deb.debian.org/debian trixie/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 67 http://deb.debian.org/debian trixie/main arm64 debhelper all 13.15.3 [901 kB] Get: 68 http://deb.debian.org/debian trixie/main arm64 python3-pkg-resources all 68.1.2-2 [241 kB] Get: 69 http://deb.debian.org/debian trixie/main arm64 python3-lib2to3 all 3.12.3-1 [77.6 kB] Get: 70 http://deb.debian.org/debian trixie/main arm64 python3-distutils all 3.12.3-1 [131 kB] Get: 71 http://deb.debian.org/debian trixie/main arm64 python3-setuptools all 68.1.2-2 [468 kB] Get: 72 http://deb.debian.org/debian trixie/main arm64 dh-python all 6.20240422 [107 kB] Get: 73 http://deb.debian.org/debian trixie/main arm64 help2man arm64 1.49.3 [198 kB] Get: 74 http://deb.debian.org/debian trixie/main arm64 libboost1.83-dev arm64 1.83.0-2+b2 [10.6 MB] Get: 75 http://deb.debian.org/debian trixie/main arm64 libboost-program-options1.83.0 arm64 1.83.0-2+b2 [332 kB] Get: 76 http://deb.debian.org/debian trixie/main arm64 libboost-program-options1.83-dev arm64 1.83.0-2+b2 [369 kB] Get: 77 http://deb.debian.org/debian trixie/main arm64 libboost-program-options-dev arm64 1.83.0.2+b2 [3600 B] Get: 78 http://deb.debian.org/debian trixie/main arm64 libexpat1-dev arm64 2.6.2-1 [278 kB] Get: 79 http://deb.debian.org/debian trixie/main arm64 libjs-jquery all 3.6.1+dfsg+~3.5.14-1 [326 kB] Get: 80 http://deb.debian.org/debian trixie/main arm64 libjs-underscore all 1.13.4~dfsg+~1.11.4-3 [116 kB] Get: 81 http://deb.debian.org/debian trixie/main arm64 libjs-sphinxdoc all 7.2.6-6 [150 kB] Get: 82 http://deb.debian.org/debian trixie/main arm64 libpng16-16t64 arm64 1.6.43-5 [272 kB] Get: 83 http://deb.debian.org/debian trixie/main arm64 libm4ri-0.0.20200125 arm64 20200125-1+b2 [65.8 kB] Get: 84 http://deb.debian.org/debian trixie/main arm64 libm4ri-dev arm64 20200125-1+b2 [94.1 kB] Get: 85 http://deb.debian.org/debian trixie/main arm64 libpython3.11t64 arm64 3.11.9-1 [1814 kB] Get: 86 http://deb.debian.org/debian trixie/main arm64 zlib1g-dev arm64 1:1.3.dfsg-3.1 [915 kB] Get: 87 http://deb.debian.org/debian trixie/main arm64 libpython3.11-dev arm64 3.11.9-1 [4358 kB] Get: 88 http://deb.debian.org/debian trixie/main arm64 libpython3-dev arm64 3.11.8-1 [9564 B] Get: 89 http://deb.debian.org/debian trixie/main arm64 python3-packaging all 24.0-1 [45.5 kB] Get: 90 http://deb.debian.org/debian trixie/main arm64 python3-pyproject-hooks all 1.0.0-2 [10.6 kB] Get: 91 http://deb.debian.org/debian trixie/main arm64 python3-toml all 0.10.2-1 [16.2 kB] Get: 92 http://deb.debian.org/debian trixie/main arm64 python3-wheel all 0.43.0-1 [52.5 kB] Get: 93 http://deb.debian.org/debian trixie/main arm64 python3-build all 1.1.1-1 [32.5 kB] Get: 94 http://deb.debian.org/debian trixie/main arm64 python3-installer all 0.7.0+dfsg1-3 [18.6 kB] Get: 95 http://deb.debian.org/debian trixie/main arm64 pybuild-plugin-pyproject all 6.20240422 [11.1 kB] Get: 96 http://deb.debian.org/debian trixie/main arm64 python3.11-dev arm64 3.11.9-1 [501 kB] Get: 97 http://deb.debian.org/debian trixie/main arm64 python3-dev arm64 3.11.8-1 [26.1 kB] Fetched 60.7 MB in 1s (90.6 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 ... 19735 files and directories currently installed.) Preparing to unpack .../liblocale-gettext-perl_1.07-7_arm64.deb ... Unpacking liblocale-gettext-perl (1.07-7) ... Selecting previously unselected package libpython3.11-minimal:arm64. Preparing to unpack .../libpython3.11-minimal_3.11.9-1_arm64.deb ... Unpacking libpython3.11-minimal:arm64 (3.11.9-1) ... Selecting previously unselected package libexpat1:arm64. Preparing to unpack .../libexpat1_2.6.2-1_arm64.deb ... Unpacking libexpat1:arm64 (2.6.2-1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.9-1_arm64.deb ... Unpacking python3.11-minimal (3.11.9-1) ... Setting up libpython3.11-minimal:arm64 (3.11.9-1) ... Setting up libexpat1:arm64 (2.6.2-1) ... Setting up python3.11-minimal (3.11.9-1) ... Selecting previously unselected package python3-minimal. (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 ... 20065 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.8-1_arm64.deb ... Unpacking python3-minimal (3.11.8-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package tzdata. Preparing to unpack .../3-tzdata_2024a-3_all.deb ... Unpacking tzdata (2024a-3) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.2-4_all.deb ... Unpacking readline-common (8.2-4) ... Selecting previously unselected package libreadline8t64:arm64. Preparing to unpack .../5-libreadline8t64_8.2-4_arm64.deb ... Adding 'diversion of /lib/aarch64-linux-gnu/libhistory.so.8 to /lib/aarch64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/aarch64-linux-gnu/libhistory.so.8.2 to /lib/aarch64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/aarch64-linux-gnu/libreadline.so.8 to /lib/aarch64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/aarch64-linux-gnu/libreadline.so.8.2 to /lib/aarch64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:arm64 (8.2-4) ... Selecting previously unselected package libpython3.11-stdlib:arm64. Preparing to unpack .../6-libpython3.11-stdlib_3.11.9-1_arm64.deb ... Unpacking libpython3.11-stdlib:arm64 (3.11.9-1) ... Selecting previously unselected package python3.11. Preparing to unpack .../7-python3.11_3.11.9-1_arm64.deb ... Unpacking python3.11 (3.11.9-1) ... Selecting previously unselected package libpython3-stdlib:arm64. Preparing to unpack .../8-libpython3-stdlib_3.11.8-1_arm64.deb ... Unpacking libpython3-stdlib:arm64 (3.11.8-1) ... Setting up python3-minimal (3.11.8-1) ... Selecting previously unselected package python3. (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 ... 21057 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.8-1_arm64.deb ... Unpacking python3 (3.11.8-1) ... Selecting previously unselected package libproc2-0:arm64. Preparing to unpack .../01-libproc2-0_2%3a4.0.4-4_arm64.deb ... Unpacking libproc2-0:arm64 (2:4.0.4-4) ... Selecting previously unselected package procps. Preparing to unpack .../02-procps_2%3a4.0.4-4_arm64.deb ... Unpacking procps (2:4.0.4-4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../03-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.45-3_arm64.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:arm64. Preparing to unpack .../05-libmagic1t64_1%3a5.45-3_arm64.deb ... Unpacking libmagic1t64:arm64 (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.45-3_arm64.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.21-14+b1_arm64.deb ... Unpacking gettext-base (0.21-14+b1) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../08-libuchardet0_0.0.8-1+b1_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.23.0-4_arm64.deb ... Unpacking groff-base (1.23.0-4) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../10-bsdextrautils_2.40-8_arm64.deb ... Unpacking bsdextrautils (2.40-8) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../11-libpipeline1_1.5.7-2_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.12.1-1_arm64.deb ... Unpacking man-db (2.12.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-4_arm64.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.21-14_all.deb ... Unpacking autopoint (0.21-14) ... Selecting previously unselected package libicu72:arm64. Preparing to unpack .../18-libicu72_72.1-4+b1_arm64.deb ... Unpacking libicu72:arm64 (72.1-4+b1) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../19-libxml2_2.9.14+dfsg-1.3+b3_arm64.deb ... Unpacking libxml2:arm64 (2.9.14+dfsg-1.3+b3) ... Selecting previously unselected package libarchive13t64:arm64. Preparing to unpack .../20-libarchive13t64_3.7.2-2_arm64.deb ... Unpacking libarchive13t64:arm64 (3.7.2-2) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../21-libbrotli1_1.1.0-2+b3_arm64.deb ... Unpacking libbrotli1:arm64 (1.1.0-2+b3) ... Selecting previously unselected package libkrb5support0:arm64. Preparing to unpack .../22-libkrb5support0_1.20.1-6+b1_arm64.deb ... Unpacking libkrb5support0:arm64 (1.20.1-6+b1) ... Selecting previously unselected package libcom-err2:arm64. Preparing to unpack .../23-libcom-err2_1.47.1~rc2-1_arm64.deb ... Unpacking libcom-err2:arm64 (1.47.1~rc2-1) ... Selecting previously unselected package libk5crypto3:arm64. Preparing to unpack .../24-libk5crypto3_1.20.1-6+b1_arm64.deb ... Unpacking libk5crypto3:arm64 (1.20.1-6+b1) ... Selecting previously unselected package libkeyutils1:arm64. Preparing to unpack .../25-libkeyutils1_1.6.3-3_arm64.deb ... Unpacking libkeyutils1:arm64 (1.6.3-3) ... Selecting previously unselected package libkrb5-3:arm64. Preparing to unpack .../26-libkrb5-3_1.20.1-6+b1_arm64.deb ... Unpacking libkrb5-3:arm64 (1.20.1-6+b1) ... Selecting previously unselected package libgssapi-krb5-2:arm64. Preparing to unpack .../27-libgssapi-krb5-2_1.20.1-6+b1_arm64.deb ... Unpacking libgssapi-krb5-2:arm64 (1.20.1-6+b1) ... Selecting previously unselected package libsasl2-modules-db:arm64. Preparing to unpack .../28-libsasl2-modules-db_2.1.28+dfsg1-6_arm64.deb ... Unpacking libsasl2-modules-db:arm64 (2.1.28+dfsg1-6) ... Selecting previously unselected package libsasl2-2:arm64. Preparing to unpack .../29-libsasl2-2_2.1.28+dfsg1-6_arm64.deb ... Unpacking libsasl2-2:arm64 (2.1.28+dfsg1-6) ... Selecting previously unselected package libldap-2.5-0:arm64. Preparing to unpack .../30-libldap-2.5-0_2.5.17+dfsg-1_arm64.deb ... Unpacking libldap-2.5-0:arm64 (2.5.17+dfsg-1) ... Selecting previously unselected package libnghttp2-14:arm64. Preparing to unpack .../31-libnghttp2-14_1.61.0-1+b1_arm64.deb ... Unpacking libnghttp2-14:arm64 (1.61.0-1+b1) ... Selecting previously unselected package libpsl5t64:arm64. Preparing to unpack .../32-libpsl5t64_0.21.2-1.1_arm64.deb ... Unpacking libpsl5t64:arm64 (0.21.2-1.1) ... Selecting previously unselected package librtmp1:arm64. Preparing to unpack .../33-librtmp1_2.4+20151223.gitfa8646d.1-2+b4_arm64.deb ... Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b4) ... Selecting previously unselected package libssh2-1t64:arm64. Preparing to unpack .../34-libssh2-1t64_1.11.0-4.1+b2_arm64.deb ... Unpacking libssh2-1t64:arm64 (1.11.0-4.1+b2) ... Selecting previously unselected package libcurl4t64:arm64. Preparing to unpack .../35-libcurl4t64_8.7.1-3_arm64.deb ... Unpacking libcurl4t64:arm64 (8.7.1-3) ... Selecting previously unselected package libjsoncpp25:arm64. Preparing to unpack .../36-libjsoncpp25_1.9.5-6+b2_arm64.deb ... Unpacking libjsoncpp25:arm64 (1.9.5-6+b2) ... Selecting previously unselected package librhash0:arm64. Preparing to unpack .../37-librhash0_1.4.3-3+b1_arm64.deb ... Unpacking librhash0:arm64 (1.4.3-3+b1) ... Selecting previously unselected package libuv1t64:arm64. Preparing to unpack .../38-libuv1t64_1.48.0-1.1_arm64.deb ... Unpacking libuv1t64:arm64 (1.48.0-1.1) ... Selecting previously unselected package cmake-data. Preparing to unpack .../39-cmake-data_3.29.2-2_all.deb ... Unpacking cmake-data (3.29.2-2) ... Selecting previously unselected package cmake. Preparing to unpack .../40-cmake_3.29.2-2_arm64.deb ... Unpacking cmake (3.29.2-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../41-libdebhelper-perl_13.15.3_all.deb ... Unpacking libdebhelper-perl (13.15.3) ... Selecting previously unselected package libtool. Preparing to unpack .../42-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../43-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../44-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../45-libsub-override-perl_0.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../46-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../47-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1t64:arm64. Preparing to unpack .../48-libelf1t64_0.191-1+b1_arm64.deb ... Unpacking libelf1t64:arm64 (0.191-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../49-dwz_0.15-1+b1_arm64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../50-gettext_0.21-14+b1_arm64.deb ... Unpacking gettext (0.21-14+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../51-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../52-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../53-debhelper_13.15.3_all.deb ... Unpacking debhelper (13.15.3) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../54-python3-pkg-resources_68.1.2-2_all.deb ... Unpacking python3-pkg-resources (68.1.2-2) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../55-python3-lib2to3_3.12.3-1_all.deb ... Unpacking python3-lib2to3 (3.12.3-1) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../56-python3-distutils_3.12.3-1_all.deb ... Unpacking python3-distutils (3.12.3-1) ... Selecting previously unselected package python3-setuptools. Preparing to unpack .../57-python3-setuptools_68.1.2-2_all.deb ... Unpacking python3-setuptools (68.1.2-2) ... Selecting previously unselected package dh-python. Preparing to unpack .../58-dh-python_6.20240422_all.deb ... Unpacking dh-python (6.20240422) ... Selecting previously unselected package help2man. Preparing to unpack .../59-help2man_1.49.3_arm64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libboost1.83-dev:arm64. Preparing to unpack .../60-libboost1.83-dev_1.83.0-2+b2_arm64.deb ... Unpacking libboost1.83-dev:arm64 (1.83.0-2+b2) ... Selecting previously unselected package libboost-program-options1.83.0:arm64. Preparing to unpack .../61-libboost-program-options1.83.0_1.83.0-2+b2_arm64.deb ... Unpacking libboost-program-options1.83.0:arm64 (1.83.0-2+b2) ... Selecting previously unselected package libboost-program-options1.83-dev:arm64. Preparing to unpack .../62-libboost-program-options1.83-dev_1.83.0-2+b2_arm64.deb ... Unpacking libboost-program-options1.83-dev:arm64 (1.83.0-2+b2) ... Selecting previously unselected package libboost-program-options-dev:arm64. Preparing to unpack .../63-libboost-program-options-dev_1.83.0.2+b2_arm64.deb ... Unpacking libboost-program-options-dev:arm64 (1.83.0.2+b2) ... Selecting previously unselected package libexpat1-dev:arm64. Preparing to unpack .../64-libexpat1-dev_2.6.2-1_arm64.deb ... Unpacking libexpat1-dev:arm64 (2.6.2-1) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../65-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ... Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Selecting previously unselected package libjs-underscore. Preparing to unpack .../66-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ... Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Selecting previously unselected package libjs-sphinxdoc. Preparing to unpack .../67-libjs-sphinxdoc_7.2.6-6_all.deb ... Unpacking libjs-sphinxdoc (7.2.6-6) ... Selecting previously unselected package libpng16-16t64:arm64. Preparing to unpack .../68-libpng16-16t64_1.6.43-5_arm64.deb ... Unpacking libpng16-16t64:arm64 (1.6.43-5) ... Selecting previously unselected package libm4ri-0.0.20200125:arm64. Preparing to unpack .../69-libm4ri-0.0.20200125_20200125-1+b2_arm64.deb ... Unpacking libm4ri-0.0.20200125:arm64 (20200125-1+b2) ... Selecting previously unselected package libm4ri-dev. Preparing to unpack .../70-libm4ri-dev_20200125-1+b2_arm64.deb ... Unpacking libm4ri-dev (20200125-1+b2) ... Selecting previously unselected package libpython3.11t64:arm64. Preparing to unpack .../71-libpython3.11t64_3.11.9-1_arm64.deb ... Unpacking libpython3.11t64:arm64 (3.11.9-1) ... Selecting previously unselected package zlib1g-dev:arm64. Preparing to unpack .../72-zlib1g-dev_1%3a1.3.dfsg-3.1_arm64.deb ... Unpacking zlib1g-dev:arm64 (1:1.3.dfsg-3.1) ... Selecting previously unselected package libpython3.11-dev:arm64. Preparing to unpack .../73-libpython3.11-dev_3.11.9-1_arm64.deb ... Unpacking libpython3.11-dev:arm64 (3.11.9-1) ... Selecting previously unselected package libpython3-dev:arm64. Preparing to unpack .../74-libpython3-dev_3.11.8-1_arm64.deb ... Unpacking libpython3-dev:arm64 (3.11.8-1) ... Selecting previously unselected package python3-packaging. Preparing to unpack .../75-python3-packaging_24.0-1_all.deb ... Unpacking python3-packaging (24.0-1) ... Selecting previously unselected package python3-pyproject-hooks. Preparing to unpack .../76-python3-pyproject-hooks_1.0.0-2_all.deb ... Unpacking python3-pyproject-hooks (1.0.0-2) ... Selecting previously unselected package python3-toml. Preparing to unpack .../77-python3-toml_0.10.2-1_all.deb ... Unpacking python3-toml (0.10.2-1) ... Selecting previously unselected package python3-wheel. Preparing to unpack .../78-python3-wheel_0.43.0-1_all.deb ... Unpacking python3-wheel (0.43.0-1) ... Selecting previously unselected package python3-build. Preparing to unpack .../79-python3-build_1.1.1-1_all.deb ... Unpacking python3-build (1.1.1-1) ... Selecting previously unselected package python3-installer. Preparing to unpack .../80-python3-installer_0.7.0+dfsg1-3_all.deb ... Unpacking python3-installer (0.7.0+dfsg1-3) ... Selecting previously unselected package pybuild-plugin-pyproject. Preparing to unpack .../81-pybuild-plugin-pyproject_6.20240422_all.deb ... Unpacking pybuild-plugin-pyproject (6.20240422) ... Selecting previously unselected package python3.11-dev. Preparing to unpack .../82-python3.11-dev_3.11.9-1_arm64.deb ... Unpacking python3.11-dev (3.11.9-1) ... Selecting previously unselected package python3-dev. Preparing to unpack .../83-python3-dev_3.11.8-1_arm64.deb ... Unpacking python3-dev (3.11.8-1) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:arm64 (1.5.7-2) ... Setting up libboost-program-options1.83.0:arm64 (1.83.0-2+b2) ... Setting up libkeyutils1:arm64 (1.6.3-3) ... Setting up libboost1.83-dev:arm64 (1.83.0-2+b2) ... Setting up libicu72:arm64 (72.1-4+b1) ... Setting up bsdextrautils (2.40-8) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.15.3) ... Setting up libbrotli1:arm64 (1.1.0-2+b3) ... Setting up libuv1t64:arm64 (1.48.0-1.1) ... Setting up libmagic1t64:arm64 (1:5.45-3) ... Setting up libboost-program-options1.83-dev:arm64 (1.83.0-2+b2) ... Setting up libpsl5t64:arm64 (0.21.2-1.1) ... Setting up libnghttp2-14:arm64 (1.61.0-1+b1) ... Setting up gettext-base (0.21-14+b1) ... Setting up m4 (1.4.19-4) ... Setting up libcom-err2:arm64 (1.47.1~rc2-1) ... Setting up file (1:5.45-3) ... Setting up libelf1t64:arm64 (0.191-1+b1) ... Setting up libkrb5support0:arm64 (1.20.1-6+b1) ... Setting up libsasl2-modules-db:arm64 (2.1.28+dfsg1-6) ... Setting up tzdata (2024a-3) ... Current default time zone: 'Etc/UTC' Local time is now: Sun May 5 19:32:45 UTC 2024. Universal Time is now: Sun May 5 19:32:45 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... Setting up libexpat1-dev:arm64 (2.6.2-1) ... Setting up libboost-program-options-dev:arm64 (1.83.0.2+b2) ... Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b4) ... Setting up libproc2-0:arm64 (2:4.0.4-4) ... Setting up libpng16-16t64:arm64 (1.6.43-5) ... Setting up autopoint (0.21-14) ... Setting up libjsoncpp25:arm64 (1.9.5-6+b2) ... Setting up libk5crypto3:arm64 (1.20.1-6+b1) ... Setting up libsasl2-2:arm64 (2.1.28+dfsg1-6) ... Setting up autoconf (2.71-3) ... Setting up zlib1g-dev:arm64 (1:1.3.dfsg-3.1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.22) ... Setting up librhash0:arm64 (1.4.3-3+b1) ... Setting up libuchardet0:arm64 (0.0.8-1+b1) ... Setting up procps (2:4.0.4-4) ... Setting up libsub-override-perl (0.10-1) ... Setting up netbase (6.4) ... Setting up cmake-data (3.29.2-2) ... Setting up libkrb5-3:arm64 (1.20.1-6+b1) ... Setting up libssh2-1t64:arm64 (1.11.0-4.1+b2) ... Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Setting up readline-common (8.2-4) ... Setting up libxml2:arm64 (2.9.14+dfsg-1.3+b3) ... Setting up liblocale-gettext-perl (1.07-7) ... Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up gettext (0.21-14+b1) ... Setting up libtool (2.4.7-7) ... Setting up libldap-2.5-0:arm64 (2.5.17+dfsg-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up help2man (1.49.3) ... Setting up dh-autoreconf (20) ... Setting up libm4ri-0.0.20200125:arm64 (20200125-1+b2) ... Setting up libgssapi-krb5-2:arm64 (1.20.1-6+b1) ... Setting up libjs-sphinxdoc (7.2.6-6) ... Setting up libm4ri-dev (20200125-1+b2) ... Setting up libreadline8t64:arm64 (8.2-4) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up groff-base (1.23.0-4) ... Setting up libarchive13t64:arm64 (3.7.2-2) ... Setting up libcurl4t64:arm64 (8.7.1-3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:arm64 (3.11.9-1) ... Setting up libpython3.11t64:arm64 (3.11.9-1) ... Setting up man-db (2.12.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libpython3.11-dev:arm64 (3.11.9-1) ... Setting up cmake (3.29.2-2) ... Setting up libpython3-stdlib:arm64 (3.11.8-1) ... Setting up python3.11 (3.11.9-1) ... Setting up libpython3-dev:arm64 (3.11.8-1) ... Setting up python3.11-dev (3.11.9-1) ... Setting up debhelper (13.15.3) ... Setting up python3 (3.11.8-1) ... Setting up python3-wheel (0.43.0-1) ... Setting up python3-packaging (24.0-1) ... Setting up python3-pyproject-hooks (1.0.0-2) ... Setting up python3-toml (0.10.2-1) ... Setting up python3-installer (0.7.0+dfsg1-3) ... Setting up python3-build (1.1.1-1) ... Setting up python3-lib2to3 (3.12.3-1) ... Setting up python3-pkg-resources (68.1.2-2) ... Setting up python3-distutils (3.12.3-1) ... Setting up python3-setuptools (68.1.2-2) ... Setting up python3-dev (3.11.8-1) ... Setting up dh-python (6.20240422) ... Setting up pybuild-plugin-pyproject (6.20240422) ... Processing triggers for libc-bin (2.37-19) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.33-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: user script /srv/workspace/pbuilder/516529/tmp/hooks/A99_set_merged_usr starting Not re-configuring usrmerge for trixie I: user script /srv/workspace/pbuilder/516529/tmp/hooks/A99_set_merged_usr finished hostname: Name or service not known I: Running cd /build/reproducible-path/cryptominisat-5.11.21+dfsg1/ && 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 > ../cryptominisat_5.11.21+dfsg1-1_source.changes dpkg-buildpackage: info: source package cryptominisat dpkg-buildpackage: info: source version 5.11.21+dfsg1-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 fakeroot debian/rules clean dh clean --with python3 --buildsystem=pybuild debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' if test -f Makefile; then \ make clean ; \ fi rm -rf build/ .pybuild/ CMakeFiles/ cmsat5-src/ src/pycryptosat.egg-info/ include/ rm -f CMakeCache.txt Makefile compile_commands.json *.cmake install_manifest.txt rm -f cryptominisat5.1 make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' dh_autoreconf_clean -O--buildsystem=pybuild dh_clean -O--buildsystem=pybuild debian/rules build dh build --with python3 --buildsystem=pybuild dh_update_autotools_config -O--buildsystem=pybuild dh_autoreconf -O--buildsystem=pybuild debian/rules override_dh_auto_configure make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' mkdir build && cd build cmake -DCMAKE_LIBRARY_ARCHITECTURE=aarch64-linux-gnu -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON -DCMAKE_INSTALL_PREFIX=/usr CMake Warning: No source or binary directory provided. Both will be assumed to be the same as the current working directory, but note that this warning will become a fatal error in future CMake releases. -- The CXX compiler identification is GNU 13.2.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '' -- BIN directory is '' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 13.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Could NOT find tbuddy (missing: tbuddy_DIR) -- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- build type is RelWithDebInfo -- Performing Test HAVE_FLAG_-fvisibility=hidden -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Performing Test HAVE_FLAG_-g -- Performing Test HAVE_FLAG_-g - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test HAVE_FLAG_-mpopcnt -- Performing Test HAVE_FLAG_-mpopcnt - Failed -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - Failed -- Performing Test HAVE_FLAG_-Wextra-semi-stmt -- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed -- Performing Test HAVE_FLAG_-Wnoweak-vtables -- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- Compiling for dynamic library use -- PROJECT_VERSION: 5.11.21 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 21 -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/aarch64-linux-gnu/libz.so (found version "1.3") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- All defines at startup: -DRDB0_ONLY_FEATURES -DUSE_ZLIB -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:714 (message): Testing is disabled CMake Warning at CMakeLists.txt:745 (export): Cannot create package registry file: /nonexistent/second-build/.cmake/packages/cryptominisat5/26f50bd9b2f5fc7ca06460f9fba531be No such file or directory -- Configuring done (14.3s) -- Generating done (0.0s) -- Build files have been written to: /build/reproducible-path/cryptominisat-5.11.21+dfsg1 make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make make[2]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[3]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::subs_with_resolvent_clauses()': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1140:33: warning: 'ID1' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1080:17: note: 'ID1' was declared here 1080 | int32_t ID1; | ^~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1140:47: warning: 'ID2' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1081:17: note: 'ID2' was declared here 1081 | int32_t ID2; | ^~~ [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o [ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solverconf.h:30, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypes.h:38, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propby.h:26, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:33, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:29, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:23: In member function 'constexpr uint32_t CMSat::Lit::var() const', inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3522:51: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] 67 | return x >> 1; | ^ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/heap.h:25, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:38: In member function 'void CMSat::vec::push(const T&) [with T = CMSat::Watched]', inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3543:40: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/Vec.h:143:9: warning: 'offs' may be used uninitialized [-Wmaybe-uninitialized] 143 | data[sz++] = elem; | ^~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3488:18: note: 'offs' was declared here 3488 | ClOffset offs; | ^~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp: In member function 'bool CMSat::Searcher::handle_conflict(CMSat::PropBy)': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:1875:35: warning: 'glue_before_minim' may be used uninitialized [-Wmaybe-uninitialized] 1875 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1876 | glue, | ~~~~~ 1877 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1878 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1879 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1880 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1881 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1882 | ID | ~~ 1883 | ); | ~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:1816:14: note: 'glue_before_minim' declared here 1816 | uint32_t glue_before_minim; | ^~~~~~~~~~~~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:1875:35: warning: 'size_before_minim' may be used uninitialized [-Wmaybe-uninitialized] 1875 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1876 | glue, | ~~~~~ 1877 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1878 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1879 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1880 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1881 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1882 | ID | ~~ 1883 | ); | ~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:1817:14: note: 'size_before_minim' declared here 1817 | uint32_t size_before_minim; | ^~~~~~~~~~~~~~~~~ [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp: In member function 'bool CMSat::Solver::oracle_vivif(bool&)': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp:5000:25: warning: declaration of 'stats' shadows a member of 'CMSat::Solver' [-Wshadow] 5000 | ClauseStats stats; | ^~~~~ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.h:36, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp:23: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:213:21: note: shadowed declaration is here 213 | SearchStats stats; | ^~~~~ [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o [ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:334:17: warning: 'ratio_sampling' may be used uninitialized [-Wmaybe-uninitialized] 334 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:296:16: note: 'ratio_sampling' was declared here 296 | double ratio_sampling; | ^~~~~~~~~~~~~~ [ 80%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size array 'znt' [-Wpedantic] 479 | Znt znt[0]; | ^~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size array 'cls' [-Wpedantic] 485 | Cls cls[0]; | ^~~ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:26: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c: In function 'fixvar': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c: In function 'picosat_mus_assumptions': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:107:24: warning: 'memset' specified size between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=] 107 | #define CLRN(p,n) do { memset ((p), 0, sizeof (*(p)) * (n)); } while (0) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:7437:3: note: in expansion of macro 'CLRN' 7437 | CLRN (redundant, nwork); | ^~~~ [ 82%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o In file included from /usr/include/c++/13/string:51, from /usr/include/c++/13/bits/locale_classes.h:40, from /usr/include/c++/13/bits/ios_base.h:41, from /usr/include/c++/13/ios:44, from /usr/include/c++/13/ostream:40, from /usr/include/c++/13/iostream:41, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.h:25, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.cpp:23: In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]', inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:506:30, inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:533:42, inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:540:31, inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:633:7, inlined from 'static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/13/bits/stl_uninitialized.h:147:27, inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/13/bits/stl_uninitialized.h:185:15, inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/13/bits/stl_uninitialized.h:373:37, inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/13/bits/stl_vector.h:606:31, inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.cpp:869:16: /usr/include/c++/13/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o [ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o [ 90%] Linking CXX shared library ../lib/libcryptominisat5.so make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 90%] Built target cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [100%] Linking CXX executable ../cryptominisat5 make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target cryptominisat5-bin make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target man_cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' Copying cryptominisat_c.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying cryptominisat.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying solvertypesmini.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying dimacsparser.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying streambuffer.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target CopyPublicHeaders make[3]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[2]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' pybuild --build I: pybuild plugin_pyproject:129: Building wheel for python3.11 with "build" module I: pybuild base:311: python3.11 -m build --skip-dependency-check --no-isolation --wheel --outdir /build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.11 * Building wheel... running bdist_wheel running build running build_py running egg_info creating src/pycryptosat.egg-info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/picosat/' warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' creating build/lib.linux-aarch64-cpython-311 creating build/lib.linux-aarch64-cpython-311/picosat copying src/picosat/pico_config.h -> build/lib.linux-aarch64-cpython-311/picosat copying src/picosat/picosat.c -> build/lib.linux-aarch64-cpython-311/picosat copying src/picosat/picosat.h -> build/lib.linux-aarch64-cpython-311/picosat copying src/picosat/version.c -> build/lib.linux-aarch64-cpython-311/picosat creating build/lib.linux-aarch64-cpython-311/oracle copying src/oracle/oracle.cpp -> build/lib.linux-aarch64-cpython-311/oracle copying src/oracle/oracle.h -> build/lib.linux-aarch64-cpython-311/oracle copying src/oracle/utils.h -> build/lib.linux-aarch64-cpython-311/oracle creating build/lib.linux-aarch64-cpython-311/msvc copying src/msvc/stdint.h -> build/lib.linux-aarch64-cpython-311/msvc running build_clib building 'picosatlib' library creating build/temp.linux-aarch64-cpython-311 creating build/temp.linux-aarch64-cpython-311/src creating build/temp.linux-aarch64-cpython-311/src/picosat aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -Isrc/picosat/ -c src/picosat/picosat.c -o build/temp.linux-aarch64-cpython-311/src/picosat/picosat.o src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size array 'znt' [-Wpedantic] 479 | Znt znt[0]; | ^~~ src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size array 'cls' [-Wpedantic] 485 | Cls cls[0]; | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -Isrc/picosat/ -c src/picosat/version.c -o build/temp.linux-aarch64-cpython-311/src/picosat/version.o aarch64-linux-gnu-ar rcs build/temp.linux-aarch64-cpython-311/libpicosatlib.a build/temp.linux-aarch64-cpython-311/src/picosat/picosat.o build/temp.linux-aarch64-cpython-311/src/picosat/version.o running build_ext building 'pycryptosat' extension creating build/temp.linux-aarch64-cpython-311/python creating build/temp.linux-aarch64-cpython-311/python/src creating build/temp.linux-aarch64-cpython-311/src/oracle aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c python/src/GitSHA1.cpp -o build/temp.linux-aarch64-cpython-311/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c python/src/pycryptosat.cpp -o build/temp.linux-aarch64-cpython-311/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ python/src/pycryptosat.cpp:514:18: warning: 'PyObject* get_raw_solution(CMSat::SATSolver*)' defined but not used [-Wunused-function] 514 | static PyObject* get_raw_solution(SATSolver *cmsat) { | ^~~~~~~~~~~~~~~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/bva.cpp -o build/temp.linux-aarch64-cpython-311/src/bva.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/bva.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/bits/locale_classes.h:40, from /usr/include/c++/13/bits/ios_base.h:41, from /usr/include/c++/13/ios:44, from /usr/include/c++/13/ostream:40, from /usr/include/c++/13/iostream:41, from src/heap.h:24, from src/bva.h:26, from src/bva.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/bva.cpp: In member function 'bool CMSat::BVA::add_longer_clause(CMSat::Lit, const CMSat::OccurClause&)': src/bva.cpp:532:21: warning: unused variable 'cl_check' [-Wunused-variable] 532 | Clause* cl_check = solver->add_clause_int( | ^~~~~~~~ In file included from src/heap.h:25: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cardfinder.cpp -o build/temp.linux-aarch64-cpython-311/src/cardfinder.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/cardfinder.cpp:25: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/cardfinder.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/cardfinder.cpp:26: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cardfinder.cpp: In member function 'void CMSat::CardFinder::deal_with_clash(std::vector&)': src/cardfinder.cpp:247:22: warning: variable 'found' set but not used [-Wunused-but-set-variable] 247 | bool found = false; | ^~~~~ In file included from src/watcharray.h:28, from src/cardfinder.h:35, from src/cardfinder.cpp:24: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/ccnr.cpp -o build/temp.linux-aarch64-cpython-311/src/ccnr.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/ccnr_cms.cpp -o build/temp.linux-aarch64-cpython-311/src/ccnr_cms.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/ccnr_cms.cpp:23: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/time_mem.h:26: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/ccnr_cms.cpp:30: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/clauseallocator.cpp -o build/temp.linux-aarch64-cpython-311/src/clauseallocator.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/clauseallocator.cpp:33: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/clauseallocator.h:27, from src/clauseallocator.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/clauseallocator.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/clausecleaner.cpp -o build/temp.linux-aarch64-cpython-311/src/clausecleaner.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/clausecleaner.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/clausecleaner.h:26, from src/clausecleaner.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/clausecleaner.h:28: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cnf.cpp -o build/temp.linux-aarch64-cpython-311/src/cnf.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/cnf.cpp:23: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/cnf.cpp:32: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/cnf.h:27: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/cnf.cpp: In member function 'bool CMSat::CNF::no_marked_clauses() const': src/cnf.cpp:763:17: warning: unused variable 'cl' [-Wunused-variable] 763 | Clause* cl = cl_alloc.ptr(offset); | ^~ src/cnf.cpp:769:21: warning: unused variable 'cl' [-Wunused-variable] 769 | Clause* cl = cl_alloc.ptr(offset); | ^~ In file included from src/watcharray.h:28, from src/cnf.h:34: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/Vec.h:215:15: required from 'void CMSat::vec::insert(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/cnf.cpp:151:20: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/completedetachreattacher.cpp -o build/temp.linux-aarch64-cpython-311/src/completedetachreattacher.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/completedetachreattacher.cpp:24: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/completedetachreattacher.h:26, from src/completedetachreattacher.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/completedetachreattacher.h:28: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cryptominisat.cpp -o build/temp.linux-aarch64-cpython-311/src/cryptominisat.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/cryptominisat.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/cryptominisat.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cryptominisat_c.cpp -o build/temp.linux-aarch64-cpython-311/src/cryptominisat_c.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/datasync.cpp -o build/temp.linux-aarch64-cpython-311/src/datasync.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/datasync.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/datasync.h:26, from src/datasync.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/datasync.h:29: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerbin.cpp -o build/temp.linux-aarch64-cpython-311/src/distillerbin.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/distillerbin.cpp:29: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/bits/locale_classes.h:40, from /usr/include/c++/13/bits/ios_base.h:41, from /usr/include/c++/13/iomanip:42, from src/distillerbin.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerbin.cpp:30: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/distillerbin.h:31, from src/distillerbin.cpp:27: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerlitrem.cpp -o build/temp.linux-aarch64-cpython-311/src/distillerlitrem.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/distillerlitrem.cpp:25: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/distillerlitrem.h:26, from src/distillerlitrem.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerlitrem.cpp:26: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/distillerlitrem.cpp: In member function 'CMSat::ClOffset CMSat::DistillerLitRem::try_distill_clause_and_return_new(CMSat::ClOffset, const CMSat::ClauseStats*, uint32_t)': src/distillerlitrem.cpp:268:18: warning: unused variable 'origTrailSize' [-Wunused-variable] 268 | const size_t origTrailSize = solver->trail_size(); | ^~~~~~~~~~~~~ In file included from src/watcharray.h:28, from src/distillerlitrem.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerlong.cpp -o build/temp.linux-aarch64-cpython-311/src/distillerlong.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/distillerlong.cpp:26: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/distillerlong.h:26, from src/distillerlong.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerlong.cpp:27: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/distillerlong.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerlongwithimpl.cpp -o build/temp.linux-aarch64-cpython-311/src/distillerlongwithimpl.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/distillerlongwithimpl.cpp:25: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/distillerlongwithimpl.h:26, from src/distillerlongwithimpl.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerlongwithimpl.cpp:26: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/distillerlongwithimpl.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/frat.cpp -o build/temp.linux-aarch64-cpython-311/src/frat.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/gatefinder.cpp -o build/temp.linux-aarch64-cpython-311/src/gatefinder.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/gatefinder.cpp:24: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/gatefinder.h:26, from src/gatefinder.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/gatefinder.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/gatefinder.h:29: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/gaussian.cpp -o build/temp.linux-aarch64-cpython-311/src/gaussian.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/gaussian.cpp:41: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/bits/locale_classes.h:40, from /usr/include/c++/13/bits/ios_base.h:41, from /usr/include/c++/13/iomanip:42, from src/gaussian.cpp:31: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/gaussian.cpp: In member function 'void CMSat::EGaussian::delete_gausswatch(uint32_t)': src/gaussian.cpp:697:10: warning: variable 'debug_find' set but not used [-Wunused-but-set-variable] 697 | bool debug_find = false; | ^~~~~~~~~~ In file included from src/packedrow.h:37, from src/packedmatrix.h:35, from src/gaussian.h:39, from src/gaussian.cpp:36: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/get_clause_query.cpp -o build/temp.linux-aarch64-cpython-311/src/get_clause_query.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/get_clause_query.cpp:26: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/get_clause_query.h:25, from src/get_clause_query.cpp:25: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/get_clause_query.cpp: In member function 'void CMSat::GetClauseQuery::get_all_irred_clauses(std::vector&)': src/get_clause_query.cpp:122:10: warning: unused variable 'ret' [-Wunused-variable] 122 | bool ret = get_next_small_clause(out, true); | ^~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/hyperengine.cpp -o build/temp.linux-aarch64-cpython-311/src/hyperengine.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/hyperengine.h:26, from src/hyperengine.cpp:23: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/hyperengine.cpp: In member function 'CMSat::PropResult CMSat::HyperEngine::prop_bin_with_ancestor_info(CMSat::Lit, const CMSat::Watched*, CMSat::PropBy&)': src/hyperengine.cpp:586:23: warning: variable 'origAnc' set but not used [-Wunused-but-set-variable] 586 | const Lit origAnc = varData[lit.var()].reason.getAncestor(); | ^~~~~~~ In file included from src/watcharray.h:28, from src/cnf.h:34: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/intree.cpp -o build/temp.linux-aarch64-cpython-311/src/intree.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/intree.cpp:24: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/cloffset.h:26, from src/intree.h:23, from src/intree.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/lucky.cpp -o build/temp.linux-aarch64-cpython-311/src/lucky.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/lucky.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/solver.h:25: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/matrixfinder.cpp -o build/temp.linux-aarch64-cpython-311/src/matrixfinder.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/matrixfinder.cpp:24: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/matrixfinder.h:26, from src/matrixfinder.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()': src/matrixfinder.cpp:334:17: warning: 'ratio_sampling' may be used uninitialized [-Wmaybe-uninitialized] 334 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ src/matrixfinder.cpp:296:16: note: 'ratio_sampling' was declared here 296 | double ratio_sampling; | ^~~~~~~~~~~~~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/occsimplifier.cpp -o build/temp.linux-aarch64-cpython-311/src/occsimplifier.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/occsimplifier.cpp:24: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/occsimplifier.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/occsimplifier.cpp:40: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::extend_model(CMSat::SolutionExtender*)': src/occsimplifier.cpp:238:24: warning: unused variable 'outer' [-Wunused-variable] 238 | const uint32_t outer = solver->map_inter_to_outer(i); | ^~~~~ src/occsimplifier.cpp: In member function 'bool CMSat::OccSimplifier::elim_var_by_str(uint32_t, const std::vector >&)': src/occsimplifier.cpp:1628:14: warning: variable 'val' set but not used [-Wunused-but-set-variable] 1628 | auto val = solver->value(w.lit2()); | ^~~ src/occsimplifier.cpp:1664:17: warning: unused variable 'cl' [-Wunused-variable] 1664 | Clause* cl = solver->cl_alloc.ptr(w.get_offset()); | ^~ src/occsimplifier.cpp:1671:17: warning: unused variable 'cl' [-Wunused-variable] 1671 | Clause* cl = solver->cl_alloc.ptr(w.get_offset()); | ^~ src/occsimplifier.cpp: In member function 'std::vector CMSat::OccSimplifier::remove_definable_by_irreg_gate(const std::vector&)': src/occsimplifier.cpp:1709:14: warning: variable 'rem_val' set but not used [-Wunused-but-set-variable] 1709 | auto rem_val = solver->varData[v].removed; | ^~~~~~~ src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::clean_sampl_and_get_empties(std::vector&, std::vector&)': src/occsimplifier.cpp:1807:14: warning: unused variable 'rem_val' [-Wunused-variable] 1807 | auto rem_val = solver->varData[v].removed; | ^~~~~~~ src/occsimplifier.cpp: In member function 'bool CMSat::OccSimplifier::cl_rem_with_or_gates()': src/occsimplifier.cpp:1967:18: warning: variable 'found' set but not used [-Wunused-but-set-variable] 1967 | bool found = false; | ^~~~~ src/occsimplifier.cpp: In member function 'bool CMSat::OccSimplifier::lit_rem_with_or_gates()': src/occsimplifier.cpp:2160:25: warning: unused variable 'newCl' [-Wunused-variable] 2160 | Clause* newCl = full_add_clause(tmp_tern_res, finalLits_ternary, NULL, false); | ^~~~~ src/occsimplifier.cpp: In member function 'bool CMSat::OccSimplifier::try_remove_lit_via_occurrence_simpl(const CMSat::OccurClause&)': src/occsimplifier.cpp:4025:10: warning: variable 'found_it' set but not used [-Wunused-but-set-variable] 4025 | bool found_it = false; | ^~~~~~~~ In file included from src/heap.h:25, from src/occsimplifier.h:39, from src/occsimplifier.cpp:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::subs_with_resolvent_clauses()': src/occsimplifier.cpp:1140:33: warning: 'ID1' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ src/occsimplifier.cpp:1080:17: note: 'ID1' was declared here 1080 | int32_t ID1; | ^~~ src/occsimplifier.cpp:1140:47: warning: 'ID2' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ src/occsimplifier.cpp:1081:17: note: 'ID2' was declared here 1081 | int32_t ID2; | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/oracle/oracle.cpp -o build/temp.linux-aarch64-cpython-311/src/oracle/oracle.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ src/oracle/oracle.cpp: In member function 'void sspp::oracle::Oracle::AddOrigClause(std::vector, bool)': src/oracle/oracle.cpp:725:18: warning: unused variable 'lit' [-Wunused-variable] 725 | for (Lit lit : clause) assert(LitVal(lit) == 0); | ^~~ In file included from /usr/include/c++/13/string:51, from /usr/include/c++/13/bits/locale_classes.h:40, from /usr/include/c++/13/bits/ios_base.h:41, from /usr/include/c++/13/ios:44, from /usr/include/c++/13/ostream:40, from /usr/include/c++/13/iostream:41, from src/oracle/oracle.h:25, from src/oracle/oracle.cpp:23: In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]', inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:506:30, inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:533:42, inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:540:31, inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/13/bits/stl_algobase.h:633:7, inlined from 'static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/13/bits/stl_uninitialized.h:147:27, inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/13/bits/stl_uninitialized.h:185:15, inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/13/bits/stl_uninitialized.h:373:37, inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/13/bits/stl_vector.h:606:31, inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)' at src/oracle/oracle.cpp:869:16: /usr/include/c++/13/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/packedrow.cpp -o build/temp.linux-aarch64-cpython-311/src/packedrow.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/propengine.cpp -o build/temp.linux-aarch64-cpython-311/src/propengine.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/propengine.cpp:23: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36, from src/propengine.cpp:32: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/deque:67, from /usr/include/c++/13/stack:62, from src/propengine.h:28: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/reducedb.cpp -o build/temp.linux-aarch64-cpython-311/src/reducedb.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/reducedb.cpp:24: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/clauseallocator.h:27, from src/reducedb.h:26, from src/reducedb.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/clauseallocator.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/sccfinder.cpp -o build/temp.linux-aarch64-cpython-311/src/sccfinder.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/sccfinder.cpp:30: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/bits/locale_classes.h:40, from /usr/include/c++/13/bits/ios_base.h:41, from /usr/include/c++/13/ios:44, from /usr/include/c++/13/ostream:40, from /usr/include/c++/13/iostream:41, from src/sccfinder.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/sccfinder.cpp:31: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/varreplacer.h:38, from src/sccfinder.cpp:29: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/searcher.cpp -o build/temp.linux-aarch64-cpython-311/src/searcher.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/searcher.h:29, from src/searcher.cpp:23: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/searcher.h:28: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/searcher.cpp: In member function 'void CMSat::Searcher::sls_if_needed()': src/searcher.cpp:2456:21: warning: variable 'ret' set but not used [-Wunused-but-set-variable] 2456 | const lbool ret = sls.run(num_sls_called); | ^~~ src/searcher.cpp: In member function 'void CMSat::Searcher::finish_up_solve(CMSat::lbool)': src/searcher.cpp:2853:16: warning: variable 'confl' set but not used [-Wunused-but-set-variable] 2853 | PropBy confl = propagate(); | ^~~~~ src/searcher.cpp:2866:20: warning: variable 'confl' set but not used [-Wunused-but-set-variable] 2866 | PropBy confl = propagate(); | ^~~~~ src/searcher.cpp: In member function 'std::pair CMSat::Searcher::remove_useless_bins(bool)': src/searcher.cpp:3077:22: warning: unused variable 'rem2' [-Wunused-variable] 3077 | bool rem2 = removeWBin_except_marked( | ^~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ In member function 'void CMSat::vec::push(const T&) [with T = CMSat::Watched]', inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at src/searcher.cpp:3543:40: src/Vec.h:143:9: warning: 'offs' may be used uninitialized [-Wmaybe-uninitialized] 143 | data[sz++] = elem; | ^~~~ src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': src/searcher.cpp:3488:18: note: 'offs' was declared here 3488 | ClOffset offs; | ^~~~ src/searcher.cpp: In member function 'bool CMSat::Searcher::handle_conflict(CMSat::PropBy)': src/searcher.cpp:1875:35: warning: 'glue_before_minim' may be used uninitialized [-Wmaybe-uninitialized] 1875 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1876 | glue, | ~~~~~ 1877 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1878 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1879 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1880 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1881 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1882 | ID | ~~ 1883 | ); | ~ src/searcher.cpp:1816:14: note: 'glue_before_minim' declared here 1816 | uint32_t glue_before_minim; | ^~~~~~~~~~~~~~~~~ src/searcher.cpp:1875:35: warning: 'size_before_minim' may be used uninitialized [-Wmaybe-uninitialized] 1875 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1876 | glue, | ~~~~~ 1877 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1878 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1879 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1880 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1881 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1882 | ID | ~~ 1883 | ); | ~ src/searcher.cpp:1817:14: note: 'size_before_minim' declared here 1817 | uint32_t size_before_minim; | ^~~~~~~~~~~~~~~~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/searchstats.cpp -o build/temp.linux-aarch64-cpython-311/src/searchstats.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/sls.cpp -o build/temp.linux-aarch64-cpython-311/src/sls.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/sls.cpp:24: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/sls.h:26, from src/sls.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/solutionextender.cpp -o build/temp.linux-aarch64-cpython-311/src/solutionextender.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/solutionextender.cpp:24: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/solutionextender.h:26, from src/solutionextender.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/solutionextender.h:28: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/solver.cpp -o build/temp.linux-aarch64-cpython-311/src/solver.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/solver.cpp:23: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/solver.h:25: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/solver.cpp: In member function 'bool CMSat::Solver::bnn_to_cnf(CMSat::BNN&)': src/solver.cpp:622:21: warning: unused variable 'cl2' [-Wunused-variable] 622 | Clause* cl2 = add_clause_int(lits); | ^~~ src/solver.cpp:642:21: warning: unused variable 'cl2' [-Wunused-variable] 642 | Clause* cl2 = add_clause_int(lits); | ^~~ src/solver.cpp: In member function 'void CMSat::Solver::test_renumbering() const': src/solver.cpp:950:10: warning: variable 'problem' set but not used [-Wunused-but-set-variable] 950 | bool problem = false; | ^~~~~~~ src/solver.cpp: In member function 'std::vector CMSat::Solver::get_zero_assigned_lits(bool, bool) const': src/solver.cpp:2788:23: warning: variable 'lit' set but not used [-Wunused-but-set-variable] 2788 | for(const Lit lit: lits) { | ^~~ src/solver.cpp: In member function 'std::vector > CMSat::Solver::get_all_binary_xors() const': src/solver.cpp:3443:21: warning: unused variable 'val' [-Wunused-variable] 3443 | for(const auto& val: ret) { | ^~~ src/solver.cpp: In member function 'CMSat::lbool CMSat::Solver::bnn_eval(CMSat::BNN&)': src/solver.cpp:4817:21: warning: unused variable 'p' [-Wunused-variable] 4817 | for(const auto& p: bnn) assert(value(p) == l_Undef); | ^ src/solver.cpp: In member function 'void CMSat::Solver::dump_cls_oracle(std::string, const std::vector&)': src/solver.cpp:5029:29: warning: unused variable 'l' [-Wunused-variable] 5029 | for(auto const& l: cl) assert(l.var() < nVars()); | ^ src/solver.cpp: In member function 'bool CMSat::Solver::oracle_sparsify()': src/solver.cpp:5152:29: warning: unused variable 'l' [-Wunused-variable] 5152 | for(auto const& l: cl) assert(l.var() < nVars()); | ^ src/solver.cpp: In member function 'bool CMSat::Solver::backbone_simpl(int64_t, bool, bool&)': src/solver.cpp:5552:21: warning: unused variable 'ptr' [-Wunused-variable] 5552 | Clause* ptr = add_clause_int(tmp_clause); | ^~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/solverconf.cpp -o build/temp.linux-aarch64-cpython-311/src/solverconf.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/str_impl_w_impl.cpp -o build/temp.linux-aarch64-cpython-311/src/str_impl_w_impl.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/str_impl_w_impl.cpp:25: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/str_impl_w_impl.h:26, from src/str_impl_w_impl.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/str_impl_w_impl.cpp:26: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/str_impl_w_impl.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/subsumeimplicit.cpp -o build/temp.linux-aarch64-cpython-311/src/subsumeimplicit.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/subsumeimplicit.cpp:25: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/subsumeimplicit.h:26, from src/subsumeimplicit.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/subsumeimplicit.cpp:26: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/subsumeimplicit.h:31: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/subsumestrengthen.cpp -o build/temp.linux-aarch64-cpython-311/src/subsumestrengthen.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/subsumestrengthen.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/string:49, from /usr/include/c++/13/random:42, from src/constants.h:29, from src/cloffset.h:26, from src/subsumestrengthen.h:26, from src/subsumestrengthen.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/subsumestrengthen.h:30: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/varreplacer.cpp -o build/temp.linux-aarch64-cpython-311/src/varreplacer.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/propengine.h:42, from src/solver.h:35, from src/varreplacer.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/stl_tree.h:65, from /usr/include/c++/13/map:62, from src/varreplacer.h:25, from src/varreplacer.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/varreplacer.cpp: In member function 'void CMSat::VarReplacer::set_sub_var_during_solution_extension(uint32_t, uint32_t)': src/varreplacer.cpp:789:20: warning: unused variable 'sub_var_inter' [-Wunused-variable] 789 | const uint32_t sub_var_inter = solver->map_outer_to_inter(sub_var); | ^~~~~~~~~~~~~ In file included from src/watcharray.h:28, from src/varreplacer.h:38: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-gcc -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -Werror=implicit-function-declaration -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/xorfinder.cpp -o build/temp.linux-aarch64-cpython-311/src/xorfinder.o -I../ -Isrc/ -std=c++17 cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ cc1plus: warning: '-Werror=' argument '-Werror=implicit-function-declaration' is not valid for C++ In file included from src/xorfinder.cpp:24: src/time_mem.h: In function 'double cpuTime()': src/time_mem.h:75:9: warning: unused variable 'ret' [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function 'double cpuTimeTotal()': src/time_mem.h:87:9: warning: unused variable 'ret' [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13/bits/stl_function.h:1438, from /usr/include/c++/13/bits/refwrap.h:39, from /usr/include/c++/13/vector:68, from src/xorfinder.h:27, from src/xorfinder.cpp:23: /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/xorfinder.cpp:25: src/cnf.h: In member function 'void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const': src/cnf.h:641:21: warning: unused variable 'cl' [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function 'void CMSat::CNF::check_no_duplicate_lits_anywhere() const': src/cnf.h:677:18: warning: unused variable 'cl' [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable 'cl' [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/xorfinder.h:36: src/Vec.h: In instantiation of 'void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]': src/watcharray.h:153:30: required from here src/Vec.h:232:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of 'void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]': src/Vec.h:294:13: required from 'void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]' src/watcharray.h:91:27: required from here src/Vec.h:268:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class CMSat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: 'class CMSat::vec' declared here 45 | class vec { | ^~~ aarch64-linux-gnu-g++ -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,now -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-aarch64-cpython-311/python/src/GitSHA1.o build/temp.linux-aarch64-cpython-311/python/src/pycryptosat.o build/temp.linux-aarch64-cpython-311/src/bva.o build/temp.linux-aarch64-cpython-311/src/cardfinder.o build/temp.linux-aarch64-cpython-311/src/ccnr.o build/temp.linux-aarch64-cpython-311/src/ccnr_cms.o build/temp.linux-aarch64-cpython-311/src/clauseallocator.o build/temp.linux-aarch64-cpython-311/src/clausecleaner.o build/temp.linux-aarch64-cpython-311/src/cnf.o build/temp.linux-aarch64-cpython-311/src/completedetachreattacher.o build/temp.linux-aarch64-cpython-311/src/cryptominisat.o build/temp.linux-aarch64-cpython-311/src/cryptominisat_c.o build/temp.linux-aarch64-cpython-311/src/datasync.o build/temp.linux-aarch64-cpython-311/src/distillerbin.o build/temp.linux-aarch64-cpython-311/src/distillerlitrem.o build/temp.linux-aarch64-cpython-311/src/distillerlong.o build/temp.linux-aarch64-cpython-311/src/distillerlongwithimpl.o build/temp.linux-aarch64-cpython-311/src/frat.o build/temp.linux-aarch64-cpython-311/src/gatefinder.o build/temp.linux-aarch64-cpython-311/src/gaussian.o build/temp.linux-aarch64-cpython-311/src/get_clause_query.o build/temp.linux-aarch64-cpython-311/src/hyperengine.o build/temp.linux-aarch64-cpython-311/src/intree.o build/temp.linux-aarch64-cpython-311/src/lucky.o build/temp.linux-aarch64-cpython-311/src/matrixfinder.o build/temp.linux-aarch64-cpython-311/src/occsimplifier.o build/temp.linux-aarch64-cpython-311/src/oracle/oracle.o build/temp.linux-aarch64-cpython-311/src/packedrow.o build/temp.linux-aarch64-cpython-311/src/propengine.o build/temp.linux-aarch64-cpython-311/src/reducedb.o build/temp.linux-aarch64-cpython-311/src/sccfinder.o build/temp.linux-aarch64-cpython-311/src/searcher.o build/temp.linux-aarch64-cpython-311/src/searchstats.o build/temp.linux-aarch64-cpython-311/src/sls.o build/temp.linux-aarch64-cpython-311/src/solutionextender.o build/temp.linux-aarch64-cpython-311/src/solver.o build/temp.linux-aarch64-cpython-311/src/solverconf.o build/temp.linux-aarch64-cpython-311/src/str_impl_w_impl.o build/temp.linux-aarch64-cpython-311/src/subsumeimplicit.o build/temp.linux-aarch64-cpython-311/src/subsumestrengthen.o build/temp.linux-aarch64-cpython-311/src/varreplacer.o build/temp.linux-aarch64-cpython-311/src/xorfinder.o -L/usr/lib/aarch64-linux-gnu -Lbuild/temp.linux-aarch64-cpython-311 -lpicosatlib -o build/lib.linux-aarch64-cpython-311/pycryptosat.cpython-311-aarch64-linux-gnu.so installing to build/bdist.linux-aarch64/wheel running install running install_lib creating build/bdist.linux-aarch64 creating build/bdist.linux-aarch64/wheel copying build/lib.linux-aarch64-cpython-311/pycryptosat.cpython-311-aarch64-linux-gnu.so -> build/bdist.linux-aarch64/wheel creating build/bdist.linux-aarch64/wheel/msvc copying build/lib.linux-aarch64-cpython-311/msvc/stdint.h -> build/bdist.linux-aarch64/wheel/msvc creating build/bdist.linux-aarch64/wheel/oracle copying build/lib.linux-aarch64-cpython-311/oracle/utils.h -> build/bdist.linux-aarch64/wheel/oracle copying build/lib.linux-aarch64-cpython-311/oracle/oracle.h -> build/bdist.linux-aarch64/wheel/oracle copying build/lib.linux-aarch64-cpython-311/oracle/oracle.cpp -> build/bdist.linux-aarch64/wheel/oracle creating build/bdist.linux-aarch64/wheel/picosat copying build/lib.linux-aarch64-cpython-311/picosat/version.c -> build/bdist.linux-aarch64/wheel/picosat copying build/lib.linux-aarch64-cpython-311/picosat/picosat.h -> build/bdist.linux-aarch64/wheel/picosat copying build/lib.linux-aarch64-cpython-311/picosat/picosat.c -> build/bdist.linux-aarch64/wheel/picosat copying build/lib.linux-aarch64-cpython-311/picosat/pico_config.h -> build/bdist.linux-aarch64/wheel/picosat running install_egg_info Copying src/pycryptosat.egg-info to build/bdist.linux-aarch64/wheel/pycryptosat-5.11.21.egg-info running install_scripts creating build/bdist.linux-aarch64/wheel/pycryptosat-5.11.21.dist-info/WHEEL creating '/build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.11/.tmp-v5b09y0d/pycryptosat-5.11.21-cp311-cp311-linux_aarch64.whl' and adding 'build/bdist.linux-aarch64/wheel' to it adding 'pycryptosat.cpython-311-aarch64-linux-gnu.so' adding 'msvc/stdint.h' adding 'oracle/oracle.cpp' adding 'oracle/oracle.h' adding 'oracle/utils.h' adding 'picosat/pico_config.h' adding 'picosat/picosat.c' adding 'picosat/picosat.h' adding 'picosat/version.c' adding 'pycryptosat-5.11.21.dist-info/AUTHORS' adding 'pycryptosat-5.11.21.dist-info/LICENSE.txt' adding 'pycryptosat-5.11.21.dist-info/METADATA' adding 'pycryptosat-5.11.21.dist-info/WHEEL' adding 'pycryptosat-5.11.21.dist-info/top_level.txt' adding 'pycryptosat-5.11.21.dist-info/RECORD' removing build/bdist.linux-aarch64/wheel Successfully built pycryptosat-5.11.21-cp311-cp311-linux_aarch64.whl I: pybuild plugin_pyproject:144: Unpacking wheel built for python3.11 with "installer" module make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' dh_auto_test -O--buildsystem=pybuild I: pybuild base:311: cd /build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.11/build; python3.11 -m unittest discover -v ---------------------------------------------------------------------- Ran 0 tests in 0.000s OK create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary --with python3 --buildsystem=pybuild dh_testroot -O--buildsystem=pybuild dh_prep -O--buildsystem=pybuild dh_auto_install -O--buildsystem=pybuild I: pybuild plugin_pyproject:178: Copying package built for python3.11 to destdir debian/rules override_dh_install make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make install DESTDIR=debian/tmp make[2]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[3]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 90%] Built target cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target cryptominisat5-bin make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target man_cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' Copying cryptominisat_c.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying cryptominisat.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying solvertypesmini.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying dimacsparser.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying streambuffer.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target CopyPublicHeaders make[3]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' Install the project... -- Install configuration: "RelWithDebInfo" -- Installing: debian/tmp/usr/share/man/man1/cryptominisat5.1 -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake -- Installing: debian/tmp/usr/lib/aarch64-linux-gnu/libcryptominisat5.so.5.11 -- Installing: debian/tmp/usr/lib/aarch64-linux-gnu/libcryptominisat5.so -- Installing: debian/tmp/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: debian/tmp/usr/include/cryptominisat5/cryptominisat.h -- Installing: debian/tmp/usr/include/cryptominisat5/solvertypesmini.h -- Installing: debian/tmp/usr/include/cryptominisat5/dimacsparser.h -- Installing: debian/tmp/usr/include/cryptominisat5/streambuffer.h -- Installing: debian/tmp/usr/bin/cryptominisat5 -- Set non-toolchain portion of runtime path of "debian/tmp/usr/bin/cryptominisat5" to "" make[2]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' pybuild --install I: pybuild plugin_pyproject:178: Copying package built for python3.11 to destdir dh_install make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' dh_installdocs -O--buildsystem=pybuild dh_installchangelogs -O--buildsystem=pybuild dh_installman -O--buildsystem=pybuild dh_python3 -O--buildsystem=pybuild dh_installsystemduser -O--buildsystem=pybuild dh_installmenu -O--buildsystem=pybuild dh_lintian -O--buildsystem=pybuild dh_perl -O--buildsystem=pybuild dh_link -O--buildsystem=pybuild dh_strip_nondeterminism -O--buildsystem=pybuild dh_compress -O--buildsystem=pybuild dh_fixperms -O--buildsystem=pybuild dh_missing -O--buildsystem=pybuild dh_dwz -a -O--buildsystem=pybuild dh_strip -a -O--buildsystem=pybuild dh_makeshlibs -a -O--buildsystem=pybuild dh_shlibdeps -a -O--buildsystem=pybuild dh_installdeb -O--buildsystem=pybuild dh_gencontrol -O--buildsystem=pybuild dh_md5sums -O--buildsystem=pybuild dh_builddeb -O--buildsystem=pybuild dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb'. dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb'. dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb'. dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.11.21+dfsg1-1_arm64.deb'. dpkg-deb: building package 'libcryptominisat5-5.11t64-dbgsym' in '../libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_arm64.deb'. dpkg-deb: building package 'libcryptominisat5-5.11t64' in '../libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb'. dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.11.21+dfsg1-1_arm64.deb'. dpkg-genbuildinfo --build=binary -O../cryptominisat_5.11.21+dfsg1-1_arm64.buildinfo dpkg-genchanges --build=binary -O../cryptominisat_5.11.21+dfsg1-1_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . 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/516529/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/516529/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/516529 and its subdirectories I: Current time: Mon May 6 09:43:22 +14 2024 I: pbuilder-time-stamp: 1714938202