Diff of the two buildlogs:

--
--- b1/build.log	2021-07-07 12:17:15.312580521 +0000
+++ b2/build.log	2021-07-07 12:22:19.057116522 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Wed Jul  7 00:11:58 -12 2021
-I: pbuilder-time-stamp: 1625659918
+I: Current time: Wed Aug 10 08:40:17 +14 2022
+I: pbuilder-time-stamp: 1660070417
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz]
 I: copying local configuration
@@ -17,7 +17,7 @@
 I: Extracting source
 gpgv: unknown type of key resource 'trustedkeys.kbx'
 gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error
-gpgv: Signature made Tue Sep  5 02:25:50 2017 -12
+gpgv: Signature made Wed Sep  6 04:25:50 2017 +14
 gpgv:                using RSA key FD9CE2D8D7754B78AB279BBD2C3B436FEAC68101
 gpgv: Can't check signature: No public key
 dpkg-source: warning: failed to verify signature on ./splint_3.1.2+dfsg-1.dsc
@@ -47,136 +47,170 @@
 dpkg-source: info: applying 20_cscannerHelp_internal_bug.patch
 I: using fakeroot in build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/3738/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/15236/tmp/hooks/D01_modify_environment starting
+debug: Running on ionos15-amd64.
+I: Changing host+domainname to test build reproducibility
+I: Adding a custom variable just for the fun of it...
+I: Changing /bin/sh to bash
+Removing 'diversion of /bin/sh to /bin/sh.distrib by dash'
+Adding 'diversion of /bin/sh to /bin/sh.distrib by bash'
+Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash'
+Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash'
+I: Setting pbuilder2's login shell to /bin/bash
+I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
+I: user script /srv/workspace/pbuilder/15236/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/15236/tmp/hooks/D02_print_environment starting
 I: set
-  BUILDDIR='/build'
-  BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
-  BUILDUSERNAME='pbuilder1'
-  BUILD_ARCH='amd64'
-  DEBIAN_FRONTEND='noninteractive'
-  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15'
-  DISTRIBUTION=''
-  HOME='/root'
-  HOST_ARCH='amd64'
+  BASH=/bin/sh
+  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath
+  BASH_ALIASES=()
+  BASH_ARGC=()
+  BASH_ARGV=()
+  BASH_CMDS=()
+  BASH_LINENO=([0]="12" [1]="0")
+  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+  BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu")
+  BASH_VERSION='5.0.3(1)-release'
+  BUILDDIR=/build
+  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+  BUILDUSERNAME=pbuilder2
+  BUILD_ARCH=amd64
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16'
+  DIRSTACK=()
+  DISTRIBUTION=
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=x86_64
+  HOST_ARCH=amd64
   IFS=' 	
   '
-  INVOCATION_ID='ae7493f47b054239b895d428a7d77404'
-  LANG='C'
-  LANGUAGE='en_US:en'
-  LC_ALL='C'
-  MAIL='/var/mail/root'
-  OPTIND='1'
-  PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
-  PBCURRENTCOMMANDLINEOPERATION='build'
-  PBUILDER_OPERATION='build'
-  PBUILDER_PKGDATADIR='/usr/share/pbuilder'
-  PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
-  PBUILDER_SYSCONFDIR='/etc'
-  PPID='3738'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=b6fe3745d5654136aa0bc5ba58eef2b2
+  LANG=C
+  LANGUAGE=et_EE:et
+  LC_ALL=C
+  MACHTYPE=x86_64-pc-linux-gnu
+  MAIL=/var/mail/root
+  OPTERR=1
+  OPTIND=1
+  OSTYPE=linux-gnu
+  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
+  PBCURRENTCOMMANDLINEOPERATION=build
+  PBUILDER_OPERATION=build
+  PBUILDER_PKGDATADIR=/usr/share/pbuilder
+  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
+  PBUILDER_SYSCONFDIR=/etc
+  PIPESTATUS=([0]="0")
+  POSIXLY_CORRECT=y
+  PPID=15236
   PS4='+ '
