RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux birch 3.8.0 #1 SMP Tue Oct 8 01:20:46 ICT 2013 aarch64 Buildd toolchain package versions: launchpad-buildd_119~APM.12.04.2 python-lpbuildd_119~APM.12.04.2. Syncing the system clock with the buildd NTP service... 24 Oct 17:48:16 ntpdate[13813]: adjust time server 10.211.37.1 offset -0.009664 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5125477', '/home/buildd/filecache-default/b26b22d5e9534fc8f0f6f99171885be7b2b8539d'] Unpacking chroot for build PACKAGEBUILD-5125477 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5125477'] Mounting chroot for build PACKAGEBUILD-5125477 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5125477', 'deb http://ftpmaster.internal/ubuntu trusty main universe'] Overriding sources.list in build-PACKAGEBUILD-5125477 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5125477', 'arm64'] Updating debian chroot for build PACKAGEBUILD-5125477 Ign http://ftpmaster.internal trusty InRelease Ign http://archive-team.internal trusty InRelease Get:1 http://ftpmaster.internal trusty Release.gpg [933 B] Ign http://archive-team.internal trusty Release.gpg Get:2 http://ftpmaster.internal trusty Release [49.6 kB] Hit http://archive-team.internal trusty Release Ign http://archive-team.internal trusty/main arm64 Packages/DiffIndex Get:3 http://ftpmaster.internal trusty/main arm64 Packages [1161 kB] Ign http://archive-team.internal trusty/main Translation-en Hit http://archive-team.internal trusty/main arm64 Packages Get:4 http://ftpmaster.internal trusty/universe arm64 Packages [4283 kB] Get:5 http://ftpmaster.internal trusty/main Translation-en [722 kB] Get:6 http://ftpmaster.internal trusty/universe Translation-en [3964 kB] Fetched 10.2 MB in 17s (585 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: busybox-initramfs kmod libdrm2 libkmod2 libldap-2.4-2 libmpfr4 libsqlite3-0 module-init-tools perl perl-base perl-modules upstart 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 10.9 MB of archives. After this operation, 2454 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! perl perl-base perl-modules libsqlite3-0 libdrm2 libkmod2 kmod module-init-tools libldap-2.4-2 libmpfr4 busybox-initramfs upstart Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main perl arm64 5.18.1-4 [3937 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main perl-base arm64 5.18.1-4 [1473 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main perl-modules all 5.18.1-4 [3926 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libsqlite3-0 arm64 3.8.0.2-1ubuntu1 [346 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libdrm2 arm64 2.4.46-3ubuntu1 [22.8 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libkmod2 arm64 15-0ubuntu2 [36.6 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main kmod arm64 15-0ubuntu2 [85.9 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main module-init-tools all 15-0ubuntu2 [1874 B] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libldap-2.4-2 arm64 2.4.31-1+nmu2ubuntu4 [159 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libmpfr4 arm64 3.1.2-1 [207 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main busybox-initramfs arm64 1:1.20.0-9ubuntu2 [186 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main upstart arm64 1.10-0ubuntu8 [521 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 10.9 MB in 20s (545 kB/s) (Reading database ... 11942 files and directories currently installed.) Preparing to replace perl 5.14.2-21build1 (using .../perl_5.18.1-4_arm64.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.14.2-21build1 (using .../perl-base_5.18.1-4_arm64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.18.1-4) ... (Reading database ... 11844 files and directories currently installed.) Preparing to replace perl-modules 5.14.2-21build1 (using .../perl-modules_5.18.1-4_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace libsqlite3-0:arm64 3.7.17-1ubuntu1 (using .../libsqlite3-0_3.8.0.2-1ubuntu1_arm64.deb) ... Unpacking replacement libsqlite3-0:arm64 ... Preparing to replace libdrm2:arm64 2.4.46-3 (using .../libdrm2_2.4.46-3ubuntu1_arm64.deb) ... Unpacking replacement libdrm2:arm64 ... Preparing to replace libkmod2:arm64 9-3ubuntu1 (using .../libkmod2_15-0ubuntu2_arm64.deb) ... Unpacking replacement libkmod2:arm64 ... Preparing to replace kmod 9-3ubuntu1 (using .../kmod_15-0ubuntu2_arm64.deb) ... Unpacking replacement kmod ... Preparing to replace module-init-tools 9-3ubuntu1 (using .../module-init-tools_15-0ubuntu2_all.deb) ... Unpacking replacement module-init-tools ... Preparing to replace libldap-2.4-2:arm64 2.4.31-1+nmu2ubuntu3 (using .../libldap-2.4-2_2.4.31-1+nmu2ubuntu4_arm64.deb) ... Unpacking replacement libldap-2.4-2:arm64 ... Preparing to replace libmpfr4:arm64 3.1.1-2 (using .../libmpfr4_3.1.2-1_arm64.deb) ... Unpacking replacement libmpfr4:arm64 ... Preparing to replace busybox-initramfs 1:1.20.0-9ubuntu1 (using .../busybox-initramfs_1%3a1.20.0-9ubuntu2_arm64.deb) ... Unpacking replacement busybox-initramfs ... Preparing to replace upstart 1.10-0ubuntu7 (using .../upstart_1.10-0ubuntu8_arm64.deb) ... Unpacking replacement upstart ... Setting up libsqlite3-0:arm64 (3.8.0.2-1ubuntu1) ... Setting up libdrm2:arm64 (2.4.46-3ubuntu1) ... Setting up libkmod2:arm64 (15-0ubuntu2) ... Setting up kmod (15-0ubuntu2) ... Setting up module-init-tools (15-0ubuntu2) ... Setting up libldap-2.4-2:arm64 (2.4.31-1+nmu2ubuntu4) ... Setting up libmpfr4:arm64 (3.1.2-1) ... Setting up busybox-initramfs (1:1.20.0-9ubuntu2) ... Setting up upstart (1.10-0ubuntu8) ... Setting up perl-modules (5.18.1-4) ... Setting up perl (5.18.1-4) ... Processing triggers for libc-bin ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5125477', 'arm64', 'trusty', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty', '--purpose=PRIMARY', '--architecture=arm64', '--comp=universe', 'splint_3.1.2.dfsg1-2.dsc'] Initiating build PACKAGEBUILD-5125477 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.8.0 #1 SMP Tue Oct 8 01:20:46 ICT 2013 aarch64 Automatic build of splint_3.1.2.dfsg1-2 on birch by sbuild/arm64 1.170.5 Build started at 20131024-1749 ****************************************************************************** splint_3.1.2.dfsg1-2.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 6.0.7~), autotools-dev, dpatch, flex Build-Conflicts: bison, bison++, splint (<= 3.1.1-6) Checking for already installed source dependencies... debhelper: missing autotools-dev: missing dpatch: missing flex: missing bison: already deinstalled bison++: already deinstalled splint: already deinstalled Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev dpatch flex Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: apparmor-easyprof bsdmainutils dh-apparmor dh-python file gettext gettext-base groff-base intltool-debian libasprintf0c2 libcroco3 libexpat1 libffi6 libfl-dev libglib2.0-0 libmagic1 libpipeline1 libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib libsigsegv2 libssl1.0.0 libunistring0 libxml2 m4 man-db mime-support po-debconf python3 python3-minimal python3.3 python3.3-minimal Suggested packages: wamerican wordlist whois vacation dh-make curl bison gettext-doc groff less www-browser libmail-box-perl python3-doc python3-tk python3.3-doc binfmt-support Recommended packages: patchutils libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: apparmor-easyprof autotools-dev bsdmainutils debhelper dh-apparmor dh-python dpatch file flex gettext gettext-base groff-base intltool-debian libasprintf0c2 libcroco3 libexpat1 libffi6 libfl-dev libglib2.0-0 libmagic1 libpipeline1 libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib libsigsegv2 libssl1.0.0 libunistring0 libxml2 m4 man-db mime-support po-debconf python3 python3-minimal python3.3 python3.3-minimal 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded. Need to get 12.0 MB of archives. After this operation, 42.2 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libffi6 libmagic1 libssl1.0.0 libpython3.3-minimal mime-support libpython3.3-stdlib python3.3-minimal libasprintf0c2 libglib2.0-0 libpipeline1 libxml2 groff-base bsdmainutils man-db libsigsegv2 m4 libfl-dev flex libcroco3 libunistring0 python3.3 python3-minimal libpython3-stdlib python3 dh-python file gettext-base autotools-dev gettext intltool-debian po-debconf apparmor-easyprof dh-apparmor debhelper dpatch Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 arm64 2.1.0-4 [114 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libffi6 arm64 3.0.13-4 [19.0 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 arm64 5.11-2ubuntu4 [163 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 arm64 1.0.1e-3ubuntu1 [860 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-minimal arm64 3.3.2-7ubuntu3 [609 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-stdlib arm64 3.3.2-7ubuntu3 [2568 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main python3.3-minimal arm64 3.3.2-7ubuntu3 [1431 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 arm64 0.18.3.1-1ubuntu1 [7172 B] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 arm64 2.38.1-1 [827 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 arm64 1.2.4-1 [24.5 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 arm64 2.9.1+dfsg1-3ubuntu2 [588 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main groff-base arm64 1.22.2-3 [688 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils arm64 9.0.5ubuntu1 [199 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main man-db arm64 2.6.5-2 [678 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libsigsegv2 arm64 2.10-2 [14.0 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main m4 arm64 1.4.17-1 [195 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libfl-dev arm64 2.5.35-10.1ubuntu1 [18.9 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main flex arm64 2.5.35-10.1ubuntu1 [221 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 arm64 0.6.8-2 [64.9 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 arm64 0.9.3-5ubuntu1 [403 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main python3.3 arm64 3.3.2-7ubuntu3 [129 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal arm64 3.3.2-14ubuntu1 [26.4 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib arm64 3.3.2-14ubuntu1 [8144 B] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main python3 arm64 3.3.2-14ubuntu1 [9144 B] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main dh-python all 1.20131003-1 [61.7 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main file arm64 5.11-2ubuntu4 [18.2 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base arm64 0.18.3.1-1ubuntu1 [64.0 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main autotools-dev all 20130810.1 [44.3 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main gettext arm64 0.18.3.1-1ubuntu1 [983 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu32 [23.3 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu32 [7830 B] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20130921ubuntu1 [635 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main dpatch all 2.0.35 [54.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 12.0 MB in 27s (441 kB/s) Selecting previously unselected package libexpat1:arm64. (Reading database ... 11884 files and directories currently installed.) Unpacking libexpat1:arm64 (from .../libexpat1_2.1.0-4_arm64.deb) ... Selecting previously unselected package libffi6:arm64. Unpacking libffi6:arm64 (from .../libffi6_3.0.13-4_arm64.deb) ... Selecting previously unselected package libmagic1:arm64. Unpacking libmagic1:arm64 (from .../libmagic1_5.11-2ubuntu4_arm64.deb) ... Selecting previously unselected package libssl1.0.0:arm64. Unpacking libssl1.0.0:arm64 (from .../libssl1.0.0_1.0.1e-3ubuntu1_arm64.deb) ... Selecting previously unselected package libpython3.3-minimal:arm64. Unpacking libpython3.3-minimal:arm64 (from .../libpython3.3-minimal_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.54ubuntu1_all.deb) ... Selecting previously unselected package libpython3.3-stdlib:arm64. Unpacking libpython3.3-stdlib:arm64 (from .../libpython3.3-stdlib_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package python3.3-minimal. Unpacking python3.3-minimal (from .../python3.3-minimal_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package libasprintf0c2:arm64. Unpacking libasprintf0c2:arm64 (from .../libasprintf0c2_0.18.3.1-1ubuntu1_arm64.deb) ... Selecting previously unselected package libglib2.0-0:arm64. Unpacking libglib2.0-0:arm64 (from .../libglib2.0-0_2.38.1-1_arm64.deb) ... Selecting previously unselected package libpipeline1:arm64. Unpacking libpipeline1:arm64 (from .../libpipeline1_1.2.4-1_arm64.deb) ... Selecting previously unselected package libxml2:arm64. Unpacking libxml2:arm64 (from .../libxml2_2.9.1+dfsg1-3ubuntu2_arm64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-3_arm64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.5ubuntu1_arm64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.5-2_arm64.deb) ... Selecting previously unselected package libsigsegv2:arm64. Unpacking libsigsegv2:arm64 (from .../libsigsegv2_2.10-2_arm64.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.17-1_arm64.deb) ... Selecting previously unselected package libfl-dev:arm64. Unpacking libfl-dev:arm64 (from .../libfl-dev_2.5.35-10.1ubuntu1_arm64.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10.1ubuntu1_arm64.deb) ... Selecting previously unselected package libcroco3:arm64. Unpacking libcroco3:arm64 (from .../libcroco3_0.6.8-2_arm64.deb) ... Selecting previously unselected package libunistring0:arm64. Unpacking libunistring0:arm64 (from .../libunistring0_0.9.3-5ubuntu1_arm64.deb) ... Selecting previously unselected package python3.3. Unpacking python3.3 (from .../python3.3_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package python3-minimal. Unpacking python3-minimal (from .../python3-minimal_3.3.2-14ubuntu1_arm64.deb) ... Selecting previously unselected package libpython3-stdlib:arm64. Unpacking libpython3-stdlib:arm64 (from .../libpython3-stdlib_3.3.2-14ubuntu1_arm64.deb) ... Selecting previously unselected package python3. Unpacking python3 (from .../python3_3.3.2-14ubuntu1_arm64.deb) ... Selecting previously unselected package dh-python. Unpacking dh-python (from .../dh-python_1.20131003-1_all.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.11-2ubuntu4_arm64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.3.1-1ubuntu1_arm64.deb) ... Selecting previously unselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20130810.1_all.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.3.1-1ubuntu1_arm64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2ubuntu1_all.deb) ... Selecting previously unselected package apparmor-easyprof. Unpacking apparmor-easyprof (from .../apparmor-easyprof_2.8.0-0ubuntu32_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu32_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20130921ubuntu1_all.deb) ... Selecting previously unselected package dpatch. Unpacking dpatch (from .../archives/dpatch_2.0.35_all.deb) ... Setting up libexpat1:arm64 (2.1.0-4) ... Setting up libffi6:arm64 (3.0.13-4) ... Setting up libmagic1:arm64 (5.11-2ubuntu4) ... Setting up libssl1.0.0:arm64 (1.0.1e-3ubuntu1) ... Setting up libpython3.3-minimal:arm64 (3.3.2-7ubuntu3) ... Setting up mime-support (3.54ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython3.3-stdlib:arm64 (3.3.2-7ubuntu3) ... Setting up python3.3-minimal (3.3.2-7ubuntu3) ... Setting up libasprintf0c2:arm64 (0.18.3.1-1ubuntu1) ... Setting up libglib2.0-0:arm64 (2.38.1-1) ... No schema files found: doing nothing. Setting up libpipeline1:arm64 (1.2.4-1) ... Setting up libxml2:arm64 (2.9.1+dfsg1-3ubuntu2) ... Setting up groff-base (1.22.2-3) ... Setting up bsdmainutils (9.0.5ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libsigsegv2:arm64 (2.10-2) ... Setting up m4 (1.4.17-1) ... Setting up libfl-dev:arm64 (2.5.35-10.1ubuntu1) ... Setting up flex (2.5.35-10.1ubuntu1) ... Setting up libcroco3:arm64 (0.6.8-2) ... Setting up libunistring0:arm64 (0.9.3-5ubuntu1) ... Setting up python3.3 (3.3.2-7ubuntu3) ... Setting up python3-minimal (3.3.2-14ubuntu1) ... Setting up libpython3-stdlib:arm64 (3.3.2-14ubuntu1) ... Setting up file (5.11-2ubuntu4) ... Setting up gettext-base (0.18.3.1-1ubuntu1) ... Setting up autotools-dev (20130810.1) ... Setting up gettext (0.18.3.1-1ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dpatch (2.0.35) ... Setting up python3 (3.3.2-14ubuntu1) ... running python rtupdate hooks for python3.3... running python post-rtupdate hooks for python3.3... Setting up dh-python (1.20131003-1) ... Setting up apparmor-easyprof (2.8.0-0ubuntu32) ... Setting up dh-apparmor (2.8.0-0ubuntu32) ... Setting up debhelper (9.20130921ubuntu1) ... Processing triggers for libc-bin ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.17-93ubuntu4 make_3.81-8.2ubuntu3 dpkg-dev_1.16.12ubuntu1 gcc-4.8_4.8.2-1ubuntu2 g++-4.8_4.8.2-1ubuntu2 binutils_2.23.90.20131017-1ubuntu1 libstdc++-4.8-dev_4.8.2-1ubuntu2 libstdc++6_4.8.2-1ubuntu2 ------------------------------------------------------------------------------ gpgv: Signature made Fri Feb 20 15:40:56 2009 UTC using DSA key ID 1D389887 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./splint_3.1.2.dfsg1-2.dsc dpkg-source: info: extracting splint in splint-3.1.2.dfsg1 dpkg-source: info: unpacking splint_3.1.2.dfsg1.orig.tar.gz dpkg-source: info: applying splint_3.1.2.dfsg1-2.diff.gz dpkg-buildpackage: source package splint dpkg-buildpackage: source version 3.1.2.dfsg1-2 dpkg-source --before-build splint-3.1.2.dfsg1 dpkg-buildpackage: host architecture arm64 /usr/bin/fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp configure-stamp [ ! -f Makefile ] || /usr/bin/make distclean [ ! -f lib/unixstrict.lcd.ups ] || mv -f lib/unixstrict.lcd.ups lib/unixstrict.lcd [ ! -f lib/unix.lcd.ups ] || mv -f lib/unix.lcd.ups lib/unix.lcd [ ! -f lib/standardstrict.lcd.ups ] || mv -f lib/standardstrict.lcd.ups lib/standardstrict.lcd [ ! -f lib/standard.lcd.ups ] || mv -f lib/standard.lcd.ups lib/standard.lcd [ ! -f lib/posixstrict.lcd.ups ] || mv -f lib/posixstrict.lcd.ups lib/posixstrict.lcd [ ! -f lib/posix.lcd.ups ] || mv -f lib/posix.lcd.ups lib/posix.lcd [ ! -f config/config.guess.ups ] || mv -f config/config.guess.ups config/config.guess [ ! -f config/config.sub.ups ] || mv -f config/config.sub.ups config/config.sub dh_clean dpatch deapply-all 05_html_docs_css not applied to ./ . 04_bug_report not applied to ./ . 03_359894_VA_ARGS not applied to ./ . 02_manpage not applied to ./ . 01_build not applied to ./ . rm -rf patch-stamp patch-stampT debian/patched dpkg-buildpackage: warning: debian/rules must be updated to support the 'build-arch' and 'build-indep' targets (at least 'build-arch' seems to be missing) debian/rules build test -d debian/patched || install -d debian/patched dpatch apply-all applying patch 01_build to ./ ... ok. applying patch 02_manpage to ./ ... ok. applying patch 03_359894_VA_ARGS to ./ ... ok. applying patch 04_bug_report to ./ ... ok. applying patch 05_html_docs_css to ./ ... ok. dpatch cat-all >>patch-stampT mv -f patch-stampT patch-stamp dh_testdir [ ! -f config/config.sub ] || mv -f config/config.sub config/config.sub.ups cp -f /usr/share/misc/config.sub config/config.sub [ ! -f config/config.guess ] || mv -f config/config.guess config/config.guess.ups cp -f /usr/share/misc/config.guess config/config.guess [ ! -f lib/posix.lcd ] || mv -f lib/posix.lcd lib/posix.lcd.ups [ ! -f lib/posixstrict.lcd ] || mv -f lib/posixstrict.lcd lib/posixstrict.lcd.ups [ ! -f lib/standard.lcd ] || mv -f lib/standard.lcd lib/standard.lcd.ups [ ! -f lib/standardstrict.lcd ] || mv -f lib/standardstrict.lcd lib/standardstrict.lcd.ups [ ! -f lib/unix.lcd ] || mv -f lib/unix.lcd lib/unix.lcd.ups [ ! -f lib/unixstrict.lcd ] || mv -f lib/unixstrict.lcd lib/unixstrict.lcd.ups ./configure --host=aarch64-linux-gnu --build=aarch64-linux-gnu --prefix=/usr --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info CFLAGS="-Wall -g -O2" LDFLAGS="-Wl,-z,defs" checking build system type... aarch64-unknown-linux-gnu checking host system type... aarch64-unknown-linux-gnu checking target system type... aarch64-unknown-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking for aarch64-linux-gnu-gcc... aarch64-linux-gnu-gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether aarch64-linux-gnu-gcc accepts -g... yes checking for aarch64-linux-gnu-gcc option to accept ANSI C... none needed checking for style of include used by make... GNU checking dependency style of aarch64-linux-gnu-gcc... gcc3 checking how to run the C preprocessor... aarch64-linux-gnu-gcc -E checking for flex... flex checking for yywrap in -lfl... yes checking lex output file root... lex.yy checking whether yytext is a pointer... yes checking for a BSD-compatible install... /usr/bin/install -c 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 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 touch configure-stamp dh_testdir /usr/bin/make make[1]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' /usr/bin/make all-recursive make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' Making all in src make[3]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/src' grep "FLG_" flags.def > Headers/flag_codes.gen /usr/bin/make make[4]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/src' depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cgrammar.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cscanner.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtscanner.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtgrammar.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c llgrammar.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c signature.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cppmain.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cpplib.c cpplib.c: In function 'do_defineAux': cpplib.c:2924:16: warning: variable 'hn' set but not used [-Wunused-but-set-variable] hashNode hn; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cppexp.c cppexp.c: In function 'cppexp_lex': cppexp.c:493:7: warning: variable 'token_buffer' set but not used [-Wunused-but-set-variable] char token_buffer[MAX_LONG_TYPE_SIZE/MAX_CHAR_TYPE_SIZE + 1]; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cpphash.c cpphash.c:101:13: warning: 'hashNode_delete' defined but not used [-Wunused-function] static void hashNode_delete (/*@only@*/ /*@null@*/ hashNode node) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cpperror.c cpperror.c:160:1: warning: 'cppReader_unparseLoc' defined but not used [-Wunused-function] cppReader_unparseLoc (cppReader *pfile) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c context.c context.c: In function 'setModuleAccess': context.c:3463:9: warning: variable 'hasaccess' set but not used [-Wunused-but-set-variable] bool hasaccess = FALSE; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c uentry.c uentry.c: In function 'uentry_getMods': uentry.c:5819:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ uentry.c: In function 'uentry_undump': uentry.c:5061:3: warning: 'ue' may be used uninitialized in this function [-Wmaybe-uninitialized] return (ue); ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cprim.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c macrocache.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c qual.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c qtype.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c stateClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c stateClauseList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c ctype.c In file included from ctype.c:42:0: ctbase.i:428:1: warning: 'ctbase_isBaseUA' defined but not used [-Wunused-function] ctbase_isBaseUA (ctbase c) ^ ctbase.i:398:1: warning: 'ctbase_typeBaseUid' defined but not used [-Wunused-function] ctbase_typeBaseUid (ctbase c) ^ ctbase.i:2549:1: warning: 'ctbase_isKind2' defined but not used [-Wunused-function] ctbase_isKind2 (/*@notnull@*/ ctbase c, ctuid kind1, ctuid kind2) ^ ctbase.i:2385:1: warning: 'ctbase_getBaseType' defined but not used [-Wunused-function] ctbase_getBaseType (/*@notnull@*/ ctbase c) ^ ctbase.i:702:1: warning: 'ctbase_unparseNotypes' defined but not used [-Wunused-function] ctbase_unparseNotypes (ctbase c) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cvar.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c clabstract.c clabstract.c: In function 'clabstract_globalDeclareFunction': clabstract.c:620:9: warning: variable 'rettype' set but not used [-Wunused-but-set-variable] ctype rettype; ^ clabstract.c: In function 'declareStaticFunction': clabstract.c:853:14: warning: variable 'rettype' set but not used [-Wunused-but-set-variable] ctype rettype; ^ clabstract.c: In function 'fixUentryList': clabstract.c:1089:8: warning: variable 'rt' set but not used [-Wunused-but-set-variable] ctype rt; ^ clabstract.c: In function 'processVariable': clabstract.c:1444:15: warning: variable 'loc' set but not used [-Wunused-but-set-variable] fileloc loc; ^ clabstract.c:1416:9: warning: variable 'ct' set but not used [-Wunused-but-set-variable] ctype ct; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c idDecl.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c clause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c globalsClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c modifiesClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c warnClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c functionClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c functionClauseList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c metaStateConstraint.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c metaStateConstraintList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c metaStateExpression.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c metaStateSpecifier.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c functionConstraint.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c pointers.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cscannerHelp.c cscannerHelp.c: In function 'cscannerHelp_handleSpecial': cscannerHelp.c:652:10: warning: variable 'len_yyt' set but not used [-Wunused-but-set-variable] size_t len_yyt; ^ cscannerHelp.c: In function 'cscannerHelp_processString': cscannerHelp.c:1892:13: warning: variable 'lastnl' set but not used [-Wunused-but-set-variable] char *lastnl = nl; ^ cscannerHelp.c: In function 'cscannerHelp_processWideString': cscannerHelp.c:1933:13: warning: variable 'lastnl' set but not used [-Wunused-but-set-variable] char *lastnl = nl; ^ cscannerHelp.c: In function 'cscannerHelp_processMacro': cscannerHelp.c:2169:8: warning: variable 'isenditer' set but not used [-Wunused-but-set-variable] bool isenditer = FALSE; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c structNames.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c transferChecks.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c varKinds.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c nameChecks.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c exprData.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cstring.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c fileloc.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c message.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c inputStream.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c fileTable.c fileTable.c: In function 'makeTempName': fileTable.c:934:10: warning: variable 'maxlen' set but not used [-Wunused-but-set-variable] size_t maxlen; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cstringTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c valueTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c stateValue.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c llerror.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c messageLog.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c flagMarker.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c aliasTable.c aliasTable.c: In function 'aliasTable_canAliasAux': aliasTable.c:491:12: warning: 'ret' may be used uninitialized in this function [-Wmaybe-uninitialized] ret = sRefSet_union (ret, s->values[ind]); ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c ynm.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sRefTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c genericTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c ekind.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c usymtab.c usymtab.c: In function 'usymtab_handleParams': usymtab.c:2295:12: warning: variable 'osrs' set but not used [-Wunused-but-set-variable] sRefSet osrs = sRefSet_undefined; ^ usymtab.c: In function 'usymtab_enterFunctionScope': usymtab.c:2421:15: warning: variable 'ue' set but not used [-Wunused-but-set-variable] uentry ue; ^ usymtab.c: In function 'usymtab_checkFinalScope': usymtab.c:3922:7: warning: variable 'nval' set but not used [-Wunused-but-set-variable] int nval; ^ usymtab.c: In function 'usymtab_load': usymtab.c:2043:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] (void) fgets (s, MAX_DUMP_LINE_LENGTH, f); ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c multiVal.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lltok.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sRef.c sRef.c: In function 'whatUndefined': sRef.c:4821:12: warning: variable 'hasOneDefined' set but not used [-Wunused-but-set-variable] bool hasOneDefined = FALSE; ^ sRef.c: At top level: sRef.c:318:13: warning: 'sRef_checkValidAux' defined but not used [-Wunused-function] static void sRef_checkValidAux (sRef s, sRefSet checkedsofar) ^ sRef.c:728:1: warning: 'sRef_getExpInfoLoc' defined but not used [-Wunused-function] sRef_getExpInfoLoc (/*@exposed@*/ sRef s) ^ sRef.c:2186:1: warning: 'sRef_closeEnough' defined but not used [-Wunused-function] sRef_closeEnough (sRef s1, sRef s2) ^ sRef.c: In function 'sRef_copy': sRef.c:5879:15: warning: 'ret' may be used uninitialized in this function [-Wmaybe-uninitialized] t->info = sinfo_copy (s); ^ sRef.c: In function 'sRef_mergeStateQuietReverse': sRef.c:3684:17: warning: 'ret' may be used uninitialized in this function [-Wmaybe-uninitialized] res->info = sinfo_fullCopy (other); ^ sRef.c: In function 'sRef_unparseKindName': sRef.c:7077:11: warning: 'result' may be used uninitialized in this function [-Wmaybe-uninitialized] cstring result; ^ sRef.c: In function 'sRef_unparseKindNamePlain': sRef.c:7157:11: warning: 'result' may be used uninitialized in this function [-Wmaybe-uninitialized] cstring result; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lcllib.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c randomNumbers.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c fileLib.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c globals.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c flags.c flags.c: In function 'argcode_unparse': flags.c:151:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c general.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c osd.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c reader.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtreader.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c clauseStack.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c filelocStack.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cstringList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c cstringSList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sRefSetList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c ctypeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c enumNameList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c enumNameSList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c exprNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c exprNodeSList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c uentryList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c fileIdList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c filelocList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c qualList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sRefList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c flagMarkerList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c idDeclList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c flagSpec.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c globSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c intSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c typeIdSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c guardSet.c guardSet.c: In function 'guardSet_delete': guardSet.c:70:8: warning: variable 'res' set but not used [-Wunused-but-set-variable] bool res; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c usymIdSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sRefSet.c sRefSet.c: In function 'sRefSet_copyInto': sRefSet.c:427:7: warning: variable 'origentries' set but not used [-Wunused-but-set-variable] int origentries; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c stateInfo.c stateInfo.c: In function 'stateAction_unparse': stateInfo.c:462:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ stateInfo.c: In function 'stateAction_fromNState': stateInfo.c:316:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ stateInfo.c: In function 'stateAction_fromSState': stateInfo.c:411:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c stateCombinationTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c metaStateTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c metaStateInfo.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c annotationTable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c annotationInfo.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mttok.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtDeclarationNode.c mtDeclarationNode.c: In function 'mtDeclarationNode_process': mtDeclarationNode.c:644:49: warning: 'mkind' may be used uninitialized in this function [-Wmaybe-uninitialized] if (metaStateInfo_getDefaultValueContext (msinfo, mkind) != stateValue_error) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtDeclarationPieces.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtDeclarationPiece.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtContextNode.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtValuesNode.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtDefaultsNode.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtAnnotationsNode.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtMergeNode.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtAnnotationList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtAnnotationDecl.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtTransferClauseList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtTransferClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtTransferAction.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtLoseReferenceList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtLoseReference.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtDefaultsDeclList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtDefaultsDecl.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtMergeItem.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtMergeClause.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mtMergeClauseList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c exprNode.c exprNode.c: In function 'exprNode_loopMustExec': exprNode.c:7723:28: warning: variable 'inc' set but not used [-Wunused-but-set-variable] exprNode init, test, inc; ^ exprNode.c: In function 'exprNode_rootVarName': exprNode.c:9412:11: warning: 'ret' may be used uninitialized in this function [-Wmaybe-uninitialized] cstring ret; ^ In file included from Headers/basic.h:80:0, from exprNode.c:30: exprNode.c: In function 'exprNode_switch': Headers/enumNameList.h:33:35: warning: 'enums' may be used uninitialized in this function [-Wmaybe-uninitialized] # define enumNameList_size(s) ((s)->nelements) ^ exprNode.c:7206:16: note: 'enums' was declared here enumNameList enums; ^ In file included from Headers/basic.h:80:0, from exprNode.c:30: Headers/enumNameList.h:33:35: warning: 'usedEnums' may be used uninitialized in this function [-Wmaybe-uninitialized] # define enumNameList_size(s) ((s)->nelements) ^ exprNode.c:7205:17: note: 'usedEnums' was declared here enumNameSList usedEnums; ^ In file included from Headers/basic.h:61:0, from exprNode.c:30: exprNode.c: In function 'checkArgsReal': Headers/llerror.h:266:25: warning: 'expecttype' may be used uninitialized in this function [-Wmaybe-uninitialized] xllgenformattypeerror (__FILE__, __LINE__, p_t1, p_e1, p_t2, p_e2, p_s, p_fl) ^ exprNode.c:1599:15: note: 'expecttype' was declared here ctype expecttype; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c exprChecks.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c llmain.c llmain.c:85:13: warning: 'describeVars' declared 'static' but never defined [-Wunused-function] static void describeVars (void); ^ llmain.c:86:13: warning: 'specialFlagsHelp' declared 'static' but never defined [-Wunused-function] static bool specialFlagsHelp (char *p_next); ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c help.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c rcfiles.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraintList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraintResolve.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraintGeneration.c constraintGeneration.c: In function 'doFor': constraintGeneration.c:517:12: warning: variable 'init' set but not used [-Wunused-but-set-variable] exprNode init, test, inc; ^ constraintGeneration.c: In function 'doSwitch': constraintGeneration.c:826:12: warning: variable 'body' set but not used [-Wunused-but-set-variable] exprNode body; ^ constraintGeneration.c: In function 'exprNode_multiStatement': constraintGeneration.c:842:8: warning: variable 'ret' set but not used [-Wunused-but-set-variable] bool ret; ^ constraintGeneration.c: In function 'exprNode_traverseTrueEnsuresConstraints': constraintGeneration.c:1596:8: warning: variable 'handledExprNode' set but not used [-Wunused-but-set-variable] bool handledExprNode; ^ constraintGeneration.c: In function 'exprNode_traverseFalseEnsuresConstraints': constraintGeneration.c:1732:8: warning: variable 'handledExprNode' set but not used [-Wunused-but-set-variable] bool handledExprNode; ^ constraintGeneration.c: In function 'exprNode_traverseRequiresConstraints': constraintGeneration.c:1867:8: warning: variable 'handledExprNode' set but not used [-Wunused-but-set-variable] bool handledExprNode; ^ constraintGeneration.c: In function 'exprNode_traverseEnsuresConstraints': constraintGeneration.c:2002:8: warning: variable 'handledExprNode' set but not used [-Wunused-but-set-variable] bool handledExprNode; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraintTerm.c constraintTerm.c: In function 'constraintTerm_dump': constraintTerm.c:550:23: warning: variable 'value' set but not used [-Wunused-but-set-variable] constraintTermValue value; ^ constraintTerm.c:549:11: warning: variable 'loc' set but not used [-Wunused-but-set-variable] fileloc loc; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraintExprData.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraintExpr.c constraintExpr.c: In function 'isZeroBinaryOp': constraintExpr.c:131:35: warning: variable 'op' set but not used [-Wunused-but-set-variable] constraintExprBinaryOpKind op; ^ constraintExpr.c: In function 'removeZero': constraintExpr.c:152:18: warning: variable 'expr1' set but not used [-Wunused-but-set-variable] constraintExpr expr1, expr2; ^ constraintExpr.c: At top level: constraintExpr.c:47:1: warning: 'doSRefFixInvarConstraintTerm' declared 'static' but never defined [-Wunused-function] doSRefFixInvarConstraintTerm (/*@only@*/ constraintExpr p_e, ^ constraintExpr.c: In function 'constraintExpr_undump': constraintExpr.c:2329:3: warning: 'ret' may be used uninitialized in this function [-Wmaybe-uninitialized] return ret; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c constraint.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c loopHeuristics.c loopHeuristics.c: In function 'canGetForTimes': loopHeuristics.c:121:12: warning: variable 'init' set but not used [-Wunused-but-set-variable] exprNode init, test, inc, t1, t2; ^ loopHeuristics.c: In function 'getForTimes': loopHeuristics.c:186:12: warning: variable 'init' set but not used [-Wunused-but-set-variable] exprNode init, test, inc, t1, t2; ^ loopHeuristics.c: In function 'constraintExpr_searchAndAdd': loopHeuristics.c:293:15: warning: variable 'cPrint' set but not used [-Wunused-but-set-variable] cstring cPrint; ^ loopHeuristics.c: In function 'forLoopHeuristicsImpl': loopHeuristics.c:407:12: warning: variable 'init' set but not used [-Wunused-but-set-variable] exprNode init, test, inc; ^ loopHeuristics.c: In function 'isInc': loopHeuristics.c:445:22: warning: variable 't1' set but not used [-Wunused-but-set-variable] constraintExpr t1, t2; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lsymbolSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sigNodeSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lslOpSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sortSet.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c initDeclNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sortList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c declaratorInvNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c interfaceNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sortSetList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c declaratorNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c letDeclNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c stDeclNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c storeRefNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lslOpList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lsymbolList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c termNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c ltokenList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c traitRefNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c pairNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c typeNameNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c fcnNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c paramNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c programNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c varDeclarationNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c varNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c quantifierNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c replaceNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c importNodeList.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c tokentable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c scan.c scan.c:102:1: warning: 'LSLScanLookAhead' defined but not used [-Wunused-function] LSLScanLookAhead (void) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c scanline.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lslparse.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lh.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c checking.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lclctypes.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c imports.c imports.c: In function 'processImport': imports.c:169:9: warning: variable 'tmpbufptr' set but not used [-Wunused-but-set-variable] char *tmpbufptr; ^ imports.c:167:36: warning: variable 'lclsource' set but not used [-Wunused-but-set-variable] inputStream imported, imported2, lclsource; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lslinit.c lslinit.c:62:13: warning: 'InitFile' declared 'static' but never defined [-Wunused-function] static void InitFile (void) /*@modifies nextToken@*/ ; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c syntable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c usymtab_interface.c usymtab_interface.c:194:7: warning: 'convertCTypeExpr' defined but not used [-Wunused-function] ctype convertCTypeExpr (ctype c, typeExpr x) ^ usymtab_interface.c: In function 'convertLclTypeSpecNode': usymtab_interface.c:555:14: warning: 'result' may be used uninitialized in this function [-Wmaybe-uninitialized] result = qtype_addQualList (result, n->quals); ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c abstract.c abstract.c: In function 'LCLBootstrap': abstract.c:268:8: warning: variable 's' set but not used [-Wunused-but-set-variable] sort s; ^ abstract.c: In function 'makeLetDeclNode': abstract.c:970:11: warning: variable 'termsort' set but not used [-Wunused-but-set-variable] sort s, termsort; ^ abstract.c: In function 'globalList_toPairNodeList': abstract.c:5313:11: warning: variable 'sym' set but not used [-Wunused-but-set-variable] lsymbol sym; ^ abstract.c: At top level: abstract.c:2207:1: warning: 'printTypeExpr2' defined but not used [-Wunused-function] printTypeExpr2 (/*@null@*/ typeExpr x) ^ In file included from Headers/basic.h:61:0, from abstract.c:38: abstract.c: In function 'checkAndEnterTag': Headers/llerror.h:163:14: warning: 's' may be used uninitialized in this function [-Wmaybe-uninitialized] xlclerror (__FILE__, __LINE__, p_t, p_msg) ^ abstract.c:5230:16: note: 's' was declared here cstring s; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c ltoken.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lclscanline.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lclsyntable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lcltokentable.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c sort.c sort.c: In function 'sp': sort.c:2222:7: warning: variable 'temp_length' set but not used [-Wunused-but-set-variable] int temp_length; ^ sort.c: In function 'sort_import': sort.c:2908:15: warning: variable 'lclsource' set but not used [-Wunused-but-set-variable] inputStream lclsource; ^ sort.c: At top level: sort.c:2305:1: warning: 'underlyingSortName' defined but not used [-Wunused-function] underlyingSortName (sortNode sn) ^ sort.c:2313:1: warning: 'underlyingSortNode' defined but not used [-Wunused-function] underlyingSortNode (sortNode sn) ^ sort.c:3178:1: warning: 'sort_hasStateFcns' defined but not used [-Wunused-function] sort_hasStateFcns (sort s) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c symtable.c symtable.c: In function 'symHashTable_dump': symtable.c:747:10: warning: variable 'size' set but not used [-Wunused-but-set-variable] int i, size; ^ symtable.c: In function 'symtable_import': symtable.c:1391:15: warning: variable 'lclsource' set but not used [-Wunused-but-set-variable] inputStream lclsource; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lclinit.c lclinit.c: In function 'TokenClass': lclinit.c:450:10: warning: variable 'tokenClassToken' set but not used [-Wunused-but-set-variable] ltoken tokenClassToken; ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c shift.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lclscan.c lclscan.c:157:1: warning: 'LCLScanLookAhead' defined but not used [-Wunused-function] LCLScanLookAhead (void) ^ depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c lsymbol.c depmode=gcc3 /bin/bash ../config/depcomp aarch64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I.. -IHeaders -Wall -g -O2 -c mapping.c aarch64-linux-gnu-gcc -Wall -g -O2 -Wl,-z,defs -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 /usr/bin/make all-am make[5]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/src' make[5]: Nothing to be done for `all-am'. make[5]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/src' make[4]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/src' cd ../lib; /usr/bin/make make[4]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 24 Oct 2013 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 --- 24 Oct 2013 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 --- 24 Oct 2013 Finished checking --- no warnings make[4]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/lib' /usr/bin/make all-am make[4]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/src' make[4]: Nothing to be done for `all-am'. make[4]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/src' make[3]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/src' Making all in lib make[3]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 24 Oct 2013 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 --- 24 Oct 2013 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 --- 24 Oct 2013 Finished checking --- no warnings make[3]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/lib' Making all in imports make[3]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/imports' make[3]: Nothing to be done for `all'. make[3]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/imports' Making all in test make[3]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/test' Testing splint 3.1.2... Version Info: Splint 3.1.2 --- 24 Oct 2013 Maintainer: splint@packages.debian.org Compiled using aarch64-linux-gnu-gcc -Wall -g -O2 on Linux birch 3.8.0 #1 SMP Tue Oct 8 01:20:46 ICT 2013 aarch64 aarch64 aarch64 GNU/Linux by buildd Splint 3.1.2 --- 24 Oct 2013 LARCH_PATH = (default = .:/usr/share/splint/lib:/build/buildd/splint-3 .1.2.dfsg1/lib:) --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = --- 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... 6,9c6,9 < utypes.c: (in function f) < utypes.c:26:8: Variable src_bytes declared but not used < < Finished checking --- 2 code warnings, as expected --- > utypes.c:17:23: Cannot find include file sys/types.h on search path: > /usr/include;/usr/include > Preprocessing error for file: /build/buildd/splint-3.1.2.dfsg1/test/utypes.c > *** Cannot continue. *** 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[3]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/test' Making all in doc make[3]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/doc' make[3]: Nothing to be done for `all'. make[3]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/doc' make[3]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' make[3]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' make[1]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' touch build-stamp /usr/bin/fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_clean -k dh_clean: dh_clean -k is deprecated; use dh_prep instead /usr/bin/make DESTDIR=/build/buildd/splint-3.1.2.dfsg1/debian/splint-data install-data make[1]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' Making install-data in src make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/src' make[2]: Nothing to be done for `install-data'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/src' Making install-data in lib make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 24 Oct 2013 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 24 Oct 2013 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 --- 24 Oct 2013 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 --- 24 Oct 2013 Finished checking --- no warnings /bin/bash ../config/mkinstalldirs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib /usr/bin/install -c -m 644 standard.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/standard.h /usr/bin/install -c -m 644 standard.lcd /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/standard.lcd /usr/bin/install -c -m 644 standardstrict.lcd /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/standardstrict.lcd /usr/bin/install -c -m 644 posix.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/posix.h /usr/bin/install -c -m 644 posix.lcd /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/posix.lcd /usr/bin/install -c -m 644 posixstrict.lcd /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/posixstrict.lcd /usr/bin/install -c -m 644 unix.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/unix.h /usr/bin/install -c -m 644 unix.lcd /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/unix.lcd /usr/bin/install -c -m 644 unixstrict.lcd /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/unixstrict.lcd /usr/bin/install -c -m 644 CTrait.syms /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/CTrait.syms /usr/bin/install -c -m 644 CTraitGen.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/CTraitGen.lcl /usr/bin/install -c -m 644 bool.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/bool.h /usr/bin/install -c -m 644 file.mts /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/file.mts /usr/bin/install -c -m 644 file.xh /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/file.xh /usr/bin/install -c -m 644 filerw.mts /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/filerw.mts /usr/bin/install -c -m 644 filerw.xh /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/filerw.xh /usr/bin/install -c -m 644 lclinit.lci /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/lclinit.lci /usr/bin/install -c -m 644 linux.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/linux.h /usr/bin/install -c -m 644 lslinit.lsi /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/lslinit.lsi /usr/bin/install -c -m 644 tainted.mts /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/tainted.mts /usr/bin/install -c -m 644 tainted.xh /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/tainted.xh /usr/bin/install -c -m 644 stdio.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/stdio.h /usr/bin/install -c -m 644 stdlib.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/stdlib.h /usr/bin/install -c -m 644 stdio.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/stdio.h /usr/bin/install -c -m 644 stdlib.h /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/lib/stdlib.h make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/lib' Making install-data in imports make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/imports' /bin/bash ../config/mkinstalldirs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports /usr/bin/install -c -m 644 assert.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/assert.lcl /usr/bin/install -c -m 644 assert.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/assert.lcs /usr/bin/install -c -m 644 ctype.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/ctype.lcl /usr/bin/install -c -m 644 ctype.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/ctype.lcs /usr/bin/install -c -m 644 errno.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/errno.lcl /usr/bin/install -c -m 644 errno.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/errno.lcs /usr/bin/install -c -m 644 limits.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/limits.lcl /usr/bin/install -c -m 644 limits.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/limits.lcs /usr/bin/install -c -m 644 locale.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/locale.lcl /usr/bin/install -c -m 644 locale.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/locale.lcs /usr/bin/install -c -m 644 math.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/math.lcl /usr/bin/install -c -m 644 math.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/math.lcs /usr/bin/install -c -m 644 setjmp.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/setjmp.lcl /usr/bin/install -c -m 644 setjmp.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/setjmp.lcs /usr/bin/install -c -m 644 signal.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/signal.lcl /usr/bin/install -c -m 644 signal.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/signal.lcs /usr/bin/install -c -m 644 stdarg.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/stdarg.lcl /usr/bin/install -c -m 644 stdarg.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/stdarg.lcs /usr/bin/install -c -m 644 stdio.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/stdio.lcl /usr/bin/install -c -m 644 stdio.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/stdio.lcs /usr/bin/install -c -m 644 stdlib.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/stdlib.lcl /usr/bin/install -c -m 644 stdlib.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/stdlib.lcs /usr/bin/install -c -m 644 string.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/string.lcl /usr/bin/install -c -m 644 string.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/string.lcs /usr/bin/install -c -m 644 strings.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/strings.lcl /usr/bin/install -c -m 644 strings.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/strings.lcs /usr/bin/install -c -m 644 time.lcl /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/time.lcl /usr/bin/install -c -m 644 time.lcs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/splint/imports/time.lcs make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/imports' Making install-data in test make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/test' make[2]: Nothing to be done for `install-data'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/test' Making install-data in doc make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/doc' /bin/bash ../config/mkinstalldirs /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/man/man1 mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/man mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/man/man1 /usr/bin/install -c -m 644 ./splint.1 /build/buildd/splint-3.1.2.dfsg1/debian/splint-data/usr/share/man/man1/splint.1 make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/doc' make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' make[1]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' /usr/bin/make DESTDIR=/build/buildd/splint-3.1.2.dfsg1/debian/splint install-exec make[1]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' Making install-exec in src make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/src' /bin/bash ../config/mkinstalldirs /build/buildd/splint-3.1.2.dfsg1/debian/splint/usr/bin mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint/usr mkdir /build/buildd/splint-3.1.2.dfsg1/debian/splint/usr/bin /usr/bin/install -c splint /build/buildd/splint-3.1.2.dfsg1/debian/splint/usr/bin/splint make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/src' Making install-exec in lib make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/lib' make[2]: Nothing to be done for `install-exec'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/lib' Making install-exec in imports make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/imports' make[2]: Nothing to be done for `install-exec'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/imports' Making install-exec in test make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/test' make[2]: Nothing to be done for `install-exec'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/test' Making install-exec in doc make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1/doc' make[2]: Nothing to be done for `install-exec'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1/doc' make[2]: Entering directory `/build/buildd/splint-3.1.2.dfsg1' make[2]: Nothing to be done for `install-exec-am'. make[2]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' make[1]: Leaving directory `/build/buildd/splint-3.1.2.dfsg1' dh_install dh_lintian dh_testdir -a dh_testroot -a dh_installchangelogs -a doc/changes.html dh_installdocs -a -p splint dh_installexamples dh_strip -a dh_strip debug symbol extraction: all non-arch-all packages for this build platform arm64: splint dh_strip debug symbol extraction: packages to act on: splint dh_strip debug symbol extraction: ignored packages: dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-deb: building package `splint-dbgsym' in `../splint-dbgsym_3.1.2.dfsg1-2_arm64.ddeb'. dh_compress -a dh_fixperms -a dh_installdeb -a dh_shlibdeps -a dh_gencontrol -a dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 118 pkgstriptranslations: processing splint (in debian/splint); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/splint/DEBIAN/control, package splint, directory debian/splint .. removing usr/share/doc/splint/changelog.html.gz .. removing usr/share/doc/splint/changelog.gz pkgstripfiles: Truncating usr/share/doc/splint/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package splint took 0 s dpkg-deb: warning: 'debian/splint/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `splint' in `../splint_3.1.2.dfsg1-2_arm64.deb'. dpkg-genchanges -B -mUbuntu Build Daemon >../splint_3.1.2.dfsg1-2_arm64.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build splint-3.1.2.dfsg1 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20131024-1752 Publishing debug debs. chroot-autobuild/build/buildd/splint_3.1.2.dfsg1-2_arm64.deb: new debian package, version 2.0. size 660494 bytes: control archive=1331 bytes. 1539 bytes, 31 lines control 644 bytes, 9 lines md5sums Package: splint Version: 3.1.2.dfsg1-2 Architecture: arm64 Maintainer: Ubuntu Developers Original-Maintainer: Y Giridhar Appaji Nag Installed-Size: 1584 Depends: libc6 (>= 2.17), splint-data (= 3.1.2.dfsg1-2) Suggests: splint-doc-html Section: devel Priority: optional Homepage: http://www.splint.org/ Description: tool for statically checking C programs for bugs splint is an annotation-assisted lightweight static checker. It is a tool for statically checking C programs for security vulnerabilities and coding mistakes. If additional effort is invested in adding annotations to programs, splint can perform stronger checking. . splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases. Problems detected by Splint include: . * Dereferencing a possibly null pointer * Using or returning storage that is undefined or not properly defined * Type mismatches, with greater precision and flexibility than by C compilers * Memory management errors like use of dangling references and memory leaks * Inconsistent (with specified interface) global variable modification or use * Problematic control flow such as likely infinite loops etc. * Buffer overflow vulnerabilities * Dangerous macro implementations or invocations * Violations of customized naming conventions chroot-autobuild/build/buildd/splint_3.1.2.dfsg1-2_arm64.deb: drwxr-xr-x root/root 0 2013-10-24 17:52 ./ drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/ drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/share/ drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/share/doc/splint/ -rw-r--r-- root/root 1731 2013-10-24 17:52 ./usr/share/doc/splint/changelog.Debian.gz -rw-r--r-- root/root 27364 2013-10-24 17:49 ./usr/share/doc/splint/copyright drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/share/doc/splint/examples/ -rw-r--r-- root/root 1338 2013-10-24 17:49 ./usr/share/doc/splint/examples/dbacl.splintrc -rw-r--r-- root/root 1041 2013-10-24 17:49 ./usr/share/doc/splint/examples/rtai.splintrc -rw-r--r-- root/root 2842 2013-10-24 17:49 ./usr/share/doc/splint/examples/linux-2.4.23.txt.gz -rw-r--r-- root/root 1321 2013-10-24 17:49 ./usr/share/doc/splint/examples/splint.splintrc -rw-r--r-- root/root 18024 2013-10-24 17:49 ./usr/share/doc/splint/bugs.html drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/share/lintian/ drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 176 2013-10-24 17:49 ./usr/share/lintian/overrides/splint drwxr-xr-x root/root 0 2013-10-24 17:52 ./usr/bin/ -rwxr-xr-x root/root 1516424 2013-10-24 17:52 ./usr/bin/splint splint_3.1.2.dfsg1-2_arm64.changes: Format: 1.8 Date: Tue, 17 Feb 2009 20:56:18 +0530 Source: splint Binary: splint splint-data splint-doc-html Architecture: arm64 Version: 3.1.2.dfsg1-2 Distribution: trusty Urgency: low Maintainer: Ubuntu Build Daemon Changed-By: Y Giridhar Appaji Nag Description: splint - tool for statically checking C programs for bugs splint-data - tool for statically checking C programs for bugs - data files splint-doc-html - tool for statically checking C programs for bugs - HTML documenta Changes: splint (3.1.2.dfsg1-2) unstable; urgency=low . * Add README.source to be compliant with policy 3.8.0 * Update Maintainer to official Debian ID * Remove DM-Upload-Allowed: yes * Update to debian/compat 6 and use dh_lintian instead of dh_installing override files. Checksums-Sha1: 70e7ac2017e09dde8dbce406276185fc9f0fc725 660494 splint_3.1.2.dfsg1-2_arm64.deb Checksums-Sha256: 5a6b49446496612d590101c82d6248a7a13d1ff938989858297b6215aa065d79 660494 splint_3.1.2.dfsg1-2_arm64.deb Files: d2addcd43959692f89fb01a92b67d81b 660494 devel optional splint_3.1.2.dfsg1-2_arm64.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20131024-1752 Build needed 00:03:00, 47480k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5125477'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5125477/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5125477'] Unmounting chroot for build PACKAGEBUILD-5125477... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5125477'] Removing build PACKAGEBUILD-5125477