Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/minisat+/minisat+_1.0-4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/minisat+-1.0-4v0cma8eb/minisat+_1.0-4_amd64.buildinfo Get source package info: minisat+=1.0-4 Source URL: http://snapshot.notset.fr/mr/package/minisat+/1.0-4/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-10 automake=1:1.15-6 autopoint=0.19.8.1-2 autotools-dev=20161112.1 base-files=9.8 base-passwd=3.5.43 bash=4.4-4 binutils=2.27.90.20170218-1 bsdmainutils=9.0.12 bsdutils=1:2.29.1-1 build-essential=12.3 bzip2=1.0.6-8.1 coreutils=8.26-2 cpp=4:6.3.0-1 cpp-6=6.3.0-7 dash=0.5.8-2.4 debconf=1.5.60 debhelper=10.2.5 debianutils=4.8.1 dh-autoreconf=13 dh-strip-nondeterminism=0.031-1 diffutils=1:3.5-3 dpkg=1.18.22 dpkg-dev=1.18.22 e2fslibs=1.43.4-2 e2fsprogs=1.43.4-2 file=1:5.29-3 findutils=4.6.0+git+20161106-2 g++=4:6.3.0-1 g++-6=6.3.0-7 gcc=4:6.3.0-1 gcc-6=6.3.0-7 gcc-6-base=6.3.0-7 gettext=0.19.8.1-2 gettext-base=0.19.8.1-2 grep=2.27-2 groff-base=1.22.3-9 gzip=1.6-5 hostname=3.18 init-system-helpers=1.47 intltool-debian=0.35.0+20060710.4 libacl1=2.2.52-3 libarchive-zip-perl=1.59-1 libasan3=6.3.0-7 libatomic1=6.3.0-7 libattr1=1:2.4.47-2 libaudit-common=1:2.6.7-1 libaudit1=1:2.6.7-1 libblkid1=2.29.1-1 libbsd0=0.8.3-1 libbz2-1.0=1.0.6-8.1 libc-bin=2.24-9 libc-dev-bin=2.24-9 libc6=2.24-9 libc6-dev=2.24-9 libcap-ng0=0.7.7-3 libcc1-0=6.3.0-7 libcilkrts5=6.3.0-7 libcomerr2=1.43.4-2 libcroco3=0.6.11-2 libdb5.3=5.3.28-12+b1 libdebconfclient0=0.223 libdpkg-perl=1.18.22 libfdisk1=2.29.1-1 libffi6=3.2.1-6 libfile-stripnondeterminism-perl=0.031-1 libgcc-6-dev=6.3.0-7 libgcc1=1:6.3.0-7 libgcrypt20=1.7.6-1 libgdbm3=1.8.3-14 libglib2.0-0=2.50.3-1 libgmp-dev=2:6.1.2+dfsg-1 libgmp10=2:6.1.2+dfsg-1 libgmpxx4ldbl=2:6.1.2+dfsg-1 libgomp1=6.3.0-7 libgpg-error0=1.26-2 libicu57=57.1-5 libisl15=0.18-1 libitm1=6.3.0-7 liblsan0=6.3.0-7 liblz4-1=0.0~r131-2 liblzma5=5.2.2-1.2 libmagic-mgc=1:5.29-3 libmagic1=1:5.29-3 libmount1=2.29.1-1 libmpc3=1.0.3-1 libmpfr4=3.1.5-1 libmpx2=6.3.0-7 libncurses5=6.0+20161126-1 libncursesw5=6.0+20161126-1 libpam-modules=1.1.8-3.5 libpam-modules-bin=1.1.8-3.5 libpam-runtime=1.1.8-3.5 libpam0g=1.1.8-3.5 libpcre3=2:8.39-2.1 libperl5.24=5.24.1-1 libpipeline1=1.4.1-2 libquadmath0=6.3.0-7 libselinux1=2.6-3 libsemanage-common=2.6-2 libsemanage1=2.6-2 libsepol1=2.6-2 libsigsegv2=2.10-5 libsmartcols1=2.29.1-1 libss2=1.43.4-2 libstdc++-6-dev=6.3.0-7 libstdc++6=6.3.0-7 libsystemd0=232-18 libtimedate-perl=2.3000-2 libtinfo5=6.0+20161126-1 libtool=2.4.6-2 libtsan0=6.3.0-7 libubsan0=6.3.0-7 libudev1=232-18 libunistring0=0.9.6+really0.9.3-0.1 libustr-1.0-1=1.0.4-6 libuuid1=2.29.1-1 libxml2=2.9.4+dfsg1-2.2 linux-libc-dev=4.9.10-1 login=1:4.4-3 m4=1.4.18-1 make=4.1-9.1 man-db=2.7.6.1-2 mawk=1.3.3-17 mount=2.29.1-1 multiarch-support=2.24-9 ncurses-base=6.0+20161126-1 ncurses-bin=6.0+20161126-1 passwd=1:4.4-3 patch=2.7.5-1 perl=5.24.1-1 perl-base=5.24.1-1 perl-modules-5.24=5.24.1-1 po-debconf=1.0.20 sed=4.4-1 sensible-utils=0.0.9 sysvinit-utils=2.88dsf-59.9 tar=1.29b-1.1 util-linux=2.29.1-1 xz-utils=5.2.2-1.2 zlib1g=1:1.2.8.dfsg-5 zlib1g-dev=1:1.2.8.dfsg-5 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20170220T043301Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d minisat+=1.0-4 && mkdir -p /build/minisat+-SwoFaC && dpkg-source --no-check -x /*.dsc /build/minisat+-SwoFaC/minisat+-1.0 && chown -R builduser:builduser /build/minisat+-SwoFaC" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/minisat+-SwoFaC/minisat+-1.0 && env DEB_BUILD_OPTIONS="parallel=4" SOURCE_DATE_EPOCH="1487520199" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/minisat+-SwoFaC /tmp/minisat+-1.0-4v0cma8eb stretch /dev/null deb http://snapshot.notset.fr/archive/debian/20170220T043301Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.8pPf5WuBs3 as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.8pPf5WuBs3 Reading package lists... Building dependency tree... util-linux is already the newest version (2.29.1-1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 131 kB of archives. After this operation, 374 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20170220T043301Z unstable/main amd64 libfakeroot amd64 1.21-3.1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20170220T043301Z unstable/main amd64 fakeroot amd64 1.21-3.1 [85.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 131 kB in 0s (605 kB/s) Selecting previously unselected package libfakeroot:amd64. (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 ... 4392 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.21-3.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.21-3.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.21-3.1_amd64.deb ... Unpacking fakeroot (1.21-3.1) ... Processing triggers for libc-bin (2.24-9) ... Setting up libfakeroot:amd64 (1.21-3.1) ... Setting up fakeroot (1.21-3.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.24-9) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20170220T043301Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.8pPf5WuBs3 Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20170220T043301Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 23s (975 kB/s) Reading package lists... W: Problem unlinking the file auxfiles - Clean (21: Is a directory) I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.8pPf5WuBs3 I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d minisat+=1.0-4 && mkdir -p /build/minisat+-SwoFaC && dpkg-source --no-check -x /*.dsc /build/minisat+-SwoFaC/minisat+-1.0 && chown -R builduser:builduser /build/minisat+-SwoFaC"' exec /tmp/mmdebstrap.8pPf5WuBs3 Reading package lists... NOTICE: 'minisat+' packaging is maintained in the 'Git' version control system at: https://anonscm.debian.org/git/debian-science/packages/minisat+.git Please use: git clone https://anonscm.debian.org/git/debian-science/packages/minisat+.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 86.2 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main minisat+ 1.0-4 (dsc) [1984 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main minisat+ 1.0-4 (tar) [80.0 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main minisat+ 1.0-4 (diff) [4176 B] Fetched 86.2 kB in 0s (1346 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'minisat+_1.0-4.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting minisat+ in /build/minisat+-SwoFaC/minisat+-1.0 dpkg-source: info: unpacking minisat+_1.0.orig.tar.gz dpkg-source: info: unpacking minisat+_1.0-4.debian.tar.xz dpkg-source: info: applying spelling dpkg-source: info: applying exitcode I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/minisat+-SwoFaC/minisat+-1.0 && env DEB_BUILD_OPTIONS="parallel=4" SOURCE_DATE_EPOCH="1487520199" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.8pPf5WuBs3 dpkg-buildpackage: info: source package minisat+ dpkg-buildpackage: info: source version 1.0-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Ralf Treinen dpkg-source --before-build minisat+-1.0 dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory '/build/minisat+-SwoFaC/minisat+-1.0' make clean make[2]: Entering directory '/build/minisat+-SwoFaC/minisat+-1.0' Makefile:96: depend.mak: No such file or directory Making dependencies... make[2]: Leaving directory '/build/minisat+-SwoFaC/minisat+-1.0' make[1]: Leaving directory '/build/minisat+-SwoFaC/minisat+-1.0' dh_autoreconf_clean dh_clean debian/rules build-arch dh build-arch dh_testdir -a dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a dh_auto_build -a make -j4 make[1]: Entering directory '/build/minisat+-SwoFaC/minisat+-1.0' Makefile:96: depend.mak: No such file or directory Making dependencies... Building minisat+ (standard) Compiling: PbSolver_convertAdd.C Compiling: PbParser.C Compiling: SatELite.C Compiling: PbSolver_convertBdd.C In file included from SatELite.C:26:0: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbParser.h:23, from PbParser.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convertBdd.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convertAdd.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.C:639:38: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] if (verbosity >= 2) reportf(L_IND"assume("L_LIT")\n", L_ind, L_lit(p)); ^ SatELite.C:648:61: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] if (verbosity >= 2){ Lit p = trail.last(); reportf(L_IND"unbind("L_LIT")\n", L_ind, L_lit(p)); } ^ SatELite.C:663:111: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] if (verbosity >= 2){ if (trail.size() != trail_lim.last()){ Lit p = trail[trail_lim.last()]; reportf(L_IND"cancel("L_LIT")\n", L_ind, L_lit(p)); } } ^ SatELite.C:895:61: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < out_learnt.size(); i++) reportf(" "L_LIT, L_lit(out_learnt[i])); ^ SatELite.C:938:42: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] if (verbosity >= 2) reportf(L_IND"bind("L_LIT")\n", L_ind, L_lit(p)); ^ SatELite.C:2373:24: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] printf("asymmetricBranching("L_LIT" @ %d)\n", L_lit(p), level[var(p)]); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from PbParser.h:23, from PbParser.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:23:0, from PbSolver.h:23, from PbSolver_convertAdd.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from SatELite.C:26:0: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convertAdd.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbParser.h:23, from PbParser.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ SatELite.C: In function ‘FILE* SatELite::createTmpFile(cchar*, cchar*, char*&)’: SatELite.C:172:19: warning: the compiler can assume that the address of ‘out_name’ will never be NULL [-Waddress] if (&out_name != NULL) out_name = name; ^ SatELite.C: In function ‘void SatELite::deleteTmpFile(cchar*, bool)’: SatELite.C:182:20: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] if (!exact && (strlen(tmp_files[i]) == len + 6 && strncmp(tmp_files[i], prefix, len) == 0) ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from Solver.h:23:0, from PbSolver.h:23, from PbSolver_convertBdd.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ PbSolver_convertAdd.C: In function ‘void lte(vec&, vec&, vec&)’: PbSolver_convertAdd.C:43:31: warning: suggest parentheses around arithmetic in operand of ‘|’ [-Wparentheses] c = c | x ^ y; ~~^~~ In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convertBdd.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from PbSolver_convertAdd.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ SatELite.C: In member function ‘void SatELite::Solver::subsume0(SatELite::Clause, int&)’: SatELite.C:1694:22: warning: the compiler can assume that the address of ‘counter’ will never be NULL [-Waddress] if (&counter != NULL) counter++; ^ SatELite.C: In member function ‘void SatELite::Solver::subsume1(SatELite::Clause, int&)’: SatELite.C:1728:30: warning: the compiler can assume that the address of ‘counter’ will never be NULL [-Waddress] if (&counter != NULL && counter == -1){ ^ SatELite.C:1738:30: warning: the compiler can assume that the address of ‘counter’ will never be NULL [-Waddress] if (&counter != NULL) counter++; ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from PbParser.h:23, from PbParser.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ SatELite.C: In member function ‘int SatELite::Solver::substitute(Lit, SatELite::Clause, vec&, vec&, vec&)’: SatELite.C:2230:30: warning: the compiler can assume that the address of ‘new_clauses’ will never be NULL [-Waddress] if (&new_clauses != NULL){ ^ SatELite.C:2267:26: warning: the compiler can assume that the address of ‘new_clauses’ will never be NULL [-Waddress] if (&new_clauses != NULL){ ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from PbSolver_convertBdd.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map, Formula>::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = Pair; D = Formula; Par = Hash_params >]’ PbSolver_convertBdd.C:66:33: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] SatELite.C: In member function ‘void SatELite::Solver::subsume0(SatELite::Clause, int&)’: SatELite.C:1694:9: warning: nonnull argument ‘counter’ compared to NULL [-Wnonnull-compare] if (&counter != NULL) counter++; ^~ SatELite.C: In function ‘FILE* SatELite::createTmpFile(cchar*, cchar*, char*&)’: SatELite.C:172:5: warning: nonnull argument ‘out_name’ compared to NULL [-Wnonnull-compare] if (&out_name != NULL) out_name = name; ^~ SatELite.C: In member function ‘void SatELite::Solver::subsume1(SatELite::Clause, int&)’: SatELite.C:1738:17: warning: nonnull argument ‘counter’ compared to NULL [-Wnonnull-compare] if (&counter != NULL) counter++; ^~ SatELite.C:1728:17: warning: nonnull argument ‘counter’ compared to NULL [-Wnonnull-compare] if (&counter != NULL && counter == -1){ ^~ SatELite.C: In member function ‘int SatELite::Solver::substitute(Lit, SatELite::Clause, vec&, vec&, vec&)’: SatELite.C:2267:9: warning: nonnull argument ‘new_clauses’ compared to NULL [-Wnonnull-compare] if (&new_clauses != NULL){ ^~ SatELite.C:2230:13: warning: nonnull argument ‘new_clauses’ compared to NULL [-Wnonnull-compare] if (&new_clauses != NULL){ ^~ Compiling: Hardware_clausify.C In file included from Solver.h:24:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_clausify.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_clausify.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_clausify.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ Compiling: Hardware_sorters.C In file included from ADTs/Map.h:29:0, from ADTs/FEnv.h:30, from Hardware.h:23, from Hardware_clausify.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ In file included from Solver.h:24:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_sorters.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_sorters.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_sorters.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from ADTs/FEnv.h:30, from Hardware.h:23, from Hardware_sorters.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ Compiling: PbSolver.C In file included from Solver.h:24:0, from PbSolver.h:23, from Debug.h:24, from PbSolver.C:22: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from PbSolver.C:20:0: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from Debug.h:24, from PbSolver.C:22: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from Debug.h:24, from PbSolver.C:22: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map >::Cell; int chunk_size = 100]’: ADTs/Map.h:120:51: required from ‘Map::Map(const D&) [with K = int; D = Pair; Par = Hash_params]’ PbSolver.C:148:57: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] Compiling: Main.C In file included from Solver.h:24:0, from PbSolver.h:23, from Main.C:31: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ Main.C:269:13: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] reportf("restarts : %"I64_fmt"\n", stats.starts); ^ Main.C:270:13: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] reportf("conflicts : %-12"I64_fmt" (%.0f /sec)\n", stats.conflicts , stats.conflicts /cpu_time); ^ Main.C:271:13: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] reportf("decisions : %-12"I64_fmt" (%.0f /sec)\n", stats.decisions , stats.decisions /cpu_time); ^ Main.C:272:13: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] reportf("propagations : %-12"I64_fmt" (%.0f /sec)\n", stats.propagations, stats.propagations/cpu_time); ^ Main.C:273:13: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] reportf("inspects : %-12"I64_fmt" (%.0f /sec)\n", stats.inspects , stats.inspects /cpu_time); ^ In file included from Main.C:30:0: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from Main.C:31: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from Main.C:31: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ Compiling: Hardware_adders.C In file included from Solver.h:24:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_adders.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_adders.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from SatELite.C:26:0: SatELite.h: In member function ‘void SatELite::Solver::subsume1(SatELite::Clause, int&)’: SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.h:110:65: warning: array subscript is above array bounds [-Warray-bounds] Lit& operator [] (int index) { return dynamic() ? Vec()[index] : data[index]; } ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from Solver.h:24:0, from PbSolver.h:23, from Hardware.h:24, from Hardware_adders.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from ADTs/FEnv.h:30, from Hardware.h:23, from Hardware_adders.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ Compiling: PbSolver_convert.C In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convert.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from PbSolver_convert.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convert.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from PbSolver_convert.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ In file included from PbSolver.h:25:0, from PbSolver_convert.C:20: ADTs/StackAlloc.h: In instantiation of ‘void StackAlloc::freeAll() [with T = char*; int cap = 10000; int lim = 1000]’: ADTs/StackAlloc.h:55:33: required from ‘void StackAlloc::clear() [with T = char*; int cap = 10000; int lim = 1000]’ PbSolver_convert.C:71:15: required from here ADTs/StackAlloc.h:83:24: warning: deleting object of polymorphic class type ‘StackAlloc’ which has non-virtual destructor might cause undefined behavior [-Wdelete-non-virtual-dtor] tmp = ptr->prev, delete ptr, ptr = tmp; Compiling: PbSolver_convertSort.C In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convertSort.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from PbSolver_convertSort.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from PbSolver_convertSort.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from PbSolver_convertSort.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ Compiling: MiniSat.C In file included from MiniSat.C:20:0: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ MiniSat.C: In member function ‘bool MiniSat::Solver::newClause(const vec&, bool, MiniSat::Clause*&)’: MiniSat.C:65:21: warning: the compiler can assume that the address of ‘out_clause’ will never be NULL [-Waddress] if (&out_clause != NULL) out_clause = NULL; ^ MiniSat.C:135:25: warning: the compiler can assume that the address of ‘out_clause’ will never be NULL [-Waddress] if (&out_clause != NULL) out_clause = c; ^ MiniSat.C: In member function ‘void MiniSat::Solver::remove(MiniSat::Clause*, bool)’: MiniSat.C:144:8: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] if (!just_dealloc) ^ MiniSat.C: In member function ‘bool MiniSat::Solver::removable(Lit, unsigned int)’: MiniSat.C:362:16: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] if (!analyze_seen[var(p)] && level[var(p)] != 0) \ ^ MiniSat.C:384:13: note: in expansion of macro ‘REMOVABLE_LIT’ REMOVABLE_LIT(q); ^~~~~~~~~~~~~ MiniSat.C:362:16: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] if (!analyze_seen[var(p)] && level[var(p)] != 0) \ ^ MiniSat.C:388:17: note: in expansion of macro ‘REMOVABLE_LIT’ REMOVABLE_LIT(c[i]); ^~~~~~~~~~~~~ MiniSat.C: In member function ‘bool MiniSat::Solver::newClause(const vec&, bool, MiniSat::Clause*&)’: MiniSat.C:135:9: warning: nonnull argument ‘out_clause’ compared to NULL [-Wnonnull-compare] if (&out_clause != NULL) out_clause = c; ^~ MiniSat.C:65:5: warning: nonnull argument ‘out_clause’ compared to NULL [-Wnonnull-compare] if (&out_clause != NULL) out_clause = NULL; ^~ Compiling: Debug.C In file included from Solver.h:24:0, from PbSolver.h:23, from Debug.h:24, from Debug.C:20: SatELite.h:509:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:515:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.h:522:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ SatELite.h:528:53: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ In file included from Solver.h:23:0, from PbSolver.h:23, from Debug.h:24, from Debug.C:20: MiniSat.h: In member function ‘float& MiniSat::Clause::activity() const’: MiniSat.h:52:75: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { return *((float*)&data[size()]); } ^ In file included from Solver.h:24:0, from PbSolver.h:23, from Debug.h:24, from Debug.C:20: SatELite.h: In member function ‘vec& SatELite::Clause_t::Vec() const’: SatELite.h:104:60: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] vec& Vec(void) const { return *((vec*)&_vec); } ^ SatELite.h: In member function ‘float& SatELite::Clause::activity() const’: SatELite.h:152:103: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] float& activity (void) const { assert(learnt()); return *((float*)&ptr_->data[size()]); } // (learnt clauses only) ^ In file included from ADTs/Map.h:29:0, from PbSolver.h:24, from Debug.h:24, from Debug.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = const char*; D = int; Par = Hash_params]’ PbSolver.h:99:41: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ Compiling: ADTs/Global.C Compiling: ADTs/FEnv.C In file included from ADTs/Map.h:29:0, from ADTs/FEnv.h:30, from ADTs/FEnv.C:20: ADTs/VecAlloc.h: In instantiation of ‘VecAlloc::~VecAlloc() [with T = Map::Cell; int chunk_size = 100]’: ADTs/Map.h:119:47: required from ‘Map::Map() [with K = FEnv::NodeData; D = int; Par = Hash_params]’ ADTs/FEnv.C:24:25: required from here ADTs/VecAlloc.h:41:34: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘long unsigned int’ [-Wformat=] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ^ Compiling: ADTs/File.C Linking minisat+ make[1]: Leaving directory '/build/minisat+-SwoFaC/minisat+-1.0' dh_auto_test -a create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch dh_testroot -a dh_prep -a dh_auto_install -a dh_install -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/minisat+/usr/bin/minisat+ was not linked against libz.so.1 (it uses none of the library's symbols) dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'minisat+-dbgsym' in '../minisat+-dbgsym_1.0-4_amd64.deb'. dpkg-deb: building package 'minisat+' in '../minisat+_1.0-4_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../minisat+_1.0-4_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build minisat+-1.0 dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/minisat+-SwoFaC /tmp/minisat+-1.0-4v0cma8eb I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.8pPf5WuBs3... I: success in 304.5046 seconds md5: Value of 'md5' differs for minisat+-dbgsym_1.0-4_amd64.deb md5: Size differs for minisat+-dbgsym_1.0-4_amd64.deb md5: Value of 'md5' differs for minisat+_1.0-4_amd64.deb md5: Size differs for minisat+_1.0-4_amd64.deb sha1: Value of 'sha1' differs for minisat+-dbgsym_1.0-4_amd64.deb sha1: Size differs for minisat+-dbgsym_1.0-4_amd64.deb sha1: Value of 'sha1' differs for minisat+_1.0-4_amd64.deb sha1: Size differs for minisat+_1.0-4_amd64.deb sha256: Value of 'sha256' differs for minisat+-dbgsym_1.0-4_amd64.deb sha256: Size differs for minisat+-dbgsym_1.0-4_amd64.deb sha256: Value of 'sha256' differs for minisat+_1.0-4_amd64.deb sha256: Size differs for minisat+_1.0-4_amd64.deb Checksums: FAIL Cannot generate diffoscope for minisat+-dbgsym_1.0-4_amd64.deb: Cannot find URL: http://snapshot.notset.fr/mr/file/043f73981742903410c7615580f15b797075608176c1ef55f784c3996bb0cca1/download diffoscope run passed