cbmc →
4.3-6 →
armhf → 2013-05-21 04:46:11
sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on debian-armhf
╔══════════════════════════════════════════════════════════════════════════════╗
║ cbmc 4.3-6 (armhf) 21 May 2013 04:14 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: cbmc
Version: 4.3-6
Source Version: 4.3-6
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/cbmc-bWCp3Q/cbmc-4.3' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/cbmc-bWCp3Q' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-069057c3-aad3-428f-9893-1bbb40c2905e' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 jessie-staging Release.gpg [490 B]
Get:2 http://172.17.0.1 jessie-staging Release [10.8 kB]
Get:3 http://172.17.0.1 jessie-staging/main Sources [6553 kB]
Get:4 http://172.17.0.1 jessie-staging/main armhf Packages [7529 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 14.1 MB in 41s (336 kB/s)
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ 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 3629 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main cbmc 4.3-6 (dsc) [1064 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main cbmc 4.3-6 (tar) [3611 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main cbmc 4.3-6 (diff) [16.8 kB]
Fetched 3629 kB in 10s (342 kB/s)
Download complete and in download only mode
Check arch
──────────
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-od5Csx/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/706 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 ... 11288 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: 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: 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-9mjEjc/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
html2text intltool-debian libasprintf0c2 libbison-dev libcroco3 libffi5
libgettextpo0 libglib2.0-0 libmagic1 libpcre3 libpipeline1 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 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
html2text intltool-debian libasprintf0c2 libbison-dev libcroco3 libffi5
libgettextpo0 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0
libxml2 m4 man-db minisat po-debconf sbuild-build-depends-cbmc-dummy
zlib1g-dev
0 upgraded, 27 newly installed, 0 to remove and 0 not upgraded.
Need to get 11.0 MB/11.0 MB of archives.
After this operation, 28.7 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ jessie-staging/main libpcre3 armhf 1:8.30-5 [242 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.2.1-1 [35.0 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.1.1-9 [26.4 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 5.11-2 [199 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.8.0+dfsg1-7+nmu1 [822 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main m4 armhf 1.4.16-3 [246 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main flex armhf 2.5.35-10.1 [321 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libffi5 armhf 3.0.10-3+b3 [22.9 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.33.12+really2.32.4-5 [1689 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.6-2 [119 kB]
Get:11 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main libgettextpo0 armhf 0.18.1.1-9 [130 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.3 [207 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.21-9 [1071 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.2-1 [1027 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main file armhf 5.11-2 [51.4 kB]
Get:17 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.1.1-9 [138 kB]
Get:18 http://172.17.0.1/private/ jessie-staging/main libbison-dev armhf 1:2.5.dfsg-2.1 [289 kB]
Get:19 http://172.17.0.1/private/ jessie-staging/main bison armhf 1:2.5.dfsg-2.1 [669 kB]
Get:20 http://172.17.0.1/private/ jessie-staging/main html2text armhf 1.3.2a-15 [98.5 kB]
Get:21 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.1.1-9 [1879 kB]
Get:22 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:23 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu2 [223 kB]
Get:24 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20120909 [705 kB]
Get:25 http://172.17.0.1/private/ jessie-staging/main zlib1g-dev armhf 1:1.2.7.dfsg-13 [212 kB]
Get:26 http://172.17.0.1/private/ jessie-staging/main minisat armhf 1:2.2.1-3 [129 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 11.0 MB in 10s (999 kB/s)
Selecting previously unselected package libpcre3:armhf.
(Reading database ... 11288 files and directories currently installed.)
Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ...
Selecting previously unselected package libpipeline1:armhf.
Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ...
Selecting previously unselected package libasprintf0c2:armhf.
Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package libmagic1:armhf.
Unpacking libmagic1:armhf (from .../libmagic1_5.11-2_armhf.deb) ...
Selecting previously unselected package libxml2:armhf.
Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-7+nmu1_armhf.deb) ...
Selecting previously unselected package m4.
Unpacking m4 (from .../archives/m4_1.4.16-3_armhf.deb) ...
Selecting previously unselected package flex.
Unpacking flex (from .../flex_2.5.35-10.1_armhf.deb) ...
Selecting previously unselected package libffi5:armhf.
Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ...
Selecting previously unselected package libglib2.0-0:armhf.
Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.33.12+really2.32.4-5_armhf.deb) ...
Selecting previously unselected package libcroco3:armhf.
Unpacking libcroco3:armhf (from .../libcroco3_0.6.6-2_armhf.deb) ...
Selecting previously unselected package libunistring0:armhf.
Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ...
Selecting previously unselected package libgettextpo0:armhf.
Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.3_armhf.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.21-9_armhf.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.2-1_armhf.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../archives/file_5.11-2_armhf.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.1.1-9_armhf.deb) ...
Selecting previously unselected package libbison-dev:armhf.
Unpacking libbison-dev:armhf (from .../libbison-dev_1%3a2.5.dfsg-2.1_armhf.deb) ...
Selecting previously unselected package bison.
Unpacking bison (from .../bison_1%3a2.5.dfsg-2.1_armhf.deb) ...
Selecting previously unselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.1.1-9_armhf.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.20120909_all.deb) ...
Selecting previously unselected package zlib1g-dev:armhf.
Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.7.dfsg-13_armhf.deb) ...
Selecting previously unselected package minisat.
Unpacking minisat (from .../minisat_1%3a2.2.1-3_armhf.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 libpcre3:armhf (1:8.30-5) ...
Setting up libpipeline1:armhf (1.2.1-1) ...
Setting up libasprintf0c2:armhf (0.18.1.1-9) ...
Setting up libmagic1:armhf (5.11-2) ...
Setting up libxml2:armhf (2.8.0+dfsg1-7+nmu1) ...
Setting up m4 (1.4.16-3) ...
Setting up flex (2.5.35-10.1) ...
Setting up libffi5:armhf (3.0.10-3+b3) ...
Setting up libglib2.0-0:armhf (2.33.12+really2.32.4-5) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.6-2) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up libgettextpo0:armhf (0.18.1.1-9) ...
Setting up bsdmainutils (9.0.3) ...
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 groff-base (1.21-9) ...
Setting up man-db (2.6.2-1) ...
Building database of manual pages ...
Setting up file (5.11-2) ...
Setting up gettext-base (0.18.1.1-9) ...
Setting up libbison-dev:armhf (1:2.5.dfsg-2.1) ...
Setting up bison (1:2.5.dfsg-2.1) ...
update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
Setting up html2text (1.3.2a-15) ...
Setting up gettext (0.18.1.1-9) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20120909) ...
Setting up zlib1g-dev:armhf (1:1.2.7.dfsg-13) ...
Setting up minisat (1:2.2.1-3) ...
Setting up sbuild-build-depends-cbmc-dummy (0.invalid.0) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.9.1-imx4 armhf (armv7l)
Toolchain package versions: binutils_2.22-8 dpkg-dev_1.16.10 g++-4.6_4.6.3-14+rpi1 gcc-4.6_4.6.3-14+rpi1 libc6-dev_2.13-38+rpi2 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 linux-libc-dev_3.2.41-2+rpi1
Package versions: apt_0.9.7.8+rpi1 base-files_7.1 base-passwd_3.5.26 bash_4.2+dfsg-0.1 binutils_2.22-8 bison_1:2.5.dfsg-2.1 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5.3 build-essential_11.5+b1 bzip2_1.0.6-4 coreutils_8.13-3.5 cpio_2.11+dfsg-0.1 cpp_4:4.6.3-8 cpp-4.6_4.6.3-14+rpi1 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20120909 debianutils_4.3.2 diffutils_1:3.2-6 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.5-1.1 e2fsprogs_1.42.5-1.1 fakeroot_1.18.4-2 file_5.11-2 findutils_4.4.2-4 flex_2.5.35-10.1 g++_4:4.6.3-8 g++-4.6_4.6.3-14+rpi1 gcc_4:4.6.3-8 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-14+rpi1 gcc-4.6-base_4.6.3-14+rpi1 gcc-4.7-base_4.7.2-5+rpi1 gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.12-2 groff-base_1.21-9 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initramfs-tools_0.112 initscripts_2.88dsf-41 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.1-3.1+rpi1 kmod_9-3 libacl1_2.2.51-8 libapt-pkg4.12_0.9.7.8+rpi1 libasprintf0c2_0.18.1.1-9 libattr1_1:2.4.46-8 libbison-dev_1:2.5.dfsg-2.1 libblkid1_2.20.1-5.3 libbz2-1.0_1.0.6-4 libc-bin_2.13-38+rpi2 libc-dev-bin_2.13-38+rpi2 libc6_2.13-38+rpi2 libc6-dev_2.13-38+rpi2 libclass-isa-perl_0.36-5 libcomerr2_1.42.5-1.1 libcroco3_0.6.6-2 libdb5.1_5.1.29-5 libdbus-1-3_1.6.8-1 libdpkg-perl_1.16.10 libffi5_3.0.10-3+b3 libgc1c2_1:7.1-9.1 libgcc1_1:4.7.2-5+rpi1 libgdbm3_1.8.3-11 libgettextpo0_0.18.1.1-9 libglib2.0-0_2.33.12+really2.32.4-5 libgmp10_2:5.0.5+dfsg-2 libgomp1_4.7.2-5+rpi1 libklibc_2.0.1-3.1+rpi1 libkmod2_9-3 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20120614-2 libmagic1_5.11-2 libmount1_2.20.1-5.3 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-10 libncursesw5_5.9-10 libnih-dbus1_1.0.3-4.1 libnih1_1.0.3-4.1 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-9 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libprocps0_1:3.3.3-3 libreadline6_6.2+dfsg-0.1 libselinux1_2.1.9-5 libsemanage-common_2.1.6-6 libsemanage1_2.1.6-6 libsepol1_2.1.4-3 libslang2_2.2.4-15 libss2_1.42.5-1.1 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 libswitch-perl_2.16-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo5_5.9-10 libudev0_175-7.2 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20+nmu1 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.3 libxml2_2.8.0+dfsg1-7+nmu1 linux-libc-dev_3.2.41-2+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian8+rpi1 m4_1.4.16-3 make_3.81-8.2 makedev_2.3.1-92 man-db_2.6.2-1 mawk_1.3.3-17 minisat_1:2.2.1-3 mount_2.20.1-5.3 mountall_2.46 multiarch-support_2.13-38+rpi2 ncurses-base_5.9-10 ncurses-bin_5.9-10 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-21+rpi1 perl-base_5.14.2-21+rpi1 perl-modules_5.14.2-21+rpi1 plymouth_0.8.5.1-5 po-debconf_1.0.16+nmu2 procps_1:3.3.3-3 raspbian-archive-keyring_20120528.2 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.1-10 sensible-utils_0.0.7 sysv-rc_2.88dsf-41 sysvinit_2.88dsf-41 sysvinit-utils_2.88dsf-41 tar_1.26+dfsg-0.1 tzdata_2013b-2 udev_175-7.2 util-linux_2.20.1-5.3 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.7.dfsg-13 zlib1g-dev_1:1.2.7.dfsg-13
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Fri Feb 15 18:59:42 2013 UTC using DSA key ID 76D52AC4
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./cbmc_4.3-6.dsc
dpkg-source: info: extracting cbmc in cbmc-4.3
dpkg-source: info: unpacking cbmc_4.3.orig.tar.gz
dpkg-source: info: unpacking cbmc_4.3-6.debian.tar.gz
dpkg-source: info: applying top-makefile
dpkg-source: info: applying minisat-debian
dpkg-source: info: applying debian-changes-4.3-2
dpkg-source: info: applying debian-changes-4.3-3
dpkg-source: info: applying debian-changes-4.3-4
dpkg-source: info: applying debian-changes-4.3-5
dpkg-source: info: applying debian-changes-4.3-6
Check disc space
────────────────
Sufficient free space for build
User Environment
────────────────
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LANG=en_US.UTF-8
LC_ALL=POSIX
LOGNAME=root
LS_OPTIONS=--color=auto
MAIL=/var/mail/root
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/root
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=111
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-069057c3-aad3-428f-9893-1bbb40c2905e
SCHROOT_UID=106
SCHROOT_USER=buildd
SHELL=/bin/sh
SHLVL=1
SSH_CLIENT=192.168.1.2 53109 22
SSH_CONNECTION=192.168.1.2 53109 192.168.1.45 22
SSH_TTY=/dev/pts/1
TERM=xterm
USER=root
XDG_SESSION_COOKIE=106ef489ba27ee071ab233f6518d3bce-1369081280.146676-2082782793
_=/etc/init.d/buildd
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package cbmc
dpkg-buildpackage: source version 4.3-6
dpkg-buildpackage: source changed by Michael Tautschnig <mt@debian.org>
dpkg-source --before-build cbmc-4.3
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh clean --parallel
dh_testdir -O--parallel
dh_auto_clean -O--parallel
make[1]: Entering directory `/«PKGBUILDDIR»'
make -C src clean
make[2]: Entering directory `/«PKGBUILDDIR»/src'
if [ -e ansi-c/. ] ; then \
make -C ansi-c clean ; \
fi
if [ -e big-int/. ] ; then \
make -C big-int clean ; \
fi
if [ -e cbmc/. ] ; then \
make -C cbmc clean ; \
fi
if [ -e cpp/. ] ; then \
make -C cpp clean ; \
fi
make[3]: Entering directory `/«PKGBUILDDIR»/src/big-int'
rm -f \
\
bigint-test.o bigint-func.o bigint.o \
bigint-test.d bigint-func.d bigint.d \
test-bigint
make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc'
rm -f main.o parseoptions.o bmc.o dimacs.o languages.o bv_cbmc.o symex_bmc.o show_vcc.o cbmc_solvers.o xml_interface.o cover.o counterexample_beautification.o \
main.d parseoptions.d bmc.d dimacs.d languages.d bv_cbmc.d symex_bmc.d show_vcc.d cbmc_solvers.d xml_interface.d cover.d counterexample_beautification.d \
\
\
cbmc
make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int'
if [ -e goto-cc/. ] ; then \
make -C goto-cc clean ; \
fi
make[3]: Entering directory `/«PKGBUILDDIR»/src/cpp'
make[3]: Entering directory `/«PKGBUILDDIR»/src/ansi-c'
rm -f cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o 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 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 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 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 \
\
\
rm -f c_typecast.o y.tab.o 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 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 y.tab.d 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 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 \
\
\
cpp.a lex.yy.cpp y.tab.cpp.output
ansi-c.a y.tab.h y.tab.cpp lex.yy.cpp y.tab.cpp.output y.output library/converter cprover_library.inc file_converter 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/cbmc'
if [ -e goto-instrument/. ] ; then \
make -C goto-instrument clean ; \
fi
make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c'
if [ -e goto-programs/. ] ; then \
make -C goto-programs clean ; \
fi
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp'
if [ -e goto-symex/. ] ; then \
make -C goto-symex clean ; \
fi
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-cc'
rm -f goto-cc.o goto_cc_mode.o gcc_mode.o get_base_name.o gcc_cmdline.o ms_cl_cmdline.o compile.o armcc_cmdline.o run.o languages.o goto_cc_cmdline.o ms_cl_mode.o armcc_mode.o cw_mode.o \
goto-cc.d goto_cc_mode.d gcc_mode.d get_base_name.d gcc_cmdline.d ms_cl_cmdline.d compile.d armcc_cmdline.d run.d languages.d goto_cc_cmdline.d ms_cl_mode.d armcc_mode.d cw_mode.d \
\
\
goto-cc
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-cc'
if [ -e langapi/. ] ; then \
make -C langapi clean ; \
fi
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument'
rm -f main.o parseoptions.o document_claims.o languages.o uninitialized.o full_slicer.o object_id.o show_locations.o points_to.o alignment_checks.o race_check.o rw_set.o nondet_volatile.o interrupt.o mmio.o stack_depth.o nondet_static.o concurrency.o dump_c.o dot.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 \
main.d parseoptions.d document_claims.d languages.d uninitialized.d full_slicer.d object_id.d show_locations.d points_to.d alignment_checks.d race_check.d rw_set.d nondet_volatile.d interrupt.d mmio.d stack_depth.d nondet_static.d concurrency.d dump_c.d dot.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 \
\
\
goto-instrument
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_check.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 \
goto_convert.d goto_convert_function_call.d goto_convert_side_effect.d goto_program.d basic_blocks.d goto_check.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 \
\
\
goto-programs.a test_wp
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument'
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 builtin_functions.o slice.o symex_other.o slice_by_trace.o xml_goto_trace.o symex_decl.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_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 builtin_functions.d slice.d symex_other.d slice_by_trace.d xml_goto_trace.d symex_decl.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 \
\
\
goto-symex.a
if [ -e pointer-analysis/. ] ; then \
make -C pointer-analysis clean ; \
fi
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs'
if [ -e solvers/. ] ; then \
make -C solvers clean ; \
fi
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex'
if [ -e util/. ] ; then \
make -C util clean ; \
fi
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'
if [ -e linking/. ] ; then \
make -C linking clean ; \
fi
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'
if [ -e xmllang/. ] ; then \
make -C xmllang clean ; \
fi
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 gcd.o message_stream.o substitute.o decision_procedure.o union_find.o pretty_names.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 \
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 gcd.d message_stream.d substitute.d decision_procedure.d union_find.d pretty_names.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 \
\
\
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]: 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 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 floatbv/float_utils.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 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 floatbv/float_utils.d \
\
\
solvers.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/util'
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
if [ -e assembler/. ] ; then \
make -C assembler clean ; \
fi
make[3]: Leaving directory `/«PKGBUILDDIR»/src/linking'
if [ -e analyses/. ] ; then \
make -C analyses clean ; \
fi
make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers'
make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang'
rm -f xml_language.o xml_parser.o y.tab.o lex.yy.o xml_typecheck.o xml_parse_tree.o \
xml_language.d xml_parser.d y.tab.d lex.yy.d xml_typecheck.d xml_parse_tree.d \
\
\
xmllang.a y.tab.h y.tab.cpp lex.yy.cpp y.tab.cpp.output y.output
make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang'
make[3]: Entering directory `/«PKGBUILDDIR»/src/assembler'
rm -f lex.yy.o assembler_parser.o \
lex.yy.d assembler_parser.d \
\
\
assembler.a lex.yy.cpp
make[3]: Entering directory `/«PKGBUILDDIR»/src/analyses'
rm -f cfg_dominators.o natural_loops.o is_threaded.o invariant_set.o invariant_set_domain.o invariant_propagation.o static_analysis.o uninitialized_domain.o \
cfg_dominators.d natural_loops.d is_threaded.d invariant_set.d invariant_set_domain.d invariant_propagation.d static_analysis.d uninitialized_domain.d \
\
\
analyses.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/assembler'
make[3]: Leaving directory `/«PKGBUILDDIR»/src/analyses'
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
dh_auto_build -a -O--parallel
make[1]: Entering directory `/«PKGBUILDDIR»'
make -C src
make[2]: Entering directory `/«PKGBUILDDIR»/src'
## Entering big-int
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-test.o bigint-test.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-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++ -o test-bigint bigint-test.o bigint-func.o bigint.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/big-int'
## Entering util
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
./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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -I . -o gcd.o gcd.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 .. -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 .. -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 .. -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 .. -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 .. -I . -o pretty_names.o pretty_names.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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -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 .. -I . -o unicode.o unicode.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 .. -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 .. -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 .. -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 .. -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 .. -I . -o ieee_float_test.o ieee_float_test.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 gcd.o message_stream.o substitute.o decision_procedure.o union_find.o pretty_names.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
g++ -o ieee_float_test ieee_float_test.o util.a ../big-int/bigint.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/util'
## Entering langapi
## Entering cpp
## Entering ansi-c
## Entering xmllang
make -C langapi
make -C cpp
make -C ansi-c
make -C xmllang
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 .. -I ../util -o mode.o mode.cpp
make[3]: Entering directory `/«PKGBUILDDIR»/src/xmllang'
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 .. -I ../util -o xml_language.o xml_language.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 .. -I ../util -o cpp_id.o cpp_id.cpp
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 .. -I ../util -o c_typecast.o c_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 .. -I ../util -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 .. -I ../util -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 .. -I ../util -o xml_parser.o xml_parser.cpp
bison -y -v $flags -pyyansi_c -d parser.y -o y.tab.cpp
flex -Pyyansi_c -olex.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 .. -I ../util -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 .. -I ../util -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 .. -I ../util -o language_util.o language_util.cpp
bison -y -v $flags -pyyxml -d parser.y -o y.tab.cpp
flex -Pyyxml -olex.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 .. -I ../util -o xml_typecheck.o xml_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 .. -I ../util -o expr2cpp.o expr2cpp.cpp
ld -r -o langapi.a mode.o language_ui.o languages.o language_util.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/langapi'
## Entering assembler
make -C assembler
make[3]: Entering directory `/«PKGBUILDDIR»/src/assembler'
flex -Pyyassembler -olex.yy.cpp scanner.l
scanner.l:92: warning, rule cannot be matched
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 .. -I ../util -o assembler_parser.o assembler_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 .. -I ../util -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 .. -I ../util -o lex.yy.o 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 .. -I ../util -o xml_parse_tree.o xml_parse_tree.cpp
if [ -e y.tab.hpp ] ; then mv y.tab.hpp y.tab.h ; else \
mv y.tab.cpp.h 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 .. -I ../util -o y.tab.o y.tab.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 .. -I ../util -o cpp_parser.o cpp_parser.cpp
ld -r -o assembler.a lex.yy.o assembler_parser.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/assembler'
## Entering solvers
make -C solvers
make[3]: Entering directory `/«PKGBUILDDIR»/src/solvers'
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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/satcheck_minisat2.o sat/satcheck_minisat2.cpp
flex -Pyycpp -olex.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 .. -I ../util -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 .. -I ../util -o lex.yy.o 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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/cnf.o sat/cnf.cpp
ld -r -o xmllang.a xml_language.o xml_parser.o y.tab.o lex.yy.o xml_typecheck.o xml_parse_tree.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/xmllang'
## Entering goto-symex
make -C goto-symex
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-symex'
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 .. -I ../util -o symex_target.o symex_target.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 .. -I ../util -o symex_target_equation.o symex_target_equation.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/dimacs_cnf.o sat/dimacs_cnf.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/cnf_clause_list.o sat/cnf_clause_list.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/pbs_dimacs_cnf.o sat/pbs_dimacs_cnf.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/read_dimacs_cnf.o sat/read_dimacs_cnf.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/resolution_proof.o sat/resolution_proof.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o sat/satcheck.o sat/satcheck.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 .. -I ../util -o goto_symex.o goto_symex.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qdimacs_cnf.o qbf/qdimacs_cnf.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 .. -I ../util -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 .. -I ../util -o symex_main.o symex_main.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_quantor.o qbf/qbf_quantor.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 .. -I ../util -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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_skizzo.o qbf/qbf_skizzo.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qdimacs_core.o qbf/qdimacs_core.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 .. -I ../util -o goto_trace.o goto_trace.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_qube.o qbf/qbf_qube.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 .. -I ../util -o build_goto_trace.o build_goto_trace.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o qbf/qbf_qube_core.o qbf/qbf_qube_core.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 .. -I ../util -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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop.o prop/prop.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 .. -I ../util -o symex_function_call.o symex_function_call.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop_conv.o prop/prop_conv.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 .. -I ../util -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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/prop_conv_store.o prop/prop_conv_store.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/aig_formula.o prop/aig_formula.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/cover_goals.o prop/cover_goals.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/aig.o prop/aig.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 .. -I ../util -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 .. -I ../util -o goto_symex_state.o goto_symex_state.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/aig_prop.o prop/aig_prop.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o prop/minimize.o prop/minimize.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o cvc/cvc_prop.o cvc/cvc_prop.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o cvc/cvc_conv.o cvc/cvc_conv.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 .. -I ../util -o symex_dereference.o symex_dereference.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o cvc/cvc_dec.o cvc/cvc_dec.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 .. -I ../util -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 .. -I ../util -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 .. -I ../util -o symex_goto.o symex_goto.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt1/smt1_dec.o smt1/smt1_dec.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 .. -I ../util -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 .. -I ../util -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 .. -I ../util -o c_typecheck_type.o c_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 .. -I ../util -o builtin_functions.o builtin_functions.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 .. -I ../util -o string_constant.o string_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 .. -I ../util -o c_qualifiers.o c_qualifiers.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt1/smt1_prop.o smt1/smt1_prop.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 .. -I ../util -o c_typecheck_argc_argv.o c_typecheck_argc_argv.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 .. -I ../util -o slice.o slice.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt1/smt1_conv.o smt1/smt1_conv.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 .. -I ../util -o ansi_c_parse_tree.o ansi_c_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 .. -I ../util -o preprocessor_line.o preprocessor_line.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 .. -I ../util -o symex_other.o symex_other.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 .. -I ../util -o ansi_c_convert.o ansi_c_convert.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 .. -I ../util -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 .. -I ../util -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 .. -I ../util -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 .. -I ../util -o slice_by_trace.o slice_by_trace.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 .. -I ../util -o ansi_c_convert_type.o ansi_c_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 .. -I ../util -o type2name.o 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 .. -I ../util -o cpp_typecheck_namespace.o cpp_typecheck_namespace.cpp
g++ -o library/converter library/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 .. -I ../util -o anonymous_member.o anonymous_member.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 .. -I ../util -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 .. -I ../util -o printf_formatter.o printf_formatter.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt2/smt2_dec.o smt2/smt2_dec.cpp
g++ -o file_converter file_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 .. -I ../util -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 .. -I ../util -o xml_goto_trace.o xml_goto_trace.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 .. -I ../util -o padding.o padding.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 .. -I ../util -o ansi_c_declaration.o ansi_c_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 .. -I ../util -o designator.o designator.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 .. -I ../util -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 .. -I ../util -o literals/parse_float.o literals/parse_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 .. -I ../util -o literals/unescape_string.o literals/unescape_string.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 .. -I ../util -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 .. -I ../util -o literals/convert_float_literal.o literals/convert_float_literal.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt2/smt2_prop.o smt2/smt2_prop.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 .. -I ../util -o symex_decl.o symex_decl.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 .. -I ../util -o literals/convert_character_literal.o literals/convert_character_literal.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o smt2/smt2_conv.o smt2/smt2_conv.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 .. -I ../util -o literals/convert_integer_literal.o literals/convert_integer_literal.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 .. -I ../util -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 .. -I ../util -o precondition.o precondition.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 .. -I ../util -o literals/convert_string_literal.o literals/convert_string_literal.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 .. -I ../util -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 .. -I ../util -o postcondition.o postcondition.cpp
if [ -e y.tab.hpp ] ; then mv y.tab.hpp y.tab.h ; else \
mv y.tab.cpp.h y.tab.h ; fi
cat library/*.c | library/converter > cprover_library.inc
./file_converter < gcc_builtin_headers_generic.h > gcc_builtin_headers_generic.inc
./file_converter < gcc_builtin_headers_ia32.h > gcc_builtin_headers_ia32.inc
./file_converter < gcc_builtin_headers_alpha.h > gcc_builtin_headers_alpha.inc
./file_converter < gcc_builtin_headers_arm.h > gcc_builtin_headers_arm.inc
./file_converter < gcc_builtin_headers_mips.h > gcc_builtin_headers_mips.inc
./file_converter < gcc_builtin_headers_power.h > gcc_builtin_headers_power.inc
./file_converter < arm_builtin_headers.h > arm_builtin_headers.inc
./file_converter < cw_builtin_headers.h > cw_builtin_headers.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 .. -I ../util -o y.tab.o y.tab.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 .. -I ../util -o symex_clean_expr.o symex_clean_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 .. -I ../util -o internal_additions.o 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 .. -I ../util -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 .. -I ../util -o symex_dereference_state.o symex_dereference_state.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 .. -I ../util -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 .. -I ../util -o vcd_goto_trace.o vcd_goto_trace.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o dplib/dplib_conv.o dplib/dplib_conv.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 .. -I ../util -o auto_objects.o auto_objects.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 .. -I ../util -o lex.yy.o 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 .. -I ../util -o symex_catch.o symex_catch.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o dplib/dplib_dec.o dplib/dplib_dec.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 .. -I ../util -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 .. -I ../util -o symex_start_thread.o symex_start_thread.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 .. -I ../util -o cprover_library.o cprover_library.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o dplib/dplib_prop.o dplib/dplib_prop.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 .. -I ../util -o internal_additions.o 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 .. -I ../util -o cpp_typecheck_compound_type.o cpp_typecheck_compound_type.cpp
ld -r -o ansi-c.a c_typecast.o y.tab.o 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 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
make[3]: Leaving directory `/«PKGBUILDDIR»/src/ansi-c'
## Entering analyses
make -C analyses
make[3]: Entering directory `/«PKGBUILDDIR»/src/analyses'
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 .. -I ../util -o cfg_dominators.o cfg_dominators.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/equality.o flattening/equality.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 .. -I ../util -o natural_loops.o natural_loops.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/arrays.o flattening/arrays.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 .. -I ../util -o symex_assign.o symex_assign.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 .. -I ../util -o is_threaded.o is_threaded.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 .. -I ../util -o invariant_set.o invariant_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 .. -I ../util -o symex_throw.o symex_throw.cpp
ld -r -o goto-symex.a 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 builtin_functions.o slice.o symex_other.o slice_by_trace.o xml_goto_trace.o symex_decl.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
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-symex'
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 .. -I ../util -o invariant_set_domain.o invariant_set_domain.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 .. -I ../util -o invariant_propagation.o invariant_propagation.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/functions.o flattening/functions.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/bv_minimize.o flattening/bv_minimize.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_width.o flattening/boolbv_width.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 .. -I ../util -o static_analysis.o static_analysis.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv.o flattening/boolbv.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_constraint_select_one.o flattening/boolbv_constraint_select_one.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 .. -I ../util -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 .. -I ../util -o uninitialized_domain.o uninitialized_domain.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/bv_pointers.o flattening/bv_pointers.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 .. -I ../util -o cpp_typecheck_conversions.o cpp_typecheck_conversions.cpp
ld -r -o analyses.a cfg_dominators.o natural_loops.o is_threaded.o invariant_set.o invariant_set_domain.o invariant_propagation.o static_analysis.o uninitialized_domain.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/analyses'
## Entering pointer-analysis
make -C pointer-analysis
make[3]: Entering directory `/«PKGBUILDDIR»/src/pointer-analysis'
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 .. -I ../util -o value_set.o value_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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/bv_utils.o flattening/bv_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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_abs.o flattening/boolbv_abs.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_with.o flattening/boolbv_with.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_typecast.o flattening/boolbv_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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_index.o flattening/boolbv_index.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 .. -I ../util -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 .. -I ../util -o goto_program_dereference.o goto_program_dereference.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_member.o flattening/boolbv_member.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_if.o flattening/boolbv_if.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_byte_extract.o flattening/boolbv_byte_extract.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_add_sub.o flattening/boolbv_add_sub.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 .. -I ../util -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 .. -I ../util -o value_set_analysis.o value_set_analysis.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_mult.o flattening/boolbv_mult.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_constant.o flattening/boolbv_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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_extractbit.o flattening/boolbv_extractbit.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_bv_rel.o flattening/boolbv_bv_rel.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 .. -I ../util -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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_shift.o flattening/boolbv_shift.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 .. -I ../util -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 .. -I ../util -o dereference.o dereference.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_case.o flattening/boolbv_case.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_cond.o flattening/boolbv_cond.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_concatenation.o flattening/boolbv_concatenation.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_div.o flattening/boolbv_div.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_mod.o flattening/boolbv_mod.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_extractbits.o flattening/boolbv_extractbits.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_replication.o flattening/boolbv_replication.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 .. -I ../util -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 .. -I ../util -o pointer_offset_sum.o pointer_offset_sum.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_reduction.o flattening/boolbv_reduction.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_overflow.o flattening/boolbv_overflow.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 .. -I ../util -o add_failed_symbols.o add_failed_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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_get.o flattening/boolbv_get.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 .. -I ../util -o show_value_sets.o show_value_sets.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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_bitwise.o flattening/boolbv_bitwise.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 .. -I ../util -o value_set_domain.o value_set_domain.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_equality.o flattening/boolbv_equality.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 .. -I ../util -o rewrite_index.o rewrite_index.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_unary_minus.o flattening/boolbv_unary_minus.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_ieee_float_rel.o flattening/boolbv_ieee_float_rel.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 .. -I ../util -o value_set_analysis_fi.o value_set_analysis_fi.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/pointer_logic.o flattening/pointer_logic.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_quantifier.o flattening/boolbv_quantifier.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_struct.o flattening/boolbv_struct.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_byte_update.o flattening/boolbv_byte_update.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 .. -I ../util -o value_set_fi.o value_set_fi.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_array_of.o flattening/boolbv_array_of.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_map.o flattening/boolbv_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 .. -I ../util -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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_type.o flattening/boolbv_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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_array.o flattening/boolbv_array.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_vector.o flattening/boolbv_vector.cpp
## Entering goto-programs
make -C goto-programs
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-programs'
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 .. -I ../util -o goto_convert.o goto_convert.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_complex.o flattening/boolbv_complex.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 .. -I ../util -o cpp_typecheck_static_assert.o cpp_typecheck_static_assert.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 .. -I ../util -o lex.yy.o 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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_floatbv_op.o flattening/boolbv_floatbv_op.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 .. -I ../util -o value_set_domain_fi.o value_set_domain_fi.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/boolbv_union.o flattening/boolbv_union.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 .. -I ../util -o value_set_analysis_fivr.o value_set_analysis_fivr.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o flattening/flatten_byte_operators.o flattening/flatten_byte_operators.cpp
ld -r -o cpp.a cpp_id.o cpp_language.o expr2cpp.o cpp_parser.o 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 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
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 .. -I ../util -o goto_convert_function_call.o goto_convert_function_call.cpp
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cpp'
## Entering linking
make -C linking
make[3]: Entering directory `/«PKGBUILDDIR»/src/linking'
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 .. -I ../util -o linking.o linking.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 -I .. -I ../util -I /usr/include/minisat -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o floatbv/float_utils.o floatbv/float_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 .. -I ../util -o value_set_fivr.o value_set_fivr.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 .. -I ../util -o linking_type_eq.o linking_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 .. -I ../util -o goto_convert_side_effect.o goto_convert_side_effect.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 .. -I ../util -o zero_initializer.o zero_initializer.cpp
ld -r -o solvers.a 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 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 floatbv/float_utils.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/solvers'
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 .. -I ../util -o remove_internal_symbols.o remove_internal_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 .. -I ../util -o entry_point.o entry_point.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 .. -I ../util -o goto_program.o goto_program.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 .. -I ../util -o basic_blocks.o basic_blocks.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 .. -I ../util -o goto_check.o goto_check.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 .. -I ../util -o value_set_domain_fivr.o value_set_domain_fivr.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 .. -I ../util -o remove_function_pointers.o remove_function_pointers.cpp
ld -r -o linking.a linking.o linking_type_eq.o zero_initializer.o remove_internal_symbols.o entry_point.o
make[3]: Leaving directory `/«PKGBUILDDIR»/src/linking'
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 .. -I ../util -o goto_functions.o goto_functions.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 .. -I ../util -o value_set_analysis_fivrns.o value_set_analysis_fivrns.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 .. -I ../util -o goto_inline.o goto_inline.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 .. -I ../util -o remove_skip.o remove_skip.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 .. -I ../util -o value_set_fivrns.o value_set_fivrns.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 .. -I ../util -o goto_convert_functions.o goto_convert_functions.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 .. -I ../util -o string_instrumentation.o string_instrumentation.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 .. -I ../util -o builtin_functions.o builtin_functions.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 .. -I ../util -o show_claims.o show_claims.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 .. -I ../util -o value_set_domain_fivrns.o value_set_domain_fivrns.cpp
ld -r -o pointer-analysis.a 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
make[3]: Leaving directory `/«PKGBUILDDIR»/src/pointer-analysis'
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 .. -I ../util -o destructor.o 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 .. -I ../util -o set_claims.o set_claims.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 .. -I ../util -o reachability_slicer.o reachability_slicer.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 .. -I ../util -o read_goto_binary.o read_goto_binary.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 .. -I ../util -o goto_asm.o goto_asm.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 .. -I ../util -o elf_reader.o elf_reader.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 .. -I ../util -o string_abstraction.o string_abstraction.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 .. -I ../util -o goto_program_serialization.o goto_program_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 .. -I ../util -o goto_function_serialization.o goto_function_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 .. -I ../util -o read_bin_goto_object.o read_bin_goto_object.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 .. -I ../util -o goto_program_irep.o goto_program_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 .. -I ../util -o interpreter.o interpreter.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 .. -I ../util -o interpreter_evaluate.o interpreter_evaluate.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 .. -I ../util -o flow_insensitive_analysis.o flow_insensitive_analysis.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 .. -I ../util -o format_strings.o format_strings.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 .. -I ../util -o loop_ids.o loop_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 .. -I ../util -o pointer_arithmetic.o pointer_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 .. -I ../util -o goto_program_template.o goto_program_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 .. -I ../util -o write_goto_binary.o write_goto_binary.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 .. -I ../util -o remove_unreachable.o remove_unreachable.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 .. -I ../util -o remove_unused_functions.o remove_unused_functions.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 .. -I ../util -o wp.o wp.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 .. -I ../util -o goto_rw.o goto_rw.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 .. -I ../util -o goto_clean_expr.o goto_clean_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 .. -I ../util -o safety_checker.o safety_checker.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 .. -I ../util -o compute_called_functions.o compute_called_functions.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 .. -I ../util -o link_to_library.o link_to_library.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 .. -I ../util -o remove_return_values.o remove_return_values.cpp
ld -r -o goto-programs.a goto_convert.o goto_convert_function_call.o goto_convert_side_effect.o goto_program.o basic_blocks.o goto_check.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
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-programs'
## Entering cbmc
## Entering goto-cc
## Entering goto-instrument
make -C cbmc
make -C goto-cc
make -C goto-instrument
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-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 -I .. -I ../util -D HAVE_CPP -o goto-cc.o goto-cc.cpp
make[3]: Entering directory `/«PKGBUILDDIR»/src/cbmc'
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 .. -I ../util -DHAVE_CPP -o main.o main.cpp
make[3]: Entering directory `/«PKGBUILDDIR»/src/goto-instrument'
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 .. -I ../util -DHAVE_CPP -o main.o main.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 .. -I ../util -D HAVE_CPP -o goto_cc_mode.o goto_cc_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 .. -I ../util -DHAVE_CPP -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 .. -I ../util -D HAVE_CPP -o gcc_mode.o gcc_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 .. -I ../util -DHAVE_CPP -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 .. -I ../util -D HAVE_CPP -o get_base_name.o get_base_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 .. -I ../util -D HAVE_CPP -o gcc_cmdline.o gcc_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 .. -I ../util -D HAVE_CPP -o ms_cl_cmdline.o ms_cl_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 .. -I ../util -D HAVE_CPP -o compile.o compile.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 .. -I ../util -D HAVE_CPP -o armcc_cmdline.o armcc_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 .. -I ../util -DHAVE_CPP -o bmc.o bmc.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 .. -I ../util -D HAVE_CPP -o run.o run.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 .. -I ../util -D HAVE_CPP -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 .. -I ../util -DHAVE_CPP -o document_claims.o document_claims.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 .. -I ../util -D HAVE_CPP -o goto_cc_cmdline.o goto_cc_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 .. -I ../util -D HAVE_CPP -o ms_cl_mode.o ms_cl_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 .. -I ../util -D HAVE_CPP -o armcc_mode.o armcc_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 .. -I ../util -DHAVE_CPP -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 .. -I ../util -DHAVE_CPP -o uninitialized.o uninitialized.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 .. -I ../util -D HAVE_CPP -o cw_mode.o cw_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 .. -I ../util -DHAVE_CPP -o dimacs.o dimacs.cpp
g++ -o goto-cc ../big-int/bigint.o ../goto-programs/goto-programs.a ../util/util.a ../linking/linking.a ../ansi-c/ansi-c.a ../xmllang/xmllang.a ../assembler/assembler.a ../langapi/langapi.a goto-cc.o goto_cc_mode.o gcc_mode.o get_base_name.o gcc_cmdline.o ms_cl_cmdline.o compile.o armcc_cmdline.o run.o languages.o goto_cc_cmdline.o ms_cl_mode.o armcc_mode.o cw_mode.o ../cpp/cpp.a
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 .. -I ../util -DHAVE_CPP -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 .. -I ../util -DHAVE_CPP -o full_slicer.o full_slicer.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 .. -I ../util -DHAVE_CPP -o bv_cbmc.o bv_cbmc.cpp
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-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 -I .. -I ../util -DHAVE_CPP -o symex_bmc.o symex_bmc.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 .. -I ../util -DHAVE_CPP -o show_vcc.o show_vcc.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 .. -I ../util -DHAVE_CPP -o cbmc_solvers.o cbmc_solvers.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 .. -I ../util -DHAVE_CPP -o xml_interface.o xml_interface.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 .. -I ../util -DHAVE_CPP -o object_id.o object_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 .. -I ../util -DHAVE_CPP -o cover.o cover.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 .. -I ../util -DHAVE_CPP -o show_locations.o show_locations.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 .. -I ../util -DHAVE_CPP -o counterexample_beautification.o counterexample_beautification.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 .. -I ../util -DHAVE_CPP -o points_to.o points_to.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 .. -I ../util -DHAVE_CPP -o alignment_checks.o alignment_checks.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 .. -I ../util -DHAVE_CPP -o race_check.o race_check.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 .. -I ../util -DHAVE_CPP -o rw_set.o rw_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 .. -I ../util -DHAVE_CPP -o nondet_volatile.o nondet_volatile.cpp
g++ -o cbmc ../ansi-c/ansi-c.a ../linking/linking.a ../big-int/bigint.o ../goto-programs/goto-programs.a ../goto-symex/goto-symex.a ../pointer-analysis/value_set.o ../pointer-analysis/dereference.o ../pointer-analysis/add_failed_symbols.o ../pointer-analysis/rewrite_index.o ../pointer-analysis/goto_program_dereference.o ../langapi/langapi.a ../xmllang/xmllang.a ../assembler/assembler.a ../solvers/solvers.a ../util/util.a main.o parseoptions.o bmc.o dimacs.o languages.o bv_cbmc.o symex_bmc.o show_vcc.o cbmc_solvers.o xml_interface.o cover.o counterexample_beautification.o ../cpp/cpp.a -lminisat
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 .. -I ../util -DHAVE_CPP -o interrupt.o interrupt.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 .. -I ../util -DHAVE_CPP -o mmio.o mmio.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 .. -I ../util -DHAVE_CPP -o stack_depth.o stack_depth.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 .. -I ../util -DHAVE_CPP -o nondet_static.o nondet_static.cpp
make[3]: Leaving directory `/«PKGBUILDDIR»/src/cbmc'
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 .. -I ../util -DHAVE_CPP -o concurrency.o concurrency.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 .. -I ../util -DHAVE_CPP -o dump_c.o dump_c.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 .. -I ../util -DHAVE_CPP -o dot.o dot.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 .. -I ../util -DHAVE_CPP -o wmm/weak_memory.o wmm/weak_memory.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 .. -I ../util -DHAVE_CPP -o wmm/fence.o wmm/fence.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 .. -I ../util -DHAVE_CPP -o wmm/event_graph.o wmm/event_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 .. -I ../util -DHAVE_CPP -o wmm/goto2graph.o wmm/goto2graph.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 .. -I ../util -DHAVE_CPP -o wmm/data_dp.o wmm/data_dp.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 .. -I ../util -DHAVE_CPP -o wmm/abstract_event.o wmm/abstract_event.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 .. -I ../util -DHAVE_CPP -o wmm/instrumenter_strategies.o wmm/instrumenter_strategies.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 .. -I ../util -DHAVE_CPP -o wmm/cycle_collection.o wmm/cycle_collection.cpp
g++ -o goto-instrument ../ansi-c/ansi-c.a ../linking/linking.a ../big-int/bigint.o ../goto-programs/goto-programs.a ../goto-symex/goto-symex.a ../assembler/assembler.a ../pointer-analysis/pointer-analysis.a ../analyses/analyses.a ../langapi/langapi.a ../util/util.a main.o parseoptions.o document_claims.o languages.o uninitialized.o full_slicer.o object_id.o show_locations.o points_to.o alignment_checks.o race_check.o rw_set.o nondet_volatile.o interrupt.o mmio.o stack_depth.o nondet_static.o concurrency.o dump_c.o dot.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 ../cpp/cpp.a
make[3]: Leaving directory `/«PKGBUILDDIR»/src/goto-instrument'
make[2]: Leaving directory `/«PKGBUILDDIR»/src'
make[1]: Leaving directory `/«PKGBUILDDIR»'
debian/rules override_dh_auto_test
make[1]: Entering directory `/«PKGBUILDDIR»'
cd regression/ansi-c ; \
if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
../../debian/failed-tests-printer.pl ; \
exit 1 ; \
fi
Loading
51 tests found
Running tests
Running Assignment_to_typecast1 [OK]
Running Builtins1 [OK]
Running Defines1 [OK]
Running Empty_Declaration1 [OK]
Running Forward_Declaration1 [OK]
Running Forward_Declaration2 [OK]
Running Incomplete_Type1 [OK]
Running Initializer_cast1 [OK]
Running Lvalue1 [OK]
Running MMX1 [OK]
Running MMX2 [OK]
Running Multiple [OK]
Running Qualifiers1 [OK]
Running Recursive_Structure1 [OK]
Running Struct_Hierarchy1 [OK]
Running Struct_Padding2 [OK]
Running Struct_Padding3 [OK]
Running Struct_Padding4 [OK]
Running Struct_Padding5 [OK]
Running Transparent_union1 [OK]
Running Typecast_to_union1 [OK]
Running Union_Initialization1 [OK]
Running _Alignof1 [OK]
Running _Bool1 [OK]
Running _Generic1 [OK]
Running _Static_assert1 [OK]
Running arithmetic_right_shift1 [OK]
Running asm1 [OK]
Running asm2 [OK]
Running character_literals1 [OK]
Running envp1 [OK]
Running extern1 [OK]
Running extern2 [OK]
Running float_constant1 [OK]
Running for_scope1 [OK]
Running gcc_attributes1 [SKIPPED]
Running gcc_attributes2 [SKIPPED]
Running gcc_types_compatible_p1 [OK]
Running integer_constant1 [OK]
Running integer_constant2 [OK]
Running return_void [OK]
Running sizeof1 [OK]
Running sizeof2 [OK]
Running struct2 [OK]
Running struct5 [OK]
Running typedef1 [OK]
Running typedef_code [OK]
Running windows_h_VS_2005 [OK]
Running windows_h_VS_2008 [OK]
Running windows_h_VS_2010 [OK]
Running windows_h_VS_2012 [OK]
All tests were successful, 2 tests skipped
cd regression/cpp ; \
if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
../../debian/failed-tests-printer.pl ; \
exit 1 ; \
fi
Loading
46 tests found
Running tests
Running Address_of_Method2 [OK]
Running Address_of_Method3 [OK]
Running Constant1 [OK]
Running Constant2 [OK]
Running Constant3 [OK]
Running Constant4 [OK]
Running Friend2 [OK]
Running Function_Bodies1 [OK]
Running Function_Overloading1 [OK]
Running Function_Overloading2 [OK]
Running Method_qualifier1 [OK]
Running ModeC1 [OK]
Running ModeC2 [OK]
Running Pointer_Conversion1 [OK]
Running Resolver1 [OK]
Running Resolver10 [OK]
Running Resolver11 [OK]
Running Resolver12 [OK]
Running Resolver2 [OK]
Running Resolver3 [OK]
Running Resolver4 [OK]
Running Scope1 [OK]
Running Templates1 [OK]
Running Templates2 [OK]
Running Templates7 [OK]
Running bitwise_and1 [OK]
Running enum1 [OK]
Running enum2 [OK]
Running enum3 [SKIPPED]
Running enum4 [OK]
Running enum5 [SKIPPED]
Running enum6 [OK]
Running lvalue1 [OK]
Running namespace4 [OK]
Running sizeof1 [OK]
Running sizeof2 [OK]
Running static_assert1 [OK]
Running typecast_ambiguity1 [OK]
Running typecast_ambiguity2 [OK]
Running union3 [OK]
Running union4 [OK]
Running union5 [OK]
Running windows_h_VS_2005 [OK]
Running windows_h_VS_2008 [OK]
Running windows_h_VS_2010 [OK]
Running windows_h_VS_2012 [OK]
All tests were successful, 2 tests skipped
cd regression/cbmc ; \
if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
../../debian/failed-tests-printer.pl ; \
exit 1 ; \
fi
Loading
214 tests found
Running tests
Running ASHR1 [OK]
Running Address_of1 [OK]
Running Anonymous_Struct1 [OK]
Running Anonymous_Struct2 [OK]
Running Anonymous_Struct3 [OK]
Running Array_Initialization1 [OK]
Running Array_Initialization2 [OK]
Running Array_Initialization3 [OK]
Running BV_Arithmetic1 [OK]
Running BV_Arithmetic2 [OK]
Running BV_Arithmetic3 [OK]
Running BV_Arithmetic4 [OK]
Running BV_Arithmetic5 [OK]
Running BV_Arithmetic6 [OK]
Running Bitfields1 [OK]
Running Bool1 [OK]
Running Boolean_Guards1 [OK]
Running Computed-Goto1 [OK]
Running Division1 [OK]
Running Division2 [OK]
Running Ellipsis1 [OK]
Running Endianness1 [OK]
Running Endianness2 [OK]
Running Endianness3 [OK]
Running Endianness4 [OK]
Running Endianness5 [OK]
Running Endianness6 [OK]
Running Error_Label1 [OK]
Running Failing_Assert1 [OK]
Running Fixedbv1 [OK]
Running Fixedbv2 [OK]
Running Fixedbv3 [OK]
Running Fixedbv4 [OK]
Running Fixedbv5 [OK]
Running Fixedbv6 [OK]
Running Fixedbv7 [OK]
Running Float-Rounding1 [SKIPPED]
Running Float-flags-no-simp1 [OK]
Running Float-flags-simp1 [OK]
Running Float-no-simp1 [OK]
Running Float-no-simp2 [OK]
Running Float-no-simp3 [OK]
Running Float-no-simp4 [OK]
Running Float-no-simp5 [OK]
Running Float1 [OK]
Running Float11 [OK]
Running Float12 [OK]
Running Float13 [OK]
Running Float14 [OK]
Running Float18 [OK]
Running Float2 [OK]
Running Float3 [OK]
Running Float4 [OK]
Running Float5 [OK]
Running Float6 [OK]
Running Float7 [OK]
Running Float8 [OK]
Running Float_lib1 [OK]
Running Free1 [OK]
Running Free2 [OK]
Running Free3 [OK]
Running Free4 [OK]
Running Function-KnR1 [OK]
Running Function1 [OK]
Running Function10 [OK]
Running Function11 [OK]
Running Function12 [OK]
Running Function2 [OK]
Running Function3 [OK]
Running Function4 [OK]
Running Function5 [OK]
Running Function6 [OK]
Running Function7 [OK]
Running Function8 [OK]
Running Function9 [OK]
Running Function_Pointer1 [OK]
Running Function_Pointer10 [OK]
Running Function_Pointer11 [OK]
Running Function_Pointer12 [OK]
Running Function_Pointer13 [OK]
Running Function_Pointer14 [OK]
Running Function_Pointer15 [OK]
Running Function_Pointer2 [OK]
Running Function_Pointer3 [OK]
Running Function_Pointer4 [OK]
Running Function_Pointer5 [OK]
Running Function_Pointer6 [OK]
Running Function_Pointer7 [OK]
Running Function_Pointer8 [OK]
Running Function_Pointer9 [OK]
Running Global_Initialization1 [OK]
Running Initialization1 [OK]
Running Initialization2 [OK]
Running Linking1 [OK]
Running Linking2 [OK]
Running Linking3 [OK]
Running Linking4 [OK]
Running Mod1 [OK]
Running Mod2 [OK]
Running Multi_Dimensional_Array1 [OK]
Running Multi_Dimensional_Array2 [OK]
Running Multi_Dimensional_Array3 [OK]
Running Multi_Dimensional_Array4 [OK]
Running Multi_Dimensional_Array5 [OK]
Running Negation1 [OK]
Running Overflow_Addition1 [OK]
Running Overflow_Multiplication1 [OK]
Running Pointer_Arithmetic1 [OK]
Running Pointer_Arithmetic10 [OK]
Running Pointer_Arithmetic11 [OK]
Running Pointer_Arithmetic2 [OK]
Running Pointer_Arithmetic3 [OK]
Running Pointer_Arithmetic4 [OK]
Running Pointer_Arithmetic5 [OK]
Running Pointer_Arithmetic6 [OK]
Running Pointer_Arithmetic7 [OK]
Running Pointer_Arithmetic8 [OK]
Running Pointer_Arithmetic9 [OK]
Running Pointer_difference1 [OK]
Running Promotion1 [OK]
Running Promotion2 [OK]
Running Recursion1 [OK]
Running Recursion2 [OK]
Running Recursion3 [OK]
Running Recursion4 [OK]
Running Sideeffects1 [OK]
Running Sideeffects2 [OK]
Running Sideeffects3 [OK]
Running Sideeffects4 [OK]
Running Static2 [OK]
Running Static_Functions1 [OK]
Running String1 [OK]
Running String2 [OK]
Running String3 [SKIPPED]
Running String4 [OK]
Running String5 [OK]
Running String6 [OK]
Running String7 [OK]
Running String_Literal1 [OK]
Running Struct_Bytewise1 [OK]
Running Struct_Bytewise2 [OK]
Running Struct_Initialization1 [OK]
Running Struct_Initialization10 [OK]
Running Struct_Initialization2 [OK]
Running Struct_Initialization3 [OK]
Running Struct_Initialization4 [OK]
Running Struct_Initialization5 [OK]
Running Struct_Initialization6 [OK]
Running Struct_Initialization7 [OK]
Running Struct_Initialization8 [SKIPPED]
Running Struct_Initialization9 [OK]
Running Struct_Padding1 [OK]
Running Typecast1 [OK]
Running Undefined_Function1 [OK]
Running Unwinding_Locality1 [OK]
Running Visual_Studio_Types1 [OK]
Running Visual_Studio_Types2 [OK]
Running Zero_Initialization1 [OK]
Running __func__1 [OK]
Running abs1 [OK]
Running argv1 [OK]
Running character_handling1 [OK]
Running complex1 [OK]
Running const_ptr1 [OK]
Running enum1 [OK]
Running enum2 [OK]
Running enum3 [OK]
Running exit1 [OK]
Running for-break1 [OK]
Running for1 [OK]
Running for2 [OK]
Running for3 [OK]
Running function_option1 [OK]
Running gcc_conditional_expr1 [OK]
Running gcc_local_label1 [OK]
Running gcc_statement_expression1 [OK]
Running gcc_statement_expression2 [OK]
Running gcc_statement_expression3 [OK]
Running gcc_vector1 [OK]
Running goto1 [OK]
Running goto2 [OK]
Running goto3 [OK]
Running goto4 [OK]
Running if1 [OK]
Running if2 [OK]
Running if3 [OK]
Running if4 [OK]
Running inline1 [OK]
Running offsetof1 [OK]
Running return1 [OK]
Running return3 [OK]
Running return4 [OK]
Running return5 [OK]
Running struct1 [OK]
Running struct3 [OK]
Running struct4 [OK]
Running struct6 [OK]
Running struct7 [OK]
Running struct8 [OK]
Running switch1 [OK]
Running switch2 [OK]
Running switch3 [OK]
Running switch4 [OK]
Running switch5 [OK]
Running switch6 [OK]
Running union1 [OK]
Running union2 [OK]
Running union3 [OK]
Running union4 [OK]
Running unsigned_char1 [OK]
Running va_list1 [OK]
Running va_list2 [SKIPPED]
Running void_ifthenelse [OK]
Running while1 [OK]
All tests were successful, 4 tests skipped
make[1]: Leaving directory `/«PKGBUILDDIR»'
fakeroot debian/rules binary-arch
dh binary-arch --parallel
dh_testroot -a -O--parallel
dh_prep -a -O--parallel
dh_installdirs -a -O--parallel
dh_auto_install -a -O--parallel
dh_install -a -O--parallel
dh_installdocs -a -O--parallel
dh_installchangelogs -a -O--parallel
dh_installexamples -a -O--parallel
dh_installman -a -O--parallel
dh_installcatalogs -a -O--parallel
dh_installcron -a -O--parallel
dh_installdebconf -a -O--parallel
dh_installemacsen -a -O--parallel
dh_installifupdown -a -O--parallel
dh_installinfo -a -O--parallel
dh_installinit -a -O--parallel
dh_installmenu -a -O--parallel
dh_installmime -a -O--parallel
dh_installmodules -a -O--parallel
dh_installlogcheck -a -O--parallel
dh_installlogrotate -a -O--parallel
dh_installpam -a -O--parallel
dh_installppp -a -O--parallel
dh_installudev -a -O--parallel
dh_installwm -a -O--parallel
dh_installxfonts -a -O--parallel
dh_installgsettings -a -O--parallel
dh_bugfiles -a -O--parallel
dh_ucf -a -O--parallel
dh_lintian -a -O--parallel
dh_gconf -a -O--parallel
dh_icons -a -O--parallel
dh_perl -a -O--parallel
dh_usrlocal -a -O--parallel
dh_link -a -O--parallel
dh_compress -a -O--parallel
dh_fixperms -a -O--parallel
dh_strip -a -O--parallel
dh_makeshlibs -a -O--parallel
dh_shlibdeps -a -O--parallel
dh_installdeb -a -O--parallel
dh_gencontrol -a -O--parallel
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dh_md5sums -a -O--parallel
dh_builddeb -a -O--parallel
dpkg-deb: building package `cbmc' in `../cbmc_4.3-6_armhf.deb'.
dpkg-genchanges -B >../cbmc_4.3-6_armhf.changes
dpkg-genchanges: arch-specific upload - not including arch-independent packages
dpkg-genchanges: binary-only upload - not including any source code
dpkg-source --after-build cbmc-4.3
dpkg-buildpackage: binary only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20130521-0446
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
cbmc_4.3-6_armhf.changes:
─────────────────────────
Format: 1.8
Date: Fri, 15 Feb 2013 18:35:06 +0000
Source: cbmc
Binary: cbmc
Architecture: armhf
Version: 4.3-6
Distribution: jessie-staging
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Changes:
cbmc (4.3-6) unstable; urgency=low
.
* Also added -5 patch to series file to actually fix the problems
* Update gcc_types_compatible_p1 to SVN HEAD
* Cherry-pick upstream r2114-2118, r2120, r2167
Checksums-Sha1:
163e12f4ae2d00bef937e9484cf876daa442514a 4295890 cbmc_4.3-6_armhf.deb
Checksums-Sha256:
027e25ba1a33b9694419660ab592a1a2d6baf1f91a7745e2ae680d56c2fab3bd 4295890 cbmc_4.3-6_armhf.deb
Files:
7956fd42e28b3f2041f6d7b3184415e7 4295890 science extra cbmc_4.3-6_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
cbmc_4.3-6_armhf.deb
────────────────────
new debian package, version 2.0.
size 4295890 bytes: control archive=732 bytes.
498 bytes, 13 lines control
420 bytes, 7 lines md5sums
Package: cbmc
Version: 4.3-6
Architecture: armhf
Maintainer: Michael Tautschnig <mt@debian.org>
Installed-Size: 9530
Depends: gcc, libc6 (>= 2.13-28), libgcc1 (>= 1:4.4.0), libstdc++6 (>= 4.6), minisat
Section: science
Priority: extra
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
drwxr-xr-x root/root 0 2013-05-21 04:45 ./
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/bin/
-rwxr-xr-x root/root 3683032 2013-05-21 04:45 ./usr/bin/cbmc
-rwxr-xr-x root/root 2573392 2013-05-21 04:45 ./usr/bin/goto-cc
-rwxr-xr-x root/root 3493816 2013-05-21 04:45 ./usr/bin/goto-instrument
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/share/
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/share/doc/
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/share/doc/cbmc/
-rw-r--r-- root/root 2809 2012-09-19 11:17 ./usr/share/doc/cbmc/copyright
-rw-r--r-- root/root 1596 2013-02-15 18:35 ./usr/share/doc/cbmc/changelog.Debian.gz
-rw-r--r-- root/root 954 2013-01-13 12:31 ./usr/share/doc/cbmc/changelog.gz
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/share/man/
drwxr-xr-x root/root 0 2013-05-21 04:45 ./usr/share/man/man1/
-rw-r--r-- root/root 2648 2013-05-21 04:45 ./usr/share/man/man1/cbmc.1.gz
lrwxrwxrwx root/root 0 2013-05-21 04:45 ./usr/share/man/man1/goto-instrument.1.gz -> cbmc.1.gz
lrwxrwxrwx root/root 0 2013-05-21 04:45 ./usr/share/man/man1/goto-cc.1.gz -> cbmc.1.gz
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup │
└──────────────────────────────────────────────────────────────────────────────┘
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary │
└──────────────────────────────────────────────────────────────────────────────┘
Build Architecture: armhf
Build-Space: 690972
Build-Time: 1702
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 96
Job: cbmc_4.3-6
Machine Architecture: armhf
Package: cbmc
Package-Time: 1873
Source-Version: 4.3-6
Space: 690972
Status: successful
Version: 4.3-6
────────────────────────────────────────────────────────────────────────────────
Finished at 20130521-0446
Build needed 00:31:13, 690972k disc space