-  PWD='/'
-  SHELL='/bin/bash'
-  SHLVL='2'
-  SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.XZarOEoYnE/pbuilderrc_RCpy --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.XZarOEoYnE/b1 --logfile b1/build.log splint_3.1.2+dfsg-1.dsc'
-  SUDO_GID='110'
-  SUDO_UID='105'
-  SUDO_USER='jenkins'
-  TERM='unknown'
-  TZ='/usr/share/zoneinfo/Etc/GMT+12'
-  USER='root'
-  _='/usr/bin/systemd-run'
-  http_proxy='http://78.137.99.97:3128'
+  PWD=/
+  SHELL=/bin/bash
+  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
+  SHLVL=3
+  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.XZarOEoYnE/pbuilderrc_AojC --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.XZarOEoYnE/b2 --logfile b2/build.log splint_3.1.2+dfsg-1.dsc'
+  SUDO_GID=111
+  SUDO_UID=106
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://85.184.249.68:3128
 I: uname -a
-  Linux ionos1-amd64 4.19.0-17-amd64 #1 SMP Debian 4.19.194-2 (2021-06-21) x86_64 GNU/Linux
+  Linux i-capture-the-hostname 5.10.0-0.bpo.7-amd64 #1 SMP Debian 5.10.40-1~bpo10+1 (2021-06-04) x86_64 GNU/Linux
 I: ls -l /bin
   total 5116
