I: pbuilder: network access will be disabled during build I: Current time: Tue Jul 13 10:15:36 +14 2021 I: pbuilder-time-stamp: 1626120936 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration 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 [clasp_3.3.5-4.dsc] I: copying [./clasp_3.3.5.orig.tar.gz] I: copying [./clasp_3.3.5-4.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.yM0_VBaj/trustedkeys.kbx': General error gpgv: Signature made Tue Dec 29 02:39:52 2020 +14 gpgv: using RSA key CC7EEF2C408664551D7B44CA2797DF74A6669AA9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./clasp_3.3.5-4.dsc dpkg-source: info: extracting clasp in clasp-3.3.5 dpkg-source: info: unpacking clasp_3.3.5.orig.tar.gz dpkg-source: info: unpacking clasp_3.3.5-4.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying clasp-manpage.patch dpkg-source: info: applying link-libatomic-check-gcc.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/6338/tmp/hooks/D01_modify_environment starting debug: Running on jtx1c. 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 Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by 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/6338/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/6338/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") BASH_VERSION='5.1.4(1)-release' BUILDDIR=/build BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=armhf DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=4' DIRSTACK=() DISTRIBUTION= EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=arm HOST_ARCH=armhf IFS=' ' INVOCATION_ID=13581a9f043f45adbf6f7a41d0006e19 LANG=C LANGUAGE=it_CH:it LC_ALL=C MACHTYPE=arm-unknown-linux-gnueabihf MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnueabihf PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=6338 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/tmp.m7iwQWVYtX/pbuilderrc_hfrb --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/b2 --logfile b2/build.log --extrapackages usrmerge clasp_3.3.5-4.dsc' SUDO_GID=114 SUDO_UID=108 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://10.0.0.15:8000/ I: uname -a Linux i-capture-the-hostname 5.10.0-7-arm64 #1 SMP Debian 5.10.40-1 (2021-05-28) aarch64 GNU/Linux I: ls -l /bin total 3580 -rwxr-xr-x 1 root root 816764 Jun 22 16:26 bash -rwxr-xr-x 3 root root 26052 Jul 21 2020 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 21 2020 bzcat lrwxrwxrwx 1 root root 6 Jul 21 2020 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Jul 21 2020 bzdiff lrwxrwxrwx 1 root root 6 Jul 21 2020 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Sep 5 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 21 2020 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Jul 21 2020 bzgrep -rwxr-xr-x 3 root root 26052 Jul 21 2020 bzip2 -rwxr-xr-x 1 root root 9636 Jul 21 2020 bzip2recover lrwxrwxrwx 1 root root 6 Jul 21 2020 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 21 2020 bzmore -rwxr-xr-x 1 root root 26668 Sep 23 2020 cat -rwxr-xr-x 1 root root 43104 Sep 23 2020 chgrp -rwxr-xr-x 1 root root 38984 Sep 23 2020 chmod -rwxr-xr-x 1 root root 43112 Sep 23 2020 chown -rwxr-xr-x 1 root root 92616 Sep 23 2020 cp -rwxr-xr-x 1 root root 75524 Dec 11 2020 dash -rwxr-xr-x 1 root root 75880 Sep 23 2020 date -rwxr-xr-x 1 root root 55436 Sep 23 2020 dd -rwxr-xr-x 1 root root 59912 Sep 23 2020 df -rwxr-xr-x 1 root root 96764 Sep 23 2020 dir -rwxr-xr-x 1 root root 55012 Feb 8 04:38 dmesg lrwxrwxrwx 1 root root 8 Nov 8 2019 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Nov 8 2019 domainname -> hostname -rwxr-xr-x 1 root root 22508 Sep 23 2020 echo -rwxr-xr-x 1 root root 28 Nov 10 2020 egrep -rwxr-xr-x 1 root root 22496 Sep 23 2020 false -rwxr-xr-x 1 root root 28 Nov 10 2020 fgrep -rwxr-xr-x 1 root root 47492 Feb 8 04:38 findmnt -rwsr-xr-x 1 root root 26076 Feb 27 06:12 fusermount -rwxr-xr-x 1 root root 124508 Nov 10 2020 grep -rwxr-xr-x 2 root root 2346 Mar 3 13:30 gunzip -rwxr-xr-x 1 root root 6376 Mar 3 13:30 gzexe -rwxr-xr-x 1 root root 64212 Mar 3 13:30 gzip -rwxr-xr-x 1 root root 13784 Nov 8 2019 hostname -rwxr-xr-x 1 root root 43180 Sep 23 2020 ln -rwxr-xr-x 1 root root 35068 Feb 8 2020 login -rwxr-xr-x 1 root root 96764 Sep 23 2020 ls -rwxr-xr-x 1 root root 99940 Feb 8 04:38 lsblk -rwxr-xr-x 1 root root 51408 Sep 23 2020 mkdir -rwxr-xr-x 1 root root 43184 Sep 23 2020 mknod -rwxr-xr-x 1 root root 30780 Sep 23 2020 mktemp -rwxr-xr-x 1 root root 34408 Feb 8 04:38 more -rwsr-xr-x 1 root root 34400 Feb 8 04:38 mount -rwxr-xr-x 1 root root 9824 Feb 8 04:38 mountpoint -rwxr-xr-x 1 root root 88524 Sep 23 2020 mv lrwxrwxrwx 1 root root 8 Nov 8 2019 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 19 05:38 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 26652 Sep 23 2020 pwd lrwxrwxrwx 1 root root 4 Jun 22 16:26 rbash -> bash -rwxr-xr-x 1 root root 30740 Sep 23 2020 readlink -rwxr-xr-x 1 root root 43104 Sep 23 2020 rm -rwxr-xr-x 1 root root 30732 Sep 23 2020 rmdir -rwxr-xr-x 1 root root 14144 Sep 28 2020 run-parts -rwxr-xr-x 1 root root 76012 Dec 23 2018 sed lrwxrwxrwx 1 root root 4 Jul 13 10:16 sh -> bash lrwxrwxrwx 1 root root 4 Jul 12 23:26 sh.distrib -> dash -rwxr-xr-x 1 root root 22532 Sep 23 2020 sleep -rwxr-xr-x 1 root root 55360 Sep 23 2020 stty -rwsr-xr-x 1 root root 46704 Feb 8 04:38 su -rwxr-xr-x 1 root root 22532 Sep 23 2020 sync -rwxr-xr-x 1 root root 340872 Feb 17 23:55 tar -rwxr-xr-x 1 root root 9808 Sep 28 2020 tempfile -rwxr-xr-x 1 root root 67696 Sep 23 2020 touch -rwxr-xr-x 1 root root 22496 Sep 23 2020 true -rwxr-xr-x 1 root root 9636 Feb 27 06:12 ulockmgr_server -rwsr-xr-x 1 root root 22108 Feb 8 04:38 umount -rwxr-xr-x 1 root root 22520 Sep 23 2020 uname -rwxr-xr-x 2 root root 2346 Mar 3 13:30 uncompress -rwxr-xr-x 1 root root 96764 Sep 23 2020 vdir -rwxr-xr-x 1 root root 38512 Feb 8 04:38 wdctl lrwxrwxrwx 1 root root 8 Nov 8 2019 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Mar 3 13:30 zcat -rwxr-xr-x 1 root root 1678 Mar 3 13:30 zcmp -rwxr-xr-x 1 root root 5880 Mar 3 13:30 zdiff -rwxr-xr-x 1 root root 29 Mar 3 13:30 zegrep -rwxr-xr-x 1 root root 29 Mar 3 13:30 zfgrep -rwxr-xr-x 1 root root 2081 Mar 3 13:30 zforce -rwxr-xr-x 1 root root 7585 Mar 3 13:30 zgrep -rwxr-xr-x 1 root root 2206 Mar 3 13:30 zless -rwxr-xr-x 1 root root 1842 Mar 3 13:30 zmore -rwxr-xr-x 1 root root 4553 Mar 3 13:30 znew I: user script /srv/workspace/pbuilder/6338/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: armhf 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: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), g++-10 (>= 10.2.1), cmake (>= 3.1.0) dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19398 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 debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on cmake (>= 3.1.0); however: Package cmake 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-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13{a} libbrotli1{a} libcurl4{a} libdebhelper-perl{a} libelf1{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libicu67{a} libjsoncpp24{a} libldap-2.4-2{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libnghttp2-14{a} libpipeline1{a} libprocps8{a} libpsl5{a} librhash0{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libsigsegv2{a} libssh2-1{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libuv1{a} libxml2{a} m4{a} man-db{a} po-debconf{a} procps{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl libarchive-cpio-perl libgpm2 libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules lynx psmisc publicsuffix wget 0 packages upgraded, 50 newly installed, 0 to remove and 0 not upgraded. Need to get 25.6 MB of archives. After unpacking 91.5 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bullseye/main armhf bsdextrautils armhf 2.36.1-7 [138 kB] Get: 2 http://deb.debian.org/debian bullseye/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB] Get: 3 http://deb.debian.org/debian bullseye/main armhf groff-base armhf 1.22.4-6 [847 kB] Get: 4 http://deb.debian.org/debian bullseye/main armhf libpipeline1 armhf 1.5.3-1 [30.1 kB] Get: 5 http://deb.debian.org/debian bullseye/main armhf man-db armhf 2.9.4-2 [1319 kB] Get: 6 http://deb.debian.org/debian bullseye/main armhf libncurses6 armhf 6.2+20201114-2 [80.5 kB] Get: 7 http://deb.debian.org/debian bullseye/main armhf libprocps8 armhf 2:3.3.17-5 [60.7 kB] Get: 8 http://deb.debian.org/debian bullseye/main armhf procps armhf 2:3.3.17-5 [492 kB] Get: 9 http://deb.debian.org/debian bullseye/main armhf sensible-utils all 0.0.14 [14.8 kB] Get: 10 http://deb.debian.org/debian bullseye/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB] Get: 11 http://deb.debian.org/debian bullseye/main armhf libmagic1 armhf 1:5.39-3 [117 kB] Get: 12 http://deb.debian.org/debian bullseye/main armhf file armhf 1:5.39-3 [68.1 kB] Get: 13 http://deb.debian.org/debian bullseye/main armhf gettext-base armhf 0.21-4 [171 kB] Get: 14 http://deb.debian.org/debian bullseye/main armhf libsigsegv2 armhf 2.13-1 [34.0 kB] Get: 15 http://deb.debian.org/debian bullseye/main armhf m4 armhf 1.4.18-5 [192 kB] Get: 16 http://deb.debian.org/debian bullseye/main armhf autoconf all 2.69-14 [313 kB] Get: 17 http://deb.debian.org/debian bullseye/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 18 http://deb.debian.org/debian bullseye/main armhf automake all 1:1.16.3-2 [814 kB] Get: 19 http://deb.debian.org/debian bullseye/main armhf autopoint all 0.21-4 [510 kB] Get: 20 http://deb.debian.org/debian bullseye/main armhf cmake-data all 3.18.4-2 [1725 kB] Get: 21 http://deb.debian.org/debian bullseye/main armhf libicu67 armhf 67.1-7 [8319 kB] Get: 22 http://deb.debian.org/debian bullseye/main armhf libxml2 armhf 2.9.10+dfsg-6.7 [602 kB] Get: 23 http://deb.debian.org/debian bullseye/main armhf libarchive13 armhf 3.4.3-2+b1 [304 kB] Get: 24 http://deb.debian.org/debian bullseye/main armhf libbrotli1 armhf 1.0.9-2+b2 [262 kB] Get: 25 http://deb.debian.org/debian bullseye/main armhf libsasl2-modules-db armhf 2.1.27+dfsg-2.1 [67.6 kB] Get: 26 http://deb.debian.org/debian bullseye/main armhf libsasl2-2 armhf 2.1.27+dfsg-2.1 [99.1 kB] Get: 27 http://deb.debian.org/debian bullseye/main armhf libldap-2.4-2 armhf 2.4.57+dfsg-3 [210 kB] Get: 28 http://deb.debian.org/debian bullseye/main armhf libnghttp2-14 armhf 1.43.0-1 [65.6 kB] Get: 29 http://deb.debian.org/debian bullseye/main armhf libpsl5 armhf 0.21.0-1.2 [56.1 kB] Get: 30 http://deb.debian.org/debian bullseye/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [55.2 kB] Get: 31 http://deb.debian.org/debian bullseye/main armhf libssh2-1 armhf 1.9.0-2 [143 kB] Get: 32 http://deb.debian.org/debian bullseye/main armhf libcurl4 armhf 7.74.0-1.3+b1 [310 kB] Get: 33 http://deb.debian.org/debian bullseye/main armhf libexpat1 armhf 2.2.10-2 [76.3 kB] Get: 34 http://deb.debian.org/debian bullseye/main armhf libjsoncpp24 armhf 1.9.4-4 [68.5 kB] Get: 35 http://deb.debian.org/debian bullseye/main armhf librhash0 armhf 1.4.1-2 [144 kB] Get: 36 http://deb.debian.org/debian bullseye/main armhf libuv1 armhf 1.40.0-2 [120 kB] Get: 37 http://deb.debian.org/debian bullseye/main armhf cmake armhf 3.18.4-2 [3534 kB] Get: 38 http://deb.debian.org/debian bullseye/main armhf libdebhelper-perl all 13.3.4 [189 kB] Get: 39 http://deb.debian.org/debian bullseye/main armhf libtool all 2.4.6-15 [513 kB] Get: 40 http://deb.debian.org/debian bullseye/main armhf dh-autoreconf all 20 [17.1 kB] Get: 41 http://deb.debian.org/debian bullseye/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 42 http://deb.debian.org/debian bullseye/main armhf libsub-override-perl all 0.09-2 [10.2 kB] Get: 43 http://deb.debian.org/debian bullseye/main armhf libfile-stripnondeterminism-perl all 1.11.0-1 [25.6 kB] Get: 44 http://deb.debian.org/debian bullseye/main armhf dh-strip-nondeterminism all 1.11.0-1 [15.3 kB] Get: 45 http://deb.debian.org/debian bullseye/main armhf libelf1 armhf 0.183-1 [161 kB] Get: 46 http://deb.debian.org/debian bullseye/main armhf dwz armhf 0.13+20210201-1 [179 kB] Get: 47 http://deb.debian.org/debian bullseye/main armhf gettext armhf 0.21-4 [1243 kB] Get: 48 http://deb.debian.org/debian bullseye/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 49 http://deb.debian.org/debian bullseye/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 50 http://deb.debian.org/debian bullseye/main armhf debhelper all 13.3.4 [1049 kB] Fetched 25.6 MB in 3s (7713 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (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 ... 19398 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36.1-7_armhf.deb ... Unpacking bsdextrautils (2.36.1-7) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-6_armhf.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../03-libpipeline1_1.5.3-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.4-2_armhf.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../05-libncurses6_6.2+20201114-2_armhf.deb ... Unpacking libncurses6:armhf (6.2+20201114-2) ... Selecting previously unselected package libprocps8:armhf. Preparing to unpack .../06-libprocps8_2%3a3.3.17-5_armhf.deb ... Unpacking libprocps8:armhf (2:3.3.17-5) ... Selecting previously unselected package procps. Preparing to unpack .../07-procps_2%3a3.3.17-5_armhf.deb ... Unpacking procps (2:3.3.17-5) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../08-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../09-libmagic-mgc_1%3a5.39-3_armhf.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../10-libmagic1_1%3a5.39-3_armhf.deb ... Unpacking libmagic1:armhf (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../11-file_1%3a5.39-3_armhf.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../12-gettext-base_0.21-4_armhf.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../13-libsigsegv2_2.13-1_armhf.deb ... Unpacking libsigsegv2:armhf (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5_armhf.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.69-14_all.deb ... Unpacking autoconf (2.69-14) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.16.3-2_all.deb ... Unpacking automake (1:1.16.3-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.21-4_all.deb ... Unpacking autopoint (0.21-4) ... Selecting previously unselected package cmake-data. Preparing to unpack .../19-cmake-data_3.18.4-2_all.deb ... Unpacking cmake-data (3.18.4-2) ... Selecting previously unselected package libicu67:armhf. Preparing to unpack .../20-libicu67_67.1-7_armhf.deb ... Unpacking libicu67:armhf (67.1-7) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../21-libxml2_2.9.10+dfsg-6.7_armhf.deb ... Unpacking libxml2:armhf (2.9.10+dfsg-6.7) ... Selecting previously unselected package libarchive13:armhf. Preparing to unpack .../22-libarchive13_3.4.3-2+b1_armhf.deb ... Unpacking libarchive13:armhf (3.4.3-2+b1) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../23-libbrotli1_1.0.9-2+b2_armhf.deb ... Unpacking libbrotli1:armhf (1.0.9-2+b2) ... Selecting previously unselected package libsasl2-modules-db:armhf. Preparing to unpack .../24-libsasl2-modules-db_2.1.27+dfsg-2.1_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.27+dfsg-2.1) ... Selecting previously unselected package libsasl2-2:armhf. Preparing to unpack .../25-libsasl2-2_2.1.27+dfsg-2.1_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.27+dfsg-2.1) ... Selecting previously unselected package libldap-2.4-2:armhf. Preparing to unpack .../26-libldap-2.4-2_2.4.57+dfsg-3_armhf.deb ... Unpacking libldap-2.4-2:armhf (2.4.57+dfsg-3) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../27-libnghttp2-14_1.43.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.43.0-1) ... Selecting previously unselected package libpsl5:armhf. Preparing to unpack .../28-libpsl5_0.21.0-1.2_armhf.deb ... Unpacking libpsl5:armhf (0.21.0-1.2) ... Selecting previously unselected package librtmp1:armhf. Preparing to unpack .../29-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_armhf.deb ... Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:armhf. Preparing to unpack .../30-libssh2-1_1.9.0-2_armhf.deb ... Unpacking libssh2-1:armhf (1.9.0-2) ... Selecting previously unselected package libcurl4:armhf. Preparing to unpack .../31-libcurl4_7.74.0-1.3+b1_armhf.deb ... Unpacking libcurl4:armhf (7.74.0-1.3+b1) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../32-libexpat1_2.2.10-2_armhf.deb ... Unpacking libexpat1:armhf (2.2.10-2) ... Selecting previously unselected package libjsoncpp24:armhf. Preparing to unpack .../33-libjsoncpp24_1.9.4-4_armhf.deb ... Unpacking libjsoncpp24:armhf (1.9.4-4) ... Selecting previously unselected package librhash0:armhf. Preparing to unpack .../34-librhash0_1.4.1-2_armhf.deb ... Unpacking librhash0:armhf (1.4.1-2) ... Selecting previously unselected package libuv1:armhf. Preparing to unpack .../35-libuv1_1.40.0-2_armhf.deb ... Unpacking libuv1:armhf (1.40.0-2) ... Selecting previously unselected package cmake. Preparing to unpack .../36-cmake_3.18.4-2_armhf.deb ... Unpacking cmake (3.18.4-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../37-libdebhelper-perl_13.3.4_all.deb ... Unpacking libdebhelper-perl (13.3.4) ... Selecting previously unselected package libtool. Preparing to unpack .../38-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../39-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../40-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 .../41-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../42-libfile-stripnondeterminism-perl_1.11.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.11.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../43-dh-strip-nondeterminism_1.11.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.11.0-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../44-libelf1_0.183-1_armhf.deb ... Unpacking libelf1:armhf (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../45-dwz_0.13+20210201-1_armhf.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package gettext. Preparing to unpack .../46-gettext_0.21-4_armhf.deb ... Unpacking gettext (0.21-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../47-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../48-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../49-debhelper_13.3.4_all.deb ... Unpacking debhelper (13.3.4) ... Setting up libexpat1:armhf (2.2.10-2) ... Setting up libpipeline1:armhf (1.5.3-1) ... Setting up libpsl5:armhf (0.21.0-1.2) ... Setting up bsdextrautils (2.36.1-7) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:armhf (67.1-7) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.3.4) ... Setting up libbrotli1:armhf (1.0.9-2+b2) ... Setting up libnghttp2-14:armhf (1.43.0-1) ... Setting up libmagic1:armhf (1:5.39-3) ... Setting up gettext-base (0.21-4) ... Setting up file (1:5.39-3) ... Setting up libsasl2-modules-db:armhf (2.1.27+dfsg-2.1) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libuv1:armhf (1.40.0-2) ... Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:armhf (6.2+20201114-2) ... Setting up libsigsegv2:armhf (2.13-1) ... Setting up autopoint (0.21-4) ... Setting up libsasl2-2:armhf (2.1.27+dfsg-2.1) ... Setting up libjsoncpp24:armhf (1.9.4-4) ... Setting up sensible-utils (0.0.14) ... Setting up librhash0:armhf (1.4.1-2) ... Setting up libuchardet0:armhf (0.0.7-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libssh2-1:armhf (1.9.0-2) ... Setting up cmake-data (3.18.4-2) ... Setting up libelf1:armhf (0.183-1) ... Setting up libxml2:armhf (2.9.10+dfsg-6.7) ... Setting up libprocps8:armhf (2:3.3.17-5) ... Setting up libfile-stripnondeterminism-perl (1.11.0-1) ... Setting up gettext (0.21-4) ... Setting up libtool (2.4.6-15) ... Setting up libarchive13:armhf (3.4.3-2+b1) ... Setting up libldap-2.4-2:armhf (2.4.57+dfsg-3) ... Setting up m4 (1.4.18-5) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up autoconf (2.69-14) ... Setting up dh-strip-nondeterminism (1.11.0-1) ... Setting up dwz (0.13+20210201-1) ... Setting up groff-base (1.22.4-6) ... Setting up procps (2:3.3.17-5) ... Setting up libcurl4:armhf (7.74.0-1.3+b1) ... Setting up automake (1:1.16.3-2) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.9.4-2) ... Not building database; man-db/auto-update is not 'true'. Setting up dh-autoreconf (20) ... Setting up cmake (3.18.4-2) ... Setting up debhelper (13.3.4) ... Processing triggers for libc-bin (2.31-12) ... 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... The following additional packages will be installed: libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl The following NEW packages will be installed: libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl usrmerge 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. Need to get 59.5 kB of archives. After this operation, 157 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bullseye/main armhf libnumber-compare-perl all 0.03-1.1 [6956 B] Get:2 http://deb.debian.org/debian bullseye/main armhf libtext-glob-perl all 0.11-1 [8888 B] Get:3 http://deb.debian.org/debian bullseye/main armhf libfile-find-rule-perl all 0.34-1 [30.6 kB] Get:4 http://deb.debian.org/debian bullseye/main armhf usrmerge all 25 [13.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 59.5 kB in 0s (580 kB/s) Selecting previously unselected package libnumber-compare-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 ... 24405 files and directories currently installed.) Preparing to unpack .../libnumber-compare-perl_0.03-1.1_all.deb ... Unpacking libnumber-compare-perl (0.03-1.1) ... Selecting previously unselected package libtext-glob-perl. Preparing to unpack .../libtext-glob-perl_0.11-1_all.deb ... Unpacking libtext-glob-perl (0.11-1) ... Selecting previously unselected package libfile-find-rule-perl. Preparing to unpack .../libfile-find-rule-perl_0.34-1_all.deb ... Unpacking libfile-find-rule-perl (0.34-1) ... Selecting previously unselected package usrmerge. Preparing to unpack .../archives/usrmerge_25_all.deb ... Unpacking usrmerge (25) ... Setting up libtext-glob-perl (0.11-1) ... Setting up libnumber-compare-perl (0.03-1.1) ... Setting up libfile-find-rule-perl (0.34-1) ... Setting up usrmerge (25) ... The system has been successfully converted. Processing triggers for man-db (2.9.4-2) ... Not building database; man-db/auto-update is not 'true'. I: Building the package hostname: Name or service not known I: Running cd /build/clasp-3.3.5/ && 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 > ../clasp_3.3.5-4_source.changes dpkg-buildpackage: info: source package clasp dpkg-buildpackage: info: source version 3.3.5-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Thomas Krennwallner dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_clean --builddirectory=build.dir/hardening_mt make[1]: Leaving directory '/build/clasp-3.3.5' dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf debian/rules override_dh_auto_configure make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_configure --builddirectory=build.dir/hardening_mt -- -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON cd build.dir/hardening_mt && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g\+\+-10 -DCMAKE_INSTALL_LIBDIR=lib/arm-linux-gnueabihf -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON ../.. -- The CXX compiler identification is GNU 10.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++-10 - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- The C compiler identification is GNU 10.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc-10 - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- Potassco is not installed - using local copy -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY -- Build files have been written to: /build/clasp-3.3.5/build.dir/hardening_mt make[1]: Leaving directory '/build/clasp-3.3.5' debian/rules override_dh_auto_build make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_build --builddirectory=build.dir/hardening_mt cd build.dir/hardening_mt && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1 make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -S/build/clasp-3.3.5 -B/build/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles /build/clasp-3.3.5/build.dir/hardening_mt//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[3]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/depend make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/libpotassco/src /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake --color= Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Scanning dependencies of target libpotassco make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 1%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /build/clasp-3.3.5/libpotassco/src/application.cpp [ 2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /build/clasp-3.3.5/libpotassco/src/aspif.cpp [ 3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /build/clasp-3.3.5/libpotassco/src/clingo.cpp cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /build/clasp-3.3.5/libpotassco/src/aspif_text.cpp [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /build/clasp-3.3.5/libpotassco/src/convert.cpp [ 7%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /build/clasp-3.3.5/libpotassco/src/match_basic_types.cpp [ 8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /build/clasp-3.3.5/libpotassco/src/program_options.cpp [ 9%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /build/clasp-3.3.5/libpotassco/src/rule_utils.cpp [ 10%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /build/clasp-3.3.5/libpotassco/src/smodels.cpp [ 12%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /build/clasp-3.3.5/libpotassco/src/string_convert.cpp [ 13%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /build/clasp-3.3.5/libpotassco/src/theory_data.cpp [ 14%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /build/clasp-3.3.5/libpotassco/src/value_store.cpp [ 15%] Linking CXX static library ../../lib/libpotassco.a cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libpotassco.dir/link.txt --verbose=1 /usr/bin/ar qc ../../lib/libpotassco.a CMakeFiles/libpotassco.dir/application.cpp.o CMakeFiles/libpotassco.dir/aspif.cpp.o CMakeFiles/libpotassco.dir/aspif_text.cpp.o CMakeFiles/libpotassco.dir/clingo.cpp.o CMakeFiles/libpotassco.dir/convert.cpp.o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o CMakeFiles/libpotassco.dir/program_options.cpp.o CMakeFiles/libpotassco.dir/rule_utils.cpp.o CMakeFiles/libpotassco.dir/smodels.cpp.o CMakeFiles/libpotassco.dir/string_convert.cpp.o CMakeFiles/libpotassco.dir/theory_data.cpp.o CMakeFiles/libpotassco.dir/value_store.cpp.o /usr/bin/ranlib ../../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 15%] Built target libpotassco make -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/depend cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/src /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/src /build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake --color= Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/depend.internal". Scanning dependencies of target test_potassco_opts make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' Scanning dependencies of target test_potassco_lp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 17%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o [ 18%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_application.cpp [ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_aspif.cpp cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_options.cpp Scanning dependencies of target libclasp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 20%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /build/clasp-3.3.5/src/asp_preprocessor.cpp In file included from /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:21: /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____67()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:113:70: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=] 113 | REQUIRE_THROWS_AS(Po::parseCommandString("--no-value=2", ctx), Po::UnknownOption); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:115:57: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=] 115 | REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError); | ^~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____179()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:186:46: warning: catching polymorphic type 'class Potassco::ProgramOptions::ContextError' by value [-Wcatch-value=] 186 | REQUIRE_THROWS_AS(ctx.findGroup("Foo"), Po::ContextError); | ^~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____243()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:249:48: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=] 249 | REQUIRE_THROWS_AS(x(0, Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:250:49: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=] 250 | REQUIRE_THROWS_AS(x("", Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:253:55: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=] 253 | REQUIRE_THROWS_AS(x("foo,fo", Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:264:57: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=] 264 | REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError); | ^~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:267:64: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=] 267 | REQUIRE_THROWS_AS(Po::parseCommandString("--help", ctx), Po::UnknownOption); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:277:73: warning: catching polymorphic type 'class Potassco::ProgramOptions::AmbiguousOption' by value [-Wcatch-value=] 277 | REQUIRE_THROWS_AS(ctx.find("he", Po::OptionContext::find_prefix), Po::AmbiguousOption); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____300()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:334:72: warning: catching polymorphic type 'class Potassco::ProgramOptions::SyntaxError' by value [-Wcatch-value=] 334 | REQUIRE_THROWS_AS(Po::parseCommandString(cmd, ctx, false, 0, 0), Po::SyntaxError); | ^~~~~~~~~~~ [ 21%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /build/clasp-3.3.5/src/cb_enumerator.cpp [ 23%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_value.cpp [ 24%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /build/clasp-3.3.5/src/clasp_facade.cpp [ 25%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/main.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/main.cpp [ 26%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /build/clasp-3.3.5/src/clasp_options.cpp [ 28%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /build/clasp-3.3.5/src/clasp_output.cpp [ 29%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_smodels.cpp [ 30%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /build/clasp-3.3.5/src/clause.cpp /build/clasp-3.3.5/src/clause.cpp: In constructor 'Clasp::Clause::Clause(Clasp::Solver&, const Clasp::ClauseRep&, Clasp::uint32, bool)': /build/clasp-3.3.5/src/clause.cpp:408:26: warning: array subscript 3 is above array bounds of 'Clasp::Literal [3]' [-Warray-bounds] 408 | Literal t = head_[tail]; | ~~~~~~~~~~^ In file included from /build/clasp-3.3.5/clasp/clause.h:31, from /build/clasp-3.3.5/src/clause.cpp:24: /build/clasp-3.3.5/clasp/solver_types.h:454:11: note: while referencing 'Clasp::ClauseHead::head_' 454 | Literal head_[HEAD_LITS]; // two watched literals and one cache literal | ^~~~~ [ 31%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /build/clasp-3.3.5/src/clingo.cpp In file included from /usr/include/c++/10/unordered_map:46, from /build/clasp-3.3.5/clasp/program_builder.h:36, from /build/clasp-3.3.5/clasp/clasp_facade.h:31, from /build/clasp-3.3.5/clasp/clingo.h:31, from /build/clasp-3.3.5/src/clingo.cpp:24: /usr/include/c++/10/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::erase(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _H1 = std::hash; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/10/bits/hashtable.h:1851:5: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 1851 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1852 | _H1, _H2, _Hash, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/10/bits/hashtable.h: In member function 'virtual void Clasp::ClingoPropagatorInit::unfreeze(Clasp::SharedContext&)': /usr/include/c++/10/bits/hashtable.h:807:21: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 807 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [ 32%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /build/clasp-3.3.5/src/constraint.cpp [ 34%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /build/clasp-3.3.5/src/dependency_graph.cpp [ 35%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /build/clasp-3.3.5/src/enumerator.cpp In file included from /usr/include/c++/10/vector:72, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/10/vector:67, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 36%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /build/clasp-3.3.5/src/heuristics.cpp [ 37%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /build/clasp-3.3.5/src/logic_program.cpp [ 39%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /build/clasp-3.3.5/src/logic_program_types.cpp [ 40%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_text.cpp [ 41%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /build/clasp-3.3.5/src/lookahead.cpp [ 42%] Linking CXX executable ../../bin/test_potassco_opts cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_opts.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_opts.dir/test_application.cpp.o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o CMakeFiles/test_potassco_opts.dir/main.cpp.o -o ../../bin/test_potassco_opts ../../lib/libpotassco.a [ 43%] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /build/clasp-3.3.5/src/minimize_constraint.cpp [ 45%] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /build/clasp-3.3.5/src/model_enumerators.cpp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 45%] Built target test_potassco_opts [ 46%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /build/clasp-3.3.5/src/parser.cpp [ 47%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /build/clasp-3.3.5/src/program_builder.cpp [ 48%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /build/clasp-3.3.5/src/satelite.cpp [ 50%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp [ 51%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /build/clasp-3.3.5/src/shared_context.cpp In file included from /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:21: /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____28()': /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:66:80: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 66 | REQUIRE_THROWS_AS(Potassco::string_cast("-2"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:69:67: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 69 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:70:68: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 70 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:71:73: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 71 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:72:71: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 72 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____369()': /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:371:124: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 371 | REQUIRE_THROWS_AS(fail(Potassco::error_logic, 0, 0, 0, "Message with %d parameters {'%s', '%s'}", 2, "Foo", "Bar"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:375:74: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 375 | REQUIRE_THROWS_AS(fail(Potassco::error_assert, 0, 0, "false", 0), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:376:75: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 376 | REQUIRE_THROWS_AS(fail(Potassco::error_runtime, 0, 0, "false", 0), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:379:47: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=] 379 | REQUIRE_THROWS_AS(fail(0, 0, 0, 0, 0), std::invalid_argument); | ^~~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:383:57: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=] 383 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, EINVAL), std::invalid_argument); | ^~~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:384:73: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 384 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_assert), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:385:72: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 385 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_logic), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:386:74: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 386 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_runtime), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:387:57: warning: catching polymorphic type 'class std::bad_alloc' by value [-Wcatch-value=] 387 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, ENOMEM), std::bad_alloc); | ^~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:395:51: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 395 | REQUIRE_THROWS_AS(POTASSCO_REQUIRE(false), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:404:50: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 404 | REQUIRE_THROWS_AS(POTASSCO_ASSERT(false), std::logic_error); | ^~~~~~~~~~~ [ 52%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /build/clasp-3.3.5/src/solve_algorithms.cpp [ 53%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /build/clasp-3.3.5/src/solver.cpp [ 54%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /build/clasp-3.3.5/src/solver_strategies.cpp [ 56%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /build/clasp-3.3.5/src/solver_types.cpp [ 57%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /build/clasp-3.3.5/src/statistics.cpp [ 58%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /build/clasp-3.3.5/src/timer.cpp [ 59%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /build/clasp-3.3.5/src/unfounded_check.cpp In file included from /usr/include/c++/10/unordered_map:46, from /build/clasp-3.3.5/src/statistics.cpp:29: /usr/include/c++/10/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::erase(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _H1 = std::hash; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/10/bits/hashtable.h:1851:5: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 1851 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1852 | _H1, _H2, _Hash, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/10/bits/hashtable.h: In member function 'bool Clasp::ClaspStatistics::removeStat(const Clasp::StatisticObject&, bool)': /usr/include/c++/10/bits/hashtable.h:807:21: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 807 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [ 60%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /build/clasp-3.3.5/src/weight_constraint.cpp [ 62%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/main.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/main.cpp [ 63%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /build/clasp-3.3.5/src/parallel_solve.cpp [ 64%] Linking CXX static library ../lib/libclasp.a cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libclasp.a CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/clasp_facade.cpp.o CMakeFiles/libclasp.dir/clasp_options.cpp.o CMakeFiles/libclasp.dir/clasp_output.cpp.o CMakeFiles/libclasp.dir/clause.cpp.o CMakeFiles/libclasp.dir/clingo.cpp.o CMakeFiles/libclasp.dir/constraint.cpp.o CMakeFiles/libclasp.dir/dependency_graph.cpp.o CMakeFiles/libclasp.dir/enumerator.cpp.o CMakeFiles/libclasp.dir/heuristics.cpp.o CMakeFiles/libclasp.dir/logic_program.cpp.o CMakeFiles/libclasp.dir/logic_program_types.cpp.o CMakeFiles/libclasp.dir/lookahead.cpp.o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/model_enumerators.cpp.o CMakeFiles/libclasp.dir/parser.cpp.o CMakeFiles/libclasp.dir/program_builder.cpp.o CMakeFiles/libclasp.dir/satelite.cpp.o CMakeFiles/libclasp.dir/shared_context.cpp.o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/solver.cpp.o CMakeFiles/libclasp.dir/solver_strategies.cpp.o CMakeFiles/libclasp.dir/solver_types.cpp.o CMakeFiles/libclasp.dir/statistics.cpp.o CMakeFiles/libclasp.dir/timer.cpp.o CMakeFiles/libclasp.dir/unfounded_check.cpp.o CMakeFiles/libclasp.dir/weight_constraint.cpp.o CMakeFiles/libclasp.dir/parallel_solve.cpp.o /usr/bin/ranlib ../lib/libclasp.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 64%] Built target libclasp make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/depend make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend make -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/depend make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/tests /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/tests /build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/app /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/app /build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/examples /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/examples /build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake --color= Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/depend.internal". Scanning dependencies of target clasp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' Scanning dependencies of target clasp_examples make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 65%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /build/clasp-3.3.5/app/clasp_app.cpp [ 67%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example1.cpp.o -c /build/clasp-3.3.5/examples/example1.cpp Scanning dependencies of target test_clasp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 68%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -c /build/clasp-3.3.5/tests/clause_creator_test.cpp [ 69%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example2.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example2.cpp.o -c /build/clasp-3.3.5/examples/example2.cpp [ 70%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example3.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example3.cpp.o -c /build/clasp-3.3.5/examples/example3.cpp [ 71%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /build/clasp-3.3.5/app/main.cpp [ 73%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example4.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example4.cpp.o -c /build/clasp-3.3.5/examples/example4.cpp [ 74%] Linking CXX executable ../bin/clasp cd /build/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../bin/clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a [ 75%] Building CXX object examples/CMakeFiles/clasp_examples.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/main.cpp.o -c /build/clasp-3.3.5/examples/main.cpp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 75%] Built target clasp [ 76%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/clause_test.cpp.o -c /build/clasp-3.3.5/tests/clause_test.cpp [ 78%] Linking CXX executable ../bin/clasp_examples cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp_examples.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp_examples.dir/example1.cpp.o CMakeFiles/clasp_examples.dir/example2.cpp.o CMakeFiles/clasp_examples.dir/example3.cpp.o CMakeFiles/clasp_examples.dir/example4.cpp.o CMakeFiles/clasp_examples.dir/main.cpp.o -o ../bin/clasp_examples ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 78%] Built target clasp_examples [ 79%] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/cli_test.cpp.o -c /build/clasp-3.3.5/tests/cli_test.cpp In file included from /build/clasp-3.3.5/tests/cli_test.cpp:29: /build/clasp-3.3.5/tests/cli_test.cpp: In function 'void Clasp::Cli::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/cli_test.cpp:121:70: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 121 | REQUIRE_THROWS_AS(config.setValue("configuration", tempName), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:139:61: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 139 | REQUIRE_THROWS_AS(config.setValue("foo.bar", "123"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:140:61: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 140 | REQUIRE_THROWS_AS(config.setValue("tester.eq", "1"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:141:60: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 141 | REQUIRE_THROWS_AS(config.setValue("solver.2", "1"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:143:54: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 143 | REQUIRE_THROWS_AS(config.getValue("foo.bar"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:144:56: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 144 | REQUIRE_THROWS_AS(config.getValue("tester.eq"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:145:55: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 145 | REQUIRE_THROWS_AS(config.getValue("solver.0"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:366:74: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 366 | REQUIRE_THROWS_AS(config.setValue("tester.asp.trans_ext", "scc"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:378:78: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 378 | REQUIRE_THROWS_AS(config.setValue("tester.solve.enum_mode", "brave"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:510:51: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 510 | REQUIRE_THROWS_AS(config.getValue("enum"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:511:68: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 511 | REQUIRE_THROWS_AS(config.getValue("tester.solve.opt_mode"), std::logic_error); | ^~~~~~~~~~~ In file included from /usr/include/c++/10/vector:72, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/10/vector:67, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 80%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -c /build/clasp-3.3.5/tests/decision_heuristic_test.cpp [ 81%] Building CXX object tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -c /build/clasp-3.3.5/tests/dependency_graph_test.cpp [ 82%] Linking CXX executable ../../bin/test_potassco_lp cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_lp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o CMakeFiles/test_potassco_lp.dir/main.cpp.o -o ../../bin/test_potassco_lp ../../lib/libpotassco.a [ 84%] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -c /build/clasp-3.3.5/tests/dlp_builder_test.cpp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 84%] Built target test_potassco_lp [ 85%] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -c /build/clasp-3.3.5/tests/enumerator_test.cpp In file included from /build/clasp-3.3.5/tests/enumerator_test.cpp:31: /build/clasp-3.3.5/tests/enumerator_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/enumerator_test.cpp:538:38: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 538 | REQUIRE_THROWS_AS(e.start(s), std::logic_error); | ^~~~~~~~~~~ [ 86%] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/facade_test.cpp.o -c /build/clasp-3.3.5/tests/facade_test.cpp In file included from /build/clasp-3.3.5/tests/facade_test.cpp:38: /build/clasp-3.3.5/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/facade_test.cpp:621:38: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 621 | REQUIRE_THROWS_AS(g.model(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:624:36: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 624 | REQUIRE_THROWS_AS(g.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:644:41: warning: catching polymorphic type 'struct Clasp::Test::____C_A_T_C_H____T_E_S_T____0()::MyHeu' by value [-Wcatch-value=] 644 | REQUIRE_THROWS_AS(libclasp.prepare(), MyHeu); | ^~~~~ /build/clasp-3.3.5/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____62()': /build/clasp-3.3.5/tests/facade_test.cpp:924:40: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 924 | REQUIRE_THROWS_AS(step0.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:931:40: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 931 | REQUIRE_THROWS_AS(step0.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:963:79: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 963 | REQUIRE_THROWS_AS(libclasp.solve(SolveMode_t::Default, LitVec(), &h), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:994:46: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 994 | REQUIRE_THROWS_AS(libclasp.solve(), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____90()': /build/clasp-3.3.5/tests/facade_test.cpp:1109:60: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1109 | REQUIRE_THROWS_AS(stats->get(stats->root(), "hcc"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:1142:44: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1142 | REQUIRE_THROWS_AS(stats->value(m0), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:1163:60: warning: catching polymorphic type 'class std::out_of_range' by value [-Wcatch-value=] 1163 | REQUIRE_THROWS_AS(stats->get(root, "solving.accu"), std::out_of_range); | ^~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:1188:48: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1188 | REQUIRE_THROWS_AS(stats->value(minVal), std::logic_error); | ^~~~~~~~~~~ [ 87%] Building CXX object tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/literal_test.cpp.o -c /build/clasp-3.3.5/tests/literal_test.cpp [ 89%] Building CXX object tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/minimize_test.cpp.o -c /build/clasp-3.3.5/tests/minimize_test.cpp [ 90%] Building CXX object tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/parser_test.cpp.o -c /build/clasp-3.3.5/tests/parser_test.cpp In file included from /build/clasp-3.3.5/tests/parser_test.cpp:32: /build/clasp-3.3.5/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____16()': /build/clasp-3.3.5/tests/parser_test.cpp:313:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 313 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:317:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 317 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:371:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 371 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:378:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 378 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____48()': /build/clasp-3.3.5/tests/parser_test.cpp:721:43: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 721 | REQUIRE_THROWS_AS(parse(api, prg), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____63()': /build/clasp-3.3.5/tests/parser_test.cpp:869:43: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 869 | REQUIRE_THROWS_AS(parse(api, prg), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:877:78: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 877 | REQUIRE_THROWS_AS(parse(api, prg, ParserOptions().enableAcycEdges()), std::logic_error); | ^~~~~~~~~~~ [ 91%] Building CXX object tests/CMakeFiles/test_clasp.dir/program_builder_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o -c /build/clasp-3.3.5/tests/program_builder_test.cpp In file included from /build/clasp-3.3.5/tests/program_builder_test.cpp:30: /build/clasp-3.3.5/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/program_builder_test.cpp:52:56: warning: catching polymorphic type 'class std::overflow_error' by value [-Wcatch-value=] 52 | REQUIRE_THROWS_AS(PrgNode(PrgNode::noNode + 1), std::overflow_error); | ^~~~~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____4()': /build/clasp-3.3.5/tests/program_builder_test.cpp:1084:49: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1084 | REQUIRE_THROWS_AS(solverLiteral(lp, c1), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp:1093:73: warning: catching polymorphic type 'class std::overflow_error' by value [-Wcatch-value=] 1093 | REQUIRE_THROWS_AS(lp.newCondition(Potassco::toSpan(&cAsLit, 1)), std::overflow_error); | ^~~~~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp:1106:56: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1106 | REQUIRE_THROWS_AS(lp.extractCondition(c1, ext), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp:1116:45: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1116 | REQUIRE_THROWS_AS(lp.getLiteral(c1), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____101()': /build/clasp-3.3.5/tests/program_builder_test.cpp:1880:40: warning: catching polymorphic type 'class Clasp::Asp::RedefinitionError' by value [-Wcatch-value=] 1880 | REQUIRE_THROWS_AS(lpAdd(lp, "{a}."), RedefinitionError); | ^~~~~~~~~~~~~~~~~ [ 92%] Building CXX object tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/rule_test.cpp.o -c /build/clasp-3.3.5/tests/rule_test.cpp [ 93%] Building CXX object tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/satelite_test.cpp.o -c /build/clasp-3.3.5/tests/satelite_test.cpp [ 95%] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/solver_test.cpp.o -c /build/clasp-3.3.5/tests/solver_test.cpp [ 96%] Building CXX object tests/CMakeFiles/test_clasp.dir/test_main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/test_main.cpp.o -c /build/clasp-3.3.5/tests/test_main.cpp [ 97%] Building CXX object tests/CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o -c /build/clasp-3.3.5/tests/unfounded_check_test.cpp In file included from /usr/include/c++/10/vector:72, from /build/clasp-3.3.5/tests/catch.hpp:671, from /build/clasp-3.3.5/tests/test_main.cpp:25: /usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/10/vector:67, from /build/clasp-3.3.5/tests/catch.hpp:671, from /build/clasp-3.3.5/tests/test_main.cpp:25: /usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 98%] Building CXX object tests/CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -c /build/clasp-3.3.5/tests/weight_constraint_test.cpp [100%] Linking CXX executable ../bin/test_clasp cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_clasp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o CMakeFiles/test_clasp.dir/clause_test.cpp.o CMakeFiles/test_clasp.dir/cli_test.cpp.o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o CMakeFiles/test_clasp.dir/facade_test.cpp.o CMakeFiles/test_clasp.dir/literal_test.cpp.o CMakeFiles/test_clasp.dir/minimize_test.cpp.o CMakeFiles/test_clasp.dir/parser_test.cpp.o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o CMakeFiles/test_clasp.dir/rule_test.cpp.o CMakeFiles/test_clasp.dir/satelite_test.cpp.o CMakeFiles/test_clasp.dir/solver_test.cpp.o CMakeFiles/test_clasp.dir/test_main.cpp.o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -o ../bin/test_clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [100%] Built target test_clasp make[3]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -E cmake_progress_start /build/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles 0 make[2]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[1]: Leaving directory '/build/clasp-3.3.5' debian/rules override_dh_auto_test make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_test --builddirectory=build.dir/hardening_mt &&\ { EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } ||\ { EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } cd build.dir/hardening_mt && make -j4 test ARGS\+=-j4 make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' Running tests... /usr/bin/ctest --force-new-ctest-process -j4 Test project /build/clasp-3.3.5/build.dir/hardening_mt Start 1: test_lp Start 2: test_opts Start 3: test_clasp 1/3 Test #1: test_lp .......................... Passed 0.11 sec 2/3 Test #3: test_clasp ....................... Passed 0.61 sec 3/3 Test #2: test_opts ........................ Passed 1.04 sec 100% tests passed, 0 tests failed out of 3 Total Test time (real) = 1.34 sec make[2]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' Exit 0 ==> build.dir/hardening_mt/Testing/Temporary/CTestCostData.txt <== test_lp 1 0.114772 test_opts 1 1.04344 test_clasp 1 0.607594 --- ==> build.dir/hardening_mt/Testing/Temporary/LastTest.log <== Start testing: Jul 13 10:36 +14 ---------------------------------------------------------- 1/3 Testing: test_lp 1/3 Test: test_lp Command: "/build/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_lp" Directory: /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests "test_lp" start time: Jul 13 10:36 +14 Output: ---------------------------------------------------------- =============================================================================== All tests passed (2845 assertions in 21 test cases) Test time = 0.11 sec ---------------------------------------------------------- Test Passed. "test_lp" end time: Jul 13 10:36 +14 "test_lp" time elapsed: 00:00:00 ---------------------------------------------------------- 3/3 Testing: test_clasp 3/3 Test: test_clasp Command: "/build/clasp-3.3.5/build.dir/hardening_mt/bin/test_clasp" Directory: /build/clasp-3.3.5/build.dir/hardening_mt/tests "test_clasp" start time: Jul 13 10:36 +14 Output: ---------------------------------------------------------- =============================================================================== All tests passed (6713 assertions in 44 test cases) Test time = 0.61 sec ---------------------------------------------------------- Test Passed. "test_clasp" end time: Jul 13 10:36 +14 "test_clasp" time elapsed: 00:00:00 ---------------------------------------------------------- 2/3 Testing: test_opts 2/3 Test: test_opts Command: "/build/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_opts" Directory: /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests "test_opts" start time: Jul 13 10:36 +14 Output: ---------------------------------------------------------- =============================================================================== All tests passed (129 assertions in 16 test cases) Test time = 1.04 sec ---------------------------------------------------------- Test Passed. "test_opts" end time: Jul 13 10:36 +14 "test_opts" time elapsed: 00:00:01 ---------------------------------------------------------- End testing: Jul 13 10:36 +14 make[1]: Leaving directory '/build/clasp-3.3.5' create-stamp debian/debhelper-build-stamp dh_prep dh_installdirs debian/rules override_dh_auto_install make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_install --builddirectory=build.dir/hardening_mt cd build.dir/hardening_mt && make -j4 install DESTDIR=/build/clasp-3.3.5/debian/clasp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -S/build/clasp-3.3.5 -B/build/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[3]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[3]: Nothing to be done for 'preinstall'. make[3]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /build/clasp-3.3.5/debian/clasp/usr/bin/clasp make[2]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[1]: Leaving directory '/build/clasp-3.3.5' dh_installdocs debian/rules override_dh_installchangelogs make[1]: Entering directory '/build/clasp-3.3.5' dh_installchangelogs CHANGES make[1]: Leaving directory '/build/clasp-3.3.5' dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: debian/clasp/usr/bin/clasp contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'clasp-dbgsym' in '../clasp-dbgsym_3.3.5-4_armhf.deb'. dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../clasp_3.3.5-4_armhf.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: not including original source code in upload I: copying local configuration I: user script /srv/workspace/pbuilder/6338/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/6338/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/6338 and its subdirectories I: Current time: Tue Jul 13 10:37:45 +14 2021 I: pbuilder-time-stamp: 1626122265