DC-Build-Header: cbmc 4.4-2 / 2013-07-16 08:58:12 +0000 DC-Task: source:cbmc version:4.4-2 architecture:any chroot:unstable esttime:701 logfile:/tmp/cbmc_4.4-2_unstable_clang.log modes:binary-only:clang DC-Sbuild-call: su user -c 'sbuild -n --apt-update -d unstable -v --chroot-setup-commands=/tmp/switch-to-clang --append-to-version "clang1" --maintainer "Lucas Nussbaum " --uploader "Lucas Nussbaum " cbmc_4.4-2' sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on ip-10-235-1-44.ec2.internal ╔══════════════════════════════════════════════════════════════════════════════╗ ║ cbmc 4.4-2clang1 (amd64) 16 Jul 2013 08:58 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: cbmc Version: 4.4-2clang1 Source Version: 4.4-2 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/cbmc-1CiWDH/cbmc-4.4' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/cbmc-1CiWDH' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/unstable-amd64-sbuild-8f0d12ad-df90-4cf1-89c0-32c3604e869b' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Get:1 http://localhost:9999 unstable InRelease [204 kB] Get:2 http://localhost:9999 unstable/main Sources/DiffIndex [7876 B] Get:3 http://localhost:9999 unstable/main amd64 Packages/DiffIndex [7876 B] Get:4 http://localhost:9999 unstable/main Translation-en/DiffIndex [7876 B] Get:5 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [23.1 kB] Get:6 http://localhost:9999 unstable/main amd64 2013-07-13-2032.15.pdiff [16.9 kB] Get:7 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [23.1 kB] Get:8 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [1809 B] Get:9 http://localhost:9999 unstable/main amd64 2013-07-13-2032.15.pdiff [16.9 kB] Get:10 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [12.9 kB] Get:11 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [1809 B] Get:12 http://localhost:9999 unstable/main amd64 2013-07-14-0231.07.pdiff [14.9 kB] Get:13 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [12.9 kB] Get:14 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [1384 B] Get:15 http://localhost:9999 unstable/main amd64 2013-07-14-0231.07.pdiff [14.9 kB] Get:16 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [4670 B] Get:17 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [1384 B] Get:18 http://localhost:9999 unstable/main amd64 2013-07-14-0832.16.pdiff [1624 B] Get:19 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [4670 B] Get:20 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [337 B] Get:21 http://localhost:9999 unstable/main amd64 2013-07-14-0832.16.pdiff [1624 B] Get:22 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [11.4 kB] Get:23 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [337 B] Get:24 http://localhost:9999 unstable/main amd64 2013-07-14-1431.18.pdiff [8223 B] Get:25 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [11.4 kB] Get:26 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [887 B] Get:27 http://localhost:9999 unstable/main amd64 2013-07-14-1431.18.pdiff [8223 B] Get:28 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [9038 B] Get:29 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [887 B] Get:30 http://localhost:9999 unstable/main amd64 2013-07-14-2031.21.pdiff [9955 B] Get:31 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [9038 B] Get:32 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [2736 B] Get:33 http://localhost:9999 unstable/main amd64 2013-07-14-2031.21.pdiff [9955 B] Get:34 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [9715 B] Get:35 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [2736 B] Get:36 http://localhost:9999 unstable/main amd64 2013-07-15-0229.01.pdiff [12.7 kB] Get:37 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [9715 B] Get:38 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [2239 B] Get:39 http://localhost:9999 unstable/main amd64 2013-07-15-0229.01.pdiff [12.7 kB] Get:40 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [3273 B] Get:41 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [2239 B] Get:42 http://localhost:9999 unstable/main amd64 2013-07-15-0830.19.pdiff [3964 B] Get:43 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [3273 B] Get:44 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [1357 B] Get:45 http://localhost:9999 unstable/main amd64 2013-07-15-0830.19.pdiff [3964 B] Get:46 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [5326 B] Get:47 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [1357 B] Get:48 http://localhost:9999 unstable/main amd64 2013-07-15-1432.36.pdiff [9809 B] Get:49 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [5326 B] Get:50 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [322 B] Get:51 http://localhost:9999 unstable/main amd64 2013-07-15-1432.36.pdiff [9809 B] Get:52 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [12.2 kB] Get:53 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [322 B] Get:54 http://localhost:9999 unstable/main amd64 2013-07-15-2031.50.pdiff [24.4 kB] Get:55 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [12.2 kB] Get:56 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [537 B] Get:57 http://localhost:9999 unstable/main amd64 2013-07-15-2031.50.pdiff [24.4 kB] Get:58 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [14.8 kB] Get:59 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [537 B] Get:60 http://localhost:9999 unstable/main amd64 2013-07-16-0233.12.pdiff [49.5 kB] Get:61 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [14.8 kB] Get:62 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [3247 B] Get:63 http://localhost:9999 unstable/main amd64 2013-07-16-0233.12.pdiff [49.5 kB] Get:64 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [3247 B] Fetched 501 kB in 37s (13.2 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: cpp-4.7 gcc-4.7 gcc-4.7-base initscripts libgcc-4.7-dev sysv-rc sysvinit sysvinit-utils 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 14.2 MB of archives. After this operation, 18.4 kB disk space will be freed. Get:1 http://localhost:9999/debian/ unstable/main sysvinit amd64 2.88dsf-42 [134 kB] Get:2 http://localhost:9999/debian/ unstable/main sysv-rc all 2.88dsf-42 [80.4 kB] Get:3 http://localhost:9999/debian/ unstable/main sysvinit-utils amd64 2.88dsf-42 [103 kB] Get:4 http://localhost:9999/debian/ unstable/main initscripts amd64 2.88dsf-42 [87.1 kB] Get:5 http://localhost:9999/debian/ unstable/main gcc-4.7 amd64 4.7.3-6 [5819 kB] Get:6 http://localhost:9999/debian/ unstable/main cpp-4.7 amd64 4.7.3-6 [5385 kB] Get:7 http://localhost:9999/debian/ unstable/main libgcc-4.7-dev amd64 4.7.3-6 [2465 kB] Get:8 http://localhost:9999/debian/ unstable/main gcc-4.7-base amd64 4.7.3-6 [149 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 14.2 MB in 0s (24.8 MB/s) (Reading database ... 13844 files and directories currently installed.) Preparing to replace sysvinit 2.88dsf-41 (using .../sysvinit_2.88dsf-42_amd64.deb) ... Unpacking replacement sysvinit ... Setting up sysvinit (2.88dsf-42) ... Not restarting sysvinit (Reading database ... 13844 files and directories currently installed.) Preparing to replace sysv-rc 2.88dsf-41 (using .../sysv-rc_2.88dsf-42_all.deb) ... Unpacking replacement sysv-rc ... Preparing to replace sysvinit-utils 2.88dsf-41 (using .../sysvinit-utils_2.88dsf-42_amd64.deb) ... Unpacking replacement sysvinit-utils ... Setting up sysvinit-utils (2.88dsf-42) ... Setting up sysv-rc (2.88dsf-42) ... (Reading database ... 13844 files and directories currently installed.) Preparing to replace initscripts 2.88dsf-41 (using .../initscripts_2.88dsf-42_amd64.deb) ... Removing unmodified and obsolete conffile /etc/init.d/mtab.sh ... Unpacking replacement initscripts ... Setting up initscripts (2.88dsf-42) ... Installing new version of config file /etc/init.d/bootmisc.sh ... Installing new version of config file /etc/init.d/checkfs.sh ... Installing new version of config file /etc/init.d/checkroot.sh ... Installing new version of config file /etc/init.d/checkroot-bootclean.sh ... Installing new version of config file /etc/init.d/mountdevsubfs.sh ... Installing new version of config file /etc/init.d/mountkernfs.sh ... Installing new version of config file /etc/init.d/rmnologin ... Installing new version of config file /etc/network/if-up.d/mountnfs ... (Reading database ... 13843 files and directories currently installed.) Preparing to replace gcc-4.7 4.7.3-5 (using .../gcc-4.7_4.7.3-6_amd64.deb) ... Unpacking replacement gcc-4.7 ... Preparing to replace cpp-4.7 4.7.3-5 (using .../cpp-4.7_4.7.3-6_amd64.deb) ... Unpacking replacement cpp-4.7 ... Preparing to replace libgcc-4.7-dev:amd64 4.7.3-5 (using .../libgcc-4.7-dev_4.7.3-6_amd64.deb) ... Unpacking replacement libgcc-4.7-dev:amd64 ... Preparing to replace gcc-4.7-base:amd64 4.7.3-5 (using .../gcc-4.7-base_4.7.3-6_amd64.deb) ... Unpacking replacement gcc-4.7-base:amd64 ... Setting up gcc-4.7-base:amd64 (4.7.3-6) ... Setting up cpp-4.7 (4.7.3-6) ... Setting up libgcc-4.7-dev:amd64 (4.7.3-6) ... Setting up gcc-4.7 (4.7.3-6) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... Need to get 3758 kB of source archives. Get:1 http://localhost:9999/debian/ unstable/main cbmc 4.4-2 (dsc) [1741 B] Get:2 http://localhost:9999/debian/ unstable/main cbmc 4.4-2 (tar) [3750 kB] Get:3 http://localhost:9999/debian/ unstable/main cbmc 4.4-2 (diff) [6230 B] Fetched 3758 kB in 0s (7703 kB/s) Download complete and in download only mode Check arch ────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ Chroot Setup Commands │ └──────────────────────────────────────────────────────────────────────────────┘ /tmp/switch-to-clang ──────────────────── + echo 'Entering customization script...' Entering customization script... + echo 'Install of clang' Install of clang + apt-get update Hit http://localhost:9999 unstable InRelease Hit http://localhost:9999 unstable/main Sources/DiffIndex Hit http://localhost:9999 unstable/main amd64 Packages/DiffIndex Hit http://localhost:9999 unstable/main Translation-en/DiffIndex Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-3.3 Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libclang-common-3.3-dev libclang1-3.3 libffi6 libllvm3.3 libobjc-4.7-dev libobjc4 libstdc++6-4.7-dev Suggested packages: libstdc++6-4.7-doc Recommended packages: llvm-3.3-dev python The following NEW packages will be installed: clang-3.3 libclang-common-3.3-dev libclang1-3.3 libffi6 libllvm3.3 libobjc-4.7-dev libobjc4 libstdc++6-4.7-dev 0 upgraded, 8 newly installed, 0 to remove and 0 not upgraded. Need to get 27.2 MB of archives. After this operation, 80.8 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libffi6 amd64 3.0.13-4 [21.6 kB] Get:2 http://localhost:9999/debian/ unstable/main libllvm3.3 amd64 1:3.3-3 [8575 kB] Get:3 http://localhost:9999/debian/ unstable/main libobjc4 amd64 4.8.1-6 [160 kB] Get:4 http://localhost:9999/debian/ unstable/main libstdc++6-4.7-dev amd64 4.7.3-6 [1694 kB] Get:5 http://localhost:9999/debian/ unstable/main libobjc-4.7-dev amd64 4.7.3-6 [719 kB] Get:6 http://localhost:9999/debian/ unstable/main libclang-common-3.3-dev amd64 1:3.3-3 [574 kB] Get:7 http://localhost:9999/debian/ unstable/main libclang1-3.3 amd64 1:3.3-3 [4579 kB] Get:8 http://localhost:9999/debian/ unstable/main clang-3.3 amd64 1:3.3-3 [10.9 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.2 MB in 1s (25.7 MB/s) Selecting previously unselected package libffi6:amd64. (Reading database ... 13843 files and directories currently installed.) Unpacking libffi6:amd64 (from .../libffi6_3.0.13-4_amd64.deb) ... Selecting previously unselected package libllvm3.3:amd64. Unpacking libllvm3.3:amd64 (from .../libllvm3.3_1%3a3.3-3_amd64.deb) ... Selecting previously unselected package libobjc4:amd64. Unpacking libobjc4:amd64 (from .../libobjc4_4.8.1-6_amd64.deb) ... Selecting previously unselected package libstdc++6-4.7-dev:amd64. Unpacking libstdc++6-4.7-dev:amd64 (from .../libstdc++6-4.7-dev_4.7.3-6_amd64.deb) ... Selecting previously unselected package libobjc-4.7-dev:amd64. Unpacking libobjc-4.7-dev:amd64 (from .../libobjc-4.7-dev_4.7.3-6_amd64.deb) ... Selecting previously unselected package libclang-common-3.3-dev. Unpacking libclang-common-3.3-dev (from .../libclang-common-3.3-dev_1%3a3.3-3_amd64.deb) ... Selecting previously unselected package libclang1-3.3. Unpacking libclang1-3.3 (from .../libclang1-3.3_1%3a3.3-3_amd64.deb) ... Selecting previously unselected package clang-3.3. Unpacking clang-3.3 (from .../clang-3.3_1%3a3.3-3_amd64.deb) ... Setting up libffi6:amd64 (3.0.13-4) ... Setting up libllvm3.3:amd64 (1:3.3-3) ... Setting up libobjc4:amd64 (4.8.1-6) ... Setting up libstdc++6-4.7-dev:amd64 (4.7.3-6) ... Setting up libobjc-4.7-dev:amd64 (4.7.3-6) ... Setting up libclang-common-3.3-dev (1:3.3-3) ... Setting up libclang1-3.3 (1:3.3-3) ... Setting up clang-3.3 (1:3.3-3) ... Processing triggers for libc-bin ... + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8' + cd /usr/bin + for VERSION in '$VERSIONS' + rm -f g++-4.6 gcc-4.6 cpp-4.6 + ln -s clang++ g++-4.6 + ln -s clang gcc-4.6 + ln -s clang cpp-4.6 + for VERSION in '$VERSIONS' + rm -f g++-4.7 gcc-4.7 cpp-4.7 + ln -s clang++ g++-4.7 + ln -s clang gcc-4.7 + ln -s clang cpp-4.7 + for VERSION in '$VERSIONS' + rm -f g++-4.8 gcc-4.8 cpp-4.8 + ln -s clang++ g++-4.8 + ln -s clang gcc-4.8 + ln -s clang cpp-4.8 + cd - /«BUILDDIR» + echo 'Block the installation of new gcc version' Block the installation of new gcc version + dpkg --set-selections + echo 'gcc-4.6 hold' + dpkg --set-selections + echo 'cpp-4.6 hold' + dpkg --set-selections + echo 'g++-4.6 hold' + dpkg --set-selections + echo 'gcc-4.7 hold' + dpkg --set-selections + echo 'cpp-4.7 hold' + dpkg --set-selections + echo 'g++-4.7 hold' + dpkg --set-selections + echo 'gcc-4.8 hold' + dpkg --set-selections + echo 'cpp-4.8 hold' + dpkg --set-selections + echo 'g++-4.8 hold' + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + grep clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version I: Finished running '/tmp/switch-to-clang'. Finished processing commands. ──────────────────────────────────────────────────────────────────────────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-PF_zz6/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/710 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 14698 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison dpkg-deb: building package `sbuild-build-depends-cbmc-dummy' in `/«BUILDDIR»/resolver-DaOE13/apt_archive/sbuild-build-depends-cbmc-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install cbmc build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bison bsdmainutils debhelper file flex gettext gettext-base groff-base intltool-debian libasprintf0c2 libbison-dev libcroco3 libglib2.0-0 libmagic1 libpipeline1 libsigsegv2 libunistring0 libxml2 m4 man-db minisat po-debconf zlib1g-dev Suggested packages: bison-doc wamerican wordlist whois vacation dh-make gettext-doc groff less www-browser libmail-box-perl Recommended packages: curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: bison bsdmainutils debhelper file flex gettext gettext-base groff-base intltool-debian libasprintf0c2 libbison-dev libcroco3 libglib2.0-0 libmagic1 libpipeline1 libsigsegv2 libunistring0 libxml2 m4 man-db minisat po-debconf sbuild-build-depends-cbmc-dummy zlib1g-dev 0 upgraded, 24 newly installed, 0 to remove and 0 not upgraded. Need to get 11.0 MB/11.0 MB of archives. After this operation, 29.7 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libpipeline1 amd64 1.2.4-1 [41.0 kB] Get:2 http://localhost:9999/debian/ unstable/main groff-base amd64 1.22.2-3 [747 kB] Get:3 http://localhost:9999/debian/ unstable/main bsdmainutils amd64 9.0.5 [211 kB] Get:4 http://localhost:9999/debian/ unstable/main man-db amd64 2.6.5-2 [976 kB] Get:5 http://localhost:9999/debian/ unstable/main libasprintf0c2 amd64 0.18.2.1-1 [28.9 kB] Get:6 http://localhost:9999/debian/ unstable/main libmagic1 amd64 1:5.14-2 [216 kB] Get:7 http://localhost:9999/debian/ unstable/main libxml2 amd64 2.9.1+dfsg1-2 [911 kB] Get:8 http://localhost:9999/debian/ unstable/main libsigsegv2 amd64 2.10-2 [29.8 kB] Get:9 http://localhost:9999/debian/ unstable/main m4 amd64 1.4.16-5 [260 kB] Get:10 http://localhost:9999/debian/ unstable/main flex amd64 2.5.35-10.1 [332 kB] Get:11 http://localhost:9999/debian/ unstable/main libglib2.0-0 amd64 2.36.3-3 [2048 kB] Get:12 http://localhost:9999/debian/ unstable/main libcroco3 amd64 0.6.8-2 [133 kB] Get:13 http://localhost:9999/debian/ unstable/main libunistring0 amd64 0.9.3-5 [434 kB] Get:14 http://localhost:9999/debian/ unstable/main file amd64 1:5.14-2 [54.0 kB] Get:15 http://localhost:9999/debian/ unstable/main gettext-base amd64 0.18.2.1-1 [156 kB] Get:16 http://localhost:9999/debian/ unstable/main libbison-dev amd64 2:2.7.1.dfsg-1 [346 kB] Get:17 http://localhost:9999/debian/ unstable/main bison amd64 2:2.7.1.dfsg-1 [789 kB] Get:18 http://localhost:9999/debian/ unstable/main gettext amd64 0.18.2.1-1 [2019 kB] Get:19 http://localhost:9999/debian/ unstable/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:20 http://localhost:9999/debian/ unstable/main po-debconf all 1.0.16+nmu2 [224 kB] Get:21 http://localhost:9999/debian/ unstable/main debhelper all 9.20130630 [710 kB] Get:22 http://localhost:9999/debian/ unstable/main zlib1g-dev amd64 1:1.2.8.dfsg-1 [217 kB] Get:23 http://localhost:9999/debian/ unstable/main minisat amd64 1:2.2.1-4 [133 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 11.0 MB in 0s (19.6 MB/s) Selecting previously unselected package libpipeline1:amd64. (Reading database ... 14698 files and directories currently installed.) Unpacking libpipeline1:amd64 (from .../libpipeline1_1.2.4-1_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-3_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.5_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.5-2_amd64.deb) ... Selecting previously unselected package libasprintf0c2:amd64. Unpacking libasprintf0c2:amd64 (from .../libasprintf0c2_0.18.2.1-1_amd64.deb) ... Selecting previously unselected package libmagic1:amd64. Unpacking libmagic1:amd64 (from .../libmagic1_1%3a5.14-2_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.9.1+dfsg1-2_amd64.deb) ... Selecting previously unselected package libsigsegv2:amd64. Unpacking libsigsegv2:amd64 (from .../libsigsegv2_2.10-2_amd64.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-5_amd64.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10.1_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.36.3-3_amd64.deb) ... Selecting previously unselected package libcroco3:amd64. Unpacking libcroco3:amd64 (from .../libcroco3_0.6.8-2_amd64.deb) ... Selecting previously unselected package libunistring0:amd64. Unpacking libunistring0:amd64 (from .../libunistring0_0.9.3-5_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_1%3a5.14-2_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.2.1-1_amd64.deb) ... Selecting previously unselected package libbison-dev:amd64. Unpacking libbison-dev:amd64 (from .../libbison-dev_2%3a2.7.1.dfsg-1_amd64.deb) ... Selecting previously unselected package bison. Unpacking bison (from .../bison_2%3a2.7.1.dfsg-1_amd64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.2.1-1_amd64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20130630_all.deb) ... Selecting previously unselected package zlib1g-dev:amd64. Unpacking zlib1g-dev:amd64 (from .../zlib1g-dev_1%3a1.2.8.dfsg-1_amd64.deb) ... Selecting previously unselected package minisat. Unpacking minisat (from .../minisat_1%3a2.2.1-4_amd64.deb) ... Selecting previously unselected package sbuild-build-depends-cbmc-dummy. Unpacking sbuild-build-depends-cbmc-dummy (from .../sbuild-build-depends-cbmc-dummy.deb) ... Setting up libpipeline1:amd64 (1.2.4-1) ... Setting up groff-base (1.22.2-3) ... Setting up bsdmainutils (9.0.5) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libasprintf0c2:amd64 (0.18.2.1-1) ... Setting up libmagic1:amd64 (1:5.14-2) ... Setting up libxml2:amd64 (2.9.1+dfsg1-2) ... Setting up libsigsegv2:amd64 (2.10-2) ... Setting up m4 (1.4.16-5) ... Setting up flex (2.5.35-10.1) ... Setting up libglib2.0-0:amd64 (2.36.3-3) ... No schema files found: doing nothing. Setting up libcroco3:amd64 (0.6.8-2) ... Setting up libunistring0:amd64 (0.9.3-5) ... Setting up file (1:5.14-2) ... Setting up gettext-base (0.18.2.1-1) ... Setting up libbison-dev:amd64 (2:2.7.1.dfsg-1) ... Setting up bison (2:2.7.1.dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up gettext (0.18.2.1-1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20130630) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-1) ... Setting up minisat (1:2.2.1-4) ... Setting up sbuild-build-depends-cbmc-dummy (0.invalid.0) ... Processing triggers for libc-bin ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-xen-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.23.52.20130620-1 dpkg-dev_1.16.10 g++-4.6_4.6.4-4 g++-4.8_4.8.1-6 gcc-4.6_4.6.4-4 gcc-4.7_4.7.3-6 gcc-4.8_4.8.1-6 libc6-dev_2.17-7 libstdc++-4.8-dev_4.8.1-6 libstdc++6_4.8.1-6 libstdc++6-4.6-dev_4.6.4-4 libstdc++6-4.7-dev_4.7.3-6 linux-libc-dev_3.9.8-1 Package versions: apt_0.9.9.1 base-files_7.2 base-passwd_3.5.26 bash_4.2+dfsg-1 binutils_2.23.52.20130620-1 bison_2:2.7.1.dfsg-1 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.5 build-essential_11.6 bzip2_1.0.6-4 clang-3.3_1:3.3-3 coreutils_8.20-3 cpp_4:4.8.1-2 cpp-4.6_4.6.4-4 cpp-4.7_4.7.3-6 cpp-4.8_4.8.1-6 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20130630 debian-archive-keyring_2012.4 debianutils_4.3.4 diffutils_1:3.2-8 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.8-1 e2fsprogs_1.42.8-1 fakeroot_1.19-2 file_1:5.14-2 findutils_4.4.2-6 flex_2.5.35-10.1 g++_4:4.8.1-2 g++-4.6_4.6.4-4 g++-4.8_4.8.1-6 gcc_4:4.8.1-2 gcc-4.4-base_4.4.7-4 gcc-4.5-base_4.5.4-1 gcc-4.6_4.6.4-4 gcc-4.6-base_4.6.4-4 gcc-4.7_4.7.3-6 gcc-4.7-base_4.7.3-6 gcc-4.8_4.8.1-6 gcc-4.8-base_4.8.1-6 gettext_0.18.2.1-1 gettext-base_0.18.2.1-1 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.14-2 groff-base_1.22.2-3 gzip_1.6-1 hostname_3.13 initscripts_2.88dsf-42 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 libacl1_2.2.52-1 libapt-pkg4.12_0.9.9.1 libasan0_4.8.1-6 libasprintf0c2_0.18.2.1-1 libatomic1_4.8.1-6 libattr1_1:2.4.47-1 libbison-dev_2:2.7.1.dfsg-1 libblkid1_2.20.1-5.5 libbz2-1.0_1.0.6-4 libc-bin_2.17-7 libc-dev-bin_2.17-7 libc6_2.17-7 libc6-dev_2.17-7 libcap2_1:2.22-1.2 libclang-common-3.3-dev_1:3.3-3 libclang1-3.3_1:3.3-3 libclass-isa-perl_0.36-5 libcloog-isl4_0.18.0-2 libcloog-ppl1_0.16.1-3 libcomerr2_1.42.8-1 libcroco3_0.6.8-2 libdb5.1_5.1.29-6 libdpkg-perl_1.16.10 libffi6_3.0.13-4 libfile-fcntllock-perl_0.14-2 libgc1c2_1:7.2d-5 libgcc-4.7-dev_4.7.3-6 libgcc-4.8-dev_4.8.1-6 libgcc1_1:4.8.1-6 libgdbm3_1.8.3-12 libglib2.0-0_2.36.3-3 libgmp10_2:5.1.2+dfsg-2 libgmpxx4ldbl_2:5.1.2+dfsg-2 libgomp1_4.8.1-6 libgpm2_1.20.4-6.1 libisl10_0.11.2-1 libitm1_4.8.1-6 libllvm3.3_1:3.3-3 liblocale-gettext-perl_1.05-7+b1 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.14-2 libmount1_2.20.1-5.5 libmpc2_0.9-4 libmpc3_1.0.1-1 libmpfr4_3.1.1-1 libncurses5_5.9+20130608-1 libobjc-4.7-dev_4.7.3-6 libobjc4_4.8.1-6 libpam-modules_1.1.3-9 libpam-modules-bin_1.1.3-9 libpam-runtime_1.1.3-9 libpam0g_1.1.3-9 libpcre3_1:8.31-2 libpipeline1_1.2.4-1 libppl-c4_1:1.0-7 libppl12_1:1.0-7 libquadmath0_4.8.1-6 libreadline6_6.2+dfsg-0.1 libselinux1_2.1.13-2 libsemanage-common_2.1.10-2 libsemanage1_2.1.10-2 libsepol1_2.1.9-2 libsigsegv2_2.10-2 libslang2_2.2.4-15 libss2_1.42.8-1 libstdc++-4.8-dev_4.8.1-6 libstdc++6_4.8.1-6 libstdc++6-4.6-dev_4.6.4-4 libstdc++6-4.7-dev_4.7.3-6 libswitch-perl_2.16-2 libtext-charwidth-perl_0.04-7+b1 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo5_5.9+20130608-1 libtsan0_4.8.1-6 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-23.2 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.5 libxml2_2.9.1+dfsg1-2 linux-libc-dev_3.9.8-1 login_1:4.1.5.1-1 lsb-base_4.1+Debian12 m4_1.4.16-5 make_3.81-8.2 man-db_2.6.5-2 mawk_1.3.3-17 minisat_1:2.2.1-4 mount_2.20.1-5.5 multiarch-support_2.17-7 ncurses-base_5.9+20130608-1 ncurses-bin_5.9+20130608-1 passwd_1:4.1.5.1-1 patch_2.7.1-3 perl_5.14.2-21 perl-base_5.14.2-21 perl-modules_5.14.2-21 po-debconf_1.0.16+nmu2 readline-common_6.2+dfsg-0.1 sbuild-build-depends-cbmc-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-1 sensible-utils_0.0.9 sudo_1.8.5p2-1+nmu1 sysv-rc_2.88dsf-42 sysvinit_2.88dsf-42 sysvinit-utils_2.88dsf-42 tar_1.26+dfsg-6 tzdata_2013c-2 ucf_3.0027+nmu1 util-linux_2.20.1-5.5 vim_2:7.3.923-3 vim-common_2:7.3.923-3 vim-runtime_2:7.3.923-3 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-1 zlib1g-dev_1:1.2.8.dfsg-1 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Thu Jul 11 07:48:32 2013 UTC using RSA key ID E3386741 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./cbmc_4.4-2.dsc dpkg-source: info: extracting cbmc in cbmc-4.4 dpkg-source: info: unpacking cbmc_4.4.orig.tar.gz dpkg-source: info: unpacking cbmc_4.4-2.debian.tar.gz dpkg-source: info: applying minisat-debian dpkg-source: info: applying debian-changes-4.4-1 dpkg-source: info: applying debian-changes-4.4-2 Check disc space ──────────────── Sufficient free space for build Hack binNMU version ─────────────────── Created changelog entry for binNMU version 4.4-2clang1 User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=user PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1000 SCHROOT_GROUP=user SCHROOT_SESSION_ID=unstable-amd64-sbuild-8f0d12ad-df90-4cf1-89c0-32c3604e869b SCHROOT_UID=1000 SCHROOT_USER=user SHELL=/bin/sh USER=user dpkg-buildpackage ───────────────── dpkg-buildpackage: source package cbmc dpkg-buildpackage: source version 4.4-2clang1 dpkg-source --before-build cbmc-4.4 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh clean --parallel dh_testdir -O--parallel debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' dh_auto_clean /usr/bin/make -C src clean make[2]: Entering directory `/«PKGBUILDDIR»/src' /usr/bin/make -C ansi-c clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c' rm -f c_typecast.o ansi_c_y.tab.o ansi_c_lex.yy.o ansi_c_parser.o expr2c.o ansi_c_language.o c_sizeof.o c_types.o trans_unit.o ansi_c_typecheck.o c_preprocess.o c_typecheck_base.o c_typecheck_initializer.o c_typecheck_typecast.o c_typecheck_code.o c_typecheck_expr.o c_typecheck_type.o string_constant.o c_qualifiers.o c_typecheck_argc_argv.o ansi_c_parse_tree.o preprocessor_line.o ansi_c_convert.o ansi_c_convert_type.o type2name.o cprover_library.o anonymous_member.o printf_formatter.o ansi_c_internal_additions.o padding.o ansi_c_declaration.o designator.o literals/parse_float.o literals/unescape_string.o literals/convert_float_literal.o literals/convert_character_literal.o literals/convert_integer_literal.o literals/convert_string_literal.o \ c_typecast.d ansi_c_y.tab.d ansi_c_lex.yy.d ansi_c_parser.d expr2c.d ansi_c_language.d c_sizeof.d c_types.d trans_unit.d ansi_c_typecheck.d c_preprocess.d c_typecheck_base.d c_typecheck_initializer.d c_typecheck_typecast.d c_typecheck_code.d c_typecheck_expr.d c_typecheck_type.d string_constant.d c_qualifiers.d c_typecheck_argc_argv.d ansi_c_parse_tree.d preprocessor_line.d ansi_c_convert.d ansi_c_convert_type.d type2name.d cprover_library.d anonymous_member.d printf_formatter.d ansi_c_internal_additions.d padding.d ansi_c_declaration.d designator.d literals/parse_float.d literals/unescape_string.d literals/convert_float_literal.d literals/convert_character_literal.d literals/convert_integer_literal.d literals/convert_string_literal.d \ \ \ ansi-c.a ansi_c_y.tab.h ansi_c_y.tab.cpp ansi_c_lex.yy.cpp ansi_c_y.tab.cpp.output ansi_c_y.output library/converter cprover_library.inc file_converter library_check gcc_builtin_headers_generic.inc gcc_builtin_headers_ia32.inc arm_builtin_headers.inc cw_builtin_headers.inc gcc_builtin_headers_arm.inc gcc_builtin_headers_alpha.inc gcc_builtin_headers_mips.inc gcc_builtin_headers_power.inc make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c' /usr/bin/make -C big-int clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int' rm -f \ \ bigint-func.o bigint.o \ bigint-func.d bigint.d \ test-bigint big-int.a bigint-test.o bigint-test.d make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int' /usr/bin/make -C cbmc clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc' rm -f cbmc_main.o cbmc_parseoptions.o bmc.o dimacs.o cbmc_languages.o counterexample_beautification.o bv_cbmc.o symex_bmc.o show_vcc.o cbmc_solvers.o xml_interface.o cover.o all_claims.o \ cbmc_main.d cbmc_parseoptions.d bmc.d dimacs.d cbmc_languages.d counterexample_beautification.d bv_cbmc.d symex_bmc.d show_vcc.d cbmc_solvers.d xml_interface.d cover.d all_claims.d \ \ \ cbmc make[3]: Leaving directory `/«PKGBUILDDIR»/src/cbmc' /usr/bin/make -C cpp clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp' rm -f cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o cpp_lex.yy.o cpp_typecheck.o cpp_convert_type.o cpp_typecheck_expr.o cpp_typecheck_code.o cpp_typecheck_type.o parse.o cpp_parse_tree.o cpp_token_buffer.o cpp_typecheck_fargs.o cpp_typecheck_resolve.o cpp_util.o cpp_enum_type.o cpp_typecheck_function.o cpp_typecheck_namespace.o cpp_name.o cpp_is_pod.o cpp_scope.o cpp_typecheck_find_constructor.o template_map.o cpp_scopes.o cpp_declarator.o cpp_instantiate_template.o cpp_internal_additions.o cpp_type2name.o cpp_typecheck_linkage_spec.o cpp_typecheck_template.o cpp_typecheck_function_bodies.o cpp_typecheck_initializer.o cpp_typecheck_compound_type.o cpp_constructor.o cpp_destructor.o cpp_typecheck_conversions.o cpp_typecheck_declaration.o cpp_declarator_converter.o cpp_declaration.o cpp_namespace_spec.o cpp_typecheck_using.o cpp_exception_id.o cpp_typecheck_enum_type.o cpp_typecheck_bases.o cpp_typecheck_constructor.o cpp_typecheck_virtual_table.o cpp_typecheck_static_assert.o \ cpp_id.d cpp_language.d expr2cpp.d cpp_parser.d cpp_lex.yy.d cpp_typecheck.d cpp_convert_type.d cpp_typecheck_expr.d cpp_typecheck_code.d cpp_typecheck_type.d parse.d cpp_parse_tree.d cpp_token_buffer.d cpp_typecheck_fargs.d cpp_typecheck_resolve.d cpp_util.d cpp_enum_type.d cpp_typecheck_function.d cpp_typecheck_namespace.d cpp_name.d cpp_is_pod.d cpp_scope.d cpp_typecheck_find_constructor.d template_map.d cpp_scopes.d cpp_declarator.d cpp_instantiate_template.d cpp_internal_additions.d cpp_type2name.d cpp_typecheck_linkage_spec.d cpp_typecheck_template.d cpp_typecheck_function_bodies.d cpp_typecheck_initializer.d cpp_typecheck_compound_type.d cpp_constructor.d cpp_destructor.d cpp_typecheck_conversions.d cpp_typecheck_declaration.d cpp_declarator_converter.d cpp_declaration.d cpp_namespace_spec.d cpp_typecheck_using.d cpp_exception_id.d cpp_typecheck_enum_type.d cpp_typecheck_bases.d cpp_typecheck_constructor.d cpp_typecheck_virtual_table.d cpp_typecheck_static_assert.d \ \ \ cpp.a cpp_lex.yy.cpp cpp_y.tab.cpp.output make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp' /usr/bin/make -C goto-cc clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-cc' rm -f goto_cc_main.o goto_cc_mode.o gcc_mode.o get_base_name.o gcc_cmdline.o ms_cl_cmdline.o ld_cmdline.o compile.o armcc_cmdline.o run.o goto_cc_languages.o goto_cc_cmdline.o ms_cl_mode.o armcc_mode.o cw_mode.o ld_mode.o \ goto_cc_main.d goto_cc_mode.d gcc_mode.d get_base_name.d gcc_cmdline.d ms_cl_cmdline.d ld_cmdline.d compile.d armcc_cmdline.d run.d goto_cc_languages.d goto_cc_cmdline.d ms_cl_mode.d armcc_mode.d cw_mode.d ld_mode.d \ \ \ goto-cc make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-cc' /usr/bin/make -C goto-instrument clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument' rm -f goto_instrument_main.o goto_instrument_parseoptions.o document_claims.o goto_instrument_languages.o uninitialized.o full_slicer.o k_induction.o object_id.o show_locations.o points_to.o alignment_checks.o race_check.o rw_set.o nondet_volatile.o interrupt.o function.o branch.o mmio.o stack_depth.o nondet_static.o concurrency.o dump_c.o dot.o havoc_loops.o wmm/weak_memory.o wmm/fence.o wmm/event_graph.o wmm/goto2graph.o wmm/data_dp.o wmm/abstract_event.o wmm/instrumenter_strategies.o wmm/cycle_collection.o call_sequences.o unwind.o accelerate/accelerate.o accelerate/polynomial.o accelerate/scratch_program.o accelerate/polynomial_accelerator.o accelerate/util.o count_eloc.o \ goto_instrument_main.d goto_instrument_parseoptions.d document_claims.d goto_instrument_languages.d uninitialized.d full_slicer.d k_induction.d object_id.d show_locations.d points_to.d alignment_checks.d race_check.d rw_set.d nondet_volatile.d interrupt.d function.d branch.d mmio.d stack_depth.d nondet_static.d concurrency.d dump_c.d dot.d havoc_loops.d wmm/weak_memory.d wmm/fence.d wmm/event_graph.d wmm/goto2graph.d wmm/data_dp.d wmm/abstract_event.d wmm/instrumenter_strategies.d wmm/cycle_collection.d call_sequences.d unwind.d accelerate/accelerate.d accelerate/polynomial.d accelerate/scratch_program.d accelerate/polynomial_accelerator.d accelerate/util.d count_eloc.d \ \ \ goto-instrument make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument' /usr/bin/make -C goto-programs clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-programs' rm -f goto_convert.o goto_convert_function_call.o goto_convert_side_effect.o goto_program.o basic_blocks.o goto_convert_exceptions.o remove_function_pointers.o goto_functions.o goto_inline.o remove_skip.o goto_convert_functions.o string_instrumentation.o builtin_functions.o show_claims.o destructor.o set_claims.o reachability_slicer.o read_goto_binary.o goto_asm.o elf_reader.o string_abstraction.o goto_program_serialization.o goto_function_serialization.o read_bin_goto_object.o goto_program_irep.o interpreter.o interpreter_evaluate.o flow_insensitive_analysis.o format_strings.o loop_ids.o pointer_arithmetic.o goto_program_template.o write_goto_binary.o remove_unreachable.o remove_unused_functions.o wp.o goto_rw.o goto_clean_expr.o safety_checker.o compute_called_functions.o link_to_library.o remove_return_values.o osx_fat_reader.o \ goto_convert.d goto_convert_function_call.d goto_convert_side_effect.d goto_program.d basic_blocks.d goto_convert_exceptions.d remove_function_pointers.d goto_functions.d goto_inline.d remove_skip.d goto_convert_functions.d string_instrumentation.d builtin_functions.d show_claims.d destructor.d set_claims.d reachability_slicer.d read_goto_binary.d goto_asm.d elf_reader.d string_abstraction.d goto_program_serialization.d goto_function_serialization.d read_bin_goto_object.d goto_program_irep.d interpreter.d interpreter_evaluate.d flow_insensitive_analysis.d format_strings.d loop_ids.d pointer_arithmetic.d goto_program_template.d write_goto_binary.d remove_unreachable.d remove_unused_functions.d wp.d goto_rw.d goto_clean_expr.d safety_checker.d compute_called_functions.d link_to_library.d remove_return_values.d osx_fat_reader.d \ \ \ goto-programs.a test_wp osx_fat_reader_test make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs' /usr/bin/make -C goto-symex clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-symex' rm -f symex_target.o symex_target_equation.o goto_symex.o symex_main.o goto_trace.o build_goto_trace.o symex_function_call.o goto_symex_state.o symex_dereference.o symex_goto.o symex_builtin_functions.o slice.o symex_other.o slice_by_trace.o xml_goto_trace.o symex_decl.o symex_dead.o precondition.o postcondition.o symex_clean_expr.o symex_dereference_state.o vcd_goto_trace.o auto_objects.o symex_catch.o symex_start_thread.o symex_assign.o symex_throw.o symex_atomic_section.o memory_model.o memory_model_sc.o partial_order_concurrency.o \ symex_target.d symex_target_equation.d goto_symex.d symex_main.d goto_trace.d build_goto_trace.d symex_function_call.d goto_symex_state.d symex_dereference.d symex_goto.d symex_builtin_functions.d slice.d symex_other.d slice_by_trace.d xml_goto_trace.d symex_decl.d symex_dead.d precondition.d postcondition.d symex_clean_expr.d symex_dereference_state.d vcd_goto_trace.d auto_objects.d symex_catch.d symex_start_thread.d symex_assign.d symex_throw.d symex_atomic_section.d memory_model.d memory_model_sc.d partial_order_concurrency.d \ \ \ goto-symex.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex' /usr/bin/make -C langapi clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/langapi' rm -f mode.o language_ui.o languages.o language_util.o \ mode.d language_ui.d languages.d language_util.d \ \ \ langapi.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/langapi' /usr/bin/make -C pointer-analysis clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/pointer-analysis' rm -f value_set.o goto_program_dereference.o value_set_analysis.o dereference.o pointer_offset_sum.o add_failed_symbols.o show_value_sets.o value_set_domain.o rewrite_index.o value_set_analysis_fi.o value_set_fi.o value_set_domain_fi.o value_set_analysis_fivr.o value_set_fivr.o value_set_domain_fivr.o value_set_analysis_fivrns.o value_set_fivrns.o value_set_domain_fivrns.o \ value_set.d goto_program_dereference.d value_set_analysis.d dereference.d pointer_offset_sum.d add_failed_symbols.d show_value_sets.d value_set_domain.d rewrite_index.d value_set_analysis_fi.d value_set_fi.d value_set_domain_fi.d value_set_analysis_fivr.d value_set_fivr.d value_set_domain_fivr.d value_set_analysis_fivrns.d value_set_fivrns.d value_set_domain_fivrns.d \ \ \ pointer-analysis.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/pointer-analysis' /usr/bin/make -C solvers clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/solvers' rm -f sat/satcheck_minisat2.o sat/cnf.o sat/dimacs_cnf.o sat/cnf_clause_list.o sat/pbs_dimacs_cnf.o sat/read_dimacs_cnf.o sat/resolution_proof.o sat/satcheck.o qbf/qdimacs_cnf.o qbf/qbf_quantor.o qbf/qbf_skizzo.o qbf/qdimacs_core.o qbf/qbf_qube.o qbf/qbf_qube_core.o prop/prop.o prop/prop_conv.o prop/prop_conv_store.o prop/aig_formula.o prop/cover_goals.o prop/aig.o prop/aig_prop.o prop/minimize.o prop/prop_assignment.o cvc/cvc_prop.o cvc/cvc_conv.o cvc/cvc_dec.o smt1/smt1_dec.o smt1/smt1_prop.o smt1/smt1_conv.o smt2/smt2_dec.o smt2/smt2_prop.o smt2/smt2_conv.o dplib/dplib_conv.o dplib/dplib_dec.o dplib/dplib_prop.o flattening/equality.o flattening/arrays.o flattening/functions.o flattening/bv_minimize.o flattening/boolbv_width.o flattening/boolbv.o flattening/boolbv_constraint_select_one.o flattening/bv_pointers.o flattening/bv_utils.o flattening/boolbv_abs.o flattening/boolbv_with.o flattening/boolbv_typecast.o flattening/boolbv_index.o flattening/boolbv_member.o flattening/boolbv_if.o flattening/boolbv_byte_extract.o flattening/boolbv_add_sub.o flattening/boolbv_mult.o flattening/boolbv_constant.o flattening/boolbv_extractbit.o flattening/boolbv_bv_rel.o flattening/boolbv_shift.o flattening/boolbv_case.o flattening/boolbv_cond.o flattening/boolbv_concatenation.o flattening/boolbv_div.o flattening/boolbv_mod.o flattening/boolbv_extractbits.o flattening/boolbv_replication.o flattening/boolbv_reduction.o flattening/boolbv_overflow.o flattening/boolbv_get.o flattening/boolbv_bitwise.o flattening/boolbv_equality.o flattening/boolbv_unary_minus.o flattening/boolbv_ieee_float_rel.o flattening/pointer_logic.o flattening/boolbv_quantifier.o flattening/boolbv_struct.o flattening/boolbv_byte_update.o flattening/boolbv_array_of.o flattening/boolbv_map.o flattening/boolbv_type.o flattening/boolbv_array.o flattening/boolbv_vector.o flattening/boolbv_complex.o flattening/boolbv_floatbv_op.o flattening/boolbv_union.o flattening/flatten_byte_operators.o flattening/boolbv_update.o floatbv/float_utils.o floatbv/float_bv.o \ sat/satcheck_minisat2.d sat/cnf.d sat/dimacs_cnf.d sat/cnf_clause_list.d sat/pbs_dimacs_cnf.d sat/read_dimacs_cnf.d sat/resolution_proof.d sat/satcheck.d qbf/qdimacs_cnf.d qbf/qbf_quantor.d qbf/qbf_skizzo.d qbf/qdimacs_core.d qbf/qbf_qube.d qbf/qbf_qube_core.d prop/prop.d prop/prop_conv.d prop/prop_conv_store.d prop/aig_formula.d prop/cover_goals.d prop/aig.d prop/aig_prop.d prop/minimize.d prop/prop_assignment.d cvc/cvc_prop.d cvc/cvc_conv.d cvc/cvc_dec.d smt1/smt1_dec.d smt1/smt1_prop.d smt1/smt1_conv.d smt2/smt2_dec.d smt2/smt2_prop.d smt2/smt2_conv.d dplib/dplib_conv.d dplib/dplib_dec.d dplib/dplib_prop.d flattening/equality.d flattening/arrays.d flattening/functions.d flattening/bv_minimize.d flattening/boolbv_width.d flattening/boolbv.d flattening/boolbv_constraint_select_one.d flattening/bv_pointers.d flattening/bv_utils.d flattening/boolbv_abs.d flattening/boolbv_with.d flattening/boolbv_typecast.d flattening/boolbv_index.d flattening/boolbv_member.d flattening/boolbv_if.d flattening/boolbv_byte_extract.d flattening/boolbv_add_sub.d flattening/boolbv_mult.d flattening/boolbv_constant.d flattening/boolbv_extractbit.d flattening/boolbv_bv_rel.d flattening/boolbv_shift.d flattening/boolbv_case.d flattening/boolbv_cond.d flattening/boolbv_concatenation.d flattening/boolbv_div.d flattening/boolbv_mod.d flattening/boolbv_extractbits.d flattening/boolbv_replication.d flattening/boolbv_reduction.d flattening/boolbv_overflow.d flattening/boolbv_get.d flattening/boolbv_bitwise.d flattening/boolbv_equality.d flattening/boolbv_unary_minus.d flattening/boolbv_ieee_float_rel.d flattening/pointer_logic.d flattening/boolbv_quantifier.d flattening/boolbv_struct.d flattening/boolbv_byte_update.d flattening/boolbv_array_of.d flattening/boolbv_map.d flattening/boolbv_type.d flattening/boolbv_array.d flattening/boolbv_vector.d flattening/boolbv_complex.d flattening/boolbv_floatbv_op.d flattening/boolbv_union.d flattening/flatten_byte_operators.d flattening/boolbv_update.d floatbv/float_utils.d floatbv/float_bv.d \ \ \ solvers.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers' /usr/bin/make -C util clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/util' rm -f arith_tools.o base_type.o cmdline.o config.o symbol_table.o expr.o expr_util.o i2string.o irep.o language.o lispexpr.o lispirep.o location.o message.o language_file.o mp_arith.o namespace.o parseoptions.o rename.o replace_expr.o threeval.o typecheck.o graph.o type.o cnf_simplify.o pointer_predicates.o bitvector.o parser.o map_util.o replace_symbol.o actuals.o get_module.o string_hash.o string_container.o identifier.o rational.o options.o c_misc.o simplify_expr.o dstring.o find_symbols.o rational_tools.o ui_message.o simplify_utils.o time_stopping.o symbol.o irep_hash_container.o cout_message.o type_eq.o guard.o array_name.o message_stream.o substitute.o decision_procedure.o union_find.o xml.o xml_irep.o xml_expr.o std_types.o std_code.o format_constant.o find_macros.o ref_expr_set.o std_expr.o irep_serialization.o symbol_serialization.o fixedbv.o ieee_float.o signal_catcher.o pointer_offset_size.o bv_arithmetic.o tempdir.o tempfile.o timer.o unicode.o irep_ids.o byte_operators.o string2int.o file_util.o memory_info.o \ arith_tools.d base_type.d cmdline.d config.d symbol_table.d expr.d expr_util.d i2string.d irep.d language.d lispexpr.d lispirep.d location.d message.d language_file.d mp_arith.d namespace.d parseoptions.d rename.d replace_expr.d threeval.d typecheck.d graph.d type.d cnf_simplify.d pointer_predicates.d bitvector.d parser.d map_util.d replace_symbol.d actuals.d get_module.d string_hash.d string_container.d identifier.d rational.d options.d c_misc.d simplify_expr.d dstring.d find_symbols.d rational_tools.d ui_message.d simplify_utils.d time_stopping.d symbol.d irep_hash_container.d cout_message.d type_eq.d guard.d array_name.d message_stream.d substitute.d decision_procedure.d union_find.d xml.d xml_irep.d xml_expr.d std_types.d std_code.d format_constant.d find_macros.d ref_expr_set.d std_expr.d irep_serialization.d symbol_serialization.d fixedbv.d ieee_float.d signal_catcher.d pointer_offset_size.d bv_arithmetic.d tempdir.d tempfile.d timer.d unicode.d irep_ids.d byte_operators.d string2int.d file_util.d memory_info.d \ \ \ util.a irep_ids.h irep_ids.inc ieee_float_test ieee_float_test.o ieee_float_test.d irep_ids_convert irep_ids_convert.o irep_ids_convert.d make[3]: Leaving directory `/«PKGBUILDDIR»/src/util' /usr/bin/make -C linking clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/linking' rm -f linking.o linking_type_eq.o zero_initializer.o remove_internal_symbols.o entry_point.o \ linking.d linking_type_eq.d zero_initializer.d remove_internal_symbols.d entry_point.d \ \ \ linking.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/linking' /usr/bin/make -C xmllang clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang' rm -f xml_language.o xml_parser.o xml_y.tab.o xml_lex.yy.o xml_typecheck.o xml_parse_tree.o \ xml_language.d xml_parser.d xml_y.tab.d xml_lex.yy.d xml_typecheck.d xml_parse_tree.d \ \ \ xmllang.a xml_y.tab.h xml_y.tab.cpp xml_lex.yy.cpp xml_y.tab.cpp.output xml_y.output make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang' /usr/bin/make -C assembler clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/assembler' rm -f assembler_lex.yy.o assembler_parser.o \ assembler_lex.yy.d assembler_parser.d \ \ \ assembler.a assembler_lex.yy.cpp make[3]: Leaving directory `/«PKGBUILDDIR»/src/assembler' /usr/bin/make -C analyses clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/analyses' rm -f natural_loops.o is_threaded.o dirty.o interval_analysis.o invariant_set.o invariant_set_domain.o invariant_propagation.o static_analysis.o uninitialized_domain.o local_may_alias.o locals.o goto_check.o call_graph.o interval_domain.o reaching_definitions.o \ natural_loops.d is_threaded.d dirty.d interval_analysis.d invariant_set.d invariant_set_domain.d invariant_propagation.d static_analysis.d uninitialized_domain.d local_may_alias.d locals.d goto_check.d call_graph.d interval_domain.d reaching_definitions.d \ \ \ analyses.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/analyses' /usr/bin/make -C java_bytecode clean ; \ make[3]: Entering directory `/«PKGBUILDDIR»/src/java_bytecode' rm -f java_bytecode_language.o java_bytecode_parse_tree.o java_bytecode_typecheck.o javap_parse.o java_bytecode_convert.o java_types.o java_entry_point.o java_bytecode_typecheck_code.o java_bytecode_typecheck_expr.o java_bytecode_typecheck_type.o java_bytecode_internal_additions.o \ java_bytecode_language.d java_bytecode_parse_tree.d java_bytecode_typecheck.d javap_parse.d java_bytecode_convert.d java_types.d java_entry_point.d java_bytecode_typecheck_code.d java_bytecode_typecheck_expr.d java_bytecode_typecheck_type.d java_bytecode_internal_additions.d \ \ \ java_bytecode.a make[3]: Leaving directory `/«PKGBUILDDIR»/src/java_bytecode' make[2]: Leaving directory `/«PKGBUILDDIR»/src' rm -f regression/*/tests.log rm -f regression/*/*/*.out make[1]: Leaving directory `/«PKGBUILDDIR»' dh_clean -O--parallel debian/rules build-arch dh build-arch --parallel dh_testdir -a -O--parallel dh_auto_configure -a -O--parallel debian/rules override_dh_auto_build make[1]: Entering directory `/«PKGBUILDDIR»' /usr/bin/make -C src MINISAT2=/usr/include/minisat make[2]: Entering directory `/«PKGBUILDDIR»/src' ## Entering big-int /usr/bin/make -C big-int make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int' g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -o bigint-func.o bigint-func.cc g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -o bigint.o bigint.cc g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -o bigint-test.o bigint-test.cc g++ -o test-bigint bigint-func.o bigint.o bigint-test.o ld -r -o big-int.a bigint-func.o bigint.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int' ## Entering util /usr/bin/make -C util make[3]: Entering directory `/«PKGBUILDDIR»/src/util' g++ -o irep_ids_convert irep_ids_convert.cpp ./irep_ids_convert header < irep_ids.txt > irep_ids.h g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o arith_tools.o arith_tools.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o base_type.o base_type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cmdline.o cmdline.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o config.o config.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symbol_table.o symbol_table.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr.o expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr_util.o expr_util.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o i2string.o i2string.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep.o irep.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language.o language.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o lispexpr.o lispexpr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o lispirep.o lispirep.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o location.o location.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o message.o message.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language_file.o language_file.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o mp_arith.o mp_arith.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o namespace.o namespace.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o parseoptions.o parseoptions.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rename.o rename.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o replace_expr.o replace_expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o threeval.o threeval.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o typecheck.o typecheck.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o graph.o graph.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o type.o type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cnf_simplify.o cnf_simplify.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o pointer_predicates.o pointer_predicates.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o bitvector.o bitvector.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o parser.o parser.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o map_util.o map_util.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o replace_symbol.o replace_symbol.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o actuals.o actuals.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o get_module.o get_module.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_hash.o string_hash.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string_container.o string_container.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o identifier.o identifier.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rational.o rational.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o options.o options.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_misc.o c_misc.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o simplify_expr.o simplify_expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o dstring.o dstring.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o find_symbols.o find_symbols.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o rational_tools.o rational_tools.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ui_message.o ui_message.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o simplify_utils.o simplify_utils.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o time_stopping.o time_stopping.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symbol.o symbol.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep_hash_container.o irep_hash_container.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cout_message.o cout_message.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o type_eq.o type_eq.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o guard.o guard.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o array_name.o array_name.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o message_stream.o message_stream.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o substitute.o substitute.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o decision_procedure.o decision_procedure.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o union_find.o union_find.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml.o xml.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_irep.o xml_irep.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o xml_expr.o xml_expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o std_types.o std_types.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o std_code.o std_code.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o format_constant.o format_constant.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o find_macros.o find_macros.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ref_expr_set.o ref_expr_set.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o std_expr.o std_expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep_serialization.o irep_serialization.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o symbol_serialization.o symbol_serialization.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o fixedbv.o fixedbv.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ieee_float.o ieee_float.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o signal_catcher.o signal_catcher.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o pointer_offset_size.o pointer_offset_size.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o bv_arithmetic.o bv_arithmetic.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o tempdir.o tempdir.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o tempfile.o tempfile.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o timer.o timer.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o unicode.o unicode.cpp ./irep_ids_convert table < irep_ids.txt > irep_ids.inc g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o irep_ids.o irep_ids.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o byte_operators.o byte_operators.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o string2int.o string2int.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o file_util.o file_util.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o memory_info.o memory_info.cpp ld -r -o util.a arith_tools.o base_type.o cmdline.o config.o symbol_table.o expr.o expr_util.o i2string.o irep.o language.o lispexpr.o lispirep.o location.o message.o language_file.o mp_arith.o namespace.o parseoptions.o rename.o replace_expr.o threeval.o typecheck.o graph.o type.o cnf_simplify.o pointer_predicates.o bitvector.o parser.o map_util.o replace_symbol.o actuals.o get_module.o string_hash.o string_container.o identifier.o rational.o options.o c_misc.o simplify_expr.o dstring.o find_symbols.o rational_tools.o ui_message.o simplify_utils.o time_stopping.o symbol.o irep_hash_container.o cout_message.o type_eq.o guard.o array_name.o message_stream.o substitute.o decision_procedure.o union_find.o xml.o xml_irep.o xml_expr.o std_types.o std_code.o format_constant.o find_macros.o ref_expr_set.o std_expr.o irep_serialization.o symbol_serialization.o fixedbv.o ieee_float.o signal_catcher.o pointer_offset_size.o bv_arithmetic.o tempdir.o tempfile.o timer.o unicode.o irep_ids.o byte_operators.o string2int.o file_util.o memory_info.o g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ieee_float_test.o ieee_float_test.cpp g++ -o ieee_float_test ieee_float_test.o util.a ../big-int/bigint.o ../big-int/bigint-func.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/util' ## Entering langapi /usr/bin/make -C langapi make[3]: Entering directory `/«PKGBUILDDIR»/src/langapi' g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o mode.o mode.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language_ui.o language_ui.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o languages.o languages.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o language_util.o language_util.cpp ld -r -o langapi.a mode.o language_ui.o languages.o language_util.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/langapi' ## Entering cpp /usr/bin/make -C cpp make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp' g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_id.o cpp_id.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_language.o cpp_language.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr2cpp.o expr2cpp.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_parser.o cpp_parser.cpp flex -Pyycpp -ocpp_lex.yy.cpp scanner.l g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_lex.yy.o cpp_lex.yy.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck.o cpp_typecheck.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_convert_type.o cpp_convert_type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_expr.o cpp_typecheck_expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_code.o cpp_typecheck_code.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_type.o cpp_typecheck_type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o parse.o parse.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_parse_tree.o cpp_parse_tree.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_token_buffer.o cpp_token_buffer.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_fargs.o cpp_typecheck_fargs.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_resolve.o cpp_typecheck_resolve.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_util.o cpp_util.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_enum_type.o cpp_enum_type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_function.o cpp_typecheck_function.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_namespace.o cpp_typecheck_namespace.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_name.o cpp_name.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_is_pod.o cpp_is_pod.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_scope.o cpp_scope.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_find_constructor.o cpp_typecheck_find_constructor.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o template_map.o template_map.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_scopes.o cpp_scopes.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_declarator.o cpp_declarator.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_instantiate_template.o cpp_instantiate_template.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_internal_additions.o cpp_internal_additions.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_type2name.o cpp_type2name.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_linkage_spec.o cpp_typecheck_linkage_spec.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_template.o cpp_typecheck_template.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_function_bodies.o cpp_typecheck_function_bodies.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_initializer.o cpp_typecheck_initializer.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_compound_type.o cpp_typecheck_compound_type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_constructor.o cpp_constructor.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_destructor.o cpp_destructor.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_conversions.o cpp_typecheck_conversions.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_declaration.o cpp_typecheck_declaration.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_declarator_converter.o cpp_declarator_converter.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_declaration.o cpp_declaration.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_namespace_spec.o cpp_namespace_spec.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_using.o cpp_typecheck_using.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_exception_id.o cpp_exception_id.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_enum_type.o cpp_typecheck_enum_type.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_bases.o cpp_typecheck_bases.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_constructor.o cpp_typecheck_constructor.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_virtual_table.o cpp_typecheck_virtual_table.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o cpp_typecheck_static_assert.o cpp_typecheck_static_assert.cpp ld -r -o cpp.a cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o cpp_lex.yy.o cpp_typecheck.o cpp_convert_type.o cpp_typecheck_expr.o cpp_typecheck_code.o cpp_typecheck_type.o parse.o cpp_parse_tree.o cpp_token_buffer.o cpp_typecheck_fargs.o cpp_typecheck_resolve.o cpp_util.o cpp_enum_type.o cpp_typecheck_function.o cpp_typecheck_namespace.o cpp_name.o cpp_is_pod.o cpp_scope.o cpp_typecheck_find_constructor.o template_map.o cpp_scopes.o cpp_declarator.o cpp_instantiate_template.o cpp_internal_additions.o cpp_type2name.o cpp_typecheck_linkage_spec.o cpp_typecheck_template.o cpp_typecheck_function_bodies.o cpp_typecheck_initializer.o cpp_typecheck_compound_type.o cpp_constructor.o cpp_destructor.o cpp_typecheck_conversions.o cpp_typecheck_declaration.o cpp_declarator_converter.o cpp_declaration.o cpp_namespace_spec.o cpp_typecheck_using.o cpp_exception_id.o cpp_typecheck_enum_type.o cpp_typecheck_bases.o cpp_typecheck_constructor.o cpp_typecheck_virtual_table.o cpp_typecheck_static_assert.o make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp' ## Entering ansi-c /usr/bin/make -C ansi-c make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c' g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecast.o c_typecast.cpp bison -y -v $flags -pyyansi_c -d parser.y -o ansi_c_y.tab.cpp if [ -e ansi_c_y.tab.hpp ] ; then mv ansi_c_y.tab.hpp ansi_c_y.tab.h ; else \ mv ansi_c_y.tab.cpp.h ansi_c_y.tab.h ; fi g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_y.tab.o ansi_c_y.tab.cpp flex -Pyyansi_c -oansi_c_lex.yy.cpp scanner.l g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_lex.yy.o ansi_c_lex.yy.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_parser.o ansi_c_parser.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o expr2c.o expr2c.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_language.o ansi_c_language.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_sizeof.o c_sizeof.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_types.o c_types.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o trans_unit.o trans_unit.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o ansi_c_typecheck.o ansi_c_typecheck.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_preprocess.o c_preprocess.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_base.o c_typecheck_base.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_initializer.o c_typecheck_initializer.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_typecast.o c_typecheck_typecast.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_code.o c_typecheck_code.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_expr.o c_typecheck_expr.cpp g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I .. -o c_typecheck_type.o c_typecheck_type.cpp c_typecheck_type.cpp:472:21: error: function 'alignment_type' is not needed and will not be emitted [-Werror,-Wunneeded-internal-declaration] static const typet &alignment_type(const typet &type) ^ 1 error generated. make[3]: *** [c_typecheck_type.o] Error 1 make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c' make[2]: *** [ansi-c.dir] Error 2 make[1]: *** [override_dh_auto_build] Error 2 make[2]: Leaving directory `/«PKGBUILDDIR»/src' make[1]: Leaving directory `/«PKGBUILDDIR»' make: *** [build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20130716-0902 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Build Architecture: amd64 Build-Space: 187688 Build-Time: 161 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 9 Job: cbmc_4.4-2 Machine Architecture: amd64 Package: cbmc Package-Time: 231 Source-Version: 4.4-2 Space: 187688 Status: attempted Version: 4.4-2clang1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20130716-0902 Build needed 00:03:51, 187688k disc space DC-Status: Failed 232.705453341s DC-Time-Estimation: 232.705453341 versus expected 701 (r/m: 2.0123918023217717 ; m: 232.705453341)