-  -rwxr-xr-x 1 root root 1168776 Apr 17  2019 bash
-  -rwxr-xr-x 3 root root   38984 Jul 10  2019 bunzip2
-  -rwxr-xr-x 3 root root   38984 Jul 10  2019 bzcat
-  lrwxrwxrwx 1 root root       6 Jul 10  2019 bzcmp -> bzdiff
-  -rwxr-xr-x 1 root root    2227 Jul 10  2019 bzdiff
-  lrwxrwxrwx 1 root root       6 Jul 10  2019 bzegrep -> bzgrep
-  -rwxr-xr-x 1 root root    4877 Jun 24  2019 bzexe
-  lrwxrwxrwx 1 root root       6 Jul 10  2019 bzfgrep -> bzgrep
-  -rwxr-xr-x 1 root root    3641 Jul 10  2019 bzgrep
-  -rwxr-xr-x 3 root root   38984 Jul 10  2019 bzip2
-  -rwxr-xr-x 1 root root   14328 Jul 10  2019 bzip2recover
-  lrwxrwxrwx 1 root root       6 Jul 10  2019 bzless -> bzmore
-  -rwxr-xr-x 1 root root    1297 Jul 10  2019 bzmore
-  -rwxr-xr-x 1 root root   43744 Feb 28  2019 cat
-  -rwxr-xr-x 1 root root   64320 Feb 28  2019 chgrp
-  -rwxr-xr-x 1 root root   64288 Feb 28  2019 chmod
-  -rwxr-xr-x 1 root root   72512 Feb 28  2019 chown
-  -rwxr-xr-x 1 root root  146880 Feb 28  2019 cp
-  -rwxr-xr-x 1 root root  121464 Jan 17  2019 dash
-  -rwxr-xr-x 1 root root  109408 Feb 28  2019 date
-  -rwxr-xr-x 1 root root   76712 Feb 28  2019 dd
-  -rwxr-xr-x 1 root root   93744 Feb 28  2019 df
-  -rwxr-xr-x 1 root root  138856 Feb 28  2019 dir
-  -rwxr-xr-x 1 root root   84288 Jan  9  2019 dmesg
-  lrwxrwxrwx 1 root root       8 Sep 26  2018 dnsdomainname -> hostname
-  lrwxrwxrwx 1 root root       8 Sep 26  2018 domainname -> hostname
-  -rwxr-xr-x 1 root root   39520 Feb 28  2019 echo
-  -rwxr-xr-x 1 root root      28 Jan  7  2019 egrep
-  -rwxr-xr-x 1 root root   35424 Feb 28  2019 false
-  -rwxr-xr-x 1 root root      28 Jan  7  2019 fgrep
-  -rwxr-xr-x 1 root root   68880 Jan  9  2019 findmnt
-  -rwsr-xr-x 1 root root   34896 Apr 22  2020 fusermount
-  -rwxr-xr-x 1 root root  198976 Jan  7  2019 grep
-  -rwxr-xr-x 2 root root    2345 Jan  5  2019 gunzip
-  -rwxr-xr-x 1 root root    6375 Jan  5  2019 gzexe
-  -rwxr-xr-x 1 root root   98048 Jan  5  2019 gzip
-  -rwxr-xr-x 1 root root   26696 Sep 26  2018 hostname
-  -rwxr-xr-x 1 root root   68552 Feb 28  2019 ln
-  -rwxr-xr-x 1 root root   56760 Jul 26  2018 login
-  -rwxr-xr-x 1 root root  138856 Feb 28  2019 ls
-  -rwxr-xr-x 1 root root  108624 Jan  9  2019 lsblk
-  -rwxr-xr-x 1 root root   89088 Feb 28  2019 mkdir
-  -rwxr-xr-x 1 root root   68544 Feb 28  2019 mknod
-  -rwxr-xr-x 1 root root   43808 Feb 28  2019 mktemp
-  -rwxr-xr-x 1 root root   43008 Jan  9  2019 more
-  -rwsr-xr-x 1 root root   51280 Jan  9  2019 mount
-  -rwxr-xr-x 1 root root   14408 Jan  9  2019 mountpoint
-  -rwxr-xr-x 1 root root  138728 Feb 28  2019 mv
-  lrwxrwxrwx 1 root root       8 Sep 26  2018 nisdomainname -> hostname
-  lrwxrwxrwx 1 root root      14 Feb 14  2019 pidof -> /sbin/killall5
-  -rwxr-xr-x 1 root root   39616 Feb 28  2019 pwd
-  lrwxrwxrwx 1 root root       4 Apr 17  2019 rbash -> bash
-  -rwxr-xr-x 1 root root   47776 Feb 28  2019 readlink
-  -rwxr-xr-x 1 root root   68416 Feb 28  2019 rm
-  -rwxr-xr-x 1 root root   47776 Feb 28  2019 rmdir
-  -rwxr-xr-x 1 root root   23312 Jan 21  2019 run-parts
-  -rwxr-xr-x 1 root root  122224 Dec 22  2018 sed
-  lrwxrwxrwx 1 root root       4 Jul  6 20:24 sh -> dash
-  -rwxr-xr-x 1 root root   39552 Feb 28  2019 sleep
-  -rwxr-xr-x 1 root root   80672 Feb 28  2019 stty
-  -rwsr-xr-x 1 root root   63568 Jan  9  2019 su
-  -rwxr-xr-x 1 root root   35488 Feb 28  2019 sync
-  -rwxr-xr-x 1 root root  445560 Apr 23  2019 tar
-  -rwxr-xr-x 1 root root   14440 Jan 21  2019 tempfile
-  -rwxr-xr-x 1 root root   97152 Feb 28  2019 touch
-  -rwxr-xr-x 1 root root   35424 Feb 28  2019 true
-  -rwxr-xr-x 1 root root   14328 Apr 22  2020 ulockmgr_server
-  -rwsr-xr-x 1 root root   34888 Jan  9  2019 umount
-  -rwxr-xr-x 1 root root   39584 Feb 28  2019 uname
-  -rwxr-xr-x 2 root root    2345 Jan  5  2019 uncompress
-  -rwxr-xr-x 1 root root  138856 Feb 28  2019 vdir
-  -rwxr-xr-x 1 root root   34896 Jan  9  2019 wdctl
-  -rwxr-xr-x 1 root root     946 Jan 21  2019 which
-  lrwxrwxrwx 1 root root       8 Sep 26  2018 ypdomainname -> hostname
-  -rwxr-xr-x 1 root root    1983 Jan  5  2019 zcat
-  -rwxr-xr-x 1 root root    1677 Jan  5  2019 zcmp
-  -rwxr-xr-x 1 root root    5879 Jan  5  2019 zdiff
-  -rwxr-xr-x 1 root root      29 Jan  5  2019 zegrep
-  -rwxr-xr-x 1 root root      29 Jan  5  2019 zfgrep
-  -rwxr-xr-x 1 root root    2080 Jan  5  2019 zforce
-  -rwxr-xr-x 1 root root    7584 Jan  5  2019 zgrep
-  -rwxr-xr-x 1 root root    2205 Jan  5  2019 zless
-  -rwxr-xr-x 1 root root    1841 Jan  5  2019 zmore
-  -rwxr-xr-x 1 root root    4552 Jan  5  2019 znew
-I: user script /srv/workspace/pbuilder/3738/tmp/hooks/D02_print_environment finished
+  -rwxr-xr-x 1 root root 1168776 Apr 18  2019 bash
+  -rwxr-xr-x 3 root root   38984 Jul 11  2019 bunzip2
+  -rwxr-xr-x 3 root root   38984 Jul 11  2019 bzcat
+  lrwxrwxrwx 1 root root       6 Jul 11  2019 bzcmp -> bzdiff
+  -rwxr-xr-x 1 root root    2227 Jul 11  2019 bzdiff
+  lrwxrwxrwx 1 root root       6 Jul 11  2019 bzegrep -> bzgrep
+  -rwxr-xr-x 1 root root    4877 Jun 25  2019 bzexe
+  lrwxrwxrwx 1 root root       6 Jul 11  2019 bzfgrep -> bzgrep
+  -rwxr-xr-x 1 root root    3641 Jul 11  2019 bzgrep
+  -rwxr-xr-x 3 root root   38984 Jul 11  2019 bzip2
+  -rwxr-xr-x 1 root root   14328 Jul 11  2019 bzip2recover
+  lrwxrwxrwx 1 root root       6 Jul 11  2019 bzless -> bzmore
+  -rwxr-xr-x 1 root root    1297 Jul 11  2019 bzmore
+  -rwxr-xr-x 1 root root   43744 Mar  1  2019 cat
+  -rwxr-xr-x 1 root root   64320 Mar  1  2019 chgrp
+  -rwxr-xr-x 1 root root   64288 Mar  1  2019 chmod
+  -rwxr-xr-x 1 root root   72512 Mar  1  2019 chown
+  -rwxr-xr-x 1 root root  146880 Mar  1  2019 cp
+  -rwxr-xr-x 1 root root  121464 Jan 18  2019 dash
+  -rwxr-xr-x 1 root root  109408 Mar  1  2019 date
+  -rwxr-xr-x 1 root root   76712 Mar  1  2019 dd
+  -rwxr-xr-x 1 root root   93744 Mar  1  2019 df
+  -rwxr-xr-x 1 root root  138856 Mar  1  2019 dir
+  -rwxr-xr-x 1 root root   84288 Jan 10  2019 dmesg
+  lrwxrwxrwx 1 root root       8 Sep 27  2018 dnsdomainname -> hostname
+  lrwxrwxrwx 1 root root       8 Sep 27  2018 domainname -> hostname
+  -rwxr-xr-x 1 root root   39520 Mar  1  2019 echo
+  -rwxr-xr-x 1 root root      28 Jan  8  2019 egrep
+  -rwxr-xr-x 1 root root   35424 Mar  1  2019 false
+  -rwxr-xr-x 1 root root      28 Jan  8  2019 fgrep
+  -rwxr-xr-x 1 root root   68880 Jan 10  2019 findmnt
+  -rwsr-xr-x 1 root root   34896 Apr 23  2020 fusermount
+  -rwxr-xr-x 1 root root  198976 Jan  8  2019 grep
+  -rwxr-xr-x 2 root root    2345 Jan  6  2019 gunzip
+  -rwxr-xr-x 1 root root    6375 Jan  6  2019 gzexe
+  -rwxr-xr-x 1 root root   98048 Jan  6  2019 gzip
+  -rwxr-xr-x 1 root root   26696 Sep 27  2018 hostname
+  -rwxr-xr-x 1 root root   68552 Mar  1  2019 ln
+  -rwxr-xr-x 1 root root   56760 Jul 27  2018 login
+  -rwxr-xr-x 1 root root  138856 Mar  1  2019 ls
+  -rwxr-xr-x 1 root root  108624 Jan 10  2019 lsblk
+  -rwxr-xr-x 1 root root   89088 Mar  1  2019 mkdir
+  -rwxr-xr-x 1 root root   68544 Mar  1  2019 mknod
+  -rwxr-xr-x 1 root root   43808 Mar  1  2019 mktemp
+  -rwxr-xr-x 1 root root   43008 Jan 10  2019 more
+  -rwsr-xr-x 1 root root   51280 Jan 10  2019 mount
+  -rwxr-xr-x 1 root root   14408 Jan 10  2019 mountpoint
+  -rwxr-xr-x 1 root root  138728 Mar  1  2019 mv
+  lrwxrwxrwx 1 root root       8 Sep 27  2018 nisdomainname -> hostname
+  lrwxrwxrwx 1 root root      14 Feb 15  2019 pidof -> /sbin/killall5
+  -rwxr-xr-x 1 root root   39616 Mar  1  2019 pwd
+  lrwxrwxrwx 1 root root       4 Apr 18  2019 rbash -> bash
+  -rwxr-xr-x 1 root root   47776 Mar  1  2019 readlink
+  -rwxr-xr-x 1 root root   68416 Mar  1  2019 rm
+  -rwxr-xr-x 1 root root   47776 Mar  1  2019 rmdir
+  -rwxr-xr-x 1 root root   23312 Jan 22  2019 run-parts
+  -rwxr-xr-x 1 root root  122224 Dec 23  2018 sed
+  lrwxrwxrwx 1 root root       4 Aug 10 08:40 sh -> bash
+  lrwxrwxrwx 1 root root       4 Aug 10 04:47 sh.distrib -> dash
+  -rwxr-xr-x 1 root root   39552 Mar  1  2019 sleep
+  -rwxr-xr-x 1 root root   80672 Mar  1  2019 stty
+  -rwsr-xr-x 1 root root   63568 Jan 10  2019 su
+  -rwxr-xr-x 1 root root   35488 Mar  1  2019 sync
+  -rwxr-xr-x 1 root root  445560 Apr 24  2019 tar
+  -rwxr-xr-x 1 root root   14440 Jan 22  2019 tempfile
+  -rwxr-xr-x 1 root root   97152 Mar  1  2019 touch
+  -rwxr-xr-x 1 root root   35424 Mar  1  2019 true
+  -rwxr-xr-x 1 root root   14328 Apr 23  2020 ulockmgr_server
+  -rwsr-xr-x 1 root root   34888 Jan 10  2019 umount
+  -rwxr-xr-x 1 root root   39584 Mar  1  2019 uname
+  -rwxr-xr-x 2 root root    2345 Jan  6  2019 uncompress
+  -rwxr-xr-x 1 root root  138856 Mar  1  2019 vdir
+  -rwxr-xr-x 1 root root   34896 Jan 10  2019 wdctl
+  -rwxr-xr-x 1 root root     946 Jan 22  2019 which
+  lrwxrwxrwx 1 root root       8 Sep 27  2018 ypdomainname -> hostname
+  -rwxr-xr-x 1 root root    1983 Jan  6  2019 zcat
+  -rwxr-xr-x 1 root root    1677 Jan  6  2019 zcmp
+  -rwxr-xr-x 1 root root    5879 Jan  6  2019 zdiff
+  -rwxr-xr-x 1 root root      29 Jan  6  2019 zegrep
+  -rwxr-xr-x 1 root root      29 Jan  6  2019 zfgrep
+  -rwxr-xr-x 1 root root    2080 Jan  6  2019 zforce
+  -rwxr-xr-x 1 root root    7584 Jan  6  2019 zgrep
+  -rwxr-xr-x 1 root root    2205 Jan  6  2019 zless
+  -rwxr-xr-x 1 root root    1841 Jan  6  2019 zmore
+  -rwxr-xr-x 1 root root    4552 Jan  6  2019 znew
+I: user script /srv/workspace/pbuilder/15236/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -251,7 +285,7 @@
 Get: 34 http://deb.debian.org/debian buster/main amd64 debhelper all 12.1.1 [1016 kB]
 Get: 35 http://deb.debian.org/debian buster/main amd64 libfl2 amd64 2.6.4-6.2 [103 kB]
 Get: 36 http://deb.debian.org/debian buster/main amd64 libfl-dev amd64 2.6.4-6.2 [104 kB]
