RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux z13-008 4.4.0-97-generic #120-Ubuntu SMP Tue Sep 19 17:27:01 UTC 2017 s390x Buildd toolchain package versions: launchpad-buildd_154 python-lpbuildd_154 sbuild_0.67.0-2ubuntu7.1 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 1 Nov 23:49:40 ntpdate[23599]: adjust time server 10.211.37.1 offset 0.000045 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 /home/buildd/filecache-default/c63540de4962374dad549ddd7685c5c502845718 Creating target for build PACKAGEBUILD-13663328 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 Starting target for build PACKAGEBUILD-13663328 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 'deb http://ftpmaster.internal/ubuntu bionic main universe' 'deb http://ftpmaster.internal/ubuntu bionic-security main universe' 'deb http://ftpmaster.internal/ubuntu bionic-updates main universe' 'deb http://ftpmaster.internal/ubuntu bionic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-13663328 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 Updating target for build PACKAGEBUILD-13663328 Get:1 http://ftpmaster.internal/ubuntu bionic InRelease [235 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-security InRelease [65.4 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-updates InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-proposed InRelease [85.4 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main s390x Packages [994 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main Translation-en [541 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/universe s390x Packages [7796 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/universe Translation-en [4790 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x Packages [112 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-proposed/main Translation-en [68.5 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-proposed/universe s390x Packages [397 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-proposed/universe Translation-en [349 kB] Fetched 15.5 MB in 9s (1577 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libasn1-8-heimdal libcurl3-gnutls libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn2-0 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libpsl5 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules-db libunistring0 libwind0-heimdal Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: apt-transport-https* The following packages will be upgraded: apt base-files base-passwd binutils binutils-common binutils-s390x-linux-gnu build-essential coreutils cpp-7 debconf dpkg dpkg-dev e2fslibs e2fsprogs g++-7 gcc-7 gcc-7-base gnupg gnupg-agent gpgv libapt-pkg5.0 libatomic1 libbinutils libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcomerr2 libcurl3-gnutls libdpkg-perl libgcc-7-dev libgcc1 libgcrypt20 libgmp10 libgomp1 libgpg-error0 libgssapi-krb5-2 libhogweed4 libitm1 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libnettle6 libp11-kit0 libpcre3 libperl5.26 libpng16-16 libpsl5 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsqlite3-0 libss2 libstdc++-7-dev libstdc++6 libsystemd0 libudev1 linux-libc-dev multiarch-support perl perl-base perl-modules-5.26 pinentry-curses systemd systemd-sysv sysvinit-utils tzdata 72 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. Need to get 47.8 MB of archives. After this operation, 381 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic/main s390x base-files s390x 10ubuntu1 [55.9 kB] Get:2 http://ftpmaster.internal/ubuntu bionic/main s390x coreutils s390x 8.26-3ubuntu4 [1197 kB] Get:3 http://ftpmaster.internal/ubuntu bionic/main s390x dpkg s390x 1.19.0.4ubuntu1 [1122 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main s390x libc6-dev s390x 2.26-0ubuntu2 [2022 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main s390x libc-dev-bin s390x 2.26-0ubuntu2 [62.8 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main s390x linux-libc-dev s390x 4.13.0-16.19 [949 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/main s390x libgomp1 s390x 7.2.0-12ubuntu1 [70.1 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/main s390x libitm1 s390x 7.2.0-12ubuntu1 [26.9 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main s390x gcc-7-base s390x 7.2.0-12ubuntu1 [18.3 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main s390x libgcc1 s390x 1:7.2.0-12ubuntu1 [25.2 kB] Get:11 http://ftpmaster.internal/ubuntu bionic/main s390x libatomic1 s390x 7.2.0-12ubuntu1 [8220 B] Get:12 http://ftpmaster.internal/ubuntu bionic/main s390x cpp-7 s390x 7.2.0-12ubuntu1 [5173 kB] Get:13 http://ftpmaster.internal/ubuntu bionic/main s390x libcc1-0 s390x 7.2.0-12ubuntu1 [37.6 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/main s390x g++-7 s390x 7.2.0-12ubuntu1 [5969 kB] Get:15 http://ftpmaster.internal/ubuntu bionic/main s390x gcc-7 s390x 7.2.0-12ubuntu1 [5838 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main s390x libgcc-7-dev s390x 7.2.0-12ubuntu1 [279 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main s390x libstdc++-7-dev s390x 7.2.0-12ubuntu1 [1448 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main s390x libstdc++6 s390x 7.2.0-12ubuntu1 [408 kB] Get:19 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libgmp10 s390x 2:6.1.2+dfsg-1.1 [225 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main s390x libbinutils s390x 2.29.1-6ubuntu1 [304 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main s390x binutils s390x 2.29.1-6ubuntu1 [3270 B] Get:22 http://ftpmaster.internal/ubuntu bionic/main s390x binutils-common s390x 2.29.1-6ubuntu1 [190 kB] Get:23 http://ftpmaster.internal/ubuntu bionic/main s390x binutils-s390x-linux-gnu s390x 2.29.1-6ubuntu1 [1696 kB] Get:24 http://ftpmaster.internal/ubuntu bionic/main s390x libc6 s390x 2.26-0ubuntu2 [2342 kB] Get:25 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x e2fslibs s390x 1.43.7-1 [153 kB] Get:26 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x e2fsprogs s390x 1.43.7-1 [477 kB] Get:27 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x perl-modules-5.26 all 5.26.1-2ubuntu1 [2760 kB] Get:28 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libperl5.26 s390x 5.26.1-2ubuntu1 [3364 kB] Get:29 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x perl s390x 5.26.1-2ubuntu1 [201 kB] Get:30 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x perl-base s390x 5.26.1-2ubuntu1 [1309 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main s390x base-passwd s390x 3.5.44 [46.2 kB] Get:32 http://ftpmaster.internal/ubuntu bionic/main s390x libc-bin s390x 2.26-0ubuntu2 [540 kB] Get:33 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x sysvinit-utils s390x 2.88dsf-59.10ubuntu1 [18.2 kB] Get:34 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libudev1 s390x 235-2ubuntu1 [51.1 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libapt-pkg5.0 s390x 1.6~alpha3 [725 kB] Get:36 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libgpg-error0 s390x 1.27-4 [35.3 kB] Get:37 http://ftpmaster.internal/ubuntu bionic/main s390x libgcrypt20 s390x 1.7.9-1 [336 kB] Get:38 http://ftpmaster.internal/ubuntu bionic/main s390x gpgv s390x 2.1.15-1ubuntu8 [171 kB] Get:39 http://ftpmaster.internal/ubuntu bionic/main s390x libseccomp2 s390x 2.3.1-2.1ubuntu3 [40.8 kB] Get:40 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x apt s390x 1.6~alpha3 [1111 kB] Get:41 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x debconf all 1.5.64 [124 kB] Get:42 http://ftpmaster.internal/ubuntu bionic/main s390x libcap2 s390x 1:2.25-1.1 [13.3 kB] Get:43 http://ftpmaster.internal/ubuntu bionic/main s390x libpcre3 s390x 2:8.39-5ubuntu3 [154 kB] Get:44 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libselinux1 s390x 2.7-2 [64.0 kB] Get:45 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x systemd s390x 235-2ubuntu1 [2569 kB] Get:46 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libsystemd0 s390x 235-2ubuntu1 [180 kB] Get:47 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x systemd-sysv s390x 235-2ubuntu1 [12.7 kB] Get:48 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libcap-ng0 s390x 0.7.7-3.1 [10.7 kB] Get:49 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libcomerr2 s390x 1.43.7-1 [11.3 kB] Get:50 http://ftpmaster.internal/ubuntu bionic/main s390x libsemanage-common all 2.7-2 [6916 B] Get:51 http://ftpmaster.internal/ubuntu bionic/main s390x libsemanage1 s390x 2.7-2 [78.6 kB] Get:52 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libss2 s390x 1.43.7-1 [10.7 kB] Get:53 http://ftpmaster.internal/ubuntu bionic/main s390x libnettle6 s390x 3.3-2 [103 kB] Get:54 http://ftpmaster.internal/ubuntu bionic/main s390x libhogweed4 s390x 3.3-2 [134 kB] Get:55 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libp11-kit0 s390x 0.23.9-2 [188 kB] Get:56 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x pinentry-curses s390x 1.0.0-3 [33.3 kB] Get:57 http://ftpmaster.internal/ubuntu bionic/main s390x gnupg s390x 2.1.15-1ubuntu8 [733 kB] Get:58 http://ftpmaster.internal/ubuntu bionic/main s390x gnupg-agent s390x 2.1.15-1ubuntu8 [233 kB] Get:59 http://ftpmaster.internal/ubuntu bionic/main s390x libsqlite3-0 s390x 3.20.1-2 [459 kB] Get:60 http://ftpmaster.internal/ubuntu bionic/main s390x multiarch-support s390x 2.26-0ubuntu2 [6832 B] Get:61 http://ftpmaster.internal/ubuntu bionic/main s390x tzdata all 2017c-1 [188 kB] Get:62 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libgssapi-krb5-2 s390x 1.15.2-2 [109 kB] Get:63 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libkrb5-3 s390x 1.15.2-2 [261 kB] Get:64 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libkrb5support0 s390x 1.15.2-2 [30.7 kB] Get:65 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libk5crypto3 s390x 1.15.2-2 [84.0 kB] Get:66 http://ftpmaster.internal/ubuntu bionic/main s390x libkeyutils1 s390x 1.5.9-9.1ubuntu1 [9272 B] Get:67 http://ftpmaster.internal/ubuntu bionic/main s390x libpng16-16 s390x 1.6.34-1 [171 kB] Get:68 http://ftpmaster.internal/ubuntu bionic/main s390x dpkg-dev all 1.19.0.4ubuntu1 [607 kB] Get:69 http://ftpmaster.internal/ubuntu bionic/main s390x libdpkg-perl all 1.19.0.4ubuntu1 [211 kB] Get:70 http://ftpmaster.internal/ubuntu bionic/main s390x build-essential s390x 12.4ubuntu1 [4754 B] Get:71 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libpsl5 s390x 0.18.0-4 [40.5 kB] Get:72 http://ftpmaster.internal/ubuntu bionic/main s390x libcurl3-gnutls s390x 7.55.1-1ubuntu2.1 [177 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 47.8 MB in 28s (1689 kB/s) (Reading database ... 12436 files and directories currently installed.) Preparing to unpack .../base-files_10ubuntu1_s390x.deb ... Unpacking base-files (10ubuntu1) over (9.6ubuntu101) ... Setting up base-files (10ubuntu1) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 12436 files and directories currently installed.) Preparing to unpack .../coreutils_8.26-3ubuntu4_s390x.deb ... Unpacking coreutils (8.26-3ubuntu4) over (8.26-3ubuntu3) ... Setting up coreutils (8.26-3ubuntu4) ... (Reading database ... 12436 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.0.4ubuntu1_s390x.deb ... Unpacking dpkg (1.19.0.4ubuntu1) over (1.18.24ubuntu1) ... Setting up dpkg (1.19.0.4ubuntu1) ... Installing new version of config file /etc/alternatives/README ... Installing new version of config file /etc/cron.daily/dpkg ... Installing new version of config file /etc/logrotate.d/dpkg ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.26-0ubuntu2_s390x.deb ... Unpacking libc6-dev:s390x (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Preparing to unpack .../1-libc-dev-bin_2.26-0ubuntu2_s390x.deb ... Unpacking libc-dev-bin (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Preparing to unpack .../2-linux-libc-dev_4.13.0-16.19_s390x.deb ... Unpacking linux-libc-dev:s390x (4.13.0-16.19) over (4.13.0-11.12) ... Preparing to unpack .../3-libgomp1_7.2.0-12ubuntu1_s390x.deb ... Unpacking libgomp1:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../4-libitm1_7.2.0-12ubuntu1_s390x.deb ... Unpacking libitm1:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../5-gcc-7-base_7.2.0-12ubuntu1_s390x.deb ... Unpacking gcc-7-base:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Setting up gcc-7-base:s390x (7.2.0-12ubuntu1) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a7.2.0-12ubuntu1_s390x.deb ... Unpacking libgcc1:s390x (1:7.2.0-12ubuntu1) over (1:7.2.0-6ubuntu1) ... Setting up libgcc1:s390x (1:7.2.0-12ubuntu1) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../0-libatomic1_7.2.0-12ubuntu1_s390x.deb ... Unpacking libatomic1:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../1-cpp-7_7.2.0-12ubuntu1_s390x.deb ... Unpacking cpp-7 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../2-libcc1-0_7.2.0-12ubuntu1_s390x.deb ... Unpacking libcc1-0:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../3-g++-7_7.2.0-12ubuntu1_s390x.deb ... Unpacking g++-7 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../4-gcc-7_7.2.0-12ubuntu1_s390x.deb ... Unpacking gcc-7 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../5-libgcc-7-dev_7.2.0-12ubuntu1_s390x.deb ... Unpacking libgcc-7-dev:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../6-libstdc++-7-dev_7.2.0-12ubuntu1_s390x.deb ... Unpacking libstdc++-7-dev:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../7-libstdc++6_7.2.0-12ubuntu1_s390x.deb ... Unpacking libstdc++6:s390x (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Setting up libstdc++6:s390x (7.2.0-12ubuntu1) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.1.2+dfsg-1.1_s390x.deb ... Unpacking libgmp10:s390x (2:6.1.2+dfsg-1.1) over (2:6.1.2+dfsg-1) ... Setting up libgmp10:s390x (2:6.1.2+dfsg-1.1) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../libbinutils_2.29.1-6ubuntu1_s390x.deb ... Unpacking libbinutils:s390x (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../binutils_2.29.1-6ubuntu1_s390x.deb ... Unpacking binutils (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../binutils-common_2.29.1-6ubuntu1_s390x.deb ... Unpacking binutils-common:s390x (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../binutils-s390x-linux-gnu_2.29.1-6ubuntu1_s390x.deb ... Unpacking binutils-s390x-linux-gnu (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../libc6_2.26-0ubuntu2_s390x.deb ... Unpacking libc6:s390x (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Setting up libc6:s390x (2.26-0ubuntu2) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.43.7-1_s390x.deb ... Unpacking e2fslibs:s390x (1.43.7-1) over (1.43.5-1) ... Setting up e2fslibs:s390x (1.43.7-1) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.43.7-1_s390x.deb ... Unpacking e2fsprogs (1.43.7-1) over (1.43.5-1) ... Setting up e2fsprogs (1.43.7-1) ... Installing new version of config file /etc/mke2fs.conf ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../perl_5.26.1-2ubuntu1_s390x.deb ... Unpacking perl (5.26.1-2ubuntu1) over (5.26.0-8ubuntu1) ... Preparing to unpack .../perl-modules-5.26_5.26.1-2ubuntu1_all.deb ... Unpacking perl-modules-5.26 (5.26.1-2ubuntu1) over (5.26.0-8ubuntu1) ... Preparing to unpack .../libperl5.26_5.26.1-2ubuntu1_s390x.deb ... Unpacking libperl5.26:s390x (5.26.1-2ubuntu1) over (5.26.0-8ubuntu1) ... Preparing to unpack .../perl-base_5.26.1-2ubuntu1_s390x.deb ... Unpacking perl-base (5.26.1-2ubuntu1) over (5.26.0-8ubuntu1) ... Setting up perl-base (5.26.1-2ubuntu1) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.44_s390x.deb ... Unpacking base-passwd (3.5.44) over (3.5.43) ... Setting up base-passwd (3.5.44) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../libc-bin_2.26-0ubuntu2_s390x.deb ... Unpacking libc-bin (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Setting up libc-bin (2.26-0ubuntu2) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.88dsf-59.10ubuntu1_s390x.deb ... Unpacking sysvinit-utils (2.88dsf-59.10ubuntu1) over (2.88dsf-59.8git1) ... Setting up sysvinit-utils (2.88dsf-59.10ubuntu1) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../libudev1_235-2ubuntu1_s390x.deb ... Unpacking libudev1:s390x (235-2ubuntu1) over (234-2ubuntu10) ... Setting up libudev1:s390x (235-2ubuntu1) ... (Reading database ... 12442 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.6~alpha3_s390x.deb ... Unpacking libapt-pkg5.0:s390x (1.6~alpha3) over (1.5~rc4) ... Setting up libapt-pkg5.0:s390x (1.6~alpha3) ... (Reading database ... 12442 files and directories currently installed.) Removing apt-transport-https (1.5~rc4) ... (Reading database ... 12434 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.27-4_s390x.deb ... Unpacking libgpg-error0:s390x (1.27-4) over (1.27-3) ... Setting up libgpg-error0:s390x (1.27-4) ... (Reading database ... 12434 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.9-1_s390x.deb ... Unpacking libgcrypt20:s390x (1.7.9-1) over (1.7.8-2ubuntu1) ... Setting up libgcrypt20:s390x (1.7.9-1) ... (Reading database ... 12434 files and directories currently installed.) Preparing to unpack .../gpgv_2.1.15-1ubuntu8_s390x.deb ... Unpacking gpgv (2.1.15-1ubuntu8) over (2.1.15-1ubuntu7) ... Setting up gpgv (2.1.15-1ubuntu8) ... (Reading database ... 12434 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.1-2.1ubuntu3_s390x.deb ... Unpacking libseccomp2:s390x (2.3.1-2.1ubuntu3) over (2.3.1-2.1ubuntu2) ... Setting up libseccomp2:s390x (2.3.1-2.1ubuntu3) ... (Reading database ... 12434 files and directories currently installed.) Preparing to unpack .../apt_1.6~alpha3_s390x.deb ... Unpacking apt (1.6~alpha3) over (1.5~rc4) ... Setting up apt (1.6~alpha3) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../debconf_1.5.64_all.deb ... Unpacking debconf (1.5.64) over (1.5.63) ... Setting up debconf (1.5.64) ... (Reading database ... 12424 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.25-1.1_s390x.deb ... Unpacking libcap2:s390x (1:2.25-1.1) over (1:2.25-1) ... Preparing to unpack .../libpcre3_2%3a8.39-5ubuntu3_s390x.deb ... Unpacking libpcre3:s390x (2:8.39-5ubuntu3) over (2:8.39-4) ... Setting up libpcre3:s390x (2:8.39-5ubuntu3) ... (Reading database ... 12424 files and directories currently installed.) Preparing to unpack .../libselinux1_2.7-2_s390x.deb ... Unpacking libselinux1:s390x (2.7-2) over (2.7-1) ... Setting up libselinux1:s390x (2.7-2) ... (Reading database ... 12424 files and directories currently installed.) Preparing to unpack .../systemd_235-2ubuntu1_s390x.deb ... Unpacking systemd (235-2ubuntu1) over (234-2ubuntu10) ... Preparing to unpack .../libsystemd0_235-2ubuntu1_s390x.deb ... Unpacking libsystemd0:s390x (235-2ubuntu1) over (234-2ubuntu10) ... Setting up libsystemd0:s390x (235-2ubuntu1) ... Setting up libcap2:s390x (1:2.25-1.1) ... Setting up systemd (235-2ubuntu1) ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/system.conf ... Removing empty /etc/rc.local Removed /etc/systemd/system/network-online.target.wants/systemd-networkd-wait-online.service. (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../systemd-sysv_235-2ubuntu1_s390x.deb ... Unpacking systemd-sysv (235-2ubuntu1) over (234-2ubuntu10) ... Preparing to unpack .../libcap-ng0_0.7.7-3.1_s390x.deb ... Unpacking libcap-ng0:s390x (0.7.7-3.1) over (0.7.7-3build1) ... Setting up libcap-ng0:s390x (0.7.7-3.1) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.43.7-1_s390x.deb ... Unpacking libcomerr2:s390x (1.43.7-1) over (1.43.5-1) ... Setting up libcomerr2:s390x (1.43.7-1) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.7-2_all.deb ... Unpacking libsemanage-common (2.7-2) over (2.7-1) ... Setting up libsemanage-common (2.7-2) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.7-2_s390x.deb ... Unpacking libsemanage1:s390x (2.7-2) over (2.7-1) ... Setting up libsemanage1:s390x (2.7-2) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libss2_1.43.7-1_s390x.deb ... Unpacking libss2:s390x (1.43.7-1) over (1.43.5-1) ... Setting up libss2:s390x (1.43.7-1) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libnettle6_3.3-2_s390x.deb ... Unpacking libnettle6:s390x (3.3-2) over (3.3-1) ... Setting up libnettle6:s390x (3.3-2) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.3-2_s390x.deb ... Unpacking libhogweed4:s390x (3.3-2) over (3.3-1) ... Setting up libhogweed4:s390x (3.3-2) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.9-2_s390x.deb ... Unpacking libp11-kit0:s390x (0.23.9-2) over (0.23.7-3) ... Setting up libp11-kit0:s390x (0.23.9-2) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../00-pinentry-curses_1.0.0-3_s390x.deb ... Unpacking pinentry-curses (1.0.0-3) over (1.0.0-2) ... Preparing to unpack .../01-gnupg_2.1.15-1ubuntu8_s390x.deb ... Unpacking gnupg (2.1.15-1ubuntu8) over (2.1.15-1ubuntu7) ... Preparing to unpack .../02-gnupg-agent_2.1.15-1ubuntu8_s390x.deb ... Unpacking gnupg-agent (2.1.15-1ubuntu8) over (2.1.15-1ubuntu7) ... Preparing to unpack .../03-libsqlite3-0_3.20.1-2_s390x.deb ... Unpacking libsqlite3-0:s390x (3.20.1-2) over (3.19.3-3) ... Preparing to unpack .../04-multiarch-support_2.26-0ubuntu2_s390x.deb ... Unpacking multiarch-support (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Preparing to unpack .../05-tzdata_2017c-1_all.deb ... Unpacking tzdata (2017c-1) over (2017b-2) ... Preparing to unpack .../06-libgssapi-krb5-2_1.15.2-2_s390x.deb ... Unpacking libgssapi-krb5-2:s390x (1.15.2-2) over (1.15.1-2) ... Preparing to unpack .../07-libkrb5-3_1.15.2-2_s390x.deb ... Unpacking libkrb5-3:s390x (1.15.2-2) over (1.15.1-2) ... Preparing to unpack .../08-libkrb5support0_1.15.2-2_s390x.deb ... Unpacking libkrb5support0:s390x (1.15.2-2) over (1.15.1-2) ... Preparing to unpack .../09-libk5crypto3_1.15.2-2_s390x.deb ... Unpacking libk5crypto3:s390x (1.15.2-2) over (1.15.1-2) ... Preparing to unpack .../10-libkeyutils1_1.5.9-9.1ubuntu1_s390x.deb ... Unpacking libkeyutils1:s390x (1.5.9-9.1ubuntu1) over (1.5.9-9ubuntu1) ... Preparing to unpack .../11-libpng16-16_1.6.34-1_s390x.deb ... Unpacking libpng16-16:s390x (1.6.34-1) over (1.6.32-2) ... Preparing to unpack .../12-dpkg-dev_1.19.0.4ubuntu1_all.deb ... Unpacking dpkg-dev (1.19.0.4ubuntu1) over (1.18.24ubuntu1) ... Preparing to unpack .../13-libdpkg-perl_1.19.0.4ubuntu1_all.deb ... Unpacking libdpkg-perl (1.19.0.4ubuntu1) over (1.18.24ubuntu1) ... Preparing to unpack .../14-build-essential_12.4ubuntu1_s390x.deb ... Unpacking build-essential (12.4ubuntu1) over (12.1ubuntu2) ... Preparing to unpack .../15-libpsl5_0.18.0-4_s390x.deb ... Unpacking libpsl5:s390x (0.18.0-4) over (0.18.0-2) ... Preparing to unpack .../16-libcurl3-gnutls_7.55.1-1ubuntu2.1_s390x.deb ... Unpacking libcurl3-gnutls:s390x (7.55.1-1ubuntu2.1) over (7.55.1-1ubuntu1) ... Setting up libgomp1:s390x (7.2.0-12ubuntu1) ... Setting up libatomic1:s390x (7.2.0-12ubuntu1) ... Setting up libcc1-0:s390x (7.2.0-12ubuntu1) ... Setting up libpng16-16:s390x (1.6.34-1) ... Setting up libpsl5:s390x (0.18.0-4) ... Setting up multiarch-support (2.26-0ubuntu2) ... Setting up tzdata (2017c-1) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Nov 1 23:51:10 UTC 2017. Universal Time is now: Wed Nov 1 23:51:10 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (235-2ubuntu1) ... Setting up linux-libc-dev:s390x (4.13.0-16.19) ... Setting up perl-modules-5.26 (5.26.1-2ubuntu1) ... Setting up libkrb5support0:s390x (1.15.2-2) ... Setting up cpp-7 (7.2.0-12ubuntu1) ... Setting up binutils-common:s390x (2.29.1-6ubuntu1) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... Setting up libperl5.26:s390x (5.26.1-2ubuntu1) ... Setting up libsqlite3-0:s390x (3.20.1-2) ... Setting up pinentry-curses (1.0.0-3) ... Setting up libc-dev-bin (2.26-0ubuntu2) ... Setting up libkeyutils1:s390x (1.5.9-9.1ubuntu1) ... Setting up gnupg-agent (2.1.15-1ubuntu8) ... Setting up libc6-dev:s390x (2.26-0ubuntu2) ... Setting up libitm1:s390x (7.2.0-12ubuntu1) ... Setting up libk5crypto3:s390x (1.15.2-2) ... Setting up libbinutils:s390x (2.29.1-6ubuntu1) ... Setting up binutils-s390x-linux-gnu (2.29.1-6ubuntu1) ... Setting up gnupg (2.1.15-1ubuntu8) ... Setting up libgcc-7-dev:s390x (7.2.0-12ubuntu1) ... Setting up libstdc++-7-dev:s390x (7.2.0-12ubuntu1) ... Setting up perl (5.26.1-2ubuntu1) ... Setting up libkrb5-3:s390x (1.15.2-2) ... Setting up binutils (2.29.1-6ubuntu1) ... Setting up gcc-7 (7.2.0-12ubuntu1) ... Setting up g++-7 (7.2.0-12ubuntu1) ... Setting up libdpkg-perl (1.19.0.4ubuntu1) ... Setting up libgssapi-krb5-2:s390x (1.15.2-2) ... Setting up dpkg-dev (1.19.0.4ubuntu1) ... Setting up build-essential (12.4ubuntu1) ... Setting up libcurl3-gnutls:s390x (7.55.1-1ubuntu2.1) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-13663328 s390x bionic-proposed -c chroot:build-PACKAGEBUILD-13663328 --arch=s390x --dist=bionic-proposed --nolog splint_3.1.2+dfsg-1.dsc Initiating build PACKAGEBUILD-13663328 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-97-generic #120-Ubuntu SMP Tue Sep 19 17:27:01 UTC 2017 s390x sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on z13-008.buildd +==============================================================================+ | splint 1:3.1.2+dfsg-1 (s390x) 01 Nov 2017 23:51 | +==============================================================================+ Package: splint Version: 1:3.1.2+dfsg-1 Source Version: 1:3.1.2+dfsg-1 Distribution: bionic-proposed Machine Architecture: s390x Host Architecture: s390x Build Architecture: s390x I: NOTICE: Log filtering will replace 'build/splint-W5Ser8/splint-3.1.2+dfsg' with '<>' I: NOTICE: Log filtering will replace 'build/splint-W5Ser8' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-13663328/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- splint_3.1.2+dfsg-1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-zTOh0j/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-zTOh0j/apt_archive ./ InRelease Get:2 copy:/<>/resolver-zTOh0j/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-zTOh0j/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-zTOh0j/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-zTOh0j/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libasn1-8-heimdal libcurl3-gnutls libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn2-0 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libpsl5 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules-db libunistring0 libwind0-heimdal Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-zTOh0j/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 856 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12431 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 10), libfl-dev Merged Build-Conflicts: bison, bison++ Filtered Build-Depends: debhelper (>= 10), libfl-dev Filtered Build-Conflicts: bison, bison++ dpkg-deb: building package 'sbuild-build-depends-splint-dummy' in '/<>/resolver-n9e47n/apt_archive/sbuild-build-depends-splint-dummy.deb'. Ign:1 copy:/<>/resolver-n9e47n/apt_archive ./ InRelease Get:2 copy:/<>/resolver-n9e47n/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-n9e47n/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-n9e47n/apt_archive ./ Sources [233 B] Get:5 copy:/<>/resolver-n9e47n/apt_archive ./ Packages [550 B] Fetched 2902 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install splint build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libasn1-8-heimdal libcurl3-gnutls libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn2-0 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libpsl5 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules-db libwind0-heimdal Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism file flex gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libfile-stripnondeterminism-perl libfl-dev libglib2.0-0 libicu59 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libtimedate-perl libtool libxml2 m4 man-db po-debconf Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make dwz bison gettext-doc libasprintf-dev libgettextpo-dev groff libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser libmail-box-perl Recommended packages: curl | wget | lynx-cur libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libmail-sendmail-perl The following packages will be REMOVED: pkg-create-dbgsym* The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism file flex gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libfile-stripnondeterminism-perl libfl-dev libglib2.0-0 libicu59 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libtimedate-perl libtool libxml2 m4 man-db po-debconf sbuild-build-depends-splint-dummy 0 upgraded, 32 newly installed, 1 to remove and 0 not upgraded. Need to get 16.3 MB of archives. After this operation, 63.9 MB of additional disk space will be used. Get:1 copy:/<>/resolver-n9e47n/apt_archive ./ sbuild-build-depends-splint-dummy 0.invalid.0 [876 B] Get:2 http://ftpmaster.internal/ubuntu bionic/main s390x groff-base s390x 1.22.3-9 [1174 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libbsd0 s390x 0.8.6-2 [40.4 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main s390x bsdmainutils s390x 9.0.12+nmu1ubuntu1 [179 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main s390x libpipeline1 s390x 1.4.2-1 [24.3 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main s390x man-db s390x 2.7.6.1-2 [887 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/main s390x libsigsegv2 s390x 2.11-1 [12.6 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/main s390x m4 s390x 1.4.18-1 [195 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main s390x flex s390x 2.6.1-1.3 [307 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main s390x libmagic-mgc s390x 1:5.32-1 [185 kB] Get:11 http://ftpmaster.internal/ubuntu bionic/main s390x libmagic1 s390x 1:5.32-1 [66.9 kB] Get:12 http://ftpmaster.internal/ubuntu bionic/main s390x file s390x 1:5.32-1 [21.8 kB] Get:13 http://ftpmaster.internal/ubuntu bionic/main s390x libglib2.0-0 s390x 2.54.1-1ubuntu1 [1075 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/main s390x libicu59 s390x 59.1-3ubuntu1 [7611 kB] Get:15 http://ftpmaster.internal/ubuntu bionic/main s390x libxml2 s390x 2.9.4+dfsg1-5ubuntu1 [593 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main s390x gettext-base s390x 0.19.8.1-4ubuntu1 [47.7 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main s390x autoconf all 2.69-11 [322 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main s390x autotools-dev all 20161112.1+nmu1 [40.2 kB] Get:19 http://ftpmaster.internal/ubuntu bionic/main s390x automake all 1:1.15.1-3ubuntu1 [509 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main s390x autopoint all 0.19.8.1-4ubuntu1 [412 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main s390x libtool all 2.4.6-2 [194 kB] Get:22 http://ftpmaster.internal/ubuntu bionic/main s390x dh-autoreconf all 14 [15.5 kB] Get:23 http://ftpmaster.internal/ubuntu bionic/main s390x libarchive-zip-perl all 1.59-1 [84.0 kB] Get:24 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x libfile-stripnondeterminism-perl all 0.040-1 [13.9 kB] Get:25 http://ftpmaster.internal/ubuntu bionic/main s390x libtimedate-perl all 2.3000-2 [37.5 kB] Get:26 http://ftpmaster.internal/ubuntu bionic-proposed/main s390x dh-strip-nondeterminism all 0.040-1 [5196 B] Get:27 http://ftpmaster.internal/ubuntu bionic/main s390x libcroco3 s390x 0.6.12-1 [74.7 kB] Get:28 http://ftpmaster.internal/ubuntu bionic/main s390x gettext s390x 0.19.8.1-4ubuntu1 [1048 kB] Get:29 http://ftpmaster.internal/ubuntu bionic/main s390x intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:30 http://ftpmaster.internal/ubuntu bionic/main s390x po-debconf all 1.0.20 [232 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main s390x debhelper all 10.10.5ubuntu1 [876 kB] Get:32 http://ftpmaster.internal/ubuntu bionic/main s390x libfl-dev s390x 2.6.1-1.3 [7478 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 16.3 MB in 2s (5537 kB/s) (Reading database ... 12431 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package groff-base. (Reading database ... 12422 files and directories currently installed.) Preparing to unpack .../00-groff-base_1.22.3-9_s390x.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:s390x. Preparing to unpack .../01-libbsd0_0.8.6-2_s390x.deb ... Unpacking libbsd0:s390x (0.8.6-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_9.0.12+nmu1ubuntu1_s390x.deb ... Unpacking bsdmainutils (9.0.12+nmu1ubuntu1) ... Selecting previously unselected package libpipeline1:s390x. Preparing to unpack .../03-libpipeline1_1.4.2-1_s390x.deb ... Unpacking libpipeline1:s390x (1.4.2-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.7.6.1-2_s390x.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package libsigsegv2:s390x. Preparing to unpack .../05-libsigsegv2_2.11-1_s390x.deb ... Unpacking libsigsegv2:s390x (2.11-1) ... Selecting previously unselected package m4. Preparing to unpack .../06-m4_1.4.18-1_s390x.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package flex. Preparing to unpack .../07-flex_2.6.1-1.3_s390x.deb ... Unpacking flex (2.6.1-1.3) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../08-libmagic-mgc_1%3a5.32-1_s390x.deb ... Unpacking libmagic-mgc (1:5.32-1) ... Selecting previously unselected package libmagic1:s390x. Preparing to unpack .../09-libmagic1_1%3a5.32-1_s390x.deb ... Unpacking libmagic1:s390x (1:5.32-1) ... Selecting previously unselected package file. Preparing to unpack .../10-file_1%3a5.32-1_s390x.deb ... Unpacking file (1:5.32-1) ... Selecting previously unselected package libglib2.0-0:s390x. Preparing to unpack .../11-libglib2.0-0_2.54.1-1ubuntu1_s390x.deb ... Unpacking libglib2.0-0:s390x (2.54.1-1ubuntu1) ... Selecting previously unselected package libicu59:s390x. Preparing to unpack .../12-libicu59_59.1-3ubuntu1_s390x.deb ... Unpacking libicu59:s390x (59.1-3ubuntu1) ... Selecting previously unselected package libxml2:s390x. Preparing to unpack .../13-libxml2_2.9.4+dfsg1-5ubuntu1_s390x.deb ... Unpacking libxml2:s390x (2.9.4+dfsg1-5ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../14-gettext-base_0.19.8.1-4ubuntu1_s390x.deb ... Unpacking gettext-base (0.19.8.1-4ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20161112.1+nmu1_all.deb ... Unpacking autotools-dev (20161112.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.15.1-3ubuntu1_all.deb ... Unpacking automake (1:1.15.1-3ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.19.8.1-4ubuntu1_all.deb ... Unpacking autopoint (0.19.8.1-4ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../19-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../20-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../21-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../22-libfile-stripnondeterminism-perl_0.040-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.040-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../23-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../24-dh-strip-nondeterminism_0.040-1_all.deb ... Unpacking dh-strip-nondeterminism (0.040-1) ... Selecting previously unselected package libcroco3:s390x. Preparing to unpack .../25-libcroco3_0.6.12-1_s390x.deb ... Unpacking libcroco3:s390x (0.6.12-1) ... Selecting previously unselected package gettext. Preparing to unpack .../26-gettext_0.19.8.1-4ubuntu1_s390x.deb ... Unpacking gettext (0.19.8.1-4ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../27-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../28-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../29-debhelper_10.10.5ubuntu1_all.deb ... Unpacking debhelper (10.10.5ubuntu1) ... Selecting previously unselected package libfl-dev:s390x. Preparing to unpack .../30-libfl-dev_2.6.1-1.3_s390x.deb ... Unpacking libfl-dev:s390x (2.6.1-1.3) ... Selecting previously unselected package sbuild-build-depends-splint-dummy. Preparing to unpack .../31-sbuild-build-depends-splint-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-splint-dummy (0.invalid.0) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libsigsegv2:s390x (2.11-1) ... Setting up libicu59:s390x (59.1-3ubuntu1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:s390x (2.54.1-1ubuntu1) ... No schema files found: doing nothing. Setting up gettext-base (0.19.8.1-4ubuntu1) ... Setting up libpipeline1:s390x (1.4.2-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:s390x (0.8.6-2) ... Setting up libxml2:s390x (2.9.4+dfsg1-5ubuntu1) ... Setting up libmagic-mgc (1:5.32-1) ... Setting up libmagic1:s390x (1:5.32-1) ... Setting up libcroco3:s390x (0.6.12-1) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... Setting up autotools-dev (20161112.1+nmu1) ... Setting up bsdmainutils (9.0.12+nmu1ubuntu1) ... 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 autopoint (0.19.8.1-4ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.040-1) ... Setting up gettext (0.19.8.1-4ubuntu1) ... Setting up flex (2.6.1-1.3) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.32-1) ... Setting up libfl-dev:s390x (2.6.1-1.3) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-3ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libtool (2.4.6-2) ... Setting up po-debconf (1.0.20) ... Setting up dh-autoreconf (14) ... Setting up dh-strip-nondeterminism (0.040-1) ... Setting up debhelper (10.10.5ubuntu1) ... Setting up sbuild-build-depends-splint-dummy (0.invalid.0) ... (Reading database ... 14326 files and directories currently installed.) Purging configuration files for pkg-create-dbgsym (0.73) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-97-generic s390x (s390x) Toolchain package versions: binutils_2.29.1-6ubuntu1 dpkg-dev_1.19.0.4ubuntu1 g++-7_7.2.0-12ubuntu1 gcc-7_7.2.0-12ubuntu1 libc6-dev_2.26-0ubuntu2 libstdc++-7-dev_7.2.0-12ubuntu1 libstdc++6_7.2.0-12ubuntu1 linux-libc-dev_4.13.0-16.19 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_2.0-1 apt_1.6~alpha3 autoconf_2.69-11 automake_1:1.15.1-3ubuntu1 autopoint_0.19.8.1-4ubuntu1 autotools-dev_20161112.1+nmu1 base-files_10ubuntu1 base-passwd_3.5.44 bash_4.4-5ubuntu1 binutils_2.29.1-6ubuntu1 binutils-common_2.29.1-6ubuntu1 binutils-s390x-linux-gnu_2.29.1-6ubuntu1 bsdmainutils_9.0.12+nmu1ubuntu1 bsdutils_1:2.30.1-0ubuntu4 build-essential_12.4ubuntu1 bzip2_1.0.6-8.1 ca-certificates_20170717 coreutils_8.26-3ubuntu4 cpp_4:7.2.0-1ubuntu1 cpp-7_7.2.0-12ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.64 debhelper_10.10.5ubuntu1 debianutils_4.8.2 dh-autoreconf_14 dh-strip-nondeterminism_0.040-1 diffutils_1:3.6-1 dmsetup_2:1.02.137-2ubuntu3 dpkg_1.19.0.4ubuntu1 dpkg-dev_1.19.0.4ubuntu1 e2fslibs_1.43.7-1 e2fsprogs_1.43.7-1 fakeroot_1.21-1ubuntu2 fdisk_2.30.1-0ubuntu4 file_1:5.32-1 findutils_4.6.0+git+20170729-2 flex_2.6.1-1.3 g++_4:7.2.0-1ubuntu1 g++-7_7.2.0-12ubuntu1 gcc_4:7.2.0-1ubuntu1 gcc-7_7.2.0-12ubuntu1 gcc-7-base_7.2.0-12ubuntu1 gettext_0.19.8.1-4ubuntu1 gettext-base_0.19.8.1-4ubuntu1 gnupg_2.1.15-1ubuntu8 gnupg-agent_2.1.15-1ubuntu8 gpgv_2.1.15-1ubuntu8 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5ubuntu1 hostname_3.18 init_1.49ubuntu1 init-system-helpers_1.49ubuntu1 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.11.0-2ubuntu17 libapt-pkg5.0_1.6~alpha3 libarchive-zip-perl_1.59-1 libasn1-8-heimdal_7.4.0.dfsg.1-2 libassuan0_2.4.3-3 libatomic1_7.2.0-12ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.7.7-1ubuntu2 libaudit1_1:2.7.7-1ubuntu2 libbinutils_2.29.1-6ubuntu1 libblkid1_2.30.1-0ubuntu4 libbsd0_0.8.6-2 libbz2-1.0_1.0.6-8.1 libc-bin_2.26-0ubuntu2 libc-dev-bin_2.26-0ubuntu2 libc6_2.26-0ubuntu2 libc6-dev_2.26-0ubuntu2 libcap-ng0_0.7.7-3.1 libcap2_1:2.25-1.1 libcc1-0_7.2.0-12ubuntu1 libcomerr2_1.43.7-1 libcroco3_0.6.12-1 libcryptsetup4_2:1.7.3-4ubuntu1 libcurl3-gnutls_7.55.1-1ubuntu2.1 libdb5.3_5.3.28-13.1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.137-2ubuntu3 libdpkg-perl_1.19.0.4ubuntu1 libfakeroot_1.21-1ubuntu2 libfdisk1_2.30.1-0ubuntu4 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.040-1 libfl-dev_2.6.1-1.3 libgcc-7-dev_7.2.0-12ubuntu1 libgcc1_1:7.2.0-12ubuntu1 libgcrypt20_1.7.9-1 libgdbm3_1.8.3-14 libglib2.0-0_2.54.1-1ubuntu1 libgmp10_2:6.1.2+dfsg-1.1 libgnutls30_3.5.8-6ubuntu3 libgomp1_7.2.0-12ubuntu1 libgpg-error0_1.27-4 libgssapi-krb5-2_1.15.2-2 libgssapi3-heimdal_7.4.0.dfsg.1-2 libhcrypto4-heimdal_7.4.0.dfsg.1-2 libheimbase1-heimdal_7.4.0.dfsg.1-2 libheimntlm0-heimdal_7.4.0.dfsg.1-2 libhogweed4_3.3-2 libhx509-5-heimdal_7.4.0.dfsg.1-2 libicu59_59.1-3ubuntu1 libidn11_1.33-2 libidn2-0_2.0.2-5 libip4tc0_1.6.1-2ubuntu1 libisl15_0.18-1 libitm1_7.2.0-12ubuntu1 libk5crypto3_1.15.2-2 libkeyutils1_1.5.9-9.1ubuntu1 libkmod2_24-1ubuntu2 libkrb5-26-heimdal_7.4.0.dfsg.1-2 libkrb5-3_1.15.2-2 libkrb5support0_1.15.2-2 libksba8_1.3.5-2 libldap-2.4-2_2.4.45+dfsg-1ubuntu1 libldap-common_2.4.45+dfsg-1ubuntu1 liblockfile-bin_1.14-1 liblockfile1_1.14-1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-1 libmagic1_1:5.32-1 libmount1_2.30.1-0ubuntu4 libmpc3_1.0.3-2 libmpfr4_3.1.6-1 libncurses5_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-2 libnpth0_1.5-2 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.2ubuntu3 libpam-modules-bin_1.1.8-3.2ubuntu3 libpam-runtime_1.1.8-3.2ubuntu3 libpam0g_1.1.8-3.2ubuntu3 libpcre3_2:8.39-5ubuntu3 libperl5.26_5.26.1-2ubuntu1 libpipeline1_1.4.2-1 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-1ubuntu2 libpsl5_0.18.0-4 libreadline7_7.0-0ubuntu2 libroken18-heimdal_7.4.0.dfsg.1-2 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu1 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu1 libseccomp2_2.3.1-2.1ubuntu3 libselinux1_2.7-2 libsemanage-common_2.7-2 libsemanage1_2.7-2 libsepol1_2.7-1 libsigsegv2_2.11-1 libslang2_2.3.1-5ubuntu1 libsmartcols1_2.30.1-0ubuntu4 libsqlite3-0_3.20.1-2 libss2_1.43.7-1 libssl1.0.0_1.0.2g-1ubuntu13 libstdc++-7-dev_7.2.0-12ubuntu1 libstdc++6_7.2.0-12ubuntu1 libsystemd0_235-2ubuntu1 libtasn1-6_4.12-2.1 libtimedate-perl_2.3000-2 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libudev1_235-2ubuntu1 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-31 libustr-1.0-1_1.0.4-6 libuuid1_2.30.1-0ubuntu4 libwind0-heimdal_7.4.0.dfsg.1-2 libxml2_2.9.4+dfsg1-5ubuntu1 linux-libc-dev_4.13.0-16.19 lockfile-progs_0.1.17build1 login_1:4.2-3.2ubuntu4 lsb-base_9.20160110ubuntu5 m4_1.4.18-1 make_4.1-9.1 man-db_2.7.6.1-2 mawk_1.3.3-17ubuntu2 mount_2.30.1-0ubuntu4 multiarch-support_2.26-0ubuntu2 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 openssl_1.0.2g-1ubuntu13 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu4 patch_2.7.5-1build1 perl_5.26.1-2ubuntu1 perl-base_5.26.1-2ubuntu1 perl-modules-5.26_5.26.1-2ubuntu1 pinentry-curses_1.0.0-3 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-splint-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.10 systemd_235-2ubuntu1 systemd-sysv_235-2ubuntu1 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu1 tar_1.29b-2 tzdata_2017c-1 ubuntu-keyring_2016.10.27 util-linux_2.30.1-0ubuntu4 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Tue Sep 5 14:25:50 2017 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./splint_3.1.2+dfsg-1.dsc dpkg-source: info: extracting splint in splint-3.1.2+dfsg dpkg-source: info: unpacking splint_3.1.2+dfsg.orig.tar.xz dpkg-source: info: unpacking splint_3.1.2+dfsg-1.debian.tar.xz dpkg-source: info: applying 01_build.patch dpkg-source: info: applying 02_manpage.patch dpkg-source: info: applying 03_359894_VA_ARGS.patch dpkg-source: info: applying 04_bug_report.patch dpkg-source: info: applying 05_html_docs_css.patch dpkg-source: info: applying 06_reproducible-build.patch dpkg-source: info: applying 07_fix_clean_up.patch dpkg-source: info: applying 08_fix_spelling.patch dpkg-source: info: applying 09_fix_privacy_breach.patch dpkg-source: info: applying 10_fix_ac_and_am_warnings.patch dpkg-source: info: applying 11_reproducible_build_p2.patch dpkg-source: info: applying 12_remove_test_duplication.patch dpkg-source: info: applying 13_fix_segfault.patch dpkg-source: info: applying 14_fix_unary_plus.patch dpkg-source: info: applying 15_hh_printf_modifier.patch dpkg-source: info: applying 16_handle_c99_mixing.patch dpkg-source: info: applying 17_cherry-pick_misc.patch dpkg-source: info: applying 18_multiarch_include.patch dpkg-source: info: applying 19_fix_timespec_def.patch dpkg-source: info: applying 20_cscannerHelp_internal_bug.patch 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=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-13663328 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-13663328 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-13663328 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package splint dpkg-buildpackage: info: source version 1:3.1.2+dfsg-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build splint-3.1.2+dfsg dpkg-buildpackage: info: host architecture s390x dpkg-source: info: using options from splint-3.1.2+dfsg/debian/source/options: --no-unapply-patches fakeroot debian/rules clean dh clean --no-parallel dh_auto_clean -O--no-parallel dh_autoreconf_clean -O--no-parallel debian/rules override_dh_clean make[1]: Entering directory '/<>/splint-3.1.2+dfsg' dh_clean -X.orig for f in aclocal.m4 bin/Makefile.in config/depcomp config.hin config/install-sh config/missing config/mkinstalldirs configure doc/Makefile.in imports/Makefile.in lib/Makefile.in lib/posix.lcd lib/posixstrict.lcd lib/standard.lcd lib/standardstrict.lcd lib/unix.lcd lib/unixstrict.lcd Makefile.in src/cgrammar.c src/llgrammar.c src/Makefile.in src/signature.c test/Makefile.in; do \ test ! -f $f.orig || mv -f $f.orig $f; \ done make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' debian/rules build-arch dh build-arch --no-parallel debian/rules override_dh_update_autotools_config make[1]: Entering directory '/<>/splint-3.1.2+dfsg' dh_update_autotools_config for f in aclocal.m4 bin/Makefile.in config/depcomp config.hin config/install-sh config/missing config/mkinstalldirs configure doc/Makefile.in imports/Makefile.in lib/Makefile.in lib/posix.lcd lib/posixstrict.lcd lib/standard.lcd lib/standardstrict.lcd lib/unix.lcd lib/unixstrict.lcd Makefile.in src/cgrammar.c src/llgrammar.c src/Makefile.in src/signature.c test/Makefile.in; do \ cp -an $f $f.orig; \ done make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' dh_autoreconf -a -O--no-parallel configure.ac:26: installing 'config/compile' debian/rules override_dh_auto_configure-arch make[1]: Entering directory '/<>/splint-3.1.2+dfsg' dh_auto_configure -a ./configure --build=s390x-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/s390x-linux-gnu --libexecdir=\${prefix}/lib/s390x-linux-gnu --disable-maintainer-mode --disable-dependency-tracking configure: WARNING: unrecognized options: --disable-maintainer-mode checking build system type... s390x-ibm-linux-gnu checking host system type... s390x-ibm-linux-gnu checking target system type... s390x-ibm-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for flex... flex checking lex output file root... lex.yy checking lex library... -lfl checking whether yytext is a pointer... yes checking whether make sets $(MAKE)... (cached) yes checking whether ln -s works... yes checking for bison... no checking for grep... grep checking for diff... diff checking for cat... cat checking for rm... rm checking for mv... mv checking for cp... cp checking for sed... sed checking whether we need _ALL_SOURCE to expose mode_t... no checking whether to include support for LCL files... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating imports/Makefile config.status: creating lib/Makefile config.status: creating src/Makefile config.status: creating test/Makefile config.status: creating doc/Makefile config.status: creating bin/Makefile config.status: creating config.h config.status: executing depfiles commands configure: WARNING: unrecognized options: --disable-maintainer-mode make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' dh_auto_build -a -O--no-parallel make -j1 make[1]: Entering directory '/<>/splint-3.1.2+dfsg' make all-recursive make[2]: Entering directory '/<>/splint-3.1.2+dfsg' Making all in src make[3]: Entering directory '/<>/splint-3.1.2+dfsg/src' grep "FLG_" flags.def > Headers/flag_codes.gen make make[4]: Entering directory '/<>/splint-3.1.2+dfsg/src' depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cgrammar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscanner.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtscanner.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtgrammar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llgrammar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c signature.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppmain.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpplib.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppexp.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpphash.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpperror.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c context.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentry.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cprim.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c macrocache.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qual.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qtype.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctype.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cvar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clabstract.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDecl.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globalsClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c modifiesClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c warnClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraint.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraintList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateExpression.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateSpecifier.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionConstraint.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pointers.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscannerHelp.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c structNames.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c transferChecks.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varKinds.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c nameChecks.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprData.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstring.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileloc.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c message.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c inputStream.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c valueTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateValue.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llerror.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c messageLog.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarker.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c aliasTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ynm.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c genericTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ekind.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab.c usymtab.c: In function ‘usymtab_load’: usymtab.c:2039:7: warning: ignoring return value of ‘fgets’, declared with attribute warn_unused_result [-Wunused-result] (void) fgets (s, MAX_DUMP_LINE_LENGTH, f); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c multiVal.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lltok.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRef.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcllib.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c randomNumbers.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileLib.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globals.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flags.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c general.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c osd.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c reader.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtreader.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clauseStack.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocStack.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringSList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSetList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctypeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameSList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeSList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentryList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileIdList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qualList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarkerList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDeclList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagSpec.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c intSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeIdSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c guardSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymIdSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateInfo.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateCombinationTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateInfo.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationInfo.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mttok.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPieces.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPiece.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtContextNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtValuesNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationsNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationDecl.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferAction.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReferenceList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReference.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDeclList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDecl.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeItem.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprChecks.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llmain.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c help.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c rcfiles.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintResolve.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintGeneration.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintTerm.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExprData.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExpr.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraint.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c loopHeuristics.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sigNodeSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c initDeclNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorInvNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c interfaceNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSetList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c letDeclNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stDeclNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c storeRefNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c termNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltokenList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c traitRefNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pairNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeNameNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fcnNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c paramNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c programNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varDeclarationNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c quantifierNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c replaceNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c importNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c tokentable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scan.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scanline.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslparse.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lh.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c checking.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclctypes.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c imports.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslinit.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c syntable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab_interface.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c abstract.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltoken.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscanline.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclsyntable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcltokentable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sort.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c symtable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclinit.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c shift.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscan.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbol.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mapping.c gcc -g -O2 -fdebug-prefix-map=/<>/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,now -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl make all-am make[5]: Entering directory '/<>/splint-3.1.2+dfsg/src' make[5]: Nothing to be done for 'all-am'. make[5]: Leaving directory '/<>/splint-3.1.2+dfsg/src' make[4]: Leaving directory '/<>/splint-3.1.2+dfsg/src' cd ../lib; make make[4]: Entering directory '/<>/splint-3.1.2+dfsg/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings make[4]: Leaving directory '/<>/splint-3.1.2+dfsg/lib' make all-am make[4]: Entering directory '/<>/splint-3.1.2+dfsg/src' make[4]: Nothing to be done for 'all-am'. make[4]: Leaving directory '/<>/splint-3.1.2+dfsg/src' make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/src' Making all in lib make[3]: Entering directory '/<>/splint-3.1.2+dfsg/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/lib' Making all in imports make[3]: Entering directory '/<>/splint-3.1.2+dfsg/imports' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/imports' Making all in test make[3]: Entering directory '/<>/splint-3.1.2+dfsg/test' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/test' Making all in doc make[3]: Entering directory '/<>/splint-3.1.2+dfsg/doc' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/doc' make[3]: Entering directory '/<>/splint-3.1.2+dfsg' make[3]: Nothing to be done for 'all-am'. make[3]: Leaving directory '/<>/splint-3.1.2+dfsg' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg' make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' debian/rules override_dh_auto_test-arch make[1]: Entering directory '/<>/splint-3.1.2+dfsg' dh_auto_test -a -- -C test make -j1 check VERBOSE=1 -C test make[2]: Entering directory '/<>/splint-3.1.2+dfsg/test' Testing splint 3.1.2... Version Info: Splint 3.1.2 --- 05 Sep 2017 Maintainer: splint@packages.debian.org Compiled using gcc -g -O2 -fstack-protector-strong -Wformat -Werror=format-security Splint 3.1.2 --- 05 Sep 2017 LARCH_PATH = .:/<>/splint-3.1.2+dfsg/lib --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = .:/<>/splint-3.1.2+dfsg/imports --- directory containing lcl standard library files (import with < ... >) include path = (set by environment variable CPATH and -I flags) --- path used to find #include'd files systemdirs = /usr/ (set by -systemdirs or environment variable CPATH) --- if file is found on this path, it is treated as a system file for error reporting Tests: Checking help... Checking abstptr... Checking abstract... Checking alias... Checking alttypes... Checking ansireserved... Checking argorder... Checking args... 2a3 > args.c:10:10: Comparison of pointer and numeric (int, void *): x > 0 27c28,29 < Finished checking --- 12 code warnings, as expected --- > Finished checking --- 13 code warnings, expected 12 > Makefile:1234: recipe for target 'args' failed *** FAIL *** Checking arraydims... Checking arrayinit... Checking arraylit... 5,7c5,8 < arraylit.c:13:3: Suspect modification of observer unmodstr[0]: < unmodstr[0] = 'U' < arraylit.c:5:24: Storage unmodstr[0] becomes observer --- > arraylit.c:13:3: Array fetch using non-integer, void *: unmodstr[0] > arraylit.c:13:3: Suspect modification of observer unmodstr[]: unmodstr[0] = 'U' > arraylit.c:5:24: Storage unmodstr[] becomes observer > arraylit.c:14:3: Array fetch using non-integer, void *: modstr[0] 9c10,11 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 4 code warnings, expected 2 > Makefile:1247: recipe for target 'arraylit' failed 18,20c20,23 < arraylit.c:13:3: Suspect modification of observer unmodstr[0]: < unmodstr[0] = 'U' < arraylit.c:5:24: Storage unmodstr[0] becomes observer --- > arraylit.c:13:3: Array fetch using non-integer, void *: unmodstr[0] > arraylit.c:13:3: Suspect modification of observer unmodstr[]: unmodstr[0] = 'U' > arraylit.c:5:24: Storage unmodstr[] becomes observer > arraylit.c:14:3: Array fetch using non-integer, void *: modstr[0] 22c25,26 < Finished checking --- 4 code warnings, as expected --- > Finished checking --- 6 code warnings, expected 4 > Makefile:1247: recipe for target 'arraylit' failed *** FAIL *** Checking blocks... 5a6,8 > blocks.c:15:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:18:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:21:7: Comparison of pointer and numeric (int, void *): x == 0 9c12,13 < Finished checking --- 4 code warnings, as expected --- > Finished checking --- 7 code warnings, expected 4 > Makefile:1252: recipe for target 'blocks' failed 15a20 > blocks.c:15:7: Comparison of pointer and numeric (int, void *): x == 0 17a23 > blocks.c:18:7: Comparison of pointer and numeric (int, void *): x == 0 18a25 > blocks.c:21:7: Comparison of pointer and numeric (int, void *): x == 0 22c29,30 < Finished checking --- 7 code warnings, as expected --- > Finished checking --- 10 code warnings, expected 7 > Makefile:1252: recipe for target 'blocks' failed 28a37,39 > blocks.c:15:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:18:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:21:7: Comparison of pointer and numeric (int, void *): x == 0 30c41,42 < Finished checking --- 3 code warnings, as expected --- > Finished checking --- 6 code warnings, expected 3 > Makefile:1252: recipe for target 'blocks' failed 36a49,51 > blocks.c:15:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:18:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:21:7: Comparison of pointer and numeric (int, void *): x == 0 38c53,54 < Finished checking --- 3 code warnings, as expected --- > Finished checking --- 6 code warnings, expected 3 > Makefile:1252: recipe for target 'blocks' failed 45a62,64 > blocks.c:15:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:18:7: Comparison of pointer and numeric (int, void *): x == 0 > blocks.c:21:7: Comparison of pointer and numeric (int, void *): x == 0 49c68,69 < Finished checking --- 6 code warnings, as expected --- > Finished checking --- 9 code warnings, expected 6 > Makefile:1252: recipe for target 'blocks' failed *** FAIL *** Checking break... Checking cases... Checking cast... Checking chararraylit... Checking charlit... Checking clauses... Checking commentchar... Checking compdestroy... Checking compoundliterals... Checking compoundstmt... Checking condifomit... Checking constannot... 8a9,14 > constannot.c:18:3: Array fetch using non-integer, void *: buf[0] > constannot.c:18:3: Possible out-of-bounds store: buf[0] > Unable to resolve constraint: > requires 0 @ constannot.c:18:7 <= 19 > needed to satisfy precondition: > requires maxSet(buf @ constannot.c:18:3) >= 0 @ constannot.c:18:7 17c23,24 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 4 code warnings, expected 2 > Makefile:1333: recipe for target 'constannot' failed *** FAIL *** Checking controldepth... Checking csyntax... Checking czechnames... Checking czechoslovaknames... Checking deadparam... Checking decl... 4a5,6 > decl.c: (in function foo) > decl.c:20:37: Array fetch using non-integer, void *: array[0] 6c8,9 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 3 code warnings, expected 2 > Makefile:1383: recipe for target 'decl' failed *** FAIL *** Checking divzero... 2c2,6 < Finished checking --- no warnings --- > divzero.c: (in function f) > divzero.c:3:11: Incompatible types for / (int, void *): 3 / 0 > > Finished checking --- 1 code warning > Makefile:1389: recipe for target 'divzero' failed *** FAIL *** Checking enum... 2,16c2,3 < enum.c:2:16: Enumerator member cero declared with inconsistent type: < enum { cero, uno, dos, tres } < enum.lcl:2:16: Specification of cero: enum { cero, uno, dos } < enum.c:2:22: Enumerator member uno declared with inconsistent type: < enum { cero, uno, dos, tres } < enum.lcl:2:22: Specification of uno: enum { cero, uno, dos } < enum.c:2:27: Enumerator member dos declared with inconsistent type: < enum { cero, uno, dos, tres } < enum.lcl:2:27: Specification of dos: enum { cero, uno, dos } < enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but < specified with members { cero, uno, dos } < enum.lcl:2:33: Specification of stype < enum.c:4:22: Enumerator member siete declared with inconsistent type: < enum _itag { siete } < enum.lcl:3:23: Specification of siete: enum _ietag { siete } --- > enum.c:2:38: Enum tag enum defined more than once > enum.c:1:33: Previous definition of enum 24,25c11,12 < enum.c:30:12: Case in switch not mtype member: three < enum.c:36:8: Missing case in switch: threem --- > enum.c:33:12: Case in switch not mtype member: four > enum.c:36:8: Missing cases in switch: one, two 30c17 < enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta } --- > enum.lcl:8:8: Specification of hasta: enum { one, two, three } 33c20,24 < enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta } --- > enum.lcl:8:15: Specification of pasta: enum { one, two, three } > enum.c:53:30: Enum tag enum defined more than once > enum.c:51:29: Previous definition of enum > enum.c:57:19: Enum tag enum defined more than once > enum.c:51:29: Previous definition of enum 37c28,29 < Finished checking --- 16 code warnings, as expected --- > Finished checking --- 14 code warnings, expected 16 > Makefile:1393: recipe for target 'enum' failed 39,53c31,32 < enum.c:2:16: Enumerator member cero declared with inconsistent type: < enum { cero, uno, dos, tres } < enum.lcl:2:16: Specification of cero: enum { cero, uno, dos } < enum.c:2:22: Enumerator member uno declared with inconsistent type: < enum { cero, uno, dos, tres } < enum.lcl:2:22: Specification of uno: enum { cero, uno, dos } < enum.c:2:27: Enumerator member dos declared with inconsistent type: < enum { cero, uno, dos, tres } < enum.lcl:2:27: Specification of dos: enum { cero, uno, dos } < enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but < specified with members { cero, uno, dos } < enum.lcl:2:33: Specification of stype < enum.c:4:22: Enumerator member siete declared with inconsistent type: < enum _itag { siete } < enum.lcl:3:23: Specification of siete: enum _ietag { siete } --- > enum.c:2:38: Enum tag enum defined more than once > enum.c:1:33: Previous definition of enum 60c39 < enum.c:30:12: Case in switch not mtype member: three --- > enum.c:33:12: Case in switch not mtype member: four 65c44 < enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta } --- > enum.lcl:8:8: Specification of hasta: enum { one, two, three } 68c47,51 < enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta } --- > enum.lcl:8:15: Specification of pasta: enum { one, two, three } > enum.c:53:30: Enum tag enum defined more than once > enum.c:51:29: Previous definition of enum > enum.c:57:19: Enum tag enum defined more than once > enum.c:51:29: Previous definition of enum 72c55,56 < Finished checking --- 14 code warnings, as expected --- > Finished checking --- 12 code warnings, expected 14 > Makefile:1393: recipe for target 'enum' failed *** FAIL *** Checking enumtag... 4,6d3 < enumtag.c:35:6: Enum enum e_tag declared with members { E_M } but previously < declared with members { E_X, E_Y, E_Z } < enumtag.c:12:6: Declaration of enum e_tag 8c5,6 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 1 code warning, expected 2 > Makefile:1398: recipe for target 'enumtag' failed *** FAIL *** Checking exports... Checking external... Checking fields... Checking flags... Checking forbody... Checking format... Checking freearray... Checking funcpointer... 30a31,34 > funcpointer.c: (in function b) > funcpointer.c:72:3: Array fetch using non-integer, void *: f[0] > funcpointer.c:73:3: Array fetch using non-integer, void *: g[0] > funcpointer.c:74:10: Array fetch using non-integer, void *: g[0] 32c36,37 < Finished checking --- 18 code warnings, as expected --- > Finished checking --- 21 code warnings, expected 18 > Makefile:1441: recipe for target 'funcpointer' failed *** FAIL *** Checking functionmacro... Checking glob... Checking globals... Checking impabstract... Checking info... Checking init... Checking innerarray... Checking inparam... Checking internal... Checking iter... Checking keep... Checking libs... Checking linked... Checking lintcomments... Checking list... Checking longint... Checking loopexec... 2a3 > loopexec.c:30:15: Comparison of pointer and numeric (int, void *): i <= 0 5c6,7 < Finished checking --- 1 code warning, as expected --- > Finished checking --- 2 code warnings, expected 1 > Makefile:1555: recipe for target 'loopexec' failed 11a14 > loopexec.c:30:15: Comparison of pointer and numeric (int, void *): i <= 0 14c17,18 < Finished checking --- 3 code warnings, as expected --- > Finished checking --- 4 code warnings, expected 3 > Makefile:1555: recipe for target 'loopexec' failed *** FAIL *** Checking looptesteffect... Checking macros... Checking macrosef... Checking malloc... Checking merge... Checking mergenull... Checking modifies... Checking modtest... Checking moduncon... Checking mongoincludes... Checking mystrncat... Checking noeffect... Checking null... Checking nullret... Checking nullassign... Checking numabstract... Checking observer... Checking oldstyle... Checking outglob... Checking outparam... Checking parentype... Checking postnotnull... Checking preds... Checking prefixes... Checking printflike... Checking rc... Checking refcounts... 2a3 > refcounts.c:15:7: Comparison of pointer and numeric (int, void *): x->refs == 0 23c24,25 < Finished checking --- 7 code warnings, as expected --- > Finished checking --- 8 code warnings, expected 7 > Makefile:1737: recipe for target 'refcounts' failed *** FAIL *** Checking release... Checking repexpose... Checking returned... Checking russian... Checking sharing... Checking shifts... Checking sizesigns... Checking slovaknames... Checking specclauses... 2a3 > specclauses.c:21:7: Comparison of pointer and numeric (void *, int): 0 == 1 16c17,18 < Finished checking --- 6 code warnings, as expected --- > Finished checking --- 7 code warnings, expected 6 > Makefile:1792: recipe for target 'specclauses' failed *** FAIL *** Checking special... Checking stack... 3,4c3 < stack.c:10:2: Stack-allocated storage *x reachable from parameter x < stack.c:9:3: Storage *x becomes stack-allocated storage --- > stack.c:9:9: Array fetch using non-integer, void *: sa[0] 7a7 > stack.c:18:7: Comparison of pointer and numeric (int, void *): c == 0 8a9 > stack.c:26:7: Array fetch using non-integer, void *: sa[0] 10c11 < stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0] --- > stack.c:35:12: Array fetch using non-integer, void *: sa[0] 12c13,14 < Finished checking --- 5 code warnings, as expected --- > Finished checking --- 7 code warnings, expected 5 > Makefile:1825: recipe for target 'stack' failed 14c16,24 < Finished checking --- no warnings --- > stack.c: (in function stack1) > stack.c:9:9: Array fetch using non-integer, void *: sa[0] > stack.c: (in function f) > stack.c:18:7: Comparison of pointer and numeric (int, void *): c == 0 > stack.c:26:7: Array fetch using non-integer, void *: sa[0] > stack.c:35:12: Array fetch using non-integer, void *: sa[0] > > Finished checking --- 4 code warnings > Makefile:1825: recipe for target 'stack' failed *** FAIL *** Checking staticarray... Checking strings... Checking stringliteral... Checking structassign... Checking typequals... Checking typeof... Checking ud... Checking ulstypes... Checking union... Checking unioninit... Checking unnamedsu... Checking unreachable... Checking unsignedcompare... 4a5,6 > unsignedcompare.c:7:7: Comparison of pointer and numeric (unsigned long int, > void *): res <= 0 5a8,9 > unsignedcompare.c:12:7: Comparison of pointer and numeric (unsigned long int, > void *): res < 0 6a11,12 > unsignedcompare.c:12:18: Comparison of pointer and numeric (unsigned long int, > void *): res >= 0 9c15,16 < Finished checking --- 4 code warnings, as expected --- > Finished checking --- 7 code warnings, expected 4 > Makefile:1898: recipe for target 'unsignedcompare' failed *** FAIL *** Checking unused... Checking ullint... 6c6,7 < ullint.c:35:26: Array element src[0] used before definition --- > ullint.c:35:26: Array fetch using non-integer, void *: src[0] > ullint.c:35:26: Value src[] used before definition 13,20c14,15 < Finished checking --- 5 code warnings, as expected < < ullint.c: (in function main) < ullint.c:29:11: Operands of < have incompatible types (int, size_t): < i < sizeof((src)) < ullint.c:35:26: Array element src[0] used before definition < < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 6 code warnings, expected 5 > Makefile:1915: recipe for target 'ullint' failed *** FAIL *** Checking utypes... 5a6,7 > < Location unknown >: Field name reused: > < Location unknown >: Previous use of 9c11,12 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 3 code warnings, expected 2 > Makefile:1926: recipe for target 'utypes' failed *** FAIL *** Checking void... Checking widestrings... Checking metastate... Checking mergestate... Checking tainted... 54a55 > tainted2.c:7:7: Comparison of pointer and numeric (int, void *): fromuser != 0 60c61,62 < Finished checking --- 1 code warning, as expected --- > Finished checking --- 2 code warnings, expected 1 > Makefile:8: recipe for target 'tainted' failed *** FAIL *** Checking fileio... Checking simplebufferConstraintTests... 13a14,19 > test3.c:7:3: Array fetch using non-integer, void *: g[0] > test3.c:7:3: Possible out-of-bounds store: g[0] > Unable to resolve constraint: > requires 0 @ test3.c:7:5 <= 99 > needed to satisfy precondition: > requires maxSet(g @ test3.c:7:3) >= 0 @ test3.c:7:5 21a28,29 > test7.c:7:3: Array fetch using non-integer, void *: g[0] > test7.c:8:3: Array fetch using non-integer, void *: j[0] 26a35,39 > test7.c:7:3: Possible out-of-bounds store: g[0] > Unable to resolve constraint: > requires maxSet(g @ test7.c:4:3) >= 0 @ test7.c:7:5 + 2 > needed to satisfy precondition: > requires maxSet(g @ test7.c:7:3) >= 0 @ test7.c:7:5 29c42 < requires maxSet(j @ test7.c:8:3) >= 0 --- > requires maxSet(j @ test7.c:8:3) >= 0 @ test7.c:8:5 31c44 < requires maxSet(j @ test7.c:8:3) >= 0 --- > requires maxSet(j @ test7.c:8:3) >= 0 @ test7.c:8:5 33c46,48 < Finished checking --- 7 code warnings, as expected --- > Finished checking --- 12 code warnings, expected 7 > Makefile:6: recipe for target 'check' failed > Makefile:1969: recipe for target 'simplebufferConstraintTests' failed *** FAIL *** Checking moreBufferTests... Checking moreBufferTests2... Checking globalbufferannotation... Checking maxset... Checking strchr... Checking sizeoftest... Checking for... Checking manual... 18a19,20 > usedef.c:14: Comparison of pointer and numeric (int, > void *): i == 0 22,233c24,26 < Finished checking --- 3 code warnings, as expected < < usedef.c:11: Value *x used before definition < usedef.c:13: Passed storage x not completely defined < (*x is undefined): getVal (x) < < Finished checking --- 2 code warnings, as expected < < bool.c:6: Test expression for if is assignment expression: i = 3 < bool.c:6: Test expression for if not bool, type int: i = 3 < bool.c:7: Return value type bool does not match declared type int: b1 < bool.c:8: Operand of ! is non-boolean (int): !i < bool.c:8: Right operand of || is non-boolean (char *): !i || s < bool.c:10: Test expression for if not bool, type char *: s < bool.c:12: Use of == with bool variables (risks inconsistency because < of multiple true values): b1 == b2 < < Finished checking --- 7 code warnings, as expected < < palindrome.c:6: Cast from underlying < abstract type mstring: (char *)s < palindrome.c:7: Function strlen expects arg < 1 to be char * gets mstring: s < palindrome.c:11: Array fetch from non-array < (mstring): s[len - i - 1] < palindrome.c:19: Function isPalindrome < expects arg 1 to be mstring gets char *: < "bob" < < Finished checking --- 4 code warnings, as < expected < < only.c:11: Only storage glob (type int *) not released < before assignment: glob = y < only.c:1: Storage glob becomes only < only.c:11: Implicitly temp storage y assigned to only: < glob = y < only.c:13: Dereference of possibly null pointer m: *m < only.c:8: Storage m may become null < only.c:13: Variable x used after being released < only.c:12: Storage x released < only.c:14: Implicitly temp storage z returned as only: < z < only.c:14: Fresh storage m not released before return < only.c:9: Fresh storage m created < < Finished checking --- 6 code warnings, as expected < < stack.c:12: Stack-allocated storage &loc reachable < from return value: &loc < stack.c:12: Stack-allocated storage *x reachable from < parameter x < stack.c:10: Storage *x becomes stack-allocated < storage < stack.c:12: Stack-allocated storage glob reachable < from global glob < stack.c:9: Storage glob becomes stack-allocated < storage < < Finished checking --- 3 code warnings, as expected < < rstring.c:13: Reference counted storage returned < without modifying reference count: r1 < < Finished checking --- 1 code warning, as expected < < unique.c:7: Parameter 1 (s) to function strcpy is < declared unique but may be aliased externally by < parameter 2 (t) < < Finished checking --- 1 code warning, as expected < < exposure.c:6: Function returns reference to < parameter e: e->name < exposure.c:6: Return value exposes rep of < employee: e->name < exposure.c:6: Released storage e->name reachable < from parameter at return point < exposure.c:6: Storage e->name released < exposure.c:23: Suspect modification of observer < name: *name = toupper(*name) < exposure.c:22: Storage *name becomes observer < < Finished checking --- 4 code warnings, as < expected < < modify.c:4: Undocumented modification of *y: *y = *x < modify.c:5: Suspect object listed in modifies of setx < not modified: *x < modify.c:1: Declaration of setx < < Finished checking --- 2 code warnings, as expected < < globals.c:5: Undocumented use of global glob2 < globals.c:3: Global glob1 listed but not used < < Finished checking --- 2 code warnings, as expected < < annotglobs.c:13: Undef global globnum used before < definition < annotglobs.c:15: Global storage globname contains 1 < undefined field when call returns: firstname < annotglobs.c:21: Only storage globname.firstname (type < char *) derived from killed global is not released < (memory leak) < < Finished checking --- 3 code warnings, as expected < < Finished checking --- no warnings < < order.c:11: Expression has undefined behavior (value of < right operand modified by left operand): x++ * x < order.c:13: Expression has undefined behavior (left operand < uses i, modified by right operand): y[i] = i++ < order.c:14: Expression has undefined behavior (value of < right operand modified by left operand): < modglob() * glob < order.c:15: Expression has undefined behavior < (unconstrained function mystery used in left operand < may set global variable glob used in right operand): < mystery() * glob < < Finished checking --- 4 code warnings, as expected < < order.c:11: Expression has undefined behavior (value < of right operand modified by left operand): < x++ * x < order.c:13: Expression has undefined behavior (left < operand uses i, modified by right operand): < y[i] = i++ < order.c:14: Expression has undefined behavior (value < of right operand modified by left operand): < modglob() * glob < < Finished checking --- 3 code warnings, as expected < < loop.c:14: Suspected infinite loop. No value used in < loop test (x, glob1) is modified by test or loop < body. < loop.c:15: Suspected infinite loop. No condition < values modified. Modification possible through < unconstrained calls: h < < Finished checking --- 2 code warnings, as expected < < loop.c:14: Suspected infinite loop. No value used in < loop test (x, glob1) is modified by test or loop < body. < < Finished checking --- 1 code warning, as expected < < switch.c:11: Fall through case (no preceding break) < switch.c:14: Missing case in switch: DEFINITELY < < Finished checking --- 2 code warnings, as expected < < noeffect.c:6: Statement has no effect: y == *x < noeffect.c:7: Statement has no effect: nomodcall(x) < noeffect.c:8: Statement has no effect (possible < undected modification through call to < unconstrained function mysterycall): < mysterycall(x) < < Finished checking --- 3 code warnings, as expected < < noeffect.c:6: Statement has no effect: y == *x < noeffect.c:7: Statement has no effect: nomodcall(x) < < Finished checking --- 2 code warnings, as expected < < ignore.c:8: Return value (type int) ignored: fi() < ignore.c:10: Return value (type bool) ignored: fb() < < Finished checking --- 2 code warnings, as expected < < ignore.c:8: Return value (type int) ignored: fi() < < Finished checking --- 1 code warning, as expected < < ignore.c:10: Return value (type bool) ignored: fb() < < Finished checking --- 1 code warning, as expected < < setChar.c:5: Likely out-of-bounds store: buf[10] < Unable to resolve constraint: < requires 9 >= 10 < needed to satisfy precondition: < requires maxSet(buf @ setChar.c:5) >= 10 < < Finished checking --- 1 code warning, as expected < < multiError.c:4: Possible out-of-bounds store: buf[2] < Unable to resolve constraint: < requires maxSet(buf @ multiError.c:4) >= 2 < needed to satisfy precondition: < requires maxSet(buf @ multiError.c:4) >= 2 < < Finished checking --- 1 code warning, as expected < < bounds.c:9: Possible out-of-bounds store: < strcpy(str, tmp) < Unable to resolve constraint: < requires maxSet(str @ bounds.c:9) >= < maxRead(getenv("MYENV") @ bounds.c:7) < needed to satisfy precondition: < requires maxSet(str @ bounds.c:9) >= < maxRead(tmp @ bounds.c:9) < derived from strcpy precondition: requires < maxSet() >= maxRead() < < Finished checking --- 1 code warning, as expected --- > Finished checking --- 4 code warnings, expected 3 > Makefile:44: recipe for target 'usedef' failed > Makefile:1969: recipe for target 'manual' failed *** FAIL *** Checking tests2.2... 49a50 > Makefile:26: recipe for target 'enumbool' failed 55a57 > Makefile:30: recipe for target 'extension' failed 57c59,63 < Finished checking --- no warnings --- > modarray.c: (in function main) > modarray.c:6:10: Array fetch using non-integer, void *: buffer[0] > > Finished checking --- 1 code warning > Makefile:34: recipe for target 'modarray' failed *** FAIL *** Checking tests2.4... 16a17 > duffs.c:14:12: Comparison of pointer and numeric (int, void *): --n > 0 18,127c19,21 < Finished checking --- 7 code warnings, as expected < < Finished checking --- no warnings < < Finished checking --- no warnings < < bug2.c: (in function main) < bug2.c:6:8: Fall through case (no preceding break) < bug2.c:10:10: Fall through case (no preceding break) < bug2.c:16:8: Fall through case (no preceding break) < bug2.c:5:5: Statement after switch is not a case: printf("here 1"); < bug2.c:20:2: Path with no return in function declared to return int < < Finished checking --- 5 code warnings, as expected < < bug3.c: (in function main) < bug3.c:8:8: Fall through case (no preceding break) < bug3.c:12:21: Variable j used before definition < bug3.c:13:2: Path with no return in function declared to return int < < Finished checking --- 3 code warnings, as expected < < Finished checking --- no warnings < < Finished checking --- no warnings < < Finished checking --- no warnings < < hexconstants.c: (in function f) < hexconstants.c:5:10: Return value type unsigned int does not match declared < type int: m1 + m2 < < Finished checking --- 1 code warning, as expected < < hexconstants.c: (in function f) < hexconstants.c:2:21: Variable m1 initialized to type int, expects unsigned int: < 0xFF < hexconstants.c:3:21: Variable m2 initialized to type int, expects unsigned int: < 0142 < hexconstants.c:5:10: Return value type unsigned int does not match declared < type int: m1 + m2 < hexconstants.c:1:5: Function f exported but not declared in header file < hexconstants.c:6:1: Definition of f < < Finished checking --- 4 code warnings, as expected < < innercomment.c:1:17: Comment starts inside comment < innercomment.c:16:3: Comment starts inside comment < < Finished checking --- 2 code warnings, as expected < < Finished checking --- no warnings < < Finished checking --- no warnings < < offsetof.c: (in function f) < offsetof.c:10:3: Assignment of size_t to int: m = offsetof(S,u) < offsetof.c:12:26: Deep field k in offsetof is not the name of a field of struct < { int m; }: offsetof(S,u.s.k) < < Finished checking --- 2 code warnings, as expected < < Finished checking --- no warnings < < Finished checking --- no warnings < < Finished checking --- no warnings < < error.c:5:9: Variable x initialized to type char, expects int: 'a' < < Finished checking --- 1 code warning, as expected < < ulrich.c: (in function utl_calloc) < ulrich.c:15:12: Possibly null storage newblock returned as non-null: newblock < ulrich.c:12:16: Storage newblock may become null < < Finished checking --- 1 code warning, as expected < < cpptest.c: (in function test) < cpptest.c:2:11: Variable x initialized to type char, expects int: 'a' < < Finished checking --- 1 code warning, as expected < < longlong.c: (in function llf) < longlong.c:2:11: Variable m initialized to type long long, expects int: llx < longlong.c:3:3: Assignment of long long to int: m = 243LL < longlong.c:6:3: Assignment of long long to long int: lx = 5234LL < longlong.c:9:3: Assignment of long long to long int: lx = llx < < Finished checking --- 4 code warnings, as expected < < Finished checking --- no warnings < < Finished checking --- no warnings < < Finished checking --- no warnings < < alignof.c: (in function f) < alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x) < alignof.c:3:23: Variable n initialized to type size_t, expects int: < alignof((x)) < < Finished checking --- 2 code warnings, as expected < < Spec file not found: DBL_MANT_DIG=25.lcl < Command Line: Malformed option `-D' < Cannot open file: DBL_MANT_DIG=25.c < Cannot open file: source.c < < Finished checking --- 1 code warning, as expected --- > Finished checking --- 8 code warnings, expected 7 > Makefile:16: recipe for target 'duffs' failed > Makefile:1969: recipe for target 'tests2.4' failed *** FAIL *** Checking tests2.5... Checking db1... 32a33,41 > dbase.c:224: Case in switch not job member: job_ANY > dbase.c:229: Case in switch not job member: MGR > dbase.c:233: Case in switch not job member: NONMGR > dbase.c:241: Case in switch not job member: job_ANY > dbase.c:245: Case in switch not job member: MGR > dbase.c:247: Case in switch not job member: NONMGR > dbase.c:253: Case in switch not job member: job_ANY > dbase.c:257: Case in switch not job member: MGR > dbase.c:259: Case in switch not job member: NONMGR 46c55,56 < Finished checking --- 19 code warnings, as expected --- > Finished checking --- 28 code warnings, expected 19 > Makefile:31: recipe for target 'check' failed 65a76,87 > employee.lh:12: Enumerator member MGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of MGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member NONMGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of NONMGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member job_ANY declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of job_ANY: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enum job declared with members { MGR, NONMGR, job_ANY } but > specified with members { MALE, FEMALE, gender_ANY } > employee.lcl:7: Specification of job 377a400,401 > dbase.c:99: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == job_ANY 383a408,409 > dbase.c:120: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR 397a424,425 > dbase.c:125: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR 445a474 > dbase.c:167: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 555a585 > drive.c:46: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 559a590 > drive.c:62: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 563a595 > drive.c:80: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 571a604,606 > drive.c:117: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > e.j = NONMGR > drive.c:117: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 580a616,619 > drive.c:135: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = job_ANY > drive.c:144: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = NONMGR 629c668,669 < incondefs 0 1 --- > incondefs 3 19 > matchfields 1 0 672c712 < type 1 0 --- > type 12 0 678c718 < Total 338 73 --- > Total 353 91 680c720,721 < Finished checking --- 338 code warnings, as expected --- > Finished checking --- 353 code warnings, expected 338 > Makefile:31: recipe for target 'check' failed *** FAIL *** Checking db2... 1a2,13 > employee.lh:12: Enumerator member MGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of MGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member NONMGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of NONMGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member job_ANY declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of job_ANY: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enum job declared with members { MGR, NONMGR, job_ANY } but > specified with members { MALE, FEMALE, gender_ANY } > employee.lcl:7: Specification of job 2a15 > employee.c:12: Array fetch using non-integer, void *: e->name[0] 4a18,20 > employee.c: (in function employee_equal) > employee.c:27: Comparison of pointer and numeric (int, void *): > strncmp(e1->name, e2->name, maxEmployeeName) == 0 42a59,85 > dbase.c: (in function hire) > dbase.c:91: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == job_ANY > dbase.c:94: Comparison of pointer and numeric (int, void *): e.salary < 0 > dbase.c: (in function uncheckedHire) > dbase.c:112: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR > dbase.c:117: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR > dbase.c: (in function promote) > dbase.c:160: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > dbase.c: (in function setSalary) > dbase.c:182: Comparison of pointer and numeric (int, void *): sal < 0 > drive.c: (in function main) > drive.c:37: Comparison of pointer and numeric (int, void *): > empset_size(em1) == 0 > drive.c:47: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:63: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:81: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:107: Array fetch using non-integer, void *: na[0] > drive.c:118: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > e.j = NONMGR > drive.c:118: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:136: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = job_ANY > drive.c:145: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = NONMGR 44c87,88 < Finished checking --- 15 code warnings, as expected --- > Finished checking --- 36 code warnings, expected 15 > Makefile:25: recipe for target 'check' failed 45a90,101 > employee.lh:12: Enumerator member MGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of MGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member NONMGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of NONMGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member job_ANY declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of job_ANY: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enum job declared with members { MGR, NONMGR, job_ANY } but > specified with members { MALE, FEMALE, gender_ANY } > employee.lcl:7: Specification of job 46a103 > employee.c:12: Array fetch using non-integer, void *: e->name[0] 48a106,108 > employee.c: (in function employee_equal) > employee.c:27: Comparison of pointer and numeric (int, void *): > strncmp(e1->name, e2->name, maxEmployeeName) == 0 78a139,151 > dbase.c: (in function hire) > dbase.c:91: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == job_ANY > dbase.c:94: Comparison of pointer and numeric (int, void *): e.salary < 0 > dbase.c: (in function uncheckedHire) > dbase.c:112: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR > dbase.c:117: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR > dbase.c: (in function promote) > dbase.c:160: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > dbase.c: (in function setSalary) > dbase.c:182: Comparison of pointer and numeric (int, void *): sal < 0 79a153,155 > drive.c:37: Comparison of pointer and numeric (int, void *): > empset_size(em1) == 0 > drive.c:47: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 81a158 > drive.c:63: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 83a161 > drive.c:81: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 85a164,167 > drive.c:107: Array fetch using non-integer, void *: na[0] > drive.c:118: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > e.j = NONMGR > drive.c:118: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR 91a174,175 > drive.c:136: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = job_ANY 94a179,180 > drive.c:145: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = NONMGR 110c196,242 < Finished checking --- 25 code warnings, as expected --- > Finished checking --- 46 code warnings, expected 25 > Makefile:25: recipe for target 'check' failed > > employee.lh:12: Enumerator member MGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of MGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member NONMGR declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of NONMGR: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enumerator member job_ANY declared with inconsistent type: > enum { MGR, NONMGR, job_ANY } > employee.lcl:7: Specification of job_ANY: enum { MALE, FEMALE, gender_ANY } > employee.lh:12: Enum job declared with members { MGR, NONMGR, job_ANY } but > specified with members { MALE, FEMALE, gender_ANY } > employee.lcl:7: Specification of job > employee.c: (in function employee_setName) > employee.c:12: Array fetch using non-integer, void *: e->name[0] > employee.c: (in function employee_equal) > employee.c:27: Comparison of pointer and numeric (int, void *): > strncmp(e1->name, e2->name, maxEmployeeName) == 0 > dbase.c: (in function hire) > dbase.c:91: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == job_ANY > dbase.c:94: Comparison of pointer and numeric (int, void *): e.salary < 0 > dbase.c: (in function uncheckedHire) > dbase.c:112: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR > dbase.c:117: Operands of == have incompatible types (job, enum { MALE, FEMALE, > gender_ANY }): e.j == MGR > dbase.c: (in function promote) > dbase.c:160: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > dbase.c: (in function setSalary) > dbase.c:182: Comparison of pointer and numeric (int, void *): sal < 0 > drive.c: (in function main) > drive.c:37: Comparison of pointer and numeric (int, void *): > empset_size(em1) == 0 > drive.c:47: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:63: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:81: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:107: Array fetch using non-integer, void *: na[0] > drive.c:118: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > e.j = NONMGR > drive.c:118: Assignment of enum { MALE, FEMALE, gender_ANY } to job: e.j = MGR > drive.c:136: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = job_ANY > drive.c:145: Assignment of enum { MALE, FEMALE, gender_ANY } to job: > q.j = NONMGR 112c244,245 < Finished checking --- no warnings --- > Finished checking --- 21 code warnings > Makefile:25: recipe for target 'check' failed *** FAIL *** Checking db3... 1a2,15 > employee.lh:12: Enumerator member MGR declared with inconsistent type: > enum { MGR, NONMGR, JOB_UNKNOWN } > employee.lcl:7: Specification of MGR: enum { MALE, FEMALE, GENDER_UNKNOWN } > employee.lh:12: Enumerator member NONMGR declared with inconsistent type: > enum { MGR, NONMGR, JOB_UNKNOWN } > employee.lcl:7: Specification of NONMGR: > enum { MALE, FEMALE, GENDER_UNKNOWN } > employee.lh:12: Enumerator member JOB_UNKNOWN declared with inconsistent type: > enum { MGR, NONMGR, JOB_UNKNOWN } > employee.lcl:7: Specification of JOB_UNKNOWN: > enum { MALE, FEMALE, GENDER_UNKNOWN } > employee.lh:12: Enum job declared with members { MGR, NONMGR, JOB_UNKNOWN } but > specified with members { MALE, FEMALE, GENDER_UNKNOWN } > employee.lcl:7: Specification of job 4a19,29 > dbase.c: (in function db_hire) > dbase.c:110: Operands of == have incompatible types (job, enum { MALE, FEMALE, > GENDER_UNKNOWN }): e.j == JOB_UNKNOWN > dbase.c: (in function db_uncheckedHire) > dbase.c:139: Operands of == have incompatible types (job, enum { MALE, FEMALE, > GENDER_UNKNOWN }): e.j == MGR > dbase.c:150: Operands of == have incompatible types (job, enum { MALE, FEMALE, > GENDER_UNKNOWN }): e.j == MGR > dbase.c: (in function db_promote) > dbase.c:202: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 5a31,32 > drive.c:49: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 7a35,36 > drive.c:65: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 9a39,40 > drive.c:83: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 11a43,46 > drive.c:131: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = NONMGR > drive.c:135: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 13a49,52 > drive.c:157: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > q.j = JOB_UNKNOWN > drive.c:167: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > q.j = NONMGR 19c58,59 < incondefs 0 1 --- > incondefs 3 19 > matchfields 1 0 23a64 > type 11 0 26c67 < Total 5 64 --- > Total 20 82 28c69,70 < Finished checking --- 5 code warnings, as expected --- > Finished checking --- 20 code warnings, expected 5 > Makefile:26: recipe for target 'check' failed 29a72,85 > employee.lh:12: Enumerator member MGR declared with inconsistent type: > enum { MGR, NONMGR, JOB_UNKNOWN } > employee.lcl:7: Specification of MGR: enum { MALE, FEMALE, GENDER_UNKNOWN } > employee.lh:12: Enumerator member NONMGR declared with inconsistent type: > enum { MGR, NONMGR, JOB_UNKNOWN } > employee.lcl:7: Specification of NONMGR: > enum { MALE, FEMALE, GENDER_UNKNOWN } > employee.lh:12: Enumerator member JOB_UNKNOWN declared with inconsistent type: > enum { MGR, NONMGR, JOB_UNKNOWN } > employee.lcl:7: Specification of JOB_UNKNOWN: > enum { MALE, FEMALE, GENDER_UNKNOWN } > employee.lh:12: Enum job declared with members { MGR, NONMGR, JOB_UNKNOWN } but > specified with members { MALE, FEMALE, GENDER_UNKNOWN } > employee.lcl:7: Specification of job 70a127,137 > dbase.c: (in function db_hire) > dbase.c:110: Operands of == have incompatible types (job, enum { MALE, FEMALE, > GENDER_UNKNOWN }): e.j == JOB_UNKNOWN > dbase.c: (in function db_uncheckedHire) > dbase.c:139: Operands of == have incompatible types (job, enum { MALE, FEMALE, > GENDER_UNKNOWN }): e.j == MGR > dbase.c:150: Operands of == have incompatible types (job, enum { MALE, FEMALE, > GENDER_UNKNOWN }): e.j == MGR > dbase.c: (in function db_promote) > dbase.c:202: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 83a151,152 > drive.c:49: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 89a159,160 > drive.c:65: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 95a167,168 > drive.c:83: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 113a187,190 > drive.c:131: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = NONMGR > drive.c:135: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > e.j = MGR 126a204,205 > drive.c:157: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > q.j = JOB_UNKNOWN 137a217,218 > drive.c:167: Assignment of enum { MALE, FEMALE, GENDER_UNKNOWN } to job: > q.j = NONMGR 158c239,240 < incondefs 0 1 --- > incondefs 3 19 > matchfields 1 0 165a248 > type 11 0 168c251 < Total 82 64 --- > Total 97 82 170c253,254 < Finished checking --- 82 code warnings, as expected --- > Finished checking --- 97 code warnings, expected 82 > Makefile:26: recipe for target 'check' failed *** FAIL *** make[2]: Leaving directory '/<>/splint-3.1.2+dfsg/test' make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel dh_auto_install -a -O--no-parallel make -j1 install DESTDIR=/<>/splint-3.1.2\+dfsg/debian/tmp AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/<>/splint-3.1.2+dfsg' Making install in src make[2]: Entering directory '/<>/splint-3.1.2+dfsg/src' make install-am make[3]: Entering directory '/<>/splint-3.1.2+dfsg/src' make[4]: Entering directory '/<>/splint-3.1.2+dfsg/src' /bin/mkdir -p '/<>/splint-3.1.2+dfsg/debian/tmp/usr/bin' /usr/bin/install -c splint '/<>/splint-3.1.2+dfsg/debian/tmp/usr/bin' make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/<>/splint-3.1.2+dfsg/src' make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/src' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg/src' Making install in lib make[2]: Entering directory '/<>/splint-3.1.2+dfsg/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings make[3]: Entering directory '/<>/splint-3.1.2+dfsg/lib' make[3]: Nothing to be done for 'install-exec-am'. ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 05 Sep 2017 Finished checking --- no warnings /bin/mkdir -p '/<>/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/lib' /usr/bin/install -c -m 644 standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h file.mts file.xh filerw.mts filerw.xh lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh stdio.h stdlib.h '/<>/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/lib' make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/lib' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg/lib' Making install in imports make[2]: Entering directory '/<>/splint-3.1.2+dfsg/imports' make[3]: Entering directory '/<>/splint-3.1.2+dfsg/imports' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/<>/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/imports' /usr/bin/install -c -m 644 assert.lcl assert.lcs ctype.lcl ctype.lcs errno.lcl errno.lcs limits.lcl limits.lcs locale.lcl locale.lcs math.lcl math.lcs setjmp.lcl setjmp.lcs signal.lcl signal.lcs stdarg.lcl stdarg.lcs stdio.lcl stdio.lcs stdlib.lcl stdlib.lcs string.lcl string.lcs strings.lcl strings.lcs time.lcl time.lcs '/<>/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/imports' make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/imports' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg/imports' Making install in test make[2]: Entering directory '/<>/splint-3.1.2+dfsg/test' make[3]: Entering directory '/<>/splint-3.1.2+dfsg/test' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/test' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg/test' Making install in doc make[2]: Entering directory '/<>/splint-3.1.2+dfsg/doc' make[3]: Entering directory '/<>/splint-3.1.2+dfsg/doc' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/<>/splint-3.1.2+dfsg/debian/tmp/usr/share/man/man1' /usr/bin/install -c -m 644 splint.1 '/<>/splint-3.1.2+dfsg/debian/tmp/usr/share/man/man1' make[3]: Leaving directory '/<>/splint-3.1.2+dfsg/doc' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg/doc' make[2]: Entering directory '/<>/splint-3.1.2+dfsg' make[3]: Entering directory '/<>/splint-3.1.2+dfsg' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/<>/splint-3.1.2+dfsg' make[2]: Leaving directory '/<>/splint-3.1.2+dfsg' make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' debian/rules override_dh_install make[1]: Entering directory '/<>/splint-3.1.2+dfsg' dh_install -psplint-data -X.lcd -XMakefile dh_install: No packages to build. Architecture mismatch: s390x, want: all any dh_install --remaining-packages make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' dh_installdocs -a -O--no-parallel debian/rules override_dh_installchangelogs make[1]: Entering directory '/<>/splint-3.1.2+dfsg' dh_installchangelogs doc/changes.html make[1]: Leaving directory '/<>/splint-3.1.2+dfsg' dh_installexamples -a -O--no-parallel dh_installman -a -O--no-parallel dh_lintian -a -O--no-parallel dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel dh_compress -a -O--no-parallel dh_fixperms -a -O--no-parallel dh_missing -a -O--no-parallel dh_strip -a -O--no-parallel dh_makeshlibs -a -O--no-parallel dh_shlibdeps -a -O--no-parallel dh_installdeb -a -O--no-parallel dh_gencontrol -a -O--no-parallel dh_md5sums -a -O--no-parallel dh_builddeb -a -O--no-parallel INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 pkgstriptranslations: processing splint-dbgsym (in debian/.debhelper/splint/dbgsym-root); do_strip: , oemstrip: pkgstriptranslations: processing splint (in debian/splint); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/splint/dbgsym-root/DEBIAN/control, package splint-dbgsym, directory debian/.debhelper/splint/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package splint-dbgsym ... pkgstripfiles: No PNG files. pkgstripfiles: processing control file: debian/splint/DEBIAN/control, package splint, directory debian/splint dpkg-deb: building package 'splint-dbgsym' in 'debian/.debhelper/scratch-space/build-splint/splint-dbgsym_3.1.2+dfsg-1_s390x.deb'. .. removing usr/share/doc/splint/changelog.html.gz .. removing usr/share/doc/splint/changelog.gz pkgstripfiles: Truncating usr/share/doc/splint/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package splint ... pkgstripfiles: No PNG files. dpkg-deb: building package 'splint' in '../splint_3.1.2+dfsg-1_s390x.deb'. Renaming splint-dbgsym_3.1.2+dfsg-1_s390x.deb to splint-dbgsym_3.1.2+dfsg-1_s390x.ddeb dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../splint_3.1.2+dfsg-1_s390x.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build splint-3.1.2+dfsg dpkg-source: info: using options from splint-3.1.2+dfsg/debian/source/options: --no-unapply-patches dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20171101-2352 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ splint_3.1.2+dfsg-1_s390x.changes: ---------------------------------- Format: 1.8 Date: Tue, 05 Sep 2017 16:29:16 +1000 Source: splint Binary: splint splint-data splint-doc-html Architecture: s390x Version: 1:3.1.2+dfsg-1 Distribution: bionic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Carlos Maddela Description: splint - tool for statically checking C programs for bugs splint-data - tool for statically checking C programs for bugs - data files splint-doc-html - tool for statically checking C programs for bugs - HTML documenta Closes: 369264 462375 473595 476228 498345 510821 548122 548768 569928 601424 675025 680121 775917 Changes: splint (1:3.1.2+dfsg-1) unstable; urgency=medium . * QA upload. * Fix VCS URLs in debian/control file. * Increment Debhelper compatibility level to 10. * Suppress Lintian warning: debian-watch-may-check-gpg-signature. * Remove obsolete file: debian/README.source. * Build with all hardening flags set. * debian/control: Fix splint-data's relationship to previous versions. * Convert patch headers to DEP-3 format compatible with gbp. * Update autoconf patches to work only on files not automatically generated. * Do not automatically un-apply patches so that clean is done properly. * Fix clean up rule in test/db3/Makefile. * Perform wrap and sort on all Debian control files. * Fix spelling mistakes in source and documentation. * Fix possible privacy breach issues in documentation. * Fix autoconf and automake warnings. * Force non-parallel builds, since parallel builds don't complete reliably. * Do not capture build path, host name or user name to make builds fully reproducible. * Convert debian/copyright file to DEP-5 format and update. * Update rules for creating DFSG upstream tarballs. This is so that we can correct the package's versioning, by replacing the appended .dfsg* with +dfsg* instead. The image file, doc/html/glowingwall-narrows.jpg, has also been included for the documentation package, and XZ compression is now used. * Remove superfluous duplication of tests. * Try to separate arch-specific and -independent rules. * Add doc-base registration for HTML documentation. In addition, standardise file extensions of all HTML files, and provide convenience links to them from the main package. (Closes: #548122) * Fix segmentation fault. (Closes: #775917) * Cherry-pick unreleased fix for parsing unary plus. (Closes: #462375) * Cherry-pick unreleased fix for "hh" printf modifier support. (Closes: #510821) * Cherry-pick unreleased upstream fix in order to handle C99-style mixing of statements and declarations. (Closes: #369264) * Update 03_359894_VA_ARGS.patch to the one applied upstream. The patch applied upstream also adds a check for +gnuextensions. * Cherry-pick other relevant unreleased upstream changes, so that we're fully up-to-date with "CVS" upstream. * Backup and restore mutable files for idempotent builds. * Add multiarch include path to standard include search paths. (Closes: #675025) * Fix names of timespec members. (Closes: #680121) * Fix Internal Bug at cscannerHelp.c:2428. (Closes: #473595, #476228, #498345, #548768, #569928, #601424) * debian/control: Fix splint-doc-html's relationship to prior versions of splint. * For build reproducibility, move *.lcd files to the main package as they contain architecture-specific information. * Move man page to main package to avoid Lintian warnings when building architecture-specific package alone. * Add LFS support to 32-bit architectures. * Indicate compliance with Debian Policy 4.1.0. Checksums-Sha1: c582ba8de671d0eb6f31e510c307f7b44a21d72c 2033680 splint-dbgsym_3.1.2+dfsg-1_s390x.ddeb bae6dfa91840bb25e9e57329ac25cb739e215a55 4825 splint_3.1.2+dfsg-1_s390x.buildinfo 5d963b70d341c1a901b3ba55c34ea44afcd1f28a 613176 splint_3.1.2+dfsg-1_s390x.deb Checksums-Sha256: 18614d2078b9f1c8cce34cd31826b9d415898e1b00ab46b02e68ddb8c4ea0eba 2033680 splint-dbgsym_3.1.2+dfsg-1_s390x.ddeb 76ee69ac454d314337c672240e704608ad13fe3f1a6caf5cc5aaf498e9f9d119 4825 splint_3.1.2+dfsg-1_s390x.buildinfo f02ee23db569bb50b42daaf1bc5647cb0e3ab9e5c451ee48e731c8325b490e1d 613176 splint_3.1.2+dfsg-1_s390x.deb Files: 0b732b7ec907347a6e44c5f93df6f083 2033680 debug optional splint-dbgsym_3.1.2+dfsg-1_s390x.ddeb 62a860f89f2df0e4cafdc66d7a2d4ffc 4825 devel optional splint_3.1.2+dfsg-1_s390x.buildinfo 69bd0591801001ac2ec2f16c0bbdeb45 613176 devel optional splint_3.1.2+dfsg-1_s390x.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ splint_3.1.2+dfsg-1_s390x.deb ----------------------------- new debian package, version 2.0. size 613176 bytes: control archive=1600 bytes. 1641 bytes, 34 lines control 1056 bytes, 15 lines md5sums Package: splint Version: 1:3.1.2+dfsg-1 Architecture: s390x Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Installed-Size: 2375 Depends: splint-data (= 1:3.1.2+dfsg-1), libc6 (>= 2.7) Suggests: splint-doc-html Breaks: splint-data (<< 1:3.1.2+dfsg-1) Replaces: splint-data (<< 1:3.1.2+dfsg-1) Section: devel Priority: optional Multi-Arch: foreign Homepage: http://www.splint.org/ Description: tool for statically checking C programs for bugs splint is an annotation-assisted lightweight static checker. It is a tool for statically checking C programs for security vulnerabilities and coding mistakes. If additional effort is invested in adding annotations to programs, splint can perform stronger checking. . splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases. Problems detected by Splint include: . * Dereferencing a possibly null pointer * Using or returning storage that is undefined or not properly defined * Type mismatches, with greater precision and flexibility than by C compilers * Memory management errors like use of dangling references and memory leaks * Inconsistent (with specified interface) global variable modification or use * Problematic control flow such as likely infinite loops etc. * Buffer overflow vulnerabilities * Dangerous macro implementations or invocations * Violations of customized naming conventions drwxr-xr-x root/root 0 2017-09-05 06:29 ./ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/bin/ -rwxr-xr-x root/root 1978760 2017-09-05 06:29 ./usr/bin/splint drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/doc/splint/ -rw-r--r-- root/root 2983 2017-09-05 06:29 ./usr/share/doc/splint/changelog.Debian.gz -rw-r--r-- root/root 26604 2017-09-03 18:32 ./usr/share/doc/splint/copyright drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/doc/splint/examples/ -rw-r--r-- root/root 1338 2017-03-25 21:00 ./usr/share/doc/splint/examples/dbacl.splintrc -rw-r--r-- root/root 2842 2017-03-25 21:00 ./usr/share/doc/splint/examples/linux-2.4.23.txt.gz -rw-r--r-- root/root 1041 2017-03-25 21:00 ./usr/share/doc/splint/examples/rtai.splintrc -rw-r--r-- root/root 1321 2017-03-25 21:00 ./usr/share/doc/splint/examples/splint.splintrc drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/lintian/ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 89 2017-03-25 21:00 ./usr/share/lintian/overrides/splint drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/man/ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/man/man1/ -rw-r--r-- root/root 3365 2017-09-05 06:29 ./usr/share/man/man1/splint.1.gz drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/splint/ drwxr-xr-x root/root 0 2017-09-05 06:29 ./usr/share/splint/lib/ -rw-r--r-- root/root 52518 2017-09-05 06:29 ./usr/share/splint/lib/posix.lcd -rw-r--r-- root/root 51845 2017-09-05 06:29 ./usr/share/splint/lib/posixstrict.lcd -rw-r--r-- root/root 35996 2017-09-05 06:29 ./usr/share/splint/lib/standard.lcd -rw-r--r-- root/root 35240 2017-09-05 06:29 ./usr/share/splint/lib/standardstrict.lcd -rw-r--r-- root/root 102035 2017-09-05 06:29 ./usr/share/splint/lib/unix.lcd -rw-r--r-- root/root 101199 2017-09-05 06:29 ./usr/share/splint/lib/unixstrict.lcd +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: s390x Build-Space: 69552 Build-Time: 66 Distribution: bionic-proposed Host Architecture: s390x Install-Time: 14 Job: splint_3.1.2+dfsg-1.dsc Machine Architecture: s390x Package: splint Package-Time: 81 Source-Version: 1:3.1.2+dfsg-1 Space: 69552 Status: successful Version: 1:3.1.2+dfsg-1 -------------------------------------------------------------------------------- Finished at 20171101-2352 Build needed 00:01:21, 69552k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 Scanning for processes to kill in build PACKAGEBUILD-13663328 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 Stopping target for build PACKAGEBUILD-13663328 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=bionic --arch=s390x PACKAGEBUILD-13663328 Removing build PACKAGEBUILD-13663328