I: pbuilder: network access will be disabled during build I: Current time: Fri Jul 17 12:43:14 -12 2020 I: pbuilder-time-stamp: 1595032994 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [splint_3.1.2+dfsg-1.dsc] I: copying [./splint_3.1.2+dfsg.orig.tar.xz] I: copying [./splint_3.1.2+dfsg-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Tue Sep 5 02:25:50 2017 -12 gpgv: using RSA key FD9CE2D8D7754B78AB279BBD2C3B436FEAC68101 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: using patch list from debian/patches/series 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 I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/26648/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3' DISTRIBUTION='' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='dd5be9384c324fa194ef65648490435e' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='26648' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.rehPzl1sQF/pbuilderrc_DD2Y --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.rehPzl1sQF/b1 --logfile b1/build.log splint_3.1.2+dfsg-1.dsc' SUDO_GID='114' SUDO_UID='109' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:8000/' I: uname -a Linux odu3a 4.19.0-9-armmp #1 SMP Debian 4.19.118-2+deb10u1 (2020-06-07) armv7l GNU/Linux I: ls -l /bin total 3328 -rwxr-xr-x 1 root root 767656 Apr 17 2019 bash -rwxr-xr-x 3 root root 26052 Jul 10 2019 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzip2 -rwxr-xr-x 1 root root 9636 Jul 10 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore -rwxr-xr-x 1 root root 22432 Feb 28 2019 cat -rwxr-xr-x 1 root root 38868 Feb 28 2019 chgrp -rwxr-xr-x 1 root root 38836 Feb 28 2019 chmod -rwxr-xr-x 1 root root 42972 Feb 28 2019 chown -rwxr-xr-x 1 root root 88376 Feb 28 2019 cp -rwxr-xr-x 1 root root 75516 Jan 17 2019 dash -rwxr-xr-x 1 root root 71648 Feb 28 2019 date -rwxr-xr-x 1 root root 51212 Feb 28 2019 dd -rwxr-xr-x 1 root root 55672 Feb 28 2019 df -rwxr-xr-x 1 root root 88444 Feb 28 2019 dir -rwxr-xr-x 1 root root 54872 Jan 9 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname -rwxr-xr-x 1 root root 22364 Feb 28 2019 echo -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep -rwxr-xr-x 1 root root 18260 Feb 28 2019 false -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep -rwxr-xr-x 1 root root 47356 Jan 9 2019 findmnt -rwsr-xr-x 1 root root 21980 Apr 22 07:38 fusermount -rwxr-xr-x 1 root root 124508 Jan 7 2019 grep -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe -rwxr-xr-x 1 root root 64232 Jan 5 2019 gzip -rwxr-xr-x 1 root root 13784 Sep 26 2018 hostname -rwxr-xr-x 1 root root 43044 Feb 28 2019 ln -rwxr-xr-x 1 root root 34932 Jul 26 2018 login -rwxr-xr-x 1 root root 88444 Feb 28 2019 ls -rwxr-xr-x 1 root root 67036 Jan 9 2019 lsblk -rwxr-xr-x 1 root root 47168 Feb 28 2019 mkdir -rwxr-xr-x 1 root root 43040 Feb 28 2019 mknod -rwxr-xr-x 1 root root 26552 Feb 28 2019 mktemp -rwxr-xr-x 1 root root 26024 Jan 9 2019 more -rwsr-xr-x 1 root root 34268 Jan 9 2019 mount -rwxr-xr-x 1 root root 9688 Jan 9 2019 mountpoint -rwxr-xr-x 1 root root 84284 Feb 28 2019 mv lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 22416 Feb 28 2019 pwd lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash -rwxr-xr-x 1 root root 26504 Feb 28 2019 readlink -rwxr-xr-x 1 root root 42968 Feb 28 2019 rm -rwxr-xr-x 1 root root 26496 Feb 28 2019 rmdir -rwxr-xr-x 1 root root 14136 Jan 21 2019 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Jul 15 20:26 sh -> dash -rwxr-xr-x 1 root root 22384 Feb 28 2019 sleep -rwxr-xr-x 1 root root 51124 Feb 28 2019 stty -rwsr-xr-x 1 root root 42472 Jan 9 2019 su -rwxr-xr-x 1 root root 22392 Feb 28 2019 sync -rwxr-xr-x 1 root root 283324 Apr 23 2019 tar -rwxr-xr-x 1 root root 9808 Jan 21 2019 tempfile -rwxr-xr-x 1 root root 63464 Feb 28 2019 touch -rwxr-xr-x 1 root root 18260 Feb 28 2019 true -rwxr-xr-x 1 root root 9636 Apr 22 07:38 ulockmgr_server -rwsr-xr-x 1 root root 21976 Jan 9 2019 umount -rwxr-xr-x 1 root root 22380 Feb 28 2019 uname -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress -rwxr-xr-x 1 root root 88444 Feb 28 2019 vdir -rwxr-xr-x 1 root root 21980 Jan 9 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 21 2019 which lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew I: user script /srv/workspace/pbuilder/26648/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 10), libfl-dev Conflicts: bison, bison++ dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 10); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on libfl-dev; however: Package libfl-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} flex{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbsd0{a} libcroco3{a} libelf1{a} libfile-stripnondeterminism-perl{a} libfl-dev{a} libfl2{a} libglib2.0-0{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libpipeline1{a} libsigsegv2{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 36 newly installed, 0 to remove and 0 not upgraded. Need to get 18.9 MB of archives. After unpacking 64.9 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main armhf libbsd0 armhf 0.9.1-2 [103 kB] Get: 2 http://deb.debian.org/debian buster/main armhf bsdmainutils armhf 11.1.2+b1 [186 kB] Get: 3 http://deb.debian.org/debian buster/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB] Get: 4 http://deb.debian.org/debian buster/main armhf groff-base armhf 1.22.4-3 [828 kB] Get: 5 http://deb.debian.org/debian buster/main armhf libpipeline1 armhf 1.5.1-2 [26.8 kB] Get: 6 http://deb.debian.org/debian buster/main armhf man-db armhf 2.8.5-2 [1240 kB] Get: 7 http://deb.debian.org/debian buster/main armhf libsigsegv2 armhf 2.12-2 [32.1 kB] Get: 8 http://deb.debian.org/debian buster/main armhf m4 armhf 1.4.18-2 [190 kB] Get: 9 http://deb.debian.org/debian buster/main armhf flex armhf 2.6.4-6.2 [438 kB] Get: 10 http://deb.debian.org/debian buster/main armhf sensible-utils all 0.0.12 [15.8 kB] Get: 11 http://deb.debian.org/debian buster/main armhf libmagic-mgc armhf 1:5.35-4+deb10u1 [242 kB] Get: 12 http://deb.debian.org/debian buster/main armhf libmagic1 armhf 1:5.35-4+deb10u1 [110 kB] Get: 13 http://deb.debian.org/debian buster/main armhf file armhf 1:5.35-4+deb10u1 [65.5 kB] Get: 14 http://deb.debian.org/debian buster/main armhf gettext-base armhf 0.19.8.1-9 [118 kB] Get: 15 http://deb.debian.org/debian buster/main armhf autoconf all 2.69-11 [341 kB] Get: 16 http://deb.debian.org/debian buster/main armhf autotools-dev all 20180224.1 [77.0 kB] Get: 17 http://deb.debian.org/debian buster/main armhf automake all 1:1.16.1-4 [771 kB] Get: 18 http://deb.debian.org/debian buster/main armhf autopoint all 0.19.8.1-9 [434 kB] Get: 19 http://deb.debian.org/debian buster/main armhf libtool all 2.4.6-9 [547 kB] Get: 20 http://deb.debian.org/debian buster/main armhf dh-autoreconf all 19 [16.9 kB] Get: 21 http://deb.debian.org/debian buster/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 22 http://deb.debian.org/debian buster/main armhf libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 23 http://deb.debian.org/debian buster/main armhf dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 24 http://deb.debian.org/debian buster/main armhf libelf1 armhf 0.176-1.1 [158 kB] Get: 25 http://deb.debian.org/debian buster/main armhf dwz armhf 0.12-3 [72.0 kB] Get: 26 http://deb.debian.org/debian buster/main armhf libglib2.0-0 armhf 2.58.3-2+deb10u2 [1101 kB] Get: 27 http://deb.debian.org/debian buster/main armhf libicu63 armhf 63.1-6+deb10u1 [8005 kB] Get: 28 http://deb.debian.org/debian buster/main armhf libxml2 armhf 2.9.4+dfsg1-7+b3 [595 kB] Get: 29 http://deb.debian.org/debian buster/main armhf libcroco3 armhf 0.6.12-3 [133 kB] Get: 30 http://deb.debian.org/debian buster/main armhf libncurses6 armhf 6.1+20181013-2+deb10u2 [79.8 kB] Get: 31 http://deb.debian.org/debian buster/main armhf gettext armhf 0.19.8.1-9 [1242 kB] Get: 32 http://deb.debian.org/debian buster/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 33 http://deb.debian.org/debian buster/main armhf po-debconf all 1.0.21 [248 kB] Get: 34 http://deb.debian.org/debian buster/main armhf debhelper all 12.1.1 [1016 kB] Get: 35 http://deb.debian.org/debian buster/main armhf libfl2 armhf 2.6.4-6.2 [103 kB] Get: 36 http://deb.debian.org/debian buster/main armhf libfl-dev armhf 2.6.4-6.2 [104 kB] Fetched 18.9 MB in 3s (5437 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armhf. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_armhf.deb ... Unpacking libbsd0:armhf (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_armhf.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../02-libuchardet0_0.0.6-3_armhf.deb ... Unpacking libuchardet0:armhf (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_armhf.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../04-libpipeline1_1.5.1-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_armhf.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../06-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../07-m4_1.4.18-2_armhf.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package flex. Preparing to unpack .../08-flex_2.6.4-6.2_armhf.deb ... Unpacking flex (2.6.4-6.2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../09-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../10-libmagic-mgc_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../11-libmagic1_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic1:armhf (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../12-file_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../13-gettext-base_0.19.8.1-9_armhf.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../23-libelf1_0.176-1.1_armhf.deb ... Unpacking libelf1:armhf (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.12-3_armhf.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../25-libglib2.0-0_2.58.3-2+deb10u2_armhf.deb ... Unpacking libglib2.0-0:armhf (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:armhf. Preparing to unpack .../26-libicu63_63.1-6+deb10u1_armhf.deb ... Unpacking libicu63:armhf (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../27-libxml2_2.9.4+dfsg1-7+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../28-libcroco3_0.6.12-3_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../29-libncurses6_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses6:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../30-gettext_0.19.8.1-9_armhf.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../31-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../32-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../33-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Selecting previously unselected package libfl2:armhf. Preparing to unpack .../34-libfl2_2.6.4-6.2_armhf.deb ... Unpacking libfl2:armhf (2.6.4-6.2) ... Selecting previously unselected package libfl-dev:armhf. Preparing to unpack .../35-libfl-dev_2.6.4-6.2_armhf.deb ... Unpacking libfl-dev:armhf (2.6.4-6.2) ... Setting up libpipeline1:armhf (1.5.1-2) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:armhf (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:armhf (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libicu63:armhf (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libncurses6:armhf (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up libfl2:armhf (2.6.4-6.2) ... Setting up sensible-utils (0.0.12) ... Setting up libuchardet0:armhf (0.0.6-3) ... Setting up libbsd0:armhf (0.9.1-2) ... Setting up libelf1:armhf (0.176-1.1) ... Setting up libxml2:armhf (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libtool (2.4.6-9) ... Setting up m4 (1.4.18-2) ... Setting up bsdmainutils (11.1.2+b1) ... 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 libcroco3:armhf (0.6.12-3) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up flex (2.6.4-6.2) ... Setting up gettext (0.19.8.1-9) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libfl-dev:armhf (2.6.4-6.2) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/splint-3.1.2+dfsg/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package splint dpkg-buildpackage: info: source version 1:3.1.2+dfsg-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Carlos Maddela dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf 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 '/build/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 '/build/splint-3.1.2+dfsg' debian/rules build dh build --no-parallel debian/rules override_dh_update_autotools_config make[1]: Entering directory '/build/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 '/build/splint-3.1.2+dfsg' dh_autoreconf -O--no-parallel configure.ac:26: installing 'config/compile' debian/rules override_dh_auto_configure-arch make[1]: Entering directory '/build/splint-3.1.2+dfsg' dh_auto_configure -a ./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --libexecdir=\${prefix}/lib/arm-linux-gnueabihf --disable-maintainer-mode --disable-dependency-tracking configure: WARNING: unrecognized options: --disable-maintainer-mode checking build system type... arm-unknown-linux-gnueabihf checking host system type... arm-unknown-linux-gnueabihf checking target system type... arm-unknown-linux-gnueabihf 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 whether make supports the include directive... yes (GNU style) 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 '/build/splint-3.1.2+dfsg' dh_auto_build -O--no-parallel -Nsplint-data -Nsplint-doc-html make -j1 make[1]: Entering directory '/build/splint-3.1.2+dfsg' make all-recursive make[2]: Entering directory '/build/splint-3.1.2+dfsg' Making all in src make[3]: Entering directory '/build/splint-3.1.2+dfsg/src' grep "FLG_" flags.def > Headers/flag_codes.gen make make[4]: Entering directory '/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab.c usymtab.c: In function 'usymtab_load': usymtab.c:2039:14: 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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/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 -D_FILE_OFFSET_BITS=64 -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mapping.c gcc -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -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 '/build/splint-3.1.2+dfsg/src' make[5]: Nothing to be done for 'all-am'. make[5]: Leaving directory '/build/splint-3.1.2+dfsg/src' make[4]: Leaving directory '/build/splint-3.1.2+dfsg/src' cd ../lib; make make[4]: Entering directory '/build/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 '/build/splint-3.1.2+dfsg/lib' make all-am make[4]: Entering directory '/build/splint-3.1.2+dfsg/src' make[4]: Nothing to be done for 'all-am'. make[4]: Leaving directory '/build/splint-3.1.2+dfsg/src' make[3]: Leaving directory '/build/splint-3.1.2+dfsg/src' Making all in lib make[3]: Entering directory '/build/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 '/build/splint-3.1.2+dfsg/lib' Making all in imports make[3]: Entering directory '/build/splint-3.1.2+dfsg/imports' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/splint-3.1.2+dfsg/imports' Making all in test make[3]: Entering directory '/build/splint-3.1.2+dfsg/test' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/splint-3.1.2+dfsg/test' Making all in doc make[3]: Entering directory '/build/splint-3.1.2+dfsg/doc' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/splint-3.1.2+dfsg/doc' make[3]: Entering directory '/build/splint-3.1.2+dfsg' make[3]: Leaving directory '/build/splint-3.1.2+dfsg' make[2]: Leaving directory '/build/splint-3.1.2+dfsg' make[1]: Leaving directory '/build/splint-3.1.2+dfsg' debian/rules override_dh_auto_test-arch make[1]: Entering directory '/build/splint-3.1.2+dfsg' dh_auto_test -a -- -C test make -j1 check VERBOSE=1 -C test make[2]: Entering directory '/build/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 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security Splint 3.1.2 --- 05 Sep 2017 LARCH_PATH = .:/build/splint-3.1.2+dfsg/lib --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = .:/build/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... Checking arraydims... Checking arrayinit... Checking arraylit... Checking blocks... Checking break... Checking cases... Checking cast... Checking chararraylit... Checking charlit... Checking clauses... Checking commentchar... Checking compdestroy... Checking compoundliterals... Checking compoundstmt... Checking condifomit... Checking constannot... Checking controldepth... Checking csyntax... Checking czechnames... Checking czechoslovaknames... Checking deadparam... Checking decl... Checking divzero... Checking enum... Checking enumtag... Checking exports... Checking external... Checking fields... Checking flags... Checking forbody... Checking format... Checking freearray... Checking funcpointer... 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... 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... Checking release... Checking repexpose... Checking returned... Checking russian... Checking sharing... Checking shifts... Checking sizesigns... Checking slovaknames... Checking specclauses... Checking special... Checking stack... 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... Checking unused... Checking ullint... Checking utypes... 5a6,7 > < Location unknown >: Field name reused: > < Location unknown >: Previous use of 9c11 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 3 code warnings, expected 2 *** FAIL *** Checking void... Checking widestrings... Checking metastate... Checking mergestate... Checking tainted... Checking fileio... Checking simplebufferConstraintTests... Checking moreBufferTests... Checking moreBufferTests2... Checking globalbufferannotation... Checking maxset... Checking strchr... Checking sizeoftest... Checking for... Checking manual... Checking tests2.2... Checking tests2.4... Checking tests2.5... Checking db1... Checking db2... Checking db3... make[2]: Leaving directory '/build/splint-3.1.2+dfsg/test' make[1]: Leaving directory '/build/splint-3.1.2+dfsg' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary --no-parallel dh_testroot -O--no-parallel dh_prep -O--no-parallel dh_auto_install -O--no-parallel -Nsplint-data -Nsplint-doc-html make -j1 install DESTDIR=/build/splint-3.1.2\+dfsg/debian/tmp AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/splint-3.1.2+dfsg' Making install in src make[2]: Entering directory '/build/splint-3.1.2+dfsg/src' make install-am make[3]: Entering directory '/build/splint-3.1.2+dfsg/src' make[4]: Entering directory '/build/splint-3.1.2+dfsg/src' /bin/mkdir -p '/build/splint-3.1.2+dfsg/debian/tmp/usr/bin' /usr/bin/install -c splint '/build/splint-3.1.2+dfsg/debian/tmp/usr/bin' make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/splint-3.1.2+dfsg/src' make[3]: Leaving directory '/build/splint-3.1.2+dfsg/src' make[2]: Leaving directory '/build/splint-3.1.2+dfsg/src' Making install in lib make[2]: Entering directory '/build/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 '/build/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 '/build/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 '/build/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/lib' make[3]: Leaving directory '/build/splint-3.1.2+dfsg/lib' make[2]: Leaving directory '/build/splint-3.1.2+dfsg/lib' Making install in imports make[2]: Entering directory '/build/splint-3.1.2+dfsg/imports' make[3]: Entering directory '/build/splint-3.1.2+dfsg/imports' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/build/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 '/build/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/imports' make[3]: Leaving directory '/build/splint-3.1.2+dfsg/imports' make[2]: Leaving directory '/build/splint-3.1.2+dfsg/imports' Making install in test make[2]: Entering directory '/build/splint-3.1.2+dfsg/test' make[3]: Entering directory '/build/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 '/build/splint-3.1.2+dfsg/test' make[2]: Leaving directory '/build/splint-3.1.2+dfsg/test' Making install in doc make[2]: Entering directory '/build/splint-3.1.2+dfsg/doc' make[3]: Entering directory '/build/splint-3.1.2+dfsg/doc' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/build/splint-3.1.2+dfsg/debian/tmp/usr/share/man/man1' /usr/bin/install -c -m 644 splint.1 '/build/splint-3.1.2+dfsg/debian/tmp/usr/share/man/man1' make[3]: Leaving directory '/build/splint-3.1.2+dfsg/doc' make[2]: Leaving directory '/build/splint-3.1.2+dfsg/doc' make[2]: Entering directory '/build/splint-3.1.2+dfsg' make[3]: Entering directory '/build/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 '/build/splint-3.1.2+dfsg' make[2]: Leaving directory '/build/splint-3.1.2+dfsg' make[1]: Leaving directory '/build/splint-3.1.2+dfsg' debian/rules override_dh_install make[1]: Entering directory '/build/splint-3.1.2+dfsg' dh_install -psplint-data -X.lcd -XMakefile dh_install --remaining-packages make[1]: Leaving directory '/build/splint-3.1.2+dfsg' debian/rules override_dh_installdocs-indep make[1]: Entering directory '/build/splint-3.1.2+dfsg' dh_installdocs -i ( cd debian/splint-doc-html/usr/share/doc/splint-doc-html/html; \ mv manual.htm manual.html; mv realloc.htm realloc.html ) make[1]: Leaving directory '/build/splint-3.1.2+dfsg' dh_installdocs -O--no-parallel -Nsplint-data -Nsplint-doc-html debian/rules override_dh_installchangelogs make[1]: Entering directory '/build/splint-3.1.2+dfsg' dh_installchangelogs doc/changes.html make[1]: Leaving directory '/build/splint-3.1.2+dfsg' dh_installexamples -O--no-parallel dh_installman -O--no-parallel dh_systemd_enable -O--no-parallel dh_installinit -O--no-parallel dh_systemd_start -O--no-parallel dh_lintian -O--no-parallel dh_perl -O--no-parallel dh_link -O--no-parallel dh_strip_nondeterminism -O--no-parallel dh_compress -O--no-parallel dh_fixperms -O--no-parallel dh_missing -O--no-parallel dh_strip -O--no-parallel dh_makeshlibs -O--no-parallel dh_shlibdeps -O--no-parallel dh_installdeb -O--no-parallel dh_gencontrol -O--no-parallel dh_md5sums -O--no-parallel dh_builddeb -O--no-parallel dpkg-deb: building package 'splint-data' in '../splint-data_3.1.2+dfsg-1_all.deb'. dpkg-deb: building package 'splint' in '../splint_3.1.2+dfsg-1_armhf.deb'. dpkg-deb: building package 'splint-doc-html' in '../splint-doc-html_3.1.2+dfsg-1_all.deb'. dpkg-deb: building package 'splint-dbgsym' in '../splint-dbgsym_3.1.2+dfsg-1_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../splint_3.1.2+dfsg-1_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . 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) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/26648 and its subdirectories I: Current time: Fri Jul 17 12:53:13 -12 2020 I: pbuilder-time-stamp: 1595033593