-Fetched 19.7 MB in 0s (67.0 MB/s)
+Fetched 19.7 MB in 0s (72.8 MB/s)
 debconf: delaying package configuration, since apt-utils is not installed
 Selecting previously unselected package libbsd0: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 ... 19195 files and directories currently installed.)
@@ -418,7 +452,7 @@
 fakeroot is already the newest version (1.23-1).
 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 I: Building the package
-I: Running cd /build/splint-3.1.2+dfsg/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b
+I: Running cd /build/splint-3.1.2+dfsg/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b
 dpkg-buildpackage: info: source package splint
 dpkg-buildpackage: info: source version 1:3.1.2+dfsg-1
 dpkg-buildpackage: info: source distribution unstable
@@ -515,195 +549,195 @@
 grep "FLG_" flags.def > Headers/flag_codes.gen
 make
 make[4]: Entering directory '/build/splint-3.1.2+dfsg/src'
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cgrammar.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscanner.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtscanner.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtgrammar.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llgrammar.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c signature.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppmain.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpplib.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppexp.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpphash.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpperror.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c context.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentry.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cprim.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c macrocache.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qual.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qtype.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClauseList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctype.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cvar.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clabstract.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDecl.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globalsClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c modifiesClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c warnClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClauseList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraint.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraintList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateExpression.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateSpecifier.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionConstraint.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pointers.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscannerHelp.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c structNames.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c transferChecks.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varKinds.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c nameChecks.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprData.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstring.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileloc.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c message.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c inputStream.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c valueTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateValue.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llerror.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c messageLog.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarker.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c aliasTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ynm.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c genericTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ekind.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cgrammar.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscanner.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtscanner.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtgrammar.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llgrammar.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c signature.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppmain.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpplib.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cppexp.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpphash.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cpperror.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c context.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentry.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cprim.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c macrocache.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qual.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qtype.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateClauseList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctype.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cvar.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clabstract.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDecl.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globalsClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c modifiesClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c warnClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionClauseList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraint.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateConstraintList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateExpression.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateSpecifier.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c functionConstraint.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pointers.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cscannerHelp.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c structNames.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c transferChecks.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varKinds.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c nameChecks.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprData.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstring.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileloc.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c message.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c inputStream.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c valueTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateValue.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llerror.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c messageLog.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarker.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c aliasTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ynm.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c genericTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ekind.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab.c
 usymtab.c: In function 'usymtab_load':
 usymtab.c:2039:14: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
        (void) fgets (s, MAX_DUMP_LINE_LENGTH, f);
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c multiVal.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lltok.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRef.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcllib.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c randomNumbers.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileLib.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globals.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flags.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c general.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c osd.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c reader.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtreader.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clauseStack.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocStack.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringSList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSetList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctypeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameSList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeSList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentryList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileIdList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qualList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarkerList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDeclList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagSpec.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c intSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeIdSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c guardSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymIdSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateInfo.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateCombinationTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateInfo.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationTable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationInfo.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mttok.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPieces.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPiece.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtContextNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtValuesNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationsNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationDecl.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClauseList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferAction.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReferenceList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReference.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDeclList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDecl.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeItem.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClause.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClauseList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNode.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprChecks.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llmain.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c help.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c rcfiles.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintResolve.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintGeneration.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintTerm.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExprData.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExpr.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraint.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c loopHeuristics.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sigNodeSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSet.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c initDeclNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorInvNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c interfaceNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSetList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c letDeclNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stDeclNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c storeRefNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c termNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltokenList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c traitRefNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pairNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeNameNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fcnNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c paramNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c programNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varDeclarationNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c quantifierNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c replaceNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c importNodeList.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c tokentable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scan.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scanline.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslparse.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lh.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c checking.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclctypes.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c imports.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslinit.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c syntable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab_interface.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c abstract.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltoken.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscanline.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclsyntable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcltokentable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sort.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c symtable.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclinit.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c shift.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscan.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbol.c
-depmode=none /bin/bash ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mapping.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c multiVal.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lltok.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRef.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcllib.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c randomNumbers.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileLib.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globals.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flags.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c general.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c osd.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c reader.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtreader.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c clauseStack.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocStack.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c cstringSList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSetList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ctypeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c enumNameSList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNodeSList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c uentryList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fileIdList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c filelocList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c qualList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagMarkerList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c idDeclList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c flagSpec.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c globSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c intSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeIdSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c guardSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymIdSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sRefSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateInfo.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stateCombinationTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c metaStateInfo.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationTable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c annotationInfo.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mttok.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPieces.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDeclarationPiece.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtContextNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtValuesNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationsNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtAnnotationDecl.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClauseList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtTransferAction.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReferenceList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtLoseReference.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDeclList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtDefaultsDecl.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeItem.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClause.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mtMergeClauseList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprNode.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c exprChecks.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c llmain.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c help.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c rcfiles.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintResolve.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintGeneration.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintTerm.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExprData.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraintExpr.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c constraint.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c loopHeuristics.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sigNodeSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSet.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c initDeclNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorInvNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c interfaceNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sortSetList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c declaratorNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c letDeclNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c stDeclNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c storeRefNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslOpList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbolList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c termNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltokenList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c traitRefNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c pairNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c typeNameNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c fcnNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c paramNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c programNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varDeclarationNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c varNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c quantifierNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c replaceNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c importNodeList.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c tokentable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scan.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c scanline.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslparse.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lh.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c checking.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclctypes.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c imports.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lslinit.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c syntable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c usymtab_interface.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c abstract.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c ltoken.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscanline.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclsyntable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lcltokentable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c sort.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c symtable.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclinit.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c shift.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lclscan.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c lsymbol.c
+depmode=none /bin/sh ../config/depcomp gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2   -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -c mapping.c
 gcc  -g -O2 -ffile-prefix-map=/build/splint-3.1.2+dfsg=. -fstack-protector-strong -Wformat -Werror=format-security  -Wl,-z,relro -Wl,-z,now -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o   lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl 
 make  all-am
 make[5]: Entering directory '/build/splint-3.1.2+dfsg/src'
