Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/s/splint/splint_3.1.2+dfsg-5_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/splint-3.1.2+dfsg-5py6lq7bc/splint_3.1.2+dfsg-5_amd64.buildinfo Get source package info: splint=1:3.1.2+dfsg-5 Source URL: http://snapshot.notset.fr/mr/package/splint/1:3.1.2+dfsg-5/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-14 automake=1:1.16.3-2 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=11 base-passwd=3.5.49 bash=5.1-2 binutils=2.35.1-7 binutils-common=2.35.1-7 binutils-x86-64-linux-gnu=2.35.1-7 bsdextrautils=2.36.1-7 bsdutils=1:2.36.1-7 build-essential=12.9 bzip2=1.0.8-4 coreutils=8.32-4+b1 cpp=4:10.2.1-1 cpp-10=10.2.1-6 dash=0.5.11+git20200708+dd9ef66-5 debconf=1.5.74 debhelper=13.3.3 debianutils=4.11.2 dh-autoreconf=20 dh-strip-nondeterminism=1.11.0-1 diffutils=1:3.7-5 dpkg=1.20.7.1 dpkg-dev=1.20.7.1 dwz=0.13+20210201-1 file=1:5.39-3 findutils=4.8.0-1 flex=2.6.4-8 g++=4:10.2.1-1 g++-10=10.2.1-6 gcc=4:10.2.1-1 gcc-10=10.2.1-6 gcc-10-base=10.2.1-6 gettext=0.21-4 gettext-base=0.21-4 grep=3.6-1 groff-base=1.22.4-6 gzip=1.10-2 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-10 libarchive-zip-perl=1.68-1 libasan6=10.2.1-6 libatomic1=10.2.1-6 libattr1=1:2.4.48-6 libaudit-common=1:3.0-2 libaudit1=1:3.0-2 libbinutils=2.35.1-7 libblkid1=2.36.1-7 libbz2-1.0=1.0.8-4 libc-bin=2.31-9 libc-dev-bin=2.31-9 libc6=2.31-9 libc6-dev=2.31-9 libcap-ng0=0.7.9-2.2+b1 libcc1-0=10.2.1-6 libcom-err2=1.46.1-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libctf-nobfd0=2.35.1-7 libctf0=2.35.1-7 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.256 libdebhelper-perl=13.3.3 libdpkg-perl=1.20.7.1 libelf1=0.183-1 libfile-stripnondeterminism-perl=1.11.0-1 libfl-dev=2.6.4-8 libfl2=2.6.4-8 libgcc-10-dev=10.2.1-6 libgcc-s1=10.2.1-6 libgcrypt20=1.8.7-3 libgdbm-compat4=1.19-2 libgdbm6=1.19-2 libgmp10=2:6.2.1+dfsg-1 libgomp1=10.2.1-6 libgpg-error0=1.38-2 libgssapi-krb5-2=1.18.3-4 libicu67=67.1-6 libisl23=0.23-1 libitm1=10.2.1-6 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 liblsan0=10.2.1-6 liblz4-1=1.9.3-1 liblzma5=5.2.5-1.0 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmount1=2.36.1-7 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-4 libpam-modules-bin=1.4.0-4 libpam-runtime=1.4.0-4 libpam0g=1.4.0-4 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.1-2 libpipeline1=1.5.3-1 libquadmath0=10.2.1-6 libseccomp2=2.5.1-1 libselinux1=3.1-3 libsigsegv2=2.13-1 libsmartcols1=2.36.1-7 libssl1.1=1.1.1j-1 libstdc++-10-dev=10.2.1-6 libstdc++6=10.2.1-6 libsub-override-perl=0.09-2 libsystemd0=247.3-1 libtinfo6=6.2+20201114-2 libtirpc-common=1.3.1-1 libtirpc-dev=1.3.1-1 libtirpc3=1.3.1-1 libtool=2.4.6-15 libtsan0=10.2.1-6 libubsan1=10.2.1-6 libuchardet0=0.0.7-1 libudev1=247.3-1 libunistring2=0.9.10-4 libuuid1=2.36.1-7 libxml2=2.9.10+dfsg-6.3+b1 libzstd1=1.4.8+dfsg-1 linux-libc-dev=5.10.13-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4 man-db=2.9.4-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20201114-2 ncurses-bin=6.2+20201114-2 patch=2.7.6-7 perl=5.32.1-2 perl-base=5.32.1-2 perl-modules-5.32=5.32.1-2 po-debconf=1.0.21+nmu1 sed=4.7-1 sensible-utils=0.0.14 sysvinit-utils=2.96-5 tar=1.34+dfsg-1 util-linux=2.36.1-7 xz-utils=5.2.5-1.0 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211009T024746Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20210218T111050Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d splint=1:3.1.2+dfsg-5 && mkdir -p /build/splint-DobFMr && dpkg-source --no-check -x /*.dsc /build/splint-DobFMr/splint-3.1.2+dfsg && chown -R builduser:builduser /build/splint-DobFMr" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/splint-DobFMr/splint-3.1.2+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1613885914" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/splint-DobFMr /tmp/splint-3.1.2+dfsg-5py6lq7bc bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20210218T111050Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.N7bqW0CbIx as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.N7bqW0CbIx Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-7). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20210218T111050Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210218T111050Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (1114 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4662 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up fakeroot (1.25.3-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-9) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211009T024746Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20210218T111050Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.N7bqW0CbIx Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20210218T111050Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages [11.9 MB] Fetched 34.6 MB in 30s (1139 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.N7bqW0CbIx I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d splint=1:3.1.2+dfsg-5 && mkdir -p /build/splint-DobFMr && dpkg-source --no-check -x /*.dsc /build/splint-DobFMr/splint-3.1.2+dfsg && chown -R builduser:builduser /build/splint-DobFMr"' exec /tmp/mmdebstrap.N7bqW0CbIx Reading package lists... NOTICE: 'splint' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/debian/splint.git Please use: git clone https://salsa.debian.org/debian/splint.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 1241 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main splint 1:3.1.2+dfsg-5 (dsc) [2002 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main splint 1:3.1.2+dfsg-5 (tar) [1132 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main splint 1:3.1.2+dfsg-5 (diff) [107 kB] Fetched 1241 kB in 1s (1270 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'splint_3.1.2+dfsg-5.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting splint in /build/splint-DobFMr/splint-3.1.2+dfsg dpkg-source: info: unpacking splint_3.1.2+dfsg.orig.tar.xz dpkg-source: info: unpacking splint_3.1.2+dfsg-5.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 01_build.patch dpkg-source: info: applying 02_manpage.patch dpkg-source: info: applying 03_359894_VA_ARGS.patch dpkg-source: info: applying 04_bug_report.patch dpkg-source: info: applying 05_html_docs_css.patch dpkg-source: info: applying 06_reproducible-build.patch dpkg-source: info: applying 07_fix_clean_up.patch dpkg-source: info: applying 08_fix_spelling.patch dpkg-source: info: applying 09_fix_privacy_breach.patch dpkg-source: info: applying 10_fix_ac_and_am_warnings.patch dpkg-source: info: applying 11_reproducible_build_p2.patch dpkg-source: info: applying 12_remove_test_duplication.patch dpkg-source: info: applying 13_fix_segfault.patch dpkg-source: info: applying 14_fix_unary_plus.patch dpkg-source: info: applying 15_hh_printf_modifier.patch dpkg-source: info: applying 16_handle_c99_mixing.patch dpkg-source: info: applying 17_cherry-pick_misc.patch dpkg-source: info: applying 18_multiarch_include.patch dpkg-source: info: applying 19_fix_timespec_def.patch dpkg-source: info: applying 20_cscannerHelp_internal_bug.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/splint-DobFMr/splint-3.1.2+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1613885914" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.N7bqW0CbIx dpkg-buildpackage: info: source package splint dpkg-buildpackage: info: source version 1:3.1.2+dfsg-5 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Adrian Bunk dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 dpkg-source: info: using options from splint-3.1.2+dfsg/debian/source/options: --no-unapply-patches fakeroot debian/rules clean dh clean --no-parallel dh_auto_clean -O--no-parallel dh_autoreconf_clean -O--no-parallel debian/rules override_dh_clean make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_clean -X.orig for f in aclocal.m4 bin/Makefile.in config/depcomp config.hin config/install-sh config/missing config/mkinstalldirs configure doc/Makefile.in imports/Makefile.in lib/Makefile.in lib/posix.lcd lib/posixstrict.lcd lib/standard.lcd lib/standardstrict.lcd lib/unix.lcd lib/unixstrict.lcd Makefile.in src/cgrammar.c src/llgrammar.c src/Makefile.in src/signature.c test/Makefile.in; do \ test ! -f $f.orig || mv -f $f.orig $f; \ done make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' debian/rules build-arch dh build-arch --no-parallel debian/rules override_dh_update_autotools_config make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_update_autotools_config for f in aclocal.m4 bin/Makefile.in config/depcomp config.hin config/install-sh config/missing config/mkinstalldirs configure doc/Makefile.in imports/Makefile.in lib/Makefile.in lib/posix.lcd lib/posixstrict.lcd lib/standard.lcd lib/standardstrict.lcd lib/unix.lcd lib/unixstrict.lcd Makefile.in src/cgrammar.c src/llgrammar.c src/Makefile.in src/signature.c test/Makefile.in; do \ cp -an $f $f.orig; \ done make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_autoreconf -a -O--no-parallel configure.ac:26: installing 'config/compile' debian/rules override_dh_auto_configure-arch make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_auto_configure -a ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking target system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for flex... flex checking lex output file root... lex.yy checking lex library... -lfl checking whether yytext is a pointer... yes checking whether make sets $(MAKE)... (cached) yes checking whether ln -s works... yes checking for bison... no checking for grep... grep checking for diff... diff checking for cat... cat checking for rm... rm checking for mv... mv checking for cp... cp checking for sed... sed checking whether we need _ALL_SOURCE to expose mode_t... no checking whether to include support for LCL files... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating imports/Makefile config.status: creating lib/Makefile config.status: creating src/Makefile config.status: creating test/Makefile config.status: creating doc/Makefile config.status: creating bin/Makefile config.status: creating config.h config.status: executing depfiles commands make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_auto_build -a -O--no-parallel make -j1 make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make all-recursive make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' Making all in src make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' grep "FLG_" flags.def > Headers/flag_codes.gen make make[4]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cgrammar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscanner.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtscanner.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtgrammar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llgrammar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c signature.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppmain.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpplib.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppexp.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpphash.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpperror.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c context.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentry.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cprim.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c macrocache.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qual.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qtype.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctype.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cvar.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clabstract.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDecl.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globalsClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c modifiesClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c warnClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraint.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraintList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateExpression.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateSpecifier.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionConstraint.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pointers.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscannerHelp.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c structNames.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c transferChecks.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varKinds.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c nameChecks.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprData.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstring.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileloc.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c message.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c inputStream.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c valueTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateValue.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llerror.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c messageLog.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarker.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c aliasTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ynm.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c genericTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ekind.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab.c usymtab.c: In function ‘usymtab_load’: usymtab.c:2039:14: warning: ignoring return value of ‘fgets’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 2039 | (void) fgets (s, MAX_DUMP_LINE_LENGTH, f); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c multiVal.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lltok.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRef.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcllib.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c randomNumbers.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileLib.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globals.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flags.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c general.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c osd.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c reader.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtreader.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clauseStack.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocStack.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringSList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSetList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctypeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameSList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeSList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentryList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileIdList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qualList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarkerList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDeclList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagSpec.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c intSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeIdSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c guardSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymIdSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateInfo.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateCombinationTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateInfo.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationTable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationInfo.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mttok.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPieces.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPiece.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtContextNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtValuesNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationsNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationDecl.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferAction.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReferenceList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReference.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDeclList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDecl.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeItem.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClause.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClauseList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNode.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprChecks.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llmain.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c help.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c rcfiles.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintResolve.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintGeneration.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintTerm.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExprData.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExpr.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraint.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c loopHeuristics.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sigNodeSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSet.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c initDeclNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorInvNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c interfaceNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSetList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c letDeclNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stDeclNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c storeRefNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c termNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltokenList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c traitRefNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pairNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeNameNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fcnNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c paramNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c programNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varDeclarationNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c quantifierNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c replaceNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c importNodeList.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c tokentable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scan.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scanline.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslparse.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lh.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c checking.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclctypes.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c imports.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslinit.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c syntable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab_interface.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c abstract.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltoken.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscanline.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclsyntable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcltokentable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sort.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c symtable.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclinit.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c shift.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscan.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbol.c depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mapping.c gcc -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wl,-z,relro -Wl,-z,now -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl make all-am make[5]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[5]: Nothing to be done for 'all-am'. make[5]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[4]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' cd ../lib; make make[4]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 21 Feb 2021 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 --- 21 Feb 2021 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 --- 21 Feb 2021 Finished checking --- no warnings make[4]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' make all-am make[4]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[4]: Nothing to be done for 'all-am'. make[4]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' Making all in lib make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 21 Feb 2021 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 --- 21 Feb 2021 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 --- 21 Feb 2021 Finished checking --- no warnings make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' Making all in imports make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/imports' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/imports' Making all in test make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' Making all in doc make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/doc' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/doc' make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' debian/rules override_dh_auto_test-arch make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_auto_test -a -- -C test make -j1 check VERBOSE=1 -C test make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' Testing splint 3.1.2... Version Info: Splint 3.1.2 --- 21 Feb 2021 Maintainer: splint@packages.debian.org Compiled using gcc -g -O2 -ffile-prefix-map=/build/splint-DobFMr/splint-3.1.2+df sg=. -fstack-protector-strong -Wformat -Werror=format-security Splint 3.1.2 --- 21 Feb 2021 LARCH_PATH = .:/build/splint-DobFMr/splint-3.1.2+dfsg/lib --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = .:/build/splint-DobFMr/splint-3.1.2+dfsg/imports --- directory containing lcl standard library files (import with < ... >) include path = (set by environment variable CPATH and -I flags) --- path used to find #include'd files systemdirs = /usr/ (set by -systemdirs or environment variable CPATH) --- if file is found on this path, it is treated as a system file for error reporting Tests: Checking help... Checking abstptr... Checking abstract... Checking alias... Checking alttypes... Checking ansireserved... Checking argorder... Checking args... Checking arraydims... Checking arrayinit... Checking arraylit... Checking blocks... Checking break... Checking cases... Checking cast... Checking chararraylit... Checking charlit... Checking clauses... Checking commentchar... Checking compdestroy... Checking compoundliterals... Checking compoundstmt... Checking condifomit... Checking constannot... Checking controldepth... Checking csyntax... Checking czechnames... Checking czechoslovaknames... Checking deadparam... Checking decl... Checking divzero... Checking enum... Checking enumtag... Checking exports... Checking external... Checking fields... Checking flags... Checking forbody... Checking format... Checking freearray... Checking funcpointer... Checking functionmacro... Checking glob... Checking globals... Checking impabstract... Checking info... Checking init... Checking innerarray... Checking inparam... Checking internal... Checking iter... Checking keep... Checking libs... Checking linked... Checking lintcomments... Checking list... Checking longint... Checking loopexec... Checking looptesteffect... Checking macros... Checking macrosef... Checking malloc... Checking merge... Checking mergenull... Checking modifies... Checking modtest... Checking moduncon... Checking mongoincludes... Checking mystrncat... Checking noeffect... Checking null... Checking nullret... Checking nullassign... Checking numabstract... Checking observer... Checking oldstyle... Checking outglob... Checking outparam... Checking parentype... Checking postnotnull... Checking preds... Checking prefixes... Checking printflike... Checking rc... Checking refcounts... Checking release... Checking repexpose... Checking returned... Checking russian... Checking sharing... Checking shifts... Checking sizesigns... Checking slovaknames... Checking specclauses... Checking special... Checking stack... Checking staticarray... Checking strings... Checking stringliteral... Checking structassign... Checking typequals... Checking typeof... Checking ud... Checking ulstypes... Checking union... Checking unioninit... Checking unnamedsu... Checking unreachable... Checking unsignedcompare... Checking unused... Checking ullint... Checking utypes... 5a6,7 > < Location unknown >: Field name reused: > < Location unknown >: Previous use of 9c11 < Finished checking --- 2 code warnings, as expected --- > Finished checking --- 3 code warnings, expected 2 *** FAIL *** Checking void... Checking widestrings... Checking metastate... Checking mergestate... Checking tainted... Checking fileio... Checking simplebufferConstraintTests... Checking moreBufferTests... Checking moreBufferTests2... Checking globalbufferannotation... Checking maxset... Checking strchr... Checking sizeoftest... Checking for... Checking manual... Checking tests2.2... Checking tests2.4... Checking tests2.5... Checking db1... Checking db2... Checking db3... make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel dh_auto_install -a -O--no-parallel make -j1 install DESTDIR=/build/splint-DobFMr/splint-3.1.2\+dfsg/debian/tmp AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' Making install in src make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make install-am make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[4]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' /bin/mkdir -p '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/bin' /usr/bin/install -c splint '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/bin' make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/src' Making install in lib make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 21 Feb 2021 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 --- 21 Feb 2021 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 --- 21 Feb 2021 Finished checking --- no warnings make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' make[3]: Nothing to be done for 'install-exec-am'. ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 21 Feb 2021 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 21 Feb 2021 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 --- 21 Feb 2021 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 --- 21 Feb 2021 Finished checking --- no warnings /bin/mkdir -p '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/lib' /usr/bin/install -c -m 644 standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h file.mts file.xh filerw.mts filerw.xh lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh stdio.h stdlib.h '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/lib' make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/lib' Making install in imports make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/imports' make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/imports' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/imports' /usr/bin/install -c -m 644 assert.lcl assert.lcs ctype.lcl ctype.lcs errno.lcl errno.lcs limits.lcl limits.lcs locale.lcl locale.lcs math.lcl math.lcs setjmp.lcl setjmp.lcs signal.lcl signal.lcs stdarg.lcl stdarg.lcs stdio.lcl stdio.lcs stdlib.lcl stdlib.lcs string.lcl string.lcs strings.lcl strings.lcs time.lcl time.lcs '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/share/splint/imports' make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/imports' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/imports' Making install in test make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/test' Making install in doc make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/doc' make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg/doc' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/share/man/man1' /usr/bin/install -c -m 644 splint.1 '/build/splint-DobFMr/splint-3.1.2+dfsg/debian/tmp/usr/share/man/man1' make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/doc' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg/doc' make[2]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[3]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[2]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' debian/rules override_dh_install make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_install -psplint-data -X.lcd -XMakefile dh_install: warning: All requested packages have been excluded (e.g. via a Build-Profile or due to architecture restrictions). dh_install --remaining-packages make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_installdocs -a -O--no-parallel debian/rules override_dh_installchangelogs make[1]: Entering directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_installchangelogs doc/changes.html make[1]: Leaving directory '/build/splint-DobFMr/splint-3.1.2+dfsg' dh_installexamples -a -O--no-parallel dh_installman -a -O--no-parallel dh_installinit -a -O--no-parallel dh_installsystemduser -a -O--no-parallel dh_lintian -a -O--no-parallel dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel dh_compress -a -O--no-parallel dh_fixperms -a -O--no-parallel dh_missing -a -O--no-parallel dh_missing: warning: usr/share/splint/imports/assert.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/assert.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/ctype.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/ctype.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/errno.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/errno.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/limits.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/limits.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/locale.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/locale.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/math.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/math.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/setjmp.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/setjmp.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/signal.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/signal.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/stdarg.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/stdarg.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/stdio.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/stdio.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/stdlib.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/stdlib.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/string.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/string.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/strings.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/strings.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/time.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/imports/time.lcs exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/CTrait.syms exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/CTraitGen.lcl exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/bool.h exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/file.mts exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/file.xh exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/filerw.mts exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/filerw.xh exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/lclinit.lci exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/linux.h exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/lslinit.lsi exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/posix.h exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/standard.h exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/stdio.h exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/stdlib.h exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/tainted.mts exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/tainted.xh exists in debian/tmp but is not installed to anywhere dh_missing: warning: usr/share/splint/lib/unix.h exists in debian/tmp but is not installed to anywhere The following debhelper tools have reported what they installed (with files per package) * dh_install: splint (8), splint-data (2), splint-doc-html (1) * dh_installdocs: splint (0), splint-data (0), splint-doc-html (1) * dh_installexamples: splint (4), splint-data (0), splint-doc-html (0) * dh_installman: splint (0), splint-data (0), splint-doc-html (0) If the missing files are installed by another tool, please file a bug against it. When filing the report, if the tool is not part of debhelper itself, please reference the "Logging helpers and dh_missing" section from the "PROGRAMMING" guide for debhelper (10.6.3+). (in the debhelper package: /usr/share/doc/debhelper/PROGRAMMING.gz) Be sure to test with dpkg-buildpackage -A/-B as the results may vary when only a subset is built If the omission is intentional or no other helper can take care of this consider adding the paths to debian/not-installed. dh_dwz -a -O--no-parallel dh_strip -a -O--no-parallel dh_makeshlibs -a -O--no-parallel dh_shlibdeps -a -O--no-parallel dh_installdeb -a -O--no-parallel dh_gencontrol -a -O--no-parallel dh_md5sums -a -O--no-parallel dh_builddeb -a -O--no-parallel dpkg-deb: building package 'splint-dbgsym' in '../splint-dbgsym_3.1.2+dfsg-5_amd64.deb'. dpkg-deb: building package 'splint' in '../splint_3.1.2+dfsg-5_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../splint_3.1.2+dfsg-5_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-source: info: using options from splint-3.1.2+dfsg/debian/source/options: --no-unapply-patches dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/splint-DobFMr /tmp/splint-3.1.2+dfsg-5py6lq7bc I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.N7bqW0CbIx... I: success in 435.6854 seconds md5: splint-dbgsym_3.1.2+dfsg-5_amd64.deb: OK md5: splint_3.1.2+dfsg-5_amd64.deb: OK sha1: splint-dbgsym_3.1.2+dfsg-5_amd64.deb: OK sha1: splint_3.1.2+dfsg-5_amd64.deb: OK sha256: splint-dbgsym_3.1.2+dfsg-5_amd64.deb: OK sha256: splint_3.1.2+dfsg-5_amd64.deb: OK Checksums: OK