@@ -1096,10 +1130,10 @@
    dh_gencontrol -O--no-parallel
    dh_md5sums -O--no-parallel
    dh_builddeb -O--no-parallel
-dpkg-deb: building package 'splint' in '../splint_3.1.2+dfsg-1_amd64.deb'.
-dpkg-deb: building package 'splint-data' in '../splint-data_3.1.2+dfsg-1_all.deb'.
 dpkg-deb: building package 'splint-dbgsym' in '../splint-dbgsym_3.1.2+dfsg-1_amd64.deb'.
 dpkg-deb: building package 'splint-doc-html' in '../splint-doc-html_3.1.2+dfsg-1_all.deb'.
+dpkg-deb: building package 'splint' in '../splint_3.1.2+dfsg-1_amd64.deb'.
+dpkg-deb: building package 'splint-data' in '../splint-data_3.1.2+dfsg-1_all.deb'.
  dpkg-genbuildinfo --build=binary
  dpkg-genchanges --build=binary >../splint_3.1.2+dfsg-1_amd64.changes
 dpkg-genchanges: info: binary-only upload (no source code included)
@@ -1107,12 +1141,14 @@
 dpkg-source: info: using options from splint-3.1.2+dfsg/debian/source/options: --no-unapply-patches
 dpkg-buildpackage: info: binary-only upload (no source included)
 I: copying local configuration
+I: user script /srv/workspace/pbuilder/15236/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/15236/tmp/hooks/B01_cleanup finished
 I: unmounting dev/ptmx filesystem
 I: unmounting dev/pts filesystem
 I: unmounting dev/shm filesystem
 I: unmounting proc filesystem
 I: unmounting sys filesystem
 I: cleaning the build env 
-I: removing directory /srv/workspace/pbuilder/3738 and its subdirectories
-I: Current time: Wed Jul  7 00:17:14 -12 2021
-I: pbuilder-time-stamp: 1625660234
+I: removing directory /srv/workspace/pbuilder/15236 and its subdirectories
+I: Current time: Wed Aug 10 08:45:19 +14 2022
+I: pbuilder-time-stamp: 1660070719