Fri Nov 22 23:11:15 UTC 2024 I: starting to build linksem/unstable/i386 on jenkins on '2024-11-22 23:11' Fri Nov 22 23:11:15 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/i386_14/52045/console.log Fri Nov 22 23:11:15 UTC 2024 I: Downloading source for unstable/linksem=0.8+dfsg3-1 --2024-11-22 23:11:15-- http://deb.debian.org/debian/pool/main/l/linksem/linksem_0.8%2bdfsg3-1.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2057 (2.0K) [text/prs.lines.tag] Saving to: ‘linksem_0.8+dfsg3-1.dsc’ 0K .. 100% 258M=0s 2024-11-22 23:11:15 (258 MB/s) - ‘linksem_0.8+dfsg3-1.dsc’ saved [2057/2057] Fri Nov 22 23:11:15 UTC 2024 I: linksem_0.8+dfsg3-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: linksem Binary: liblinksem-ocaml-dev Architecture: any Version: 0.8+dfsg3-1 Maintainer: Debian OCaml Maintainers Uploaders: Bo YU Homepage: https://github.com/rems-project/lem Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/linksem Vcs-Git: https://salsa.debian.org/ocaml-team/linksem.git Build-Depends: debhelper-compat (= 13), ocaml, dh-ocaml (>= 1.2), lem, liblem-ocaml-dev, ocaml-findlib, ocamlbuild, libzarith-ocaml-dev, libnum-ocaml-dev Package-List: liblinksem-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 0d57d104287cb37e1950f470c3502b85596af367 487052 linksem_0.8+dfsg3.orig.tar.xz 5fb0e7f02e4004edc3f4d86779fcfeded57bee7b 4564 linksem_0.8+dfsg3-1.debian.tar.xz Checksums-Sha256: a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz e87bb5916b9d56b2d18245a20cafb46af2809776c529526c7c0f2adabd150d30 4564 linksem_0.8+dfsg3-1.debian.tar.xz Files: 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz 31881337d2fc03f977e38c73ac7cbf48 4564 linksem_0.8+dfsg3-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdAcRsACgkQ808JdE6f Xdkq6g//TWB+FTxr3l9UERgjeJ4dZ1MoO3ONlyka/qX87PWiPynHlcbAES384F6S 7IrwSpPxfB1sFUT8D1JxoN+dKYURG2fsPphAuaik9Qb/JfRknb5e8feDsZ1RFt+G BomoXyFhMfuTtQJVjVdJtFyG8iabemzO5A7pCFJqf+pQiyNmKJj3Re6mWYO+gHVZ znUqchwcPqABH37hayG7fnoGJT6yH0lCrJJzlr+ehEU/nPnMSACrJihn6r3Gkn2Y 4xx9kjbR83vYu7feWVpGBXYzb/8imLe3DkglCC3ec7CBj+Y39bTM6337J/3/KXBo ftoDr6SpdwIjmE5jpFMC5z/k3Wj7fqWd06tdpIgPKJal8DyPel9GD5WFXiTgwbuC W7t30TUR38aUgfRegcQmkBXDh9rHSuTuCUHU4jO+IRRiznqabCasCWJB3Jt/UTyP p22PiYg9wRCeLcJ3KRK1aHgW3gTRuOc3msm5HxFBuFSdndnGq/JJk8OvKEwpCdAB fDQU2E1EdraVwEvZMbyKsIQO78vV97h7VC8N+1cQ9WLgyx7XRt7HGHFUhNcjp+SV pWxPTwE5+OqghIfjVt4UFRTIQwFTARDu4S5feuPJZCvQcnxqEjoorf6NAtqbg8nY vXAkCwL6EkhfyqLclV1GZ7g39p7smGqkwXypW9Eve3Gkrp+8Gfg= =quG4 -----END PGP SIGNATURE----- Fri Nov 22 23:11:15 UTC 2024 I: Checking whether the package is not for us Fri Nov 22 23:11:15 UTC 2024 I: Starting 1st build on remote node infom08-i386.debian.net. Fri Nov 22 23:11:15 UTC 2024 I: Preparing to do remote build '1' on infom08-i386.debian.net. Fri Nov 22 23:12:54 UTC 2024 I: Deleting $TMPDIR on infom08-i386.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Thu Dec 25 17:34:17 -12 2025 I: pbuilder-time-stamp: 1766727257 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: using eatmydata during job I: Copying source file I: copying [linksem_0.8+dfsg3-1.dsc] I: copying [./linksem_0.8+dfsg3.orig.tar.xz] I: copying [./linksem_0.8+dfsg3-1.debian.tar.xz] I: Extracting source gpgv: Signature made Fri Nov 22 11:55:07 2024 gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./linksem_0.8+dfsg3-1.dsc: no acceptable signature found dpkg-source: info: extracting linksem in linksem-0.8+dfsg3 dpkg-source: info: unpacking linksem_0.8+dfsg3.orig.tar.xz dpkg-source: info: unpacking linksem_0.8+dfsg3-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 0002-change-linksem-install-dir.patch dpkg-source: info: applying 0003-change-check-lem.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/14984/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='i386' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=6 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='i386' IFS=' ' INVOCATION_ID='75acf5eff00846d6af0b6b5fcc4cc118' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' LD_LIBRARY_PATH='/usr/lib/libeatmydata' LD_PRELOAD='libeatmydata.so' 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='14984' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.gD1MZun4/pbuilderrc_JW9b --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.gD1MZun4/b1 --logfile b1/build.log linksem_0.8+dfsg3-1.dsc' SUDO_GID='111' SUDO_UID='104' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' I: uname -a Linux infom08-i386 6.11.5+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.11.5-1~bpo12+1 (2024-11-11) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 4 2024 /bin -> usr/bin I: user script /srv/workspace/pbuilder/14984/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: i386 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), ocaml, dh-ocaml (>= 1.2), lem, liblem-ocaml-dev, ocaml-findlib, ocamlbuild, libzarith-ocaml-dev, libnum-ocaml-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19952 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on ocaml; however: Package ocaml is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml (>= 1.2); however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on lem; however: Package lem is not installed. pbuilder-satisfydepends-dummy depends on liblem-ocaml-dev; however: Package liblem-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on ocaml-findlib; however: Package ocaml-findlib is not installed. pbuilder-satisfydepends-dummy depends on ocamlbuild; however: Package ocamlbuild is not installed. pbuilder-satisfydepends-dummy depends on libzarith-ocaml-dev; however: Package libzarith-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libnum-ocaml-dev; however: Package libnum-ocaml-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libconfig-tiny-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx wget 0 packages upgraded, 31 newly installed, 0 to remove and 0 not upgraded. Need to get 20.2 MB of archives. After unpacking 76.0 MB will be used. The following packages have unmet dependencies: pbuilder-satisfydepends-dummy : Depends: ocaml but it is not installable Depends: lem but it is not installable Depends: liblem-ocaml-dev but it is not installable Depends: ocaml-findlib but it is not installable Depends: ocamlbuild but it is not installable Depends: libzarith-ocaml-dev but it is not installable Depends: libnum-ocaml-dev but it is not installable The following actions will resolve these dependencies: Install the following packages: 1) lem [2022-12-10+dfsg2-4 (unstable)] 2) libcompiler-libs-ocaml-dev [5.2.0-3 (unstable)] 3) libfindlib-ocaml [1.9.6-3 (unstable)] 4) libgmp-dev [2:6.3.0+dfsg-2+b2 (unstable)] 5) libgmp3-dev [2:6.3.0+dfsg-2+b2 (unstable)] 6) libgmpxx4ldbl [2:6.3.0+dfsg-2+b2 (unstable)] 7) liblem-ocaml-dev [2022-12-10+dfsg2-4 (unstable)] 8) libncurses-dev [6.5-2+b1 (unstable)] 9) libncurses6 [6.5-2+b1 (unstable)] 10) libnum-ocaml [1.5-1+b1 (unstable)] 11) libnum-ocaml-dev [1.5-1+b1 (unstable)] 12) libstdlib-ocaml [5.2.0-3 (unstable)] 13) libstdlib-ocaml-dev [5.2.0-3 (unstable)] 14) libzarith-ocaml [1.14-1 (unstable)] 15) libzarith-ocaml-dev [1.14-1 (unstable)] 16) libzstd-dev [1.5.6+dfsg-1+b1 (unstable)] 17) ocaml [5.2.0-3 (unstable)] 18) ocaml-base [5.2.0-3 (unstable)] 19) ocaml-findlib [1.9.6-3 (unstable)] 20) ocaml-interp [5.2.0-3 (unstable)] 21) ocamlbuild [0.15.0-2+b1 (unstable)] The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} lem{a} libarchive-zip-perl{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libicu72{a} liblem-ocaml-dev{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libnum-ocaml{a} libnum-ocaml-dev{a} libpipeline1{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libtool{a} libuchardet0{a} libxml2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} ocaml{a} ocaml-base{a} ocaml-findlib{a} ocaml-interp{a} ocamlbuild{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl ledit libarchive-cpio-perl libfindlib-ocaml-dev libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 0 packages upgraded, 52 newly installed, 0 to remove and 0 not upgraded. Need to get 75.9 MB of archives. After unpacking 204 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main i386 sensible-utils all 0.0.24 [24.8 kB] Get: 2 http://deb.debian.org/debian unstable/main i386 libmagic-mgc i386 1:5.45-3+b1 [314 kB] Get: 3 http://deb.debian.org/debian unstable/main i386 libmagic1t64 i386 1:5.45-3+b1 [115 kB] Get: 4 http://deb.debian.org/debian unstable/main i386 file i386 1:5.45-3+b1 [43.2 kB] Get: 5 http://deb.debian.org/debian unstable/main i386 gettext-base i386 0.22.5-2 [201 kB] Get: 6 http://deb.debian.org/debian unstable/main i386 libuchardet0 i386 0.0.8-1+b2 [69.2 kB] Get: 7 http://deb.debian.org/debian unstable/main i386 groff-base i386 1.23.0-5 [1196 kB] Get: 8 http://deb.debian.org/debian unstable/main i386 bsdextrautils i386 2.40.2-11 [95.6 kB] Get: 9 http://deb.debian.org/debian unstable/main i386 libpipeline1 i386 1.5.8-1 [41.2 kB] Get: 10 http://deb.debian.org/debian unstable/main i386 man-db i386 2.13.0-1 [1428 kB] Get: 11 http://deb.debian.org/debian unstable/main i386 m4 i386 1.4.19-4 [293 kB] Get: 12 http://deb.debian.org/debian unstable/main i386 autoconf all 2.72-3 [493 kB] Get: 13 http://deb.debian.org/debian unstable/main i386 autotools-dev all 20220109.1 [51.6 kB] Get: 14 http://deb.debian.org/debian unstable/main i386 automake all 1:1.16.5-1.3 [823 kB] Get: 15 http://deb.debian.org/debian unstable/main i386 autopoint all 0.22.5-2 [723 kB] Get: 16 http://deb.debian.org/debian unstable/main i386 libdebhelper-perl all 13.20 [89.7 kB] Get: 17 http://deb.debian.org/debian unstable/main i386 libtool all 2.4.7-8 [517 kB] Get: 18 http://deb.debian.org/debian unstable/main i386 dh-autoreconf all 20 [17.1 kB] Get: 19 http://deb.debian.org/debian unstable/main i386 libarchive-zip-perl all 1.68-1 [104 kB] Get: 20 http://deb.debian.org/debian unstable/main i386 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 21 http://deb.debian.org/debian unstable/main i386 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 22 http://deb.debian.org/debian unstable/main i386 libelf1t64 i386 0.192-4 [195 kB] Get: 23 http://deb.debian.org/debian unstable/main i386 dwz i386 0.15-1+b1 [116 kB] Get: 24 http://deb.debian.org/debian unstable/main i386 libicu72 i386 72.1-5+b1 [9583 kB] Get: 25 http://deb.debian.org/debian unstable/main i386 libxml2 i386 2.12.7+dfsg+really2.9.14-0.2+b1 [734 kB] Get: 26 http://deb.debian.org/debian unstable/main i386 gettext i386 0.22.5-2 [1631 kB] Get: 27 http://deb.debian.org/debian unstable/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 28 http://deb.debian.org/debian unstable/main i386 po-debconf all 1.0.21+nmu1 [248 kB] Get: 29 http://deb.debian.org/debian unstable/main i386 debhelper all 13.20 [915 kB] Get: 30 http://deb.debian.org/debian unstable/main i386 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 31 http://deb.debian.org/debian unstable/main i386 dh-ocaml all 2.4 [62.9 kB] Get: 32 http://deb.debian.org/debian unstable/main i386 libstdlib-ocaml i386 5.2.0-3 [503 kB] Get: 33 http://deb.debian.org/debian unstable/main i386 ocaml-base i386 5.2.0-3 [470 kB] Get: 34 http://deb.debian.org/debian unstable/main i386 libzarith-ocaml i386 1.14-1 [88.9 kB] Get: 35 http://deb.debian.org/debian unstable/main i386 lem i386 2022-12-10+dfsg2-4 [197 kB] Get: 36 http://deb.debian.org/debian unstable/main i386 libstdlib-ocaml-dev i386 5.2.0-3 [10.3 MB] Get: 37 http://deb.debian.org/debian unstable/main i386 libcompiler-libs-ocaml-dev i386 5.2.0-3 [32.0 MB] Get: 38 http://deb.debian.org/debian unstable/main i386 libfindlib-ocaml i386 1.9.6-3 [128 kB] Get: 39 http://deb.debian.org/debian unstable/main i386 libgmpxx4ldbl i386 2:6.3.0+dfsg-2+b2 [330 kB] Get: 40 http://deb.debian.org/debian unstable/main i386 libgmp-dev i386 2:6.3.0+dfsg-2+b2 [661 kB] Get: 41 http://deb.debian.org/debian unstable/main i386 libgmp3-dev i386 2:6.3.0+dfsg-2+b2 [322 kB] Get: 42 http://deb.debian.org/debian unstable/main i386 libnum-ocaml i386 1.5-1+b1 [130 kB] Get: 43 http://deb.debian.org/debian unstable/main i386 ocaml-interp i386 5.2.0-3 [6850 kB] Get: 44 http://deb.debian.org/debian unstable/main i386 libncurses6 i386 6.5-2+b1 [112 kB] Get: 45 http://deb.debian.org/debian unstable/main i386 libncurses-dev i386 6.5-2+b1 [505 kB] Get: 46 http://deb.debian.org/debian unstable/main i386 libzstd-dev i386 1.5.6+dfsg-1+b1 [355 kB] Get: 47 http://deb.debian.org/debian unstable/main i386 ocaml i386 5.2.0-3 [1472 kB] Get: 48 http://deb.debian.org/debian unstable/main i386 libnum-ocaml-dev i386 1.5-1+b1 [84.6 kB] Get: 49 http://deb.debian.org/debian unstable/main i386 libzarith-ocaml-dev i386 1.14-1 [114 kB] Get: 50 http://deb.debian.org/debian unstable/main i386 liblem-ocaml-dev i386 2022-12-10+dfsg2-4 [410 kB] Get: 51 http://deb.debian.org/debian unstable/main i386 ocaml-findlib i386 1.9.6-3 [296 kB] Get: 52 http://deb.debian.org/debian unstable/main i386 ocamlbuild i386 0.15.0-2+b1 [361 kB] Fetched 75.9 MB in 2s (36.3 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package sensible-utils. (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 ... 19952 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../01-libmagic-mgc_1%3a5.45-3+b1_i386.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:i386. Preparing to unpack .../02-libmagic1t64_1%3a5.45-3+b1_i386.deb ... Unpacking libmagic1t64:i386 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../03-file_1%3a5.45-3+b1_i386.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../04-gettext-base_0.22.5-2_i386.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:i386. Preparing to unpack .../05-libuchardet0_0.0.8-1+b2_i386.deb ... Unpacking libuchardet0:i386 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../06-groff-base_1.23.0-5_i386.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../07-bsdextrautils_2.40.2-11_i386.deb ... Unpacking bsdextrautils (2.40.2-11) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../08-libpipeline1_1.5.8-1_i386.deb ... Unpacking libpipeline1:i386 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../09-man-db_2.13.0-1_i386.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../10-m4_1.4.19-4_i386.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../11-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../12-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../13-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../14-autopoint_0.22.5-2_all.deb ... Unpacking autopoint (0.22.5-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../15-libdebhelper-perl_13.20_all.deb ... Unpacking libdebhelper-perl (13.20) ... Selecting previously unselected package libtool. Preparing to unpack .../16-libtool_2.4.7-8_all.deb ... Unpacking libtool (2.4.7-8) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../17-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../18-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../19-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../20-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:i386. Preparing to unpack .../21-libelf1t64_0.192-4_i386.deb ... Unpacking libelf1t64:i386 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../22-dwz_0.15-1+b1_i386.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libicu72:i386. Preparing to unpack .../23-libicu72_72.1-5+b1_i386.deb ... Unpacking libicu72:i386 (72.1-5+b1) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../24-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_i386.deb ... Unpacking libxml2:i386 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../25-gettext_0.22.5-2_i386.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../26-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../27-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../28-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../29-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../30-dh-ocaml_2.4_all.deb ... Unpacking dh-ocaml (2.4) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../31-libstdlib-ocaml_5.2.0-3_i386.deb ... Unpacking libstdlib-ocaml (5.2.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../32-ocaml-base_5.2.0-3_i386.deb ... Unpacking ocaml-base (5.2.0-3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../33-libzarith-ocaml_1.14-1_i386.deb ... Unpacking libzarith-ocaml (1.14-1) ... Selecting previously unselected package lem. Preparing to unpack .../34-lem_2022-12-10+dfsg2-4_i386.deb ... Unpacking lem (2022-12-10+dfsg2-4) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../35-libstdlib-ocaml-dev_5.2.0-3_i386.deb ... Unpacking libstdlib-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../36-libcompiler-libs-ocaml-dev_5.2.0-3_i386.deb ... Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../37-libfindlib-ocaml_1.9.6-3_i386.deb ... Unpacking libfindlib-ocaml (1.9.6-3) ... Selecting previously unselected package libgmpxx4ldbl:i386. Preparing to unpack .../38-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b2_i386.deb ... Unpacking libgmpxx4ldbl:i386 (2:6.3.0+dfsg-2+b2) ... Selecting previously unselected package libgmp-dev:i386. Preparing to unpack .../39-libgmp-dev_2%3a6.3.0+dfsg-2+b2_i386.deb ... Unpacking libgmp-dev:i386 (2:6.3.0+dfsg-2+b2) ... Selecting previously unselected package libgmp3-dev:i386. Preparing to unpack .../40-libgmp3-dev_2%3a6.3.0+dfsg-2+b2_i386.deb ... Unpacking libgmp3-dev:i386 (2:6.3.0+dfsg-2+b2) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../41-libnum-ocaml_1.5-1+b1_i386.deb ... Unpacking libnum-ocaml (1.5-1+b1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../42-ocaml-interp_5.2.0-3_i386.deb ... Unpacking ocaml-interp (5.2.0-3) ... Selecting previously unselected package libncurses6:i386. Preparing to unpack .../43-libncurses6_6.5-2+b1_i386.deb ... Unpacking libncurses6:i386 (6.5-2+b1) ... Selecting previously unselected package libncurses-dev:i386. Preparing to unpack .../44-libncurses-dev_6.5-2+b1_i386.deb ... Unpacking libncurses-dev:i386 (6.5-2+b1) ... Selecting previously unselected package libzstd-dev:i386. Preparing to unpack .../45-libzstd-dev_1.5.6+dfsg-1+b1_i386.deb ... Unpacking libzstd-dev:i386 (1.5.6+dfsg-1+b1) ... Selecting previously unselected package ocaml. Preparing to unpack .../46-ocaml_5.2.0-3_i386.deb ... Unpacking ocaml (5.2.0-3) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../47-libnum-ocaml-dev_1.5-1+b1_i386.deb ... Unpacking libnum-ocaml-dev (1.5-1+b1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../48-libzarith-ocaml-dev_1.14-1_i386.deb ... Unpacking libzarith-ocaml-dev (1.14-1) ... Selecting previously unselected package liblem-ocaml-dev. Preparing to unpack .../49-liblem-ocaml-dev_2022-12-10+dfsg2-4_i386.deb ... Unpacking liblem-ocaml-dev (2022-12-10+dfsg2-4) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../50-ocaml-findlib_1.9.6-3_i386.deb ... Unpacking ocaml-findlib (1.9.6-3) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../51-ocamlbuild_0.15.0-2+b1_i386.deb ... Unpacking ocamlbuild (0.15.0-2+b1) ... Setting up libpipeline1:i386 (1.5.8-1) ... Setting up libicu72:i386 (72.1-5+b1) ... Setting up libzstd-dev:i386 (1.5.6+dfsg-1+b1) ... Setting up bsdextrautils (2.40.2-11) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.20) ... Setting up libmagic1t64:i386 (1:5.45-3+b1) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-3+b1) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libelf1t64:i386 (0.192-4) ... Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:i386 (2:6.3.0+dfsg-2+b2) ... Setting up libncurses6:i386 (6.5-2+b1) ... Setting up libstdlib-ocaml (5.2.0-3) ... Setting up autopoint (0.22.5-2) ... Setting up ocaml-base (5.2.0-3) ... Setting up autoconf (2.72-3) ... Setting up libnum-ocaml (1.5-1+b1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:i386 (0.0.8-1+b2) ... Setting up libxml2:i386 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.0-1) ... Setting up libncurses-dev:i386 (6.5-2+b1) ... Setting up gettext (0.22.5-2) ... Setting up libgmp-dev:i386 (2:6.3.0+dfsg-2+b2) ... Setting up libtool (2.4.7-8) ... Setting up libstdlib-ocaml-dev (5.2.0-3) ... Setting up dh-ocaml (2.4) ... Setting up libfindlib-ocaml (1.9.6-3) ... Setting up libzarith-ocaml (1.14-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... Setting up ocaml-interp (5.2.0-3) ... Setting up ocaml-findlib (1.9.6-3) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up groff-base (1.23.0-5) ... Setting up libgmp3-dev:i386 (2:6.3.0+dfsg-2+b2) ... Setting up lem (2022-12-10+dfsg2-4) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up ocaml (5.2.0-3) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libzarith-ocaml-dev (1.14-1) ... Setting up libnum-ocaml-dev (1.5-1+b1) ... Setting up debhelper (13.20) ... Setting up ocamlbuild (0.15.0-2+b1) ... Setting up liblem-ocaml-dev (2022-12-10+dfsg2-4) ... Processing triggers for libc-bin (2.40-3) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/reproducible-path/linksem-0.8+dfsg3/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../linksem_0.8+dfsg3-1_source.changes dpkg-buildpackage: info: source package linksem dpkg-buildpackage: info: source version 0.8+dfsg3-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Bo YU dpkg-source --before-build . dpkg-buildpackage: info: host architecture i386 debian/rules clean dh clean --with ocaml dh_auto_clean make -j6 clean make[1]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3' make -C src clean make[2]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3/src' OCAMLPATH is lem.mk:13: MAKECMDGOALS is clean /bin/sh: 1: git: not found Makefile:11: warning: overriding recipe for target 'clean' no_ocamlbuild.mk:117: warning: ignoring old recipe for target 'clean' rm -f lem_ocaml_sentinel rm -f default_printing.ml missing_pervasives.ml show.ml endianness.ml multimap.ml error.ml filesystem.ml byte_sequence.ml byte_pattern.ml byte_pattern_extra.ml archive.ml elf_types_native_uint.ml hex_printing.ml string_table.ml auxv.ml elf_header.ml elf_symbol_table.ml elf_program_header_table.ml elf_section_header_table.ml elf_relocation.ml elf_interpreted_segment.ml elf_interpreted_section.ml elf_note.ml elf_file.ml elf_dynamic.ml dwarf_ctypes.ml dwarf.ml ldconfig.ml abis/abi_classes.ml memory_image.ml memory_image_orderings.ml abis/abi_utilities.ml gnu_extensions/gnu_ext_abi.ml abis/power64/abi_power64.ml abis/power64/abi_power64_elf_header.ml abis/power64/abi_power64_section_header_table.ml abis/power64/abi_power64_dynamic.ml abis/aarch64/abi_aarch64_le_elf_header.ml abis/aarch64/abi_aarch64_symbol_table.ml abis/aarch64/abi_aarch64_section_header_table.ml abis/aarch64/abi_aarch64_program_header_table.ml abis/aarch64/abi_aarch64_le_serialisation.ml abis/aarch64/abi_aarch64_relocation.ml abis/aarch64/abi_aarch64_le.ml abstract_linker_script.ml abis/amd64/abi_amd64_elf_header.ml abis/amd64/abi_amd64_serialisation.ml abis/amd64/abi_amd64_relocation.ml abis/amd64/abi_amd64_program_header_table.ml abis/amd64/abi_amd64_section_header_table.ml abis/amd64/abi_amd64_symbol_table.ml abis/amd64/abi_amd64.ml abis/mips64/abi_mips64_dynamic.ml abis/mips64/abi_mips64_elf_header.ml abis/mips64/abi_mips64_relocation.ml abis/mips64/abi_mips64_serialisation.ml abis/mips64/abi_mips64_program_header_table.ml abis/mips64/abi_mips64_section_header_table.ml abis/mips64/abi_mips64_symbol_table.ml abis/mips64/abi_mips64.ml abis/x86/abi_x86_relocation.ml abis/power64/abi_power64_relocation.ml abis/riscv/abi_riscv_elf_header.ml abis/riscv/abi_riscv_program_header_table.ml abis/riscv/abi_riscv_relocation.ml abis/riscv/abi_riscv_section_header_table.ml abis/riscv/abi_riscv_serialisation.ml abis/riscv/abi_riscv_symbol_table.ml abis/riscv/abi_riscv.ml abis/cheri_mips64/abi_cheri_mips64_capability.ml abis/cheri_mips64/abi_cheri_mips64_dynamic.ml abis/cheri_mips64/abi_cheri_mips64_elf_header.ml abis/cheri_mips64/abi_cheri_mips64_relocation.ml abis/cheri_mips64/abi_cheri_mips64.ml gnu_extensions/gnu_ext_types_native_uint.ml gnu_extensions/gnu_ext_section_header_table.ml gnu_extensions/gnu_ext_dynamic.ml gnu_extensions/gnu_ext_symbol_versioning.ml gnu_extensions/gnu_ext_program_header_table.ml gnu_extensions/gnu_ext_section_to_segment_mapping.ml gnu_extensions/gnu_ext_note.ml abis/abis.ml adaptors/sail_interface.ml adaptors/harness_interface.ml elf_memory_image.ml elf_memory_image_of_elf64_file.ml command_line.ml input_list.ml linkable_list.ml linker_script.ml link.ml load.ml elf64_file_of_elf_memory_image.ml test_image.ml rm -f main_elf.ml main_link.ml copy_elf.ml main_load.ml rm -f default_printing.ml missing_pervasives.ml show.ml endianness.ml multimap.ml error.ml filesystem.ml default_printingAuxiliary.ml missing_pervasivesAuxiliary.ml showAuxiliary.ml endiannessAuxiliary.ml multimapAuxiliary.ml errorAuxiliary.ml filesystemAuxiliary.ml rm -f scratch.ml rm -f byte_sequence_impl.lem byte_sequence_impl.ml byte_sequence_generic.ml byte_sequence_ocaml.ml make -f ocamlbuild.mk clean make[3]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3/src' OCAMLPATH is lem.mk:13: MAKECMDGOALS is clean rm -f lem_ocaml_sentinel rm -f default_printing.ml missing_pervasives.ml show.ml endianness.ml multimap.ml error.ml filesystem.ml byte_sequence.ml byte_pattern.ml byte_pattern_extra.ml archive.ml elf_types_native_uint.ml hex_printing.ml string_table.ml auxv.ml elf_header.ml elf_symbol_table.ml elf_program_header_table.ml elf_section_header_table.ml elf_relocation.ml elf_interpreted_segment.ml elf_interpreted_section.ml elf_note.ml elf_file.ml elf_dynamic.ml dwarf_ctypes.ml dwarf.ml ldconfig.ml abis/abi_classes.ml memory_image.ml memory_image_orderings.ml abis/abi_utilities.ml gnu_extensions/gnu_ext_abi.ml abis/power64/abi_power64.ml abis/power64/abi_power64_elf_header.ml abis/power64/abi_power64_section_header_table.ml abis/power64/abi_power64_dynamic.ml abis/aarch64/abi_aarch64_le_elf_header.ml abis/aarch64/abi_aarch64_symbol_table.ml abis/aarch64/abi_aarch64_section_header_table.ml abis/aarch64/abi_aarch64_program_header_table.ml abis/aarch64/abi_aarch64_le_serialisation.ml abis/aarch64/abi_aarch64_relocation.ml abis/aarch64/abi_aarch64_le.ml abstract_linker_script.ml abis/amd64/abi_amd64_elf_header.ml abis/amd64/abi_amd64_serialisation.ml abis/amd64/abi_amd64_relocation.ml abis/amd64/abi_amd64_program_header_table.ml abis/amd64/abi_amd64_section_header_table.ml abis/amd64/abi_amd64_symbol_table.ml abis/amd64/abi_amd64.ml abis/mips64/abi_mips64_dynamic.ml abis/mips64/abi_mips64_elf_header.ml abis/mips64/abi_mips64_relocation.ml abis/mips64/abi_mips64_serialisation.ml abis/mips64/abi_mips64_program_header_table.ml abis/mips64/abi_mips64_section_header_table.ml abis/mips64/abi_mips64_symbol_table.ml abis/mips64/abi_mips64.ml abis/x86/abi_x86_relocation.ml abis/power64/abi_power64_relocation.ml abis/riscv/abi_riscv_elf_header.ml abis/riscv/abi_riscv_program_header_table.ml abis/riscv/abi_riscv_relocation.ml abis/riscv/abi_riscv_section_header_table.ml abis/riscv/abi_riscv_serialisation.ml abis/riscv/abi_riscv_symbol_table.ml abis/riscv/abi_riscv.ml abis/cheri_mips64/abi_cheri_mips64_capability.ml abis/cheri_mips64/abi_cheri_mips64_dynamic.ml abis/cheri_mips64/abi_cheri_mips64_elf_header.ml abis/cheri_mips64/abi_cheri_mips64_relocation.ml abis/cheri_mips64/abi_cheri_mips64.ml gnu_extensions/gnu_ext_types_native_uint.ml gnu_extensions/gnu_ext_section_header_table.ml gnu_extensions/gnu_ext_dynamic.ml gnu_extensions/gnu_ext_symbol_versioning.ml gnu_extensions/gnu_ext_program_header_table.ml gnu_extensions/gnu_ext_section_to_segment_mapping.ml gnu_extensions/gnu_ext_note.ml abis/abis.ml adaptors/sail_interface.ml adaptors/harness_interface.ml elf_memory_image.ml elf_memory_image_of_elf64_file.ml command_line.ml input_list.ml linkable_list.ml linker_script.ml link.ml load.ml elf64_file_of_elf_memory_image.ml test_image.ml rm -f main_elf.ml main_link.ml copy_elf.ml main_load.ml rm -f default_printing.ml missing_pervasives.ml show.ml endianness.ml multimap.ml error.ml filesystem.ml default_printingAuxiliary.ml missing_pervasivesAuxiliary.ml showAuxiliary.ml endiannessAuxiliary.ml multimapAuxiliary.ml errorAuxiliary.ml filesystemAuxiliary.ml rm -f scratch.ml rm -f byte_sequence_impl.lem byte_sequence_impl.ml byte_sequence_generic.ml byte_sequence_ocaml.ml ocamlbuild -clean make[3]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3/src' make -f no_ocamlbuild.mk clean make[3]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3/src' OCAMLPATH is lem.mk:13: MAKECMDGOALS is clean /bin/sh: 1: git: not found rm -f lem_ocaml_sentinel rm -f default_printing.ml missing_pervasives.ml show.ml endianness.ml multimap.ml error.ml filesystem.ml byte_sequence.ml byte_pattern.ml byte_pattern_extra.ml archive.ml elf_types_native_uint.ml hex_printing.ml string_table.ml auxv.ml elf_header.ml elf_symbol_table.ml elf_program_header_table.ml elf_section_header_table.ml elf_relocation.ml elf_interpreted_segment.ml elf_interpreted_section.ml elf_note.ml elf_file.ml elf_dynamic.ml dwarf_ctypes.ml dwarf.ml ldconfig.ml abis/abi_classes.ml memory_image.ml memory_image_orderings.ml abis/abi_utilities.ml gnu_extensions/gnu_ext_abi.ml abis/power64/abi_power64.ml abis/power64/abi_power64_elf_header.ml abis/power64/abi_power64_section_header_table.ml abis/power64/abi_power64_dynamic.ml abis/aarch64/abi_aarch64_le_elf_header.ml abis/aarch64/abi_aarch64_symbol_table.ml abis/aarch64/abi_aarch64_section_header_table.ml abis/aarch64/abi_aarch64_program_header_table.ml abis/aarch64/abi_aarch64_le_serialisation.ml abis/aarch64/abi_aarch64_relocation.ml abis/aarch64/abi_aarch64_le.ml abstract_linker_script.ml abis/amd64/abi_amd64_elf_header.ml abis/amd64/abi_amd64_serialisation.ml abis/amd64/abi_amd64_relocation.ml abis/amd64/abi_amd64_program_header_table.ml abis/amd64/abi_amd64_section_header_table.ml abis/amd64/abi_amd64_symbol_table.ml abis/amd64/abi_amd64.ml abis/mips64/abi_mips64_dynamic.ml abis/mips64/abi_mips64_elf_header.ml abis/mips64/abi_mips64_relocation.ml abis/mips64/abi_mips64_serialisation.ml abis/mips64/abi_mips64_program_header_table.ml abis/mips64/abi_mips64_section_header_table.ml abis/mips64/abi_mips64_symbol_table.ml abis/mips64/abi_mips64.ml abis/x86/abi_x86_relocation.ml abis/power64/abi_power64_relocation.ml abis/riscv/abi_riscv_elf_header.ml abis/riscv/abi_riscv_program_header_table.ml abis/riscv/abi_riscv_relocation.ml abis/riscv/abi_riscv_section_header_table.ml abis/riscv/abi_riscv_serialisation.ml abis/riscv/abi_riscv_symbol_table.ml abis/riscv/abi_riscv.ml abis/cheri_mips64/abi_cheri_mips64_capability.ml abis/cheri_mips64/abi_cheri_mips64_dynamic.ml abis/cheri_mips64/abi_cheri_mips64_elf_header.ml abis/cheri_mips64/abi_cheri_mips64_relocation.ml abis/cheri_mips64/abi_cheri_mips64.ml gnu_extensions/gnu_ext_types_native_uint.ml gnu_extensions/gnu_ext_section_header_table.ml gnu_extensions/gnu_ext_dynamic.ml gnu_extensions/gnu_ext_symbol_versioning.ml gnu_extensions/gnu_ext_program_header_table.ml gnu_extensions/gnu_ext_section_to_segment_mapping.ml gnu_extensions/gnu_ext_note.ml abis/abis.ml adaptors/sail_interface.ml adaptors/harness_interface.ml elf_memory_image.ml elf_memory_image_of_elf64_file.ml command_line.ml input_list.ml linkable_list.ml linker_script.ml link.ml load.ml elf64_file_of_elf_memory_image.ml test_image.ml rm -f main_elf.ml main_link.ml copy_elf.ml main_load.ml rm -f default_printing.ml missing_pervasives.ml show.ml endianness.ml multimap.ml error.ml filesystem.ml default_printingAuxiliary.ml missing_pervasivesAuxiliary.ml showAuxiliary.ml endiannessAuxiliary.ml multimapAuxiliary.ml errorAuxiliary.ml filesystemAuxiliary.ml rm -f scratch.ml rm -f byte_sequence_impl.lem byte_sequence_impl.ml byte_sequence_generic.ml byte_sequence_ocaml.ml rm -rf build_zarith build_num rm -f main_elf main_link main_elf.opt main_link.opt copy_elf copy_elf.opt rm -rf *~ rm -f *.cmi *.cmo *.cmx *.cmt *.o rm -f abis/*.cmi abis/*.cmo abis/*.cmx abis/*.cmt abis/*.o rm -f abis/*/*.cmi abis/*/*.cmo abis/*/*.cmx abis/*/*.cmt abis/*/*.o rm -f adaptors/*.cmi adaptors/*.cmo adaptors/*.cmx adaptors/*.cmt adaptors/*.o rm -f gnu_extensions/*.cmi gnu_extensions/*.cmo gnu_extensions/*.cmx gnu_extensions/*.cmt gnu_extensions/*.o make[3]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3/src' make[2]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3/src' make[1]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3' dh_ocamlclean rm -f ocamlinit-stamp debian/liblinksem-ocaml-dev.install dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/liblinksem-ocaml-dev.substvars debian/files rm -fr -- debian/liblinksem-ocaml-dev/ debian/tmp/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a \( -name autom4te.cache -o -name __pycache__ \) -prune -exec rm -rf {} + \) \) debian/rules binary dh binary --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit sed -e 's%@OCamlABI@%5.2.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/i386-linux-gnu/ocaml/5.2.0%g' -e 's%@OCamlDllDir@%/usr/lib/i386-linux-gnu/ocaml/5.2.0/stublibs%g' -e '/^OPT: /d' -e 's/^BYTE: //' -e '/^DYN: /d' debian/liblinksem-ocaml-dev.install.in > debian/liblinksem-ocaml-dev.install touch ocamlinit-stamp dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3' /usr/bin/make make[2]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3' /usr/bin/make -C src make[3]: Entering directory '/build/reproducible-path/linksem-0.8+dfsg3/src' OCAMLPATH is lem.mk:13: MAKECMDGOALS is /bin/sh: 1: git: not found Makefile:11: warning: overriding recipe for target 'clean' no_ocamlbuild.mk:117: warning: ignoring old recipe for target 'clean' cp byte_sequence_ocaml.lem byte_sequence_impl.lem lem -ocaml -only_changed_output default_printing.lem missing_pervasives.lem show.lem endianness.lem multimap.lem error.lem filesystem.lem byte_sequence.lem byte_pattern.lem byte_pattern_extra.lem archive.lem elf_types_native_uint.lem hex_printing.lem string_table.lem auxv.lem elf_header.lem elf_symbol_table.lem elf_program_header_table.lem elf_section_header_table.lem elf_relocation.lem elf_interpreted_segment.lem elf_interpreted_section.lem elf_note.lem elf_file.lem elf_dynamic.lem dwarf_ctypes.lem dwarf.lem ldconfig.lem abis/abi_classes.lem memory_image.lem memory_image_orderings.lem abis/abi_utilities.lem gnu_extensions/gnu_ext_abi.lem abis/power64/abi_power64.lem abis/power64/abi_power64_elf_header.lem abis/power64/abi_power64_section_header_table.lem abis/power64/abi_power64_dynamic.lem abis/aarch64/abi_aarch64_le_elf_header.lem abis/aarch64/abi_aarch64_symbol_table.lem abis/aarch64/abi_aarch64_section_header_table.lem abis/aarch64/abi_aarch64_program_header_table.lem abis/aarch64/abi_aarch64_le_serialisation.lem abis/aarch64/abi_aarch64_relocation.lem abis/aarch64/abi_aarch64_le.lem abstract_linker_script.lem abis/amd64/abi_amd64_elf_header.lem abis/amd64/abi_amd64_serialisation.lem abis/amd64/abi_amd64_relocation.lem abis/amd64/abi_amd64_program_header_table.lem abis/amd64/abi_amd64_section_header_table.lem abis/amd64/abi_amd64_symbol_table.lem abis/amd64/abi_amd64.lem abis/mips64/abi_mips64_dynamic.lem abis/mips64/abi_mips64_elf_header.lem abis/mips64/abi_mips64_relocation.lem abis/mips64/abi_mips64_serialisation.lem abis/mips64/abi_mips64_program_header_table.lem abis/mips64/abi_mips64_section_header_table.lem abis/mips64/abi_mips64_symbol_table.lem abis/mips64/abi_mips64.lem abis/x86/abi_x86_relocation.lem abis/power64/abi_power64_relocation.lem abis/riscv/abi_riscv_elf_header.lem abis/riscv/abi_riscv_program_header_table.lem abis/riscv/abi_riscv_relocation.lem abis/riscv/abi_riscv_section_header_table.lem abis/riscv/abi_riscv_serialisation.lem abis/riscv/abi_riscv_symbol_table.lem abis/riscv/abi_riscv.lem abis/cheri_mips64/abi_cheri_mips64_capability.lem abis/cheri_mips64/abi_cheri_mips64_dynamic.lem abis/cheri_mips64/abi_cheri_mips64_elf_header.lem abis/cheri_mips64/abi_cheri_mips64_relocation.lem abis/cheri_mips64/abi_cheri_mips64.lem gnu_extensions/gnu_ext_types_native_uint.lem gnu_extensions/gnu_ext_section_header_table.lem gnu_extensions/gnu_ext_dynamic.lem gnu_extensions/gnu_ext_symbol_versioning.lem gnu_extensions/gnu_ext_program_header_table.lem gnu_extensions/gnu_ext_section_to_segment_mapping.lem gnu_extensions/gnu_ext_note.lem abis/abis.lem adaptors/sail_interface.lem adaptors/harness_interface.lem elf_memory_image.lem elf_memory_image_of_elf64_file.lem command_line.lem input_list.lem linkable_list.lem linker_script.lem link.lem load.lem elf64_file_of_elf_memory_image.lem test_image.lem byte_sequence_ocaml.lem main_link.lem main_elf.lem scratch.lem copy_elf.lem main_load.lem byte_sequence_impl.lem File "main_load.lem", line 244, character 9 to line 250, character 24 Warning: unused variables: 'x', 'r' File "main_load.lem", line 279, character 67 to line 306, character 3 Warning: unused variable: 'rel_idx' File "main_load.lem", line 292, character 9 to line 304, character 11 Warning: unused variables: 'symidx', 'scnidx' File "main_load.lem", line 504, character 3 to line 516, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "main_load.lem", line 520, character 3 to line 523, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "main_load.lem", line 527, character 3 to line 530, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "main_load.lem", line 710, character 7 to line 750, character 9 Warning: unused variable: 'dyns' File "main_load.lem", line 103, character 1 to line 111, character 5 Warning: unused variable: 'endian' File "copy_elf.lem", line 70, character 3 to line 147, character 5 Warning: unused variable: 'ss' File "copy_elf.lem", line 199, character 94 to line 213, character 7 Warning: unused variable: 'bs' File "copy_elf.lem", line 193, character 7 to line 196, character 9 Warning: unused variables: 'more', 'progname' File "main_elf.lem", line 70, character 3 to line 147, character 5 Warning: unused variable: 'ss' File "main_elf.lem", line 199, character 94 to line 388, character 7 Warning: unused variable: 'bs' File "main_elf.lem", line 371, character 67 to line 381, character 19 Warning: unused variable: 'stbl' File "main_elf.lem", line 358, character 67 to line 368, character 19 Warning: unused variable: 'stbl' File "main_elf.lem", line 279, character 67 to line 289, character 19 Warning: unused variable: 'stbl' File "main_elf.lem", line 266, character 67 to line 276, character 19 Warning: unused variable: 'stbl' File "main_elf.lem", line 193, character 7 to line 196, character 9 Warning: unused variables: 'more', 'progname' File "main_link.lem", line 57, character 5 to line 68, character 86 Warning: unused variable: 'fresh' File "main_link.lem", line 89, character 5 to line 141, character 19 Warning: unused variable: 'item_options' File "main_link.lem", line 50, character 1 to line 51, character 40 Warning: unused variables: 'img1', 'img2' File "main_link.lem", line 54, character 1 to line 68, character 86 Warning: unused variable: 'names' File "elf64_file_of_elf_memory_image.lem", line 425, character 84 to line 440, character 13 Warning: unused variable: 'i' File "elf64_file_of_elf_memory_image.lem", line 158, character 91 to line 193, character 45 Warning: unused variable: 'el_range' File "elf64_file_of_elf_memory_image.lem", line 138, character 37 to line 138, character 67 Warning: unused variables: 'range', 'el' File "elf64_file_of_elf_memory_image.lem", line 120, character 10 to line 135, character 10 Warning: unused variables: 'isec1', 'range1' File "elf64_file_of_elf_memory_image.lem", line 120, character 41 to line 135, character 9 Warning: unused variables: 'isec2', 'range2' File "elf64_file_of_elf_memory_image.lem", line 77, character 45 to line 81, character 15 Warning: unused variable: 'idx' File "elf64_file_of_elf_memory_image.lem", line 71, character 45 to line 71, character 67 Warning: unused variable: 'idx' File "elf64_file_of_elf_memory_image.lem", line 55, character 1 to line 449, character 7 Warning: unused variable: 'fname' File "load.lem", line 158, character 3 to line 222, character 7 Warning: unused variable: 'is_absolute' File "load.lem", line 230, character 7 to line 244, character 9 Warning: unused variable: 'errmsg' File "load.lem", line 260, character 15 to line 267, character 36 Warning: unused variables: 'scn', 'rel_idx', 'rel_src_scn' File "load.lem", line 263, character 5 to line 267, character 36 Warning: unused variable: 'is_absolute' File "load.lem", line 264, character 5 to line 267, character 36 Warning: unused variable: 'calcfn' File "load.lem", line 277, character 3 to line 291, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 312, character 3 to line 343, character 5 Warning: unused variable: 'sym_entry' File "load.lem", line 424, character 3 to line 426, character 5 Warning: unused variable: 'got_entry_addr' File "load.lem", line 420, character 18 to line 423, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 413, character 16 to line 416, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 406, character 21 to line 409, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 380, character 31 to line 400, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 369, character 20 to line 372, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 440, character 22 to line 443, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 433, character 25 to line 436, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "load.lem", line 522, character 3 to line 616, character 13 Warning: unused variable: 'symtab_scn' File "load.lem", line 572, character 28 to line 572, character 51 Warning: unused variable: 'symidx' File "load.lem", line 533, character 24 to line 549, character 17 Warning: unused variable: 'scnidx' File "load.lem", line 526, character 27 to line 531, character 60 Warning: unused variables: 'symidx', 'scnidx', 'sym_name' File "load.lem", line 528, character 5 to line 531, character 60 Warning: unused variable: 'sym_value' File "load.lem", line 225, character 1 to line 247, character 5 Warning: unused variable: 'sym_name' File "link.lem", line 89, character 30 to line 108, character 15 Warning: unused variable: 'bi' File "link.lem", line 89, character 49 to line 103, character 22 Warning: unused variables: 'b_idx', 'b_ref_item', 'b_maybe_def' File "link.lem", line 214, character 25 to line 289, character 78 Warning: unused variables: 'ref_idx', 'ref_item' File "link.lem", line 237, character 37 to line 246, character 39 Warning: unused variable: 'def_item' File "link.lem", line 216, character 53 to line 219, character 27 Warning: unused variables: 'def_idx', 'def' File "link.lem", line 162, character 28 to line 194, character 32 Warning: unused variable: 'options' File "link.lem", line 162, character 44 to line 194, character 31 Warning: unused variables: 'ref', 'ref_idx', 'ref_item' File "link.lem", line 163, character 29 to line 194, character 31 Warning: unused variable: 'def_idx' File "link.lem", line 330, character 56 to line 330, character 123 Warning: unused variable: 'el' File "link.lem", line 317, character 63 to line 322, character 11 Warning: unused variable: 'el_range' File "link.lem", line 318, character 9 to line 322, character 11 Warning: pattern-matching is not exhaustive missing patterns 'Memory_image.ImageBase', 'Memory_image.EntryPoint', 'Memory_image.SymbolDef _', 'Memory_image.SymbolRef _', 'Memory_image.FileFeature(Memory_image.ElfHeader _)', 'Memory_image.FileFeature(Memory_image.ElfSectionHeaderTable _)', 'Memory_image.FileFeature(Memory_image.ElfProgramHeaderTable _)', 'Memory_image.FileFeature(Memory_image.ElfSegment _)', 'Memory_image.AbiFeature _' File "link.lem", line 318, character 9 to line 322, character 11 Warning: unused variable: 'idx' File "link.lem", line 307, character 39 to line 314, character 11 Warning: unused variable: 'el_range' File "link.lem", line 375, character 5 to line 475, character 3 Warning: unused variables: 'blob', 'origin', 'input_opts' File "link.lem", line 509, character 28 to line 509, character 68 Warning: unused variable: 'idx' File "link.lem", line 599, character 29 to line 644, character 19 Warning: unused variable: 'rs' File "link.lem", line 609, character 43 to line 637, character 31 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(Memory_image.ChangeRelocTo _,_)' File "link.lem", line 560, character 9 to line 592, character 11 Warning: unused variable: 'field_is_absolute_addr' File "link.lem", line 747, character 5 to line 932, character 7 Warning: unused variable: 'reloc_resolutions' File "link.lem", line 912, character 9 to line 915, character 11 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(Command_line.OutputFilename _)', 'Maybe.Just(Command_line.OutputKind _)', 'Maybe.Just(Command_line.ForceCommonDefined _)', 'Maybe.Just(Command_line.Soname _)', 'Maybe.Just(Command_line.TextSegmentStart _)', 'Maybe.Just(Command_line.RodataSegmentStart _)', 'Maybe.Just(Command_line.LdataSegmentStart _)', 'Maybe.Just Command_line.BindFunctionsEarly', 'Maybe.Just Command_line.BindNonFunctionsEarly' File "link.lem", line 888, character 29 to line 898, character 19 Warning: unused variable: 'rs' File "link.lem", line 890, character 21 to line 896, character 23 Warning: unused variables: 'len', 'start', 'el_name' File "link.lem", line 838, character 19 to line 859, character 92 Warning: unused variable: 'linkable' File "link.lem", line 784, character 13 to line 815, character 15 Warning: unused variables: 'obj', 'fname', 'blob', 'inp_unit' File "link.lem", line 787, character 21 to line 814, character 64 Warning: unused variable: 'our_gid' File "link.lem", line 805, character 47 to line 808, character 27 Warning: unused variables: 'b_ref_idx', 'b_ref', 'b_ref_item' File "link.lem", line 805, character 100 to line 808, character 27 Warning: unused variables: 'b_def', 'b_def_item' File "link.lem", line 787, character 75 to line 793, character 23 Warning: unused variables: 'aidx', 'gidx', 'aidx', 'gidx' File "link.lem", line 778, character 57 to line 782, character 15 Warning: unused variable: 'fname' File "link.lem", line 669, character 75 to line 677, character 11 Warning: unused variable: 'ref_idx' File "link.lem", line 670, character 9 to line 677, character 11 Warning: unused variables: 'def_linkable', 'def_sym' File "link.lem", line 653, character 57 to line 656, character 20 Warning: unused variables: 'obj', 'inp' File "link.lem", line 83, character 1 to line 109, character 7 Warning: unused variable: 'item' File "link.lem", line 532, character 1 to line 649, character 17 Warning: unused variable: 'bindings_by_name' File "linker_script.lem", line 177, character 5 to line 180, character 7 Warning: unused variable: 'c' File "linker_script.lem", line 236, character 29 to line 239, character 7 Warning: unused variables: 'idx', 'img', 'fname' File "linker_script.lem", line 243, character 32 to line 246, character 7 Warning: unused variables: 'idx', 'img', 'fname' File "linker_script.lem", line 250, character 31 to line 253, character 7 Warning: unused variables: 'idx', 'img', 'fname', 'def' File "linker_script.lem", line 257, character 29 to line 261, character 7 Warning: unused variables: 'idx', 'img', 'fname' File "linker_script.lem", line 282, character 23 to line 294, character 2 Warning: unused variable: 'writable' File "linker_script.lem", line 315, character 38 to line 315, character 63 Warning: unused variable: 'pos' File "linker_script.lem", line 315, character 50 to line 315, character 62 Warning: unused variable: 'secs' File "linker_script.lem", line 326, character 68 to line 342, character 7 Warning: pattern-matching is not exhaustive missing patterns 'Linker_script.Hole _' File "linker_script.lem", line 326, character 68 to line 342, character 7 Warning: unused variables: 'retain_pol', 'img', 'fname', 'retain_pol', 'linkable_idx', 'name', 'spec', 'pol' File "linker_script.lem", line 347, character 5 to line 349, character 25 Warning: unused variable: 'comp_addrs' File "linker_script.lem", line 455, character 38 to line 455, character 71 Warning: unused variable: 'secs' File "linker_script.lem", line 451, character 38 to line 451, character 81 Warning: unused variable: 'secs' File "linker_script.lem", line 447, character 37 to line 447, character 120 Warning: unused variable: 'secs' File "linker_script.lem", line 443, character 38 to line 443, character 82 Warning: unused variable: 'secs' File "linker_script.lem", line 439, character 38 to line 439, character 71 Warning: unused variable: 'secs' File "linker_script.lem", line 435, character 37 to line 435, character 95 Warning: unused variable: 'secs' File "linker_script.lem", line 393, character 34 to line 397, character 7 Warning: unused variables: 'idx', 'img', 'fname', 'def' File "linker_script.lem", line 390, character 28 to line 390, character 87 Warning: unused variable: 'inp' File "linker_script.lem", line 379, character 38 to line 388, character 7 Warning: pattern-matching is not exhaustive missing patterns '_' File "linker_script.lem", line 967, character 6 to line 987, character 7 Warning: redundant patterns: 'Linker_script.OnlyIfRo', 'Linker_script.OnlyIfRw' File "linker_script.lem", line 967, character 6 to line 987, character 7 Warning: unused variable: 'Always' File "linker_script.lem", line 979, character 46 to line 984, character 17 Warning: unused variable: 'retainpol' File "linker_script.lem", line 970, character 46 to line 975, character 18 Warning: unused variable: 'retainpol' File "linker_script.lem", line 1043, character 17 to line 1189, character 15 Warning: unused variables: 'advance_fn', 'maxpagesize', 'commonpagesize', 'maybe_expr' File "linker_script.lem", line 1132, character 81 to line 1135, character 31 Warning: unused variables: 'img', 'fname' File "linker_script.lem", line 1064, character 22 to line 1069, character 24 Warning: unused variables: 'idx', 'sec' File "linker_script.lem", line 1086, character 21 to line 1099, character 106 Warning: unused variable: 'acc_with_output_sec' File "linker_script.lem", line 1230, character 13 to line 1235, character 15 Warning: unused variables: 'retain_pol', 'img', 'fname', 'def', 'retain_pol', 'linkable_idx' File "linker_script.lem", line 1301, character 13 to line 1309, character 15 Warning: pattern-matching is not exhaustive missing patterns '(Maybe.Just false,Maybe.Just true)' File "linker_script.lem", line 1301, character 13 to line 1309, character 15 Warning: redundant pattern: '(Maybe.Just true, Maybe.Just false)' File "linker_script.lem", line 1287, character 13 to line 1295, character 15 Warning: pattern-matching is not exhaustive missing patterns '(Maybe.Just false,Maybe.Just true)' File "linker_script.lem", line 1287, character 13 to line 1295, character 15 Warning: redundant pattern: '(Maybe.Just true, Maybe.Just false)' File "linker_script.lem", line 1270, character 9 to line 1279, character 11 Warning: unused variables: 'retain_pol', 'img', 'fname', 'def', 'retain_pol', 'linkable_idx', 'name', 'spec', 'pol' File "linker_script.lem", line 1259, character 9 to line 1267, character 11 Warning: unused variables: 'retain_pol', 'img', 'fname', 'def', 'retain_pol', 'linkable_idx', 'name', 'spec', 'pol' File "linker_script.lem", line 1250, character 9 to line 1256, character 11 Warning: unused variables: 'retain_pol', 'img', 'fname', 'def', 'retain_pol', 'linkable_idx' File "linker_script.lem", line 1241, character 9 to line 1247, character 11 Warning: unused variables: 'retain_pol', 'img', 'fname', 'def', 'retain_pol', 'linkable_idx' File "linker_script.lem", line 1900, character 14 to line 2304, character 15 Warning: unused variables: 'name', 'symdefpol', 'symsize', 'syminfo', 'symother', 'outputguard', 'maybe_expr', 'sub_elements', 'selector', 'retainpol', 'sortpol', 'selector' File "linker_script.lem", line 2133, character 21 to line 2154, character 120 Warning: unused variable: 'endpos_option2' File "linker_script.lem", line 2068, character 81 to line 2126, character 101 Warning: unused variable: 'new_script_item_idx' File "linker_script.lem", line 2073, character 59 to line 2124, character 31 Warning: unused variables: 'outputguard', 'maybe_expr', 'sub_elements' File "linker_script.lem", line 2084, character 37 to line 2110, character 71 Warning: unused variables: 'addr', 'secname', 'guard' File "linker_script.lem", line 2104, character 41 to line 2108, character 72 Warning: unused variable: 'comp_addrs' File "linker_script.lem", line 2106, character 41 to line 2108, character 72 Warning: unused variable: 'size' File "linker_script.lem", line 2167, character 21 to line 2301, character 21 Warning: unused variables: 'addr', 'secname', 'guard' File "linker_script.lem", line 2171, character 21 to line 2301, character 21 Warning: unused variable: 'count_sections_in_image' File "linker_script.lem", line 2275, character 25 to line 2300, character 151 Warning: unused variable: 'sec_sz' File "linker_script.lem", line 2224, character 71 to line 2254, character 23 Warning: unused variables: 'idx', 'img', 'fname', 'retain_pol', 'name', 'spec', 'pol' File "linker_script.lem", line 2172, character 25 to line 2180, character 48 Warning: unused variable: 'section_ranges' File "linker_script.lem", line 2175, character 29 to line 2178, character 31 Warning: unused variables: 'idx', 'isec' File "linker_script.lem", line 1389, character 13 to line 1892, character 13 Warning: unused variable: 'final_addr' File "linker_script.lem", line 1871, character 17 to line 1878, character 108 Warning: unused variable: 'section_tags_bare' File "linker_script.lem", line 1871, character 54 to line 1875, character 23 Warning: unused variable: 'maybe_range' File "linker_script.lem", line 1872, character 21 to line 1875, character 23 Warning: unused variables: 'idx', 'isec' File "linker_script.lem", line 1392, character 17 to line 1829, character 49 Warning: unused variable: 'make_line' File "linker_script.lem", line 1398, character 55 to line 1818, character 19 Warning: pattern-matching is not exhaustive missing patterns 'Linker_script.Hole _' File "linker_script.lem", line 1398, character 55 to line 1818, character 19 Warning: unused variables: 'retainpolicy', 'img', 'fname', 'retain_pol', 'pol' File "linker_script.lem", line 1493, character 37 to line 1772, character 85 Warning: unused variable: 'included_global_defs' File "linker_script.lem", line 1531, character 41 to line 1746, character 47 Warning: pattern-matching is not exhaustive missing patterns 'Memory_image.ImageBase', 'Memory_image.EntryPoint', 'Memory_image.FileFeature(Memory_image.ElfHeader _)', 'Memory_image.FileFeature(Memory_image.ElfSectionHeaderTable _)', 'Memory_image.FileFeature(Memory_image.ElfProgramHeaderTable _)', 'Memory_image.FileFeature(Memory_image.ElfSegment _)' File "linker_script.lem", line 1531, character 41 to line 1746, character 47 Warning: unused variables: 'idx', 'isec' File "linker_script.lem", line 1573, character 49 to line 1745, character 51 Warning: unused variable: 'bi' File "linker_script.lem", line 1575, character 49 to line 1745, character 51 Warning: unused variables: 'maybe_def', 'ref_idx', 'ref_linkable' File "linker_script.lem", line 1707, character 88 to line 1722, character 71 Warning: unused variables: 'r', 'bi', 'rl', 'ri' File "linker_script.lem", line 1711, character 81 to line 1720, character 83 Warning: unused variable: 'def_item' File "linker_script.lem", line 1676, character 107 to line 1690, character 75 Warning: unused variables: 'ref_item', 'bi' File "linker_script.lem", line 1677, character 73 to line 1690, character 75 Warning: unused variables: 'def_idx', 'def', 'def_item' File "linker_script.lem", line 1566, character 72 to line 1566, character 144 Warning: unused variables: 'bi', 'r_item', 'm_d' File "linker_script.lem", line 1513, character 57 to line 1529, character 43 Warning: unused variable: 'el_name' File "linker_script.lem", line 1427, character 41 to line 1478, character 43 Warning: unused variables: 'len', 'start' File "linker_script.lem", line 1366, character 40 to line 1369, character 15 Warning: unused variable: 'a' File "linker_script.lem", line 2428, character 10 to line 2484, character 12 Warning: unused variable: 'discards' File "linker_script.lem", line 2443, character 10 to line 2484, character 12 Warning: unused variable: 'place_after_rel' File "linker_script.lem", line 2446, character 46 to line 2468, character 11 Warning: pattern-matching is not exhaustive missing patterns 'Linker_script.Common _' File "linker_script.lem", line 2430, character 44 to line 2435, character 84 Warning: unused variables: 'maybe_addr', 'guard', 'script_el_idx' File "linker_script.lem", line 2403, character 61 to line 2412, character 8 Warning: redundant pattern: '_' File "linker_script.lem", line 2403, character 61 to line 2412, character 8 Warning: unused variables: 'name', 'maybe_addr', 'guard', 'script_el_idx' File "linker_script.lem", line 2519, character 5 to line 2750, character 27 Warning: unused variable: 'discards' File "linker_script.lem", line 2669, character 5 to line 2750, character 27 Warning: unused variable: 'discard_line' File "linker_script.lem", line 2688, character 5 to line 2750, character 27 Warning: unused variable: 'outputs_by_name_with_position' File "linker_script.lem", line 2669, character 34 to line 2677, character 7 Warning: unused variables: 'idx', 'img', 'fname', 'def' File "linker_script.lem", line 2641, character 70 to line 2641, character 122 Warning: unused variable: 'maybe_new_def' File "linker_script.lem", line 2632, character 50 to line 2632, character 101 Warning: unused variables: 'b_idx', 'new_b' File "linker_script.lem", line 2612, character 47 to line 2625, character 19 Warning: pattern-matching is not exhaustive missing patterns '(Maybe.Just _,[],Maybe.Just _)' File "linker_script.lem", line 2612, character 47 to line 2625, character 19 Warning: unused variables: 'def', 'more', 'pair1', 'pair2' File "linker_script.lem", line 2563, character 35 to line 2563, character 120 Warning: unused variable: 'more' File "linker_script.lem", line 2552, character 29 to line 2555, character 31 Warning: unused variable: 'symdef' File "linker_script.lem", line 2527, character 36 to line 2543, character 89 Warning: unused variables: 'secname', 'maybe_addr', 'guard', 'script_el_idx' File "linker_script.lem", line 264, character 1 to line 264, character 45 Warning: unused variables: 'i1', 'i2' File "linker_script.lem", line 324, character 1 to line 343, character 29 Warning: unused variable: 'secs' File "linker_script.lem", line 378, character 1 to line 964, character 6 Warning: unused variable: 'user_rodata_segment_start' File "linker_script.lem", line 966, character 1 to line 987, character 7 Warning: unused variable: 'name' File "linkable_list.lem", line 58, character 5 to line 60, character 34 Warning: unused variables: 'obj', 'opts' File "linkable_list.lem", line 82, character 12 to line 93, character 11 Warning: pattern-matching is not exhaustive missing patterns '(_,Input_list.ControlScript,_)' File "linkable_list.lem", line 82, character 12 to line 93, character 11 Warning: unused variables: 'origin', 'seq', 'fname', 'origin', 'seq', 'fname', 'origin' File "linkable_list.lem", line 132, character 9 to line 140, character 100 Warning: unused variable: 'all_def_ranges' File "linkable_list.lem", line 180, character 5 to line 300, character 7 Warning: unused variables: 'ref_obj', 'ref_blob', 'ref_u', 'ref_options' File "linkable_list.lem", line 278, character 5 to line 300, character 7 Warning: unused variable: 'refstr' File "linkable_list.lem", line 256, character 79 to line 276, character 7 Warning: unused variables: 'd', 'd_idx', 'd_l', 'more_pairs' File "linkable_list.lem", line 264, character 34 to line 270, character 20 Warning: unused variable: 'd1' File "linkable_list.lem", line 264, character 89 to line 270, character 19 Warning: unused variable: 'd2' File "linkable_list.lem", line 192, character 9 to line 251, character 24 Warning: unused variables: 'def_obj', 'def_fname', 'def_blob', 'def_options' File "linkable_list.lem", line 194, character 9 to line 251, character 24 Warning: unused variable: 'def_u' File "linkable_list.lem", line 196, character 46 to line 202, character 11 Warning: unused variables: 'aidx', 'gidx', 'aidx', 'gidx' File "linkable_list.lem", line 329, character 5 to line 360, character 72 Warning: unused variable: 'all_ref_ranges' File "linkable_list.lem", line 354, character 5 to line 360, character 72 Warning: unused variable: 'und_ref_triples' File "linkable_list.lem", line 387, character 57 to line 391, character 19 Warning: unused variable: 'ref' File "linkable_list.lem", line 388, character 17 to line 391, character 19 Warning: unused variables: 'def', 'def_linkable' File "linkable_list.lem", line 460, character 57 to line 464, character 19 Warning: unused variable: 'ref' File "linkable_list.lem", line 461, character 17 to line 464, character 19 Warning: unused variables: 'def', 'def_linkable' File "linkable_list.lem", line 154, character 1 to line 300, character 7 Warning: unused variables: 'a', 'linkables' File "input_list.lem", line 48, character 32 to line 53, character 3 Warning: unused variable: 'cid' File "input_list.lem", line 77, character 5 to line 82, character 7 Warning: unused variables: 'u', 'blob' File "input_list.lem", line 79, character 5 to line 82, character 7 Warning: unused variables: 'aid', 'aidx' File "input_list.lem", line 159, character 5 to line 162, character 7 Warning: unused variable: 'path' File "input_list.lem", line 159, character 22 to line 159, character 63 Warning: unused variable: 'path' File "input_list.lem", line 222, character 38 to line 223, character 109 Warning: unused variables: 'names', 'seqs' File "input_list.lem", line 207, character 60 to line 207, character 148 Warning: unused variable: 'inner_fname' File "input_list.lem", line 230, character 5 to line 268, character 6 Warning: redundant pattern: '_' File "input_list.lem", line 255, character 28 to line 265, character 17 Warning: unused variable: 'i' File "input_list.lem", line 275, character 13 to line 311, character 15 Warning: pattern-matching is not exhaustive missing patterns 'Command_line.BuiltinControlScript' File "input_list.lem", line 299, character 35 to line 301, character 25 Warning: unused variable: 'i' File "input_list.lem", line 112, character 1 to line 112, character 51 Warning: unused variable: 'opts' File "input_list.lem", line 121, character 1 to line 122, character 52 Warning: unused variable: 'pos' File "command_line.lem", line 120, character 5 to line 126, character 7 Warning: unused variable: 'opts' File "command_line.lem", line 124, character 43 to line 124, character 66 Warning: unused variable: 'opts' File "command_line.lem", line 172, character 16 to line 176, character 7 Warning: unused variable: 'more' File "command_line.lem", line 334, character 72 to line 334, character 103 Warning: unused variable: 'args' File "command_line.lem", line 335, character 72 to line 335, character 103 Warning: unused variable: 'args' File "command_line.lem", line 383, character 72 to line 383, character 193 Warning: unused variable: 'argvals' File "command_line.lem", line 384, character 72 to line 384, character 128 Warning: unused variable: 'argvals' File "command_line.lem", line 401, character 72 to line 401, character 135 Warning: unused variable: 'argvals' File "command_line.lem", line 540, character 5 to line 546, character 7 Warning: unused variable: 'first' File "command_line.lem", line 557, character 13 to line 561, character 15 Warning: unused variable: 'following' File "command_line.lem", line 592, character 29 to line 615, character 15 Warning: unused variables: 'aliases', 'doc', 'argspec_regex' File "command_line.lem", line 600, character 41 to line 607, character 23 Warning: unused variable: 'prefix' File "command_line.lem", line 622, character 30 to line 627, character 3 Warning: unused variables: 'x', 'xs' File "command_line.lem", line 646, character 5 to line 649, character 7 Warning: unused variable: 'rest_of_stack' File "command_line.lem", line 169, character 1 to line 192, character 19 Warning: function 'add_input_file' is defined by non-exhaustive pattern-matching missing patterns '[] _' File "command_line.lem", line 195, character 1 to line 203, character 19 Warning: function 'start_group' is defined by non-exhaustive pattern-matching missing patterns '[]' File "command_line.lem", line 206, character 1 to line 214, character 19 Warning: function 'end_group' is defined by non-exhaustive pattern-matching missing patterns '[]' File "elf_memory_image_of_elf64_file.lem", line 69, character 5 to line 306, character 7 Warning: unused variable: 'pht' File "elf_memory_image_of_elf64_file.lem", line 280, character 58 to line 287, character 17 Warning: unused variable: 'i' File "elf_memory_image_of_elf64_file.lem", line 197, character 17 to line 279, character 20 Warning: unused variable: 'reloc_as_triple' File "elf_memory_image_of_elf64_file.lem", line 208, character 17 to line 279, character 20 Warning: unused variable: 'retrieved_reloc_sites' File "elf_memory_image_of_elf64_file.lem", line 221, character 17 to line 279, character 20 Warning: unused variable: 'all_annotations_length' File "elf_memory_image_of_elf64_file.lem", line 228, character 65 to line 228, character 95 Warning: unused variable: 'range' File "elf_memory_image_of_elf64_file.lem", line 179, character 25 to line 191, character 93 Warning: unused variable: 'calcfn' File "elf_memory_image_of_elf64_file.lem", line 102, character 67 to line 110, character 17 Warning: unused variable: 'i' File "elf_memory_image_of_elf64_file.lem", line 72, character 57 to line 75, character 19 Warning: unused variable: 'null_entry' File "elf_memory_image_of_elf64_file.lem", line 334, character 5 to line 345, character 7 Warning: unused variable: 'allSectionElementRanges' File "elf_memory_image_of_elf64_file.lem", line 341, character 5 to line 345, character 7 Warning: unused variable: 'x' File "elf_memory_image_of_elf64_file.lem", line 336, character 30 to line 339, character 8 Warning: unused variable: 'i' File "elf_memory_image_of_elf64_file.lem", line 352, character 30 to line 389, character 8 Warning: unused variable: 'i' File "elf_memory_image_of_elf64_file.lem", line 365, character 17 to line 379, character 45 Warning: unused variable: 'range_len_matches_sec' File "elf_memory_image_of_elf64_file.lem", line 367, character 17 to line 379, character 45 Warning: unused variable: 'sec_matches_element_len' File "elf_memory_image_of_elf64_file.lem", line 402, character 5 to line 405, character 7 Warning: unused variable: 'e' File "elf_memory_image_of_elf64_file.lem", line 411, character 5 to line 418, character 29 Warning: unused variable: 'all_section_ranges' File "elf_memory_image_of_elf64_file.lem", line 479, character 5 to line 486, character 28 Warning: unused variable: 'all_symbol_ranges' File "elf_memory_image_of_elf64_file.lem", line 49, character 1 to line 51, character 75 Warning: unused variable: 'idx' File "elf_memory_image_of_elf64_file.lem", line 54, character 1 to line 57, character 25 Warning: unused variables: 'syment', 'f' File "elf_memory_image_of_elf64_file.lem", line 60, character 1 to line 63, character 25 Warning: unused variable: 'syment' File "elf_memory_image_of_elf64_file.lem", line 524, character 1 to line 531, character 40 Warning: unused variable: 'img' File "elf_memory_image_of_elf64_file.lem", line 541, character 1 to line 546, character 7 Warning: unused variable: 'isec' File "elf_memory_image.lem", line 41, character 38 to line 41, character 59 Warning: unused variable: 'sym_val' File "elf_memory_image.lem", line 41, character 21 to line 41, character 35 Warning: unused variable: 'r_type' File "elf_memory_image.lem", line 124, character 5 to line 133, character 7 Warning: unused variable: 'scnidx' File "elf_memory_image.lem", line 144, character 10 to line 153, character 11 Warning: unused variable: 's' File "elf_memory_image.lem", line 169, character 23 to line 175, character 20 Warning: unused variable: 'i' File "elf_memory_image.lem", line 186, character 20 to line 191, character 20 Warning: unused variable: 'symidx' File "elf_memory_image.lem", line 281, character 69 to line 307, character 5 Warning: unused variable: 'rel_idx' File "elf_memory_image.lem", line 296, character 17 to line 305, character 19 Warning: unused variables: 'symidx', 'scnidx' File "elf_memory_image.lem", line 37, character 1 to line 38, character 58 Warning: unused variable: 'f' File "elf_memory_image.lem", line 41, character 1 to line 41, character 60 Warning: unused variable: 'r' File "elf_memory_image.lem", line 203, character 1 to line 251, character 35 Warning: unused variable: 'fname' File "adaptors/harness_interface.lem", line 784, character 11 to line 793, character 31 Warning: unused variable: 'typ' File "adaptors/harness_interface.lem", line 915, character 11 to line 924, character 31 Warning: unused variable: 'typ' File "adaptors/harness_interface.lem", line 1086, character 50 to line 1089, character 138 Warning: unused variable: 'rel' File "adaptors/harness_interface.lem", line 1169, character 50 to line 1172, character 138 Warning: unused variable: 'rel' File "adaptors/harness_interface.lem", line 688, character 1 to line 769, character 5 Warning: unused variable: 'bs0' File "adaptors/harness_interface.lem", line 772, character 1 to line 798, character 7 Warning: unused variable: 'sht' File "adaptors/harness_interface.lem", line 902, character 1 to line 929, character 7 Warning: unused variable: 'sht' File "adaptors/sail_interface.lem", line 78, character 92 to line 101, character 7 Warning: unused variable: 'bs' File "adaptors/sail_interface.lem", line 106, character 92 to line 129, character 7 Warning: unused variable: 'bs' File "adaptors/sail_interface.lem", line 136, character 92 to line 159, character 7 Warning: unused variable: 'bs' File "adaptors/sail_interface.lem", line 164, character 92 to line 187, character 7 Warning: unused variable: 'bs' File "adaptors/sail_interface.lem", line 194, character 92 to line 219, character 7 Warning: unused variable: 'bs' File "adaptors/sail_interface.lem", line 224, character 92 to line 249, character 7 Warning: unused variable: 'bs' File "abis/abis.lem", line 108, character 5 to line 113, character 7 Warning: unused variables: 'af1', 'af2' File "abis/abis.lem", line 117, character 5 to line 122, character 7 Warning: unused variables: 'af1', 'af2' File "abis/abis.lem", line 349, character 5 to line 366, character 7 Warning: unused variable: 'symbol_def' File "abis/abis.lem", line 351, character 13 to line 362, character 15 Warning: unused variable: 'len' File "abis/abis.lem", line 382, character 27 to line 382, character 51 Warning: unused variable: 's' File "abis/abis.lem", line 382, character 37 to line 382, character 50 Warning: unused variable: 'f' File "abis/abis.lem", line 407, character 35 to line 429, character 14 Warning: unused variable: 'symref' File "abis/abis.lem", line 534, character 5 to line 889, character 7 Warning: unused variables: 'fnames', 'input_imgs' File "abis/abis.lem", line 556, character 5 to line 889, character 7 Warning: unused variable: 'symnames' File "abis/abis.lem", line 637, character 5 to line 889, character 7 Warning: unused variables: 'plt_got_idxs', 'plt_ref_bound_to_maybe_defs' File "abis/abis.lem", line 877, character 30 to line 879, character 61 Warning: unused variable: 'len' File "abis/abis.lem", line 600, character 41 to line 623, character 24 Warning: unused variables: 'i', 'fname' File "abis/abis.lem", line 600, character 91 to line 623, character 7 Warning: unused variable: 'maybe_range' File "abis/abis.lem", line 603, character 13 to line 621, character 15 Warning: pattern-matching is not exhaustive missing patterns '(Maybe.Just _,Maybe.Nothing)' File "abis/abis.lem", line 603, character 13 to line 621, character 15 Warning: unused variables: 'rr', 'maybe_def', 'MakePIC' File "abis/abis.lem", line 540, character 41 to line 554, character 24 Warning: unused variables: 'i', 'fname' File "abis/abis.lem", line 540, character 91 to line 554, character 7 Warning: unused variable: 'maybe_range' File "abis/abis.lem", line 543, character 13 to line 552, character 15 Warning: pattern-matching is not exhaustive missing patterns '(Maybe.Just _,Maybe.Nothing)' File "abis/abis.lem", line 543, character 13 to line 552, character 15 Warning: unused variables: 'rr', 'maybe_def', 'MakePIC' File "abis/abis.lem", line 1065, character 29 to line 1080, character 32 Warning: unused variables: 'd', 'def_len' File "abis/abis.lem", line 926, character 25 to line 953, character 23 Warning: unused variables: 'd', 'def_len' File "abis/abis.lem", line 1131, character 13 to line 1151, character 15 Warning: unused variables: 'got_el_name', 'got_start_off', 'got_len' File "abis/abis.lem", line 1135, character 21 to line 1149, character 23 Warning: unused variable: 'got_addr' File "abis/abis.lem", line 1139, character 51 to line 1139, character 97 Warning: unused variable: 'symname' File "abis/abis.lem", line 1162, character 13 to line 1170, character 15 Warning: unused variables: 'l', 'got_el_name', 'got_start_off', 'got_len' File "abis/abis.lem", line 1187, character 13 to line 1235, character 15 Warning: unused variables: 'plt_el_name', 'plt_start_off', 'plt_len' File "abis/abis.lem", line 1206, character 37 to line 1211, character 40 Warning: unused variable: 'content' File "abis/abis.lem", line 1220, character 37 to line 1228, character 39 Warning: unused variables: 'len', 'matching_d' File "abis/abis.lem", line 1195, character 50 to line 1195, character 129 Warning: unused variable: 'symname' File "abis/abis.lem", line 1257, character 45 to line 1257, character 183 Warning: unused variable: 'img' File "abis/abis.lem", line 1257, character 57 to line 1257, character 182 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1257, character 75 to line 1257, character 181 Warning: unused variable: 'rr' File "abis/abis.lem", line 1257, character 89 to line 1257, character 180 Warning: unused variable: 's' File "abis/abis.lem", line 1257, character 98 to line 1257, character 180 Warning: unused variable: 'a' File "abis/abis.lem", line 1257, character 107 to line 1257, character 180 Warning: unused variable: 'e' File "abis/abis.lem", line 1258, character 45 to line 1258, character 133 Warning: unused variable: 'img' File "abis/abis.lem", line 1258, character 57 to line 1258, character 132 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1258, character 75 to line 1258, character 131 Warning: unused variable: 'rr' File "abis/abis.lem", line 1258, character 107 to line 1258, character 130 Warning: unused variable: 'e' File "abis/abis.lem", line 1259, character 45 to line 1259, character 165 Warning: unused variable: 'img' File "abis/abis.lem", line 1259, character 75 to line 1259, character 163 Warning: unused variable: 'rr' File "abis/abis.lem", line 1259, character 107 to line 1259, character 162 Warning: unused variable: 'e' File "abis/abis.lem", line 1260, character 57 to line 1260, character 170 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1260, character 89 to line 1260, character 168 Warning: unused variable: 's' File "abis/abis.lem", line 1260, character 107 to line 1260, character 168 Warning: unused variable: 'e' File "abis/abis.lem", line 1261, character 107 to line 1261, character 189 Warning: unused variable: 'e' File "abis/abis.lem", line 1262, character 57 to line 1262, character 204 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1262, character 113 to line 1262, character 190 Warning: unused variable: 's' File "abis/abis.lem", line 1262, character 122 to line 1262, character 190 Warning: unused variable: 'a' File "abis/abis.lem", line 1262, character 131 to line 1262, character 190 Warning: unused variable: 'e' File "abis/abis.lem", line 1263, character 45 to line 1263, character 119 Warning: unused variable: 'img' File "abis/abis.lem", line 1263, character 57 to line 1263, character 118 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1263, character 75 to line 1263, character 117 Warning: unused variable: 'rr' File "abis/abis.lem", line 1263, character 98 to line 1263, character 116 Warning: unused variable: 'a' File "abis/abis.lem", line 1263, character 107 to line 1263, character 116 Warning: unused variable: 'e' File "abis/abis.lem", line 1264, character 45 to line 1264, character 119 Warning: unused variable: 'img' File "abis/abis.lem", line 1264, character 57 to line 1264, character 118 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1264, character 75 to line 1264, character 117 Warning: unused variable: 'rr' File "abis/abis.lem", line 1264, character 98 to line 1264, character 116 Warning: unused variable: 'a' File "abis/abis.lem", line 1264, character 107 to line 1264, character 116 Warning: unused variable: 'e' File "abis/abis.lem", line 1265, character 45 to line 1265, character 162 Warning: unused variable: 'img' File "abis/abis.lem", line 1265, character 89 to line 1265, character 159 Warning: unused variable: 's' File "abis/abis.lem", line 1265, character 107 to line 1265, character 159 Warning: unused variable: 'e' File "abis/abis.lem", line 1266, character 89 to line 1266, character 187 Warning: unused variable: 's' File "abis/abis.lem", line 1266, character 107 to line 1266, character 187 Warning: unused variable: 'e' File "abis/abis.lem", line 1267, character 45 to line 1267, character 133 Warning: unused variable: 'img' File "abis/abis.lem", line 1267, character 57 to line 1267, character 132 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1267, character 75 to line 1267, character 131 Warning: unused variable: 'rr' File "abis/abis.lem", line 1267, character 107 to line 1267, character 130 Warning: unused variable: 'e' File "abis/abis.lem", line 1268, character 45 to line 1268, character 145 Warning: unused variable: 'img' File "abis/abis.lem", line 1268, character 57 to line 1268, character 144 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1268, character 75 to line 1268, character 143 Warning: unused variable: 'rr' File "abis/abis.lem", line 1268, character 107 to line 1268, character 142 Warning: unused variable: 'e' File "abis/abis.lem", line 1269, character 45 to line 1269, character 179 Warning: unused variable: 'img' File "abis/abis.lem", line 1269, character 57 to line 1269, character 178 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1269, character 75 to line 1269, character 177 Warning: unused variable: 'rr' File "abis/abis.lem", line 1269, character 89 to line 1269, character 164 Warning: unused variable: 's' File "abis/abis.lem", line 1269, character 98 to line 1269, character 164 Warning: unused variable: 'a' File "abis/abis.lem", line 1269, character 107 to line 1269, character 164 Warning: unused variable: 'e' File "abis/abis.lem", line 1270, character 45 to line 1270, character 181 Warning: unused variable: 'img' File "abis/abis.lem", line 1270, character 57 to line 1270, character 180 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1270, character 75 to line 1270, character 179 Warning: unused variable: 'rr' File "abis/abis.lem", line 1270, character 89 to line 1270, character 166 Warning: unused variable: 's' File "abis/abis.lem", line 1270, character 98 to line 1270, character 166 Warning: unused variable: 'a' File "abis/abis.lem", line 1270, character 107 to line 1270, character 166 Warning: unused variable: 'e' File "abis/abis.lem", line 1271, character 45 to line 1271, character 178 Warning: unused variable: 'img' File "abis/abis.lem", line 1271, character 57 to line 1271, character 177 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1271, character 75 to line 1271, character 176 Warning: unused variable: 'rr' File "abis/abis.lem", line 1271, character 89 to line 1271, character 163 Warning: unused variable: 's' File "abis/abis.lem", line 1271, character 98 to line 1271, character 163 Warning: unused variable: 'a' File "abis/abis.lem", line 1271, character 107 to line 1271, character 163 Warning: unused variable: 'e' File "abis/abis.lem", line 1272, character 45 to line 1272, character 180 Warning: unused variable: 'img' File "abis/abis.lem", line 1272, character 57 to line 1272, character 179 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1272, character 75 to line 1272, character 178 Warning: unused variable: 'rr' File "abis/abis.lem", line 1272, character 89 to line 1272, character 165 Warning: unused variable: 's' File "abis/abis.lem", line 1272, character 98 to line 1272, character 165 Warning: unused variable: 'a' File "abis/abis.lem", line 1272, character 107 to line 1272, character 165 Warning: unused variable: 'e' File "abis/abis.lem", line 1273, character 45 to line 1273, character 185 Warning: unused variable: 'img' File "abis/abis.lem", line 1273, character 57 to line 1273, character 184 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1273, character 75 to line 1273, character 183 Warning: unused variable: 'rr' File "abis/abis.lem", line 1273, character 89 to line 1273, character 170 Warning: unused variable: 's' File "abis/abis.lem", line 1273, character 98 to line 1273, character 170 Warning: unused variable: 'a' File "abis/abis.lem", line 1273, character 107 to line 1273, character 170 Warning: unused variable: 'e' File "abis/abis.lem", line 1274, character 45 to line 1274, character 185 Warning: unused variable: 'img' File "abis/abis.lem", line 1274, character 57 to line 1274, character 184 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1274, character 75 to line 1274, character 183 Warning: unused variable: 'rr' File "abis/abis.lem", line 1274, character 89 to line 1274, character 170 Warning: unused variable: 's' File "abis/abis.lem", line 1274, character 98 to line 1274, character 170 Warning: unused variable: 'a' File "abis/abis.lem", line 1274, character 107 to line 1274, character 170 Warning: unused variable: 'e' File "abis/abis.lem", line 1275, character 45 to line 1275, character 150 Warning: unused variable: 'img' File "abis/abis.lem", line 1275, character 57 to line 1275, character 149 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1275, character 75 to line 1275, character 148 Warning: unused variable: 'rr' File "abis/abis.lem", line 1275, character 89 to line 1275, character 134 Warning: unused variable: 's' File "abis/abis.lem", line 1275, character 98 to line 1275, character 134 Warning: unused variable: 'a' File "abis/abis.lem", line 1275, character 107 to line 1275, character 134 Warning: unused variable: 'e' File "abis/abis.lem", line 1276, character 45 to line 1276, character 182 Warning: unused variable: 'img' File "abis/abis.lem", line 1276, character 57 to line 1276, character 181 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1276, character 75 to line 1276, character 180 Warning: unused variable: 'rr' File "abis/abis.lem", line 1276, character 89 to line 1276, character 167 Warning: unused variable: 's' File "abis/abis.lem", line 1276, character 98 to line 1276, character 167 Warning: unused variable: 'a' File "abis/abis.lem", line 1276, character 107 to line 1276, character 167 Warning: unused variable: 'e' File "abis/abis.lem", line 1277, character 45 to line 1277, character 182 Warning: unused variable: 'img' File "abis/abis.lem", line 1277, character 57 to line 1277, character 181 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1277, character 75 to line 1277, character 180 Warning: unused variable: 'rr' File "abis/abis.lem", line 1277, character 89 to line 1277, character 167 Warning: unused variable: 's' File "abis/abis.lem", line 1277, character 98 to line 1277, character 167 Warning: unused variable: 'a' File "abis/abis.lem", line 1277, character 107 to line 1277, character 167 Warning: unused variable: 'e' File "abis/abis.lem", line 1278, character 45 to line 1278, character 185 Warning: unused variable: 'img' File "abis/abis.lem", line 1278, character 57 to line 1278, character 184 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1278, character 75 to line 1278, character 183 Warning: unused variable: 'rr' File "abis/abis.lem", line 1278, character 89 to line 1278, character 170 Warning: unused variable: 's' File "abis/abis.lem", line 1278, character 98 to line 1278, character 170 Warning: unused variable: 'a' File "abis/abis.lem", line 1278, character 107 to line 1278, character 170 Warning: unused variable: 'e' File "abis/abis.lem", line 1279, character 89 to line 1279, character 187 Warning: unused variable: 's' File "abis/abis.lem", line 1279, character 107 to line 1279, character 187 Warning: unused variable: 'e' File "abis/abis.lem", line 1280, character 45 to line 1280, character 184 Warning: unused variable: 'img' File "abis/abis.lem", line 1280, character 57 to line 1280, character 183 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1280, character 75 to line 1280, character 182 Warning: unused variable: 'rr' File "abis/abis.lem", line 1280, character 89 to line 1280, character 169 Warning: unused variable: 's' File "abis/abis.lem", line 1280, character 98 to line 1280, character 169 Warning: unused variable: 'a' File "abis/abis.lem", line 1280, character 107 to line 1280, character 169 Warning: unused variable: 'e' File "abis/abis.lem", line 1281, character 45 to line 1281, character 181 Warning: unused variable: 'img' File "abis/abis.lem", line 1281, character 57 to line 1281, character 180 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1281, character 75 to line 1281, character 179 Warning: unused variable: 'rr' File "abis/abis.lem", line 1281, character 89 to line 1281, character 166 Warning: unused variable: 's' File "abis/abis.lem", line 1281, character 98 to line 1281, character 166 Warning: unused variable: 'a' File "abis/abis.lem", line 1281, character 107 to line 1281, character 166 Warning: unused variable: 'e' File "abis/abis.lem", line 1282, character 45 to line 1282, character 185 Warning: unused variable: 'img' File "abis/abis.lem", line 1282, character 57 to line 1282, character 184 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1282, character 75 to line 1282, character 183 Warning: unused variable: 'rr' File "abis/abis.lem", line 1282, character 89 to line 1282, character 170 Warning: unused variable: 's' File "abis/abis.lem", line 1282, character 98 to line 1282, character 170 Warning: unused variable: 'a' File "abis/abis.lem", line 1282, character 107 to line 1282, character 170 Warning: unused variable: 'e' File "abis/abis.lem", line 1283, character 45 to line 1283, character 184 Warning: unused variable: 'img' File "abis/abis.lem", line 1283, character 57 to line 1283, character 183 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1283, character 75 to line 1283, character 182 Warning: unused variable: 'rr' File "abis/abis.lem", line 1283, character 89 to line 1283, character 169 Warning: unused variable: 's' File "abis/abis.lem", line 1283, character 98 to line 1283, character 169 Warning: unused variable: 'a' File "abis/abis.lem", line 1283, character 107 to line 1283, character 169 Warning: unused variable: 'e' File "abis/abis.lem", line 1284, character 45 to line 1284, character 183 Warning: unused variable: 'img' File "abis/abis.lem", line 1284, character 57 to line 1284, character 182 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1284, character 75 to line 1284, character 181 Warning: unused variable: 'rr' File "abis/abis.lem", line 1284, character 89 to line 1284, character 168 Warning: unused variable: 's' File "abis/abis.lem", line 1284, character 98 to line 1284, character 168 Warning: unused variable: 'a' File "abis/abis.lem", line 1284, character 107 to line 1284, character 168 Warning: unused variable: 'e' File "abis/abis.lem", line 1285, character 45 to line 1285, character 183 Warning: unused variable: 'img' File "abis/abis.lem", line 1285, character 57 to line 1285, character 182 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1285, character 75 to line 1285, character 181 Warning: unused variable: 'rr' File "abis/abis.lem", line 1285, character 89 to line 1285, character 168 Warning: unused variable: 's' File "abis/abis.lem", line 1285, character 98 to line 1285, character 168 Warning: unused variable: 'a' File "abis/abis.lem", line 1285, character 107 to line 1285, character 168 Warning: unused variable: 'e' File "abis/abis.lem", line 1286, character 45 to line 1286, character 192 Warning: unused variable: 'img' File "abis/abis.lem", line 1286, character 57 to line 1286, character 191 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1286, character 75 to line 1286, character 190 Warning: unused variable: 'rr' File "abis/abis.lem", line 1286, character 89 to line 1286, character 177 Warning: unused variable: 's' File "abis/abis.lem", line 1286, character 98 to line 1286, character 177 Warning: unused variable: 'a' File "abis/abis.lem", line 1286, character 107 to line 1286, character 177 Warning: unused variable: 'e' File "abis/abis.lem", line 1287, character 45 to line 1287, character 201 Warning: unused variable: 'img' File "abis/abis.lem", line 1287, character 57 to line 1287, character 200 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1287, character 75 to line 1287, character 199 Warning: unused variable: 'rr' File "abis/abis.lem", line 1287, character 101 to line 1287, character 186 Warning: unused variable: 's' File "abis/abis.lem", line 1287, character 110 to line 1287, character 186 Warning: unused variable: 'a' File "abis/abis.lem", line 1287, character 119 to line 1287, character 186 Warning: unused variable: 'e' File "abis/abis.lem", line 1288, character 45 to line 1288, character 185 Warning: unused variable: 'img' File "abis/abis.lem", line 1288, character 57 to line 1288, character 184 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1288, character 75 to line 1288, character 183 Warning: unused variable: 'rr' File "abis/abis.lem", line 1288, character 90 to line 1288, character 170 Warning: unused variable: 's' File "abis/abis.lem", line 1288, character 99 to line 1288, character 170 Warning: unused variable: 'a' File "abis/abis.lem", line 1288, character 108 to line 1288, character 170 Warning: unused variable: 'e' File "abis/abis.lem", line 1289, character 45 to line 1289, character 186 Warning: unused variable: 'img' File "abis/abis.lem", line 1289, character 57 to line 1289, character 185 Warning: unused variable: 'site_addr' File "abis/abis.lem", line 1289, character 75 to line 1289, character 184 Warning: unused variable: 'rr' File "abis/abis.lem", line 1289, character 89 to line 1289, character 171 Warning: unused variable: 's' File "abis/abis.lem", line 1289, character 98 to line 1289, character 171 Warning: unused variable: 'a' File "abis/abis.lem", line 1289, character 107 to line 1289, character 171 Warning: unused variable: 'e' File "abis/abis.lem", line 1299, character 37 to line 1299, character 95 Warning: unused variable: 'f' File "abis/abis.lem", line 1344, character 27 to line 1344, character 51 Warning: unused variable: 's' File "abis/abis.lem", line 1344, character 37 to line 1344, character 50 Warning: unused variable: 'f' File "abis/abis.lem", line 1366, character 27 to line 1366, character 51 Warning: unused variable: 's' File "abis/abis.lem", line 1366, character 37 to line 1366, character 50 Warning: unused variable: 'f' File "abis/abis.lem", line 93, character 1 to line 93, character 55 Warning: unused variable: 'op' File "abis/abis.lem", line 166, character 1 to line 174, character 9 Warning: unused variable: 'sec_name' File "abis/abis.lem", line 264, character 1 to line 288, character 25 Warning: unused variable: 'img' File "abis/abis.lem", line 332, character 1 to line 334, character 87 Warning: unused variable: 't' File "abis/abis.lem", line 399, character 1 to line 399, character 58 Warning: unused variables: 'md1', 'md2' File "abis/abis.lem", line 432, character 1 to line 445, character 13 Warning: unused variable: 'symref' File "gnu_extensions/gnu_ext_note.lem", line 29, character 3 to line 37, character 5 Warning: unused variable: 'xs' File "gnu_extensions/gnu_ext_note.lem", line 41, character 3 to line 49, character 5 Warning: unused variable: 'xs' File "gnu_extensions/gnu_ext_note.lem", line 182, character 23 to line 193, character 25 Warning: unused variable: 'err' File "gnu_extensions/gnu_ext_note.lem", line 185, character 27 to line 192, character 29 Warning: unused variable: 'cs' File "gnu_extensions/gnu_ext_note.lem", line 243, character 25 to line 254, character 27 Warning: unused variable: 'err' File "gnu_extensions/gnu_ext_note.lem", line 246, character 29 to line 253, character 31 Warning: unused variable: 'cs' File "gnu_extensions/gnu_ext_symbol_versioning.lem", line 380, character 3 to line 404, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "gnu_extensions/gnu_ext_symbol_versioning.lem", line 409, character 3 to line 455, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "gnu_extensions/gnu_ext_symbol_versioning.lem", line 413, character 7 to line 416, character 9 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "gnu_extensions/gnu_ext_symbol_versioning.lem", line 460, character 3 to line 506, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Numeric _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "gnu_extensions/gnu_ext_symbol_versioning.lem", line 464, character 7 to line 467, character 9 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(_,Elf_dynamic.Address _)', 'Maybe.Just(_,Elf_dynamic.Size _)', 'Maybe.Just(_,Elf_dynamic.FName _)', 'Maybe.Just(_,Elf_dynamic.SOName _)', 'Maybe.Just(_,Elf_dynamic.Path _)', 'Maybe.Just(_,Elf_dynamic.RPath _)', 'Maybe.Just(_,Elf_dynamic.RunPath _)', 'Maybe.Just(_,Elf_dynamic.Library _)', 'Maybe.Just(_,Elf_dynamic.Flags1 _)', 'Maybe.Just(_,Elf_dynamic.Flags _)', 'Maybe.Just(_,Elf_dynamic.Checksum _)', 'Maybe.Just(_,Elf_dynamic.RelType _)', 'Maybe.Just(_,Elf_dynamic.Timestamp _)', 'Maybe.Just(_,Elf_dynamic.Null)', 'Maybe.Just(_,Elf_dynamic.Ignored)' File "gnu_extensions/gnu_ext_dynamic.lem", line 304, character 7 to line 308, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 297, character 7 to line 301, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 290, character 7 to line 294, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 283, character 7 to line 287, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 276, character 7 to line 280, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 269, character 7 to line 273, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 262, character 7 to line 266, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 255, character 7 to line 259, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 248, character 7 to line 252, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 241, character 7 to line 245, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 234, character 7 to line 238, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 393, character 7 to line 397, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 386, character 7 to line 390, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 379, character 7 to line 383, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 372, character 7 to line 376, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 365, character 7 to line 369, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 358, character 7 to line 362, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 351, character 7 to line 355, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 344, character 7 to line 348, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 337, character 7 to line 341, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 330, character 7 to line 334, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 323, character 7 to line 327, character 9 Warning: unused variables: 'v', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 417, character 7 to line 421, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 453, character 7 to line 457, character 9 Warning: unused variables: 'p', 'i' File "gnu_extensions/gnu_ext_dynamic.lem", line 231, character 1 to line 311, character 76 Warning: unused variable: 'stbl' File "gnu_extensions/gnu_ext_dynamic.lem", line 320, character 1 to line 400, character 76 Warning: unused variable: 'stbl' File "gnu_extensions/gnu_ext_section_header_table.lem", line 105, character 3 to line 114, character 5 Warning: unused variable: 'f' File "gnu_extensions/gnu_ext_section_header_table.lem", line 132, character 3 to line 141, character 5 Warning: unused variable: 'f' File "abis/cheri_mips64/abi_cheri_mips64_relocation.lem", line 49, character 68 to line 49, character 262 Warning: unused variable: 'img' File "abis/cheri_mips64/abi_cheri_mips64_relocation.lem", line 49, character 80 to line 49, character 261 Warning: unused variable: 'site_addr' File "abis/cheri_mips64/abi_cheri_mips64_relocation.lem", line 49, character 98 to line 49, character 260 Warning: unused variable: 'rr' File "abis/cheri_mips64/abi_cheri_mips64_relocation.lem", line 49, character 151 to line 49, character 259 Warning: unused variable: 's' File "abis/cheri_mips64/abi_cheri_mips64_relocation.lem", line 49, character 160 to line 49, character 259 Warning: unused variable: 'a' File "abis/cheri_mips64/abi_cheri_mips64_relocation.lem", line 49, character 169 to line 49, character 259 Warning: unused variable: 'ea' File "abis/cheri_mips64/abi_cheri_mips64_dynamic.lem", line 52, character 1 to line 67, character 107 Warning: unused variable: 'stbl' File "abis/cheri_mips64/abi_cheri_mips64_capability.lem", line 19, character 1 to line 47, character 4 Warning: unused variables: 'otype', 'sealed', 'perms', 'uperms' File "abis/riscv/abi_riscv.lem", line 36, character 1 to line 37, character 37 Warning: unused variable: 'segs' File "abis/riscv/abi_riscv_section_header_table.lem", line 19, character 1 to line 20, character 31 Warning: unused variable: 'm' File "abis/riscv/abi_riscv_program_header_table.lem", line 16, character 1 to line 17, character 32 Warning: unused variable: 'm' File "abis/power64/abi_power64_relocation.lem", line 349, character 1 to line 832, character 60 Warning: unused variable: 'gottlsld_val' File "abis/mips64/abi_mips64.lem", line 36, character 1 to line 37, character 40 Warning: unused variable: 'segs' File "abis/mips64/abi_mips64_section_header_table.lem", line 19, character 1 to line 20, character 31 Warning: unused variable: 'm' File "abis/mips64/abi_mips64_relocation.lem", line 220, character 56 to line 220, character 218 Warning: unused variable: 'img' File "abis/mips64/abi_mips64_relocation.lem", line 220, character 68 to line 220, character 217 Warning: unused variable: 'site_addr' File "abis/mips64/abi_mips64_relocation.lem", line 220, character 86 to line 220, character 216 Warning: unused variable: 'rr' File "abis/mips64/abi_mips64_relocation.lem", line 220, character 100 to line 220, character 215 Warning: unused variable: 's' File "abis/mips64/abi_mips64_relocation.lem", line 220, character 109 to line 220, character 215 Warning: unused variable: 'a' File "abis/mips64/abi_mips64_relocation.lem", line 220, character 118 to line 220, character 215 Warning: unused variable: 'ea' File "abis/mips64/abi_mips64_relocation.lem", line 223, character 55 to line 223, character 189 Warning: unused variable: 'img' File "abis/mips64/abi_mips64_relocation.lem", line 224, character 74 to line 224, character 149 Warning: unused variable: 'img' File "abis/mips64/abi_mips64_relocation.lem", line 224, character 86 to line 224, character 148 Warning: unused variable: 'site_addr' File "abis/mips64/abi_mips64_relocation.lem", line 224, character 104 to line 224, character 147 Warning: unused variable: 'rr' File "abis/mips64/abi_mips64_relocation.lem", line 224, character 118 to line 224, character 146 Warning: unused variable: 's' File "abis/mips64/abi_mips64_relocation.lem", line 224, character 127 to line 224, character 146 Warning: unused variable: 'a' File "abis/mips64/abi_mips64_relocation.lem", line 224, character 136 to line 224, character 146 Warning: unused variable: 'ea' File "abis/mips64/abi_mips64_relocation.lem", line 225, character 75 to line 225, character 150 Warning: unused variable: 'img' File "abis/mips64/abi_mips64_relocation.lem", line 225, character 87 to line 225, character 149 Warning: unused variable: 'site_addr' File "abis/mips64/abi_mips64_relocation.lem", line 225, character 105 to line 225, character 148 Warning: unused variable: 'rr' File "abis/mips64/abi_mips64_relocation.lem", line 225, character 119 to line 225, character 147 Warning: unused variable: 's' File "abis/mips64/abi_mips64_relocation.lem", line 225, character 128 to line 225, character 147 Warning: unused variable: 'a' File "abis/mips64/abi_mips64_relocation.lem", line 225, character 137 to line 225, character 147 Warning: unused variable: 'ea' File "abis/mips64/abi_mips64_relocation.lem", line 226, character 61 to line 226, character 136 Warning: unused variable: 'img' File "abis/mips64/abi_mips64_relocation.lem", line 226, character 73 to line 226, character 135 Warning: unused variable: 'site_addr' File "abis/mips64/abi_mips64_relocation.lem", line 226, character 91 to line 226, character 134 Warning: unused variable: 'rr' File "abis/mips64/abi_mips64_relocation.lem", line 226, character 114 to line 226, character 133 Warning: unused variable: 'a' File "abis/mips64/abi_mips64_relocation.lem", line 226, character 123 to line 226, character 133 Warning: unused variable: 'ea' File "abis/mips64/abi_mips64_dynamic.lem", line 119, character 1 to line 176, character 109 Warning: unused variable: 'stbl' File "abis/amd64/abi_amd64.lem", line 36, character 1 to line 37, character 37 Warning: unused variable: 'segs' File "abis/aarch64/abi_aarch64_le.lem", line 34, character 1 to line 35, character 37 Warning: unused variable: 'segs' File "abis/aarch64/abi_aarch64_relocation.lem", line 423, character 14 to line 423, character 88 Warning: unused variable: 'img' File "abis/aarch64/abi_aarch64_relocation.lem", line 423, character 26 to line 423, character 87 Warning: unused variable: 'site_addr' File "abis/aarch64/abi_aarch64_relocation.lem", line 423, character 44 to line 423, character 86 Warning: unused variable: 'rr' File "abis/aarch64/abi_aarch64_relocation.lem", line 423, character 58 to line 423, character 85 Warning: unused variable: 's' File "abis/aarch64/abi_aarch64_relocation.lem", line 423, character 67 to line 423, character 85 Warning: unused variable: 'a' File "abis/power64/abi_power64_dynamic.lem", line 32, character 7 to line 36, character 9 Warning: unused variables: 'v', 'i' File "abis/power64/abi_power64_dynamic.lem", line 29, character 1 to line 39, character 80 Warning: unused variable: 'stbl' File "gnu_extensions/gnu_ext_abi.lem", line 42, character 35 to line 49, character 19 Warning: pattern-matching is not exhaustive missing patterns '[]', '_::[]', '_::_::[]', '_::_::_::[]', '_::_::_::_::[]', '_::_::_::_::_::[]', '_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::_::_::_::_::_::[]', '_::_::_::_::_::_::_::_::_::_::_::_::_::_::_::_::_::_' File "abis/abi_utilities.lem", line 169, character 1 to line 171, character 18 Warning: unused variable: 'img' File "memory_image_orderings.lem", line 35, character 5 to line 56, character 7 Warning: redundant pattern: '(Memory_image.ElfSegment(x1), _)' File "memory_image_orderings.lem", line 35, character 5 to line 56, character 7 Warning: unused variables: 'x1', 'x1', 'x2', 'x1', 'x1', 'x2', 'x1', 'x2', 'x1', 'x1', 'x2', 'x1', 'x2', 'x1', 'x2', 'x1', 'x1', 'x2', 'x1', 'x2', 'x1', 'x2', 'x1', 'x2', 'x1' File "memory_image_orderings.lem", line 61, character 5 to line 68, character 7 Warning: unused variables: 'x1', 'x2', 'x1', 'x2', 'x1', 'x2', 'x1', 'x2', 'x1', 'x2' File "memory_image_orderings.lem", line 81, character 5 to line 109, character 7 Warning: redundant pattern: '(Memory_image.AbiFeature(_), _)' File "memory_image_orderings.lem", line 121, character 5 to line 129, character 7 Warning: unused variables: 'x1', 'x2' File "memory_image_orderings.lem", line 136, character 5 to line 142, character 7 Warning: unused variables: 'r', 'x' File "memory_image_orderings.lem", line 238, character 5 to line 243, character 28 Warning: unused variable: 'all_symbol_ranges' File "memory_image_orderings.lem", line 252, character 17 to line 263, character 19 Warning: unused variable: 'len' File "memory_image_orderings.lem", line 247, character 1 to line 271, character 7 Warning: unused variable: 'maybe_reloc' File "memory_image.lem", line 429, character 5 to line 438, character 7 Warning: unused variable: 'len' File "memory_image.lem", line 494, character 35 to line 494, character 91 Warning: unused variable: 'len1' File "memory_image.lem", line 494, character 57 to line 494, character 90 Warning: unused variable: 'len2' File "memory_image.lem", line 509, character 37 to line 512, character 11 Warning: unused variable: 'tag' File "memory_image.lem", line 509, character 63 to line 512, character 11 Warning: unused variable: 'el_range' File "memory_image.lem", line 548, character 9 to line 560, character 11 Warning: unused variables: 'cur_max_le', 'cur_el_name', 'cur_el_rec', 'cur_el_name' File "memory_image.lem", line 275, character 1 to line 278, character 62 Warning: unused variable: 'f' File "memory_image.lem", line 349, character 1 to line 349, character 59 Warning: unused variables: 'symaddr', 'addend' File "memory_image.lem", line 352, character 1 to line 352, character 66 Warning: unused variables: 'img', 'site_addr', 'ref' File "memory_image.lem", line 355, character 1 to line 355, character 44 Warning: unused variable: 'k' File "dwarf.lem", line 1078, character 96 to line 1078, character 170 Warning: unused variables: 'ac', 'args' File "dwarf.lem", line 1079, character 96 to line 1079, character 162 Warning: unused variables: 'ac', 'args' File "dwarf.lem", line 1079, character 114 to line 1079, character 162 Warning: unused variable: 'v' File "dwarf.lem", line 1080, character 96 to line 1080, character 179 Warning: unused variables: 'ac', 'args' File "dwarf.lem", line 1081, character 96 to line 1081, character 244 Warning: unused variable: 'ac' File "dwarf.lem", line 1082, character 96 to line 1082, character 175 Warning: unused variables: 'ac', 'args' File "dwarf.lem", line 1083, character 96 to line 1083, character 185 Warning: unused variables: 'ac', 'args' File "dwarf.lem", line 1086, character 97 to line 1086, character 137 Warning: unused variable: 'ac' File "dwarf.lem", line 1089, character 97 to line 1089, character 128 Warning: unused variable: 'ac' File "dwarf.lem", line 1093, character 97 to line 1093, character 136 Warning: unused variable: 'ac' File "dwarf.lem", line 1095, character 149 to line 1095, character 238 Warning: unused variable: 'vs'' File "dwarf.lem", line 1099, character 97 to line 1099, character 137 Warning: unused variable: 'ac' File "dwarf.lem", line 1410, character 16 to line 1410, character 97 Warning: unused variable: 'xs' File "dwarf.lem", line 1525, character 3 to line 1529, character 5 Warning: pattern-matching is not exhaustive missing patterns '(_,[])' File "dwarf.lem", line 1525, character 3 to line 1529, character 5 Warning: unused variables: 'xs'', 'x' File "dwarf.lem", line 1567, character 3 to line 1571, character 5 Warning: unused variables: 'x1', 'x2' File "dwarf.lem", line 1640, character 3 to line 1643, character 5 Warning: unused variables: 'x', 'y' File "dwarf.lem", line 1834, character 5 to line 1839, character 7 Warning: unused variable: 'ys' File "dwarf.lem", line 2070, character 20 to line 2070, character 38 Warning: unused variable: 'y'' File "dwarf.lem", line 2082, character 54 to line 2082, character 88 Warning: unused variable: 'x' File "dwarf.lem", line 2196, character 3 to line 2209, character 5 Warning: unused variables: 's', 'pc'' File "dwarf.lem", line 2282, character 3 to line 2303, character 5 Warning: unused variables: 'n', 'n' File "dwarf.lem", line 2446, character 3 to line 2451, character 5 Warning: unused variables: 'bs', 'n' File "dwarf.lem", line 2460, character 3 to line 2466, character 5 Warning: unused variables: 'bs', 'n' File "dwarf.lem", line 2502, character 6 to line 2503, character 43 Warning: unused variables: 'pos', 'af' File "dwarf.lem", line 2569, character 6 to line 2577, character 8 Warning: unused variable: 'parents'' File "dwarf.lem", line 2581, character 3 to line 2584, character 5 Warning: unused variable: 'cu'' File "dwarf.lem", line 2591, character 6 to line 2596, character 7 Warning: unused variables: 'parents_spec', 'cupdie_spec' File "dwarf.lem", line 2611, character 3 to line 2615, character 5 Warning: unused variable: 'cu'' File "dwarf.lem", line 2639, character 41 to line 2640, character 40 Warning: unused variable: 'pc''' File "dwarf.lem", line 2648, character 14 to line 2652, character 29 Warning: unused variable: 'ul' File "dwarf.lem", line 2785, character 3 to line 2790, character 84 Warning: unused variable: 'offset' File "dwarf.lem", line 2817, character 49 to line 2817, character 110 Warning: unused variable: 'at' File "dwarf.lem", line 2900, character 9 to line 2903, character 11 Warning: unused variable: 'pc_abbrev'' File "dwarf.lem", line 2959, character 9 to line 2962, character 11 Warning: unused variable: 'pc_abbrev'' File "dwarf.lem", line 3166, character 3 to line 3170, character 5 Warning: unused variables: 'rli', 'rli' File "dwarf.lem", line 3250, character 3 to line 3254, character 5 Warning: unused variable: 'bs' File "dwarf.lem", line 3257, character 3 to line 3266, character 5 Warning: unused variables: 'bs', 'bs' File "dwarf.lem", line 3353, character 17 to line 3357, character 19 Warning: unused variables: 'pc''', 's', 'pc''' File "dwarf.lem", line 3337, character 17 to line 3341, character 19 Warning: unused variables: 'pc''', 's', 'pc''' File "dwarf.lem", line 3446, character 12 to line 3448, character 37 Warning: unused variable: 'ul' File "dwarf.lem", line 3723, character 12 to line 3733, character 15 Warning: unused variable: 'size' File "dwarf.lem", line 3781, character 3 to line 3787, character 5 Warning: unused variable: 'n' File "dwarf.lem", line 3850, character 5 to line 3855, character 7 Warning: unused variables: 'pc'', 'pc'' File "dwarf.lem", line 3953, character 5 to line 3956, character 7 Warning: unused variable: 'pc_loc'' File "dwarf.lem", line 3943, character 5 to line 3946, character 7 Warning: unused variable: 'pc_loc'' File "dwarf.lem", line 3935, character 5 to line 3938, character 7 Warning: unused variable: 'pc_loc'' File "dwarf.lem", line 3921, character 5 to line 3924, character 7 Warning: unused variable: 'pc_info'' File "dwarf.lem", line 4024, character 3 to line 4034, character 8 Warning: unused variable: 'c' File "dwarf.lem", line 4025, character 3 to line 4034, character 8 Warning: unused variable: 'c' File "dwarf.lem", line 4026, character 3 to line 4034, character 8 Warning: unused variable: 'c' File "dwarf.lem", line 4027, character 3 to line 4034, character 8 Warning: unused variable: 'c' File "dwarf.lem", line 4028, character 3 to line 4034, character 8 Warning: unused variable: 'c' File "dwarf.lem", line 4029, character 3 to line 4034, character 8 Warning: unused variable: 'c' File "dwarf.lem", line 4175, character 3 to line 4186, character 5 Warning: unused variable: 'fde' File "dwarf.lem", line 4177, character 8 to line 4177, character 128 Warning: unused variable: 'rows' File "dwarf.lem", line 4368, character 3 to line 4390, character 5 Warning: unused variables: 'n', 'n' File "dwarf.lem", line 4375, character 7 to line 4388, character 11 Warning: unused variable: 'offset' File "dwarf.lem", line 4229, character 9 to line 4346, character 11 Warning: unused variable: 'size' File "dwarf.lem", line 4324, character 13 to line 4331, character 15 Warning: unused variable: 'vs'' File "dwarf.lem", line 4334, character 13 to line 4343, character 15 Warning: unused variable: 'bs' File "dwarf.lem", line 4480, character 3 to line 4484, character 5 Warning: pattern-matching is not exhaustive missing patterns '([],_::_)', '(_::[],[])', '(_::[],_::_::_)', '(_::_::_,[])', '(_::_::_,_::[])' File "dwarf.lem", line 4480, character 3 to line 4484, character 5 Warning: unused variable: 'len' File "dwarf.lem", line 4534, character 3 to line 4628, character 5 Warning: unused variable: 'i' File "dwarf.lem", line 4553, character 7 to line 4564, character 9 Warning: unused variable: 'r'' File "dwarf.lem", line 4566, character 7 to line 4570, character 9 Warning: unused variable: 'i' File "dwarf.lem", line 4643, character 3 to line 4664, character 68 Warning: unused variable: 'final_location' File "dwarf.lem", line 4819, character 12 to line 4822, character 15 Warning: unused variable: 'cupdie'' File "dwarf.lem", line 4820, character 12 to line 4822, character 15 Warning: unused variable: 'mname'' File "dwarf.lem", line 4703, character 24 to line 4703, character 39 Warning: unused variable: 's' File "dwarf.lem", line 4836, character 3 to line 4855, character 5 Warning: unused variables: 'die', 'cu', 'parents' File "dwarf.lem", line 4849, character 97 to line 4849, character 225 Warning: unused variable: 'am' File "dwarf.lem", line 4859, character 3 to line 4864, character 5 Warning: unused variable: 'parents' File "dwarf.lem", line 4868, character 3 to line 4873, character 5 Warning: unused variable: 'parents' File "dwarf.lem", line 4887, character 3 to line 4902, character 5 Warning: unused variables: 'cupdie', 'cupdie', 'cupdie', 'cupdie', 'cupdie', 'cupdie', 'decl', 'cupdie', 'decl', 'mbyte_size', 'mmembers', 'decl', 'mbyte_size', 'mtyp'', 'mmembers', 'cupdie' File "dwarf.lem", line 4897, character 45 to line 4897, character 155 Warning: unused variable: 'msubrange_typ' File "dwarf.lem", line 4919, character 3 to line 4924, character 7 Warning: unused variable: 'cupdie' File "dwarf.lem", line 4928, character 3 to line 4936, character 5 Warning: unused variables: 'decl', 'atk' File "dwarf.lem", line 4940, character 3 to line 4945, character 7 Warning: unused variable: 'cupdie' File "dwarf.lem", line 4948, character 3 to line 4952, character 7 Warning: unused variable: 'cupdie' File "dwarf.lem", line 4960, character 3 to line 4971, character 5 Warning: unused variables: 'decl', 'decl' File "dwarf.lem", line 5042, character 9 to line 5072, character 107 Warning: unused variables: 'cu', 'parents' File "dwarf.lem", line 5063, character 12 to line 5070, character 14 Warning: unused variables: 'n', 'n' File "dwarf.lem", line 5048, character 51 to line 5048, character 153 Warning: unused variables: 'pos', 'av', 'af' File "dwarf.lem", line 5119, character 3 to line 5133, character 3 Warning: unused variables: 'n1', 'n' File "dwarf.lem", line 5128, character 29 to line 5128, character 224 Warning: unused variable: 'None' File "dwarf.lem", line 5140, character 3 to line 5144, character 5 Warning: pattern-matching is not exhaustive missing patterns '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_string _),Maybe.Nothing)', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Nothing)', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_block _ _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_constantN _ _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_constant_SLEB128 _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_constant_ULEB128 _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_exprloc _ _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_flag _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_ref _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_ref_addr _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_ref_sig8 _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_sec_offset _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_string _))', '(Maybe.Nothing,Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_block _ _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_constantN _ _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_constant_SLEB128 _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_constant_ULEB128 _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_exprloc _ _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_flag _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_ref _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_ref_addr _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_ref_sig8 _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_sec_offset _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_string _),Maybe.Just(Dwarf.AV_strp _))', '(Maybe.Just(Dwarf.AV_strp _),Maybe.Just(Dwarf.AV_strp _))' File "dwarf.lem", line 5150, character 7 to line 5154, character 9 Warning: unused variable: 'x' File "dwarf.lem", line 5192, character 3 to line 5201, character 5 Warning: pattern-matching is not exhaustive missing patterns 'Maybe.Just(Dwarf.AV_addr _)', 'Maybe.Just(Dwarf.AV_constantN _ _)', 'Maybe.Just(Dwarf.AV_constant_SLEB128 _)', 'Maybe.Just(Dwarf.AV_constant_ULEB128 _)', 'Maybe.Just(Dwarf.AV_flag _)', 'Maybe.Just(Dwarf.AV_ref _)', 'Maybe.Just(Dwarf.AV_ref_addr _)', 'Maybe.Just(Dwarf.AV_ref_sig8 _)', 'Maybe.Just(Dwarf.AV_string _)', 'Maybe.Just(Dwarf.AV_strp _)' File "dwarf.lem", line 5192, character 3 to line 5201, character 5 Warning: unused variables: 'n', 'n' File "dwarf.lem", line 5291, character 11 to line 5301, character 14 Warning: unused variables: 'typ', 'parents', 'kind', 'removed' File "dwarf.lem", line 5293, character 12 to line 5301, character 14 Warning: unused variables: 'x'', 'parents'', 'offset'', 'typ'', 'removed'', 'name'', 'kind'' File "dwarf.lem", line 5292, character 46 to line 5292, character 134 Warning: unused variables: 'parents'', 'typ'', 'removed'', 'kind'', 'locs'' File "dwarf.lem", line 5285, character 31 to line 5285, character 178 Warning: unused variables: 'offset', 'typ', 'parents', 'kind', 'removed', 'locs' File "dwarf.lem", line 5285, character 99 to line 5285, character 168 Warning: unused variables: 'parents'', 'offset'', 'typ'', 'removed'', 'kind'', 'locs'' File "dwarf.lem", line 5309, character 9 to line 5314, character 22 Warning: unused variable: 'x' File "dwarf.lem", line 5337, character 6 to line 5349, character 9 Warning: unused variables: 'n2', 'n1', 'cu', 'parents', 'sld' File "dwarf.lem", line 5371, character 37 to line 5371, character 74 Warning: unused variable: 'sld' File "dwarf.lem", line 5405, character 6 to line 5417, character 9 Warning: unused variables: 'n2', 'n1', 'cu', 'parents', 'sld' File "dwarf.lem", line 5406, character 7 to line 5417, character 9 Warning: unused variable: 'e' File "dwarf.lem", line 5429, character 34 to line 5429, character 71 Warning: unused variable: 'sld' File "dwarf.lem", line 5527, character 47 to line 5527, character 107 Warning: unused variables: 'name', 'ufe' File "dwarf.lem", line 5527, character 70 to line 5527, character 107 Warning: unused variables: 'name'', 'ufe'' File "dwarf.lem", line 5527, character 16 to line 5527, character 43 Warning: unused variables: 'line', 'name' File "dwarf.lem", line 5534, character 40 to line 5534, character 102 Warning: unused variable: 'ufe' File "dwarf.lem", line 5538, character 3 to line 5542, character 5 Warning: unused variable: 'ufe'' File "dwarf.lem", line 5630, character 3 to line 5715, character 5 Warning: unused variables: 's', 'n2', 'n1', 'n3' File "dwarf.lem", line 5739, character 3 to line 5742, character 5 Warning: unused variable: 'lnh' File "dwarf.lem", line 5739, character 20 to line 5739, character 60 Warning: unused variable: 'lnrs' File "dwarf.lem", line 5933, character 7 to line 5938, character 7 Warning: unused variable: 'cupdie'' File "dwarf.lem", line 5996, character 5 to line 6008, character 12 Warning: unused variable: 'c' File "dwarf.lem", line 5974, character 11 to line 5979, character 13 Warning: unused variable: 'cupdie'' File "dwarf.lem", line 6020, character 5 to line 6030, character 6 Warning: unused variable: 'parents' File "dwarf.lem", line 6286, character 8 to line 6291, character 9 Warning: unused variables: 'subprogram_name', 'ud' File "dwarf.lem", line 6356, character 5 to line 6357, character 48 Warning: unused variable: 'cu' File "dwarf.lem", line 6371, character 18 to line 6372, character 88 Warning: unused variable: 'locs' File "dwarf.lem", line 6418, character 3 to line 6420, character 57 Warning: unused variable: 'p_context' File "dwarf.lem", line 128, character 1 to line 128, character 19 Warning: unused variable: 's' File "dwarf.lem", line 129, character 1 to line 129, character 20 Warning: unused variable: 's' File "dwarf.lem", line 130, character 1 to line 130, character 20 Warning: unused variable: 's' File "dwarf.lem", line 1554, character 1 to line 1554, character 91 Warning: unused variable: 'n' File "dwarf.lem", line 2087, character 1 to line 2105, character 20 Warning: unused variable: 'c' File "dwarf.lem", line 2393, character 1 to line 2393, character 93 Warning: unused variable: 'parents' File "dwarf.lem", line 2445, character 1 to line 2451, character 5 Warning: unused variable: 'die1' File "dwarf.lem", line 2474, character 1 to line 2492, character 5 Warning: unused variables: 'c', 'str' File "dwarf.lem", line 2609, character 1 to line 2615, character 5 Warning: unused variable: 'parents' File "dwarf.lem", line 2763, character 1 to line 2776, character 3 Warning: unused variables: 'pp_children', 'parents' File "dwarf.lem", line 3011, character 1 to line 3014, character 8 Warning: unused variables: 'c', 'cuh' File "dwarf.lem", line 3115, character 1 to line 3120, character 8 Warning: unused variables: 'c', 'cuh' File "dwarf.lem", line 3381, character 1 to line 3393, character 59 Warning: unused variables: 'c', 'cuh' File "dwarf.lem", line 3400, character 1 to line 3408, character 51 Warning: unused variables: 'c', 'cuh' File "dwarf.lem", line 3825, character 1 to line 3828, character 73 Warning: unused variable: 'ufe' File "dwarf.lem", line 3830, character 1 to line 3835, character 73 Warning: unused variable: 'ufe' File "dwarf.lem", line 3838, character 1 to line 3839, character 6 Warning: unused variables: 'mcomp_dir', 'mdir', 'ufe' File "dwarf.lem", line 4494, character 1 to line 4499, character 31 Warning: unused variable: 'fde' File "dwarf.lem", line 4501, character 1 to line 4510, character 10 Warning: unused variable: 'fde' File "dwarf.lem", line 4520, character 1 to line 4628, character 5 Warning: unused variable: 'fi' File "dwarf.lem", line 5897, character 1 to line 5900, character 14 Warning: unused variables: 'd', 'subprogram_line_extents', 'cu', 'parents' File "dwarf.lem", line 6039, character 1 to line 6040, character 59 Warning: unused variable: 'sup' File "dwarf.lem", line 6334, character 1 to line 6334, character 89 Warning: unused variables: 'n', 'm', 'is', 'n'', 'm'', 'is'' File "dwarf.lem", line 6427, character 1 to line 6434, character 5 Warning: unused variable: 'bs' File "dwarf.lem", line 6438, character 1 to line 6472, character 3 Warning: unused variable: 'bs' File "elf_dynamic.lem", line 651, character 9 to line 671, character 11 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 692, character 9 to line 712, character 11 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 945, character 7 to line 949, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 938, character 9 to line 942, character 11 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 928, character 7 to line 932, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 919, character 7 to line 923, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 912, character 7 to line 916, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 905, character 7 to line 909, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 898, character 7 to line 902, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 891, character 7 to line 895, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 882, character 7 to line 886, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 866, character 7 to line 870, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 859, character 7 to line 863, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 852, character 7 to line 856, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 845, character 7 to line 849, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 834, character 7 to line 838, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 825, character 7 to line 829, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 818, character 7 to line 822, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 811, character 7 to line 815, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 804, character 7 to line 808, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 797, character 7 to line 801, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 790, character 7 to line 794, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 783, character 7 to line 787, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 776, character 7 to line 780, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 769, character 7 to line 773, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 762, character 7 to line 766, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 755, character 7 to line 759, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 748, character 7 to line 752, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 741, character 7 to line 745, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 732, character 7 to line 736, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1188, character 7 to line 1192, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1181, character 9 to line 1185, character 11 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1171, character 7 to line 1175, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1162, character 7 to line 1166, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1155, character 7 to line 1159, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1148, character 7 to line 1152, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1141, character 7 to line 1145, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1134, character 7 to line 1138, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1125, character 7 to line 1129, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1109, character 7 to line 1113, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1102, character 7 to line 1106, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1095, character 7 to line 1099, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1088, character 7 to line 1092, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1077, character 7 to line 1081, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1068, character 7 to line 1072, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1061, character 7 to line 1065, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1054, character 7 to line 1058, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1047, character 7 to line 1051, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1040, character 7 to line 1044, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1033, character 7 to line 1037, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1026, character 7 to line 1030, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 1019, character 7 to line 1023, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1012, character 7 to line 1016, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 1005, character 7 to line 1009, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 998, character 7 to line 1002, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 991, character 7 to line 995, character 9 Warning: unused variables: 'v', 'i' File "elf_dynamic.lem", line 984, character 7 to line 988, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 975, character 7 to line 979, character 9 Warning: unused variables: 'p', 'i' File "elf_dynamic.lem", line 643, character 1 to line 674, character 7 Warning: unused variable: 'endian' File "elf_dynamic.lem", line 684, character 1 to line 715, character 7 Warning: unused variable: 'endian' File "elf_file.lem", line 102, character 21 to line 103, character 19 Warning: unused variable: 'offset' File "elf_file.lem", line 152, character 7 to line 192, character 19 Warning: unused variable: 'segs_zip' File "elf_file.lem", line 191, character 21 to line 192, character 19 Warning: unused variable: 'offset' File "elf_file.lem", line 610, character 29 to line 622, character 57 Warning: unused variable: 'bs1' File "elf_file.lem", line 629, character 29 to line 641, character 57 Warning: unused variable: 'bs1' File "elf_file.lem", line 651, character 3 to line 662, character 7 Warning: unused variable: 'segs' File "elf_file.lem", line 672, character 3 to line 683, character 7 Warning: unused variable: 'segs' File "elf_file.lem", line 740, character 3 to line 758, character 33 Warning: unused variable: 'segs' File "elf_file.lem", line 765, character 3 to line 785, character 33 Warning: unused variable: 'hdr' File "elf_file.lem", line 767, character 3 to line 785, character 33 Warning: unused variable: 'segs' File "elf_file.lem", line 768, character 47 to line 775, character 13 Warning: unused variable: 'index' File "elf_file.lem", line 793, character 3 to line 799, character 7 Warning: unused variable: 'hdr' File "elf_file.lem", line 794, character 3 to line 799, character 7 Warning: unused variable: 'sht' File "elf_file.lem", line 807, character 3 to line 813, character 7 Warning: unused variable: 'hdr' File "elf_file.lem", line 808, character 3 to line 813, character 7 Warning: unused variable: 'sht' File "elf_file.lem", line 823, character 3 to line 839, character 7 Warning: unused variable: 'segs' File "elf_file.lem", line 848, character 3 to line 867, character 7 Warning: unused variable: 'segs' File "elf_file.lem", line 876, character 3 to line 892, character 7 Warning: unused variable: 'segs' File "elf_file.lem", line 901, character 3 to line 917, character 7 Warning: unused variable: 'segs' File "elf_file.lem", line 926, character 3 to line 933, character 7 Warning: unused variable: 'sht' File "elf_file.lem", line 942, character 3 to line 949, character 7 Warning: unused variable: 'sht' File "elf_file.lem", line 1070, character 5 to line 1099, character 14 Warning: unused variable: 'segs' File "elf_file.lem", line 1071, character 32 to line 1099, character 14 Warning: unused variable: 'bs0' File "elf_file.lem", line 1077, character 45 to line 1095, character 15 Warning: unused variables: 'entry', 'mach' File "elf_file.lem", line 1088, character 13 to line 1095, character 15 Warning: unused variables: 'x', 'xs' File "elf_file.lem", line 1109, character 5 to line 1141, character 14 Warning: unused variable: 'segs' File "elf_file.lem", line 1110, character 32 to line 1141, character 14 Warning: unused variable: 'bs0' File "elf_file.lem", line 1119, character 45 to line 1137, character 15 Warning: unused variables: 'entry', 'mach' File "elf_file.lem", line 1130, character 13 to line 1137, character 15 Warning: unused variables: 'x', 'xs' File "elf_note.lem", line 444, character 33 to line 473, character 16 Warning: unused variable: 'vn_rdev' File "elf_interpreted_section.lem", line 254, character 3 to line 262, character 5 Warning: unused variable: 'f' File "elf_interpreted_section.lem", line 274, character 3 to line 282, character 5 Warning: unused variable: 'f' File "elf_section_header_table.lem", line 741, character 3 to line 754, character 5 Warning: unused variable: 'xs' File "elf_section_header_table.lem", line 761, character 3 to line 774, character 5 Warning: unused variable: 'xs' File "elf_section_header_table.lem", line 271, character 1 to line 305, character 9 Warning: unused variables: 'os', 'proc' File "elf_header.lem", line 931, character 1 to line 932, character 17 Warning: unused variable: 'hdr' File "string_table.lem", line 51, character 3 to line 53, character 5 Warning: unused variable: 'base' File "string_table.lem", line 59, character 3 to line 61, character 5 Warning: unused variable: 'sep' File "hex_printing.lem", line 58, character 3 to line 76, character 5 Warning: pattern-matching is not exhaustive missing patterns '_::[]' File "elf_types_native_uint.lem", line 123, character 1 to line 125, character 40 Warning: unused variable: 'endian' File "archive.lem", line 28, character 3 to line 43, character 95 Warning: unused variable: 'magic_bytes' File "archive.lem", line 32, character 40 to line 43, character 95 Warning: unused variable: 'magic' File "archive.lem", line 34, character 41 to line 43, character 95 Warning: unused variable: 'timestamp_str' File "archive.lem", line 35, character 41 to line 43, character 95 Warning: unused variable: 'uid_str' File "archive.lem", line 36, character 41 to line 43, character 95 Warning: unused variable: 'gid_str' File "archive.lem", line 37, character 41 to line 43, character 95 Warning: unused variable: 'mode_str' File "archive.lem", line 90, character 21 to line 116, character 23 Warning: unused variable: 'ys' File "archive.lem", line 131, character 39 to line 137, character 7 Warning: unused variable: 'hdr' File "byte_pattern_extra.lem", line 84, character 11 to line 87, character 5 Warning: unused variable: 'err_msg' File "error.lem", line 26, character 3 to line 29, character 5 Warning: unused variable: 'err' File "error.lem", line 58, character 3 to line 61, character 5 Warning: unused variable: 'err' File "multimap.lem", line 203, character 9 to line 213, character 9 Warning: unused variable: 'lowerThanLow' File "multimap.lem", line 205, character 9 to line 213, character 9 Warning: unused variable: 'tooHigh' File "missing_pervasives.lem", line 274, character 5 to line 278, character 14 Warning: unused variable: 'accum_compl' File "missing_pervasives.lem", line 276, character 5 to line 278, character 14 Warning: unused variable: 'just_indices' File "missing_pervasives.lem", line 283, character 5 to line 285, character 9 Warning: unused variable: 'accum_compl' File "missing_pervasives.lem", line 292, character 5 to line 296, character 34 Warning: unused variable: 'just_indices' File "missing_pervasives.lem", line 294, character 5 to line 296, character 34 Warning: unused variable: 'just_indices_compl' File "missing_pervasives.lem", line 313, character 34 to line 316, character 3 Warning: pattern-matching is not exhaustive missing patterns '([],[],_::_)', '([],_::_,_)', '(_::_,[],_)', '(_::_,_::_,[])' File "missing_pervasives.lem", line 590, character 13 to line 593, character 82 Warning: unused variable: 'mapped_list' File "missing_pervasives.lem", line 715, character 7 to line 718, character 9 Warning: unused variable: 'c' File "show.lem", line 22, character 1 to line 22, character 27 Warning: unused variable: 'u' File "missing_pervasives.lem", line 558, character 2 to line 561, character 4 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 1514, character 3 to line 1518, character 5 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 1525, character 3 to line 1529, character 5 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 1577, character 3 to line 1581, character 5 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 1811, character 5 to line 1818, character 7 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 2021, character 5 to line 2025, character 7 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 2028, character 5 to line 2035, character 7 Warning: pattern compilation used for target ocaml File "dwarf.lem", line 4156, character 3 to line 4172, character 5 Warning: pattern compilation used for target ocaml File "memory_image.lem", line 464, character 5 to line 467, character 7 Warning: pattern compilation used for target ocaml File "gnu_extensions/gnu_ext_symbol_versioning.lem", line 546, character 3 to line 565, character 5 Warning: pattern compilation used for target ocaml File "/usr/share/lem/library/set_extra.lem", line 83, character 1 to line 83, character 62 Warning: compile message for constant 'Set_extra.toList' and target 'ocaml' toList is only defined on finite sets and the order of the resulting list is unspecified and therefore might differ for different backend implementations. File "/usr/share/lem/library/num.lem", line 2137, character 1 to line 2137, character 43 Warning: compile message for constant 'Num.naturalFromInteger' and target 'ocaml' x natFromNatural might fail for too big values. The values allowed are system-dependent. However, at least 30 bit should be available, i.e. all numbers up to 2^30 = 1 073 741 824 should be OK. File "/usr/share/lem/library/map_extra.lem", line 64, character 1 to line 64, character 70 Warning: compile message for constant 'Map_extra.toList' and target 'ocaml' Map_extra.mapMaybe is only defined for the ocaml and coq backend File "/usr/share/lem/library/list_extra.lem", line 24, character 1 to line 24, character 35 Warning: compile message for constant 'List_extra.head' and target 'ocaml' head is only defined on non-empty list and should therefore be avoided. Use maching instead and handle the empty case explicitly. File "/usr/share/lem/library/list_extra.lem", line 39, character 1 to line 39, character 40 Warning: compile message for constant 'List_extra.tail' and target 'ocaml' tail is only defined on non-empty list and should therefore be avoided. Use maching instead and handle the empty case explicitly. File "/usr/share/lem/library/map.lem", line 299, character 1 to line 299, character 87 Warning: compile message for constant 'Map.mapi' and target 'ocaml' Map.mapi is only defined for the ocaml backend no location information available Warning: renaming 'byte_sequence' to 'byte_sequence0' for target ocaml no location information available Warning: renaming 'memory_image' to 'memory_image0' for target ocaml no location information available Warning: renaming 'plt_entry_address_fn' to 'plt_entry_address_fn0' for target ocaml no location information available Warning: renaming 'byte_sequence' to 'byte_sequence1' for target ocaml File "missing_pervasives.lem", line 21, character 1 to line 21, character 28 Warning: renaming 'id' to 'id0' for target ocaml File "missing_pervasives.lem", line 473, character 1 to line 473, character 51 Warning: renaming 'take' to 'take0' for target ocaml File "missing_pervasives.lem", line 480, character 1 to line 480, character 51 Warning: renaming 'drop' to 'drop0' for target ocaml File "missing_pervasives.lem", line 548, character 1 to line 548, character 68 Warning: renaming 'find_index' to 'find_index0' for target ocaml File "missing_pervasives.lem", line 563, character 1 to line 563, character 51 Warning: renaming 'replicate' to 'replicate0' for target ocaml File "multimap.lem", line 185, character 1 to line 187, character 62 Warning: renaming 'lookupBy' to 'lookupBy0' for target ocaml File "byte_sequence.lem", line 65, character 1 to line 65, character 37 Warning: renaming 'length' to 'length0' for target ocaml File "byte_sequence.lem", line 121, character 1 to line 121, character 86 Warning: renaming 'takebytes_with_length' to 'takebytes_with_length0' for target ocaml File "byte_sequence.lem", line 203, character 1 to line 203, character 81 Warning: renaming 'partition' to 'partition0' for target ocaml File "string_table.lem", line 43, character 1 to line 43, character 24 Warning: renaming 'empty' to 'empty0' for target ocaml File "string_table.lem", line 65, character 1 to line 65, character 34 Warning: renaming 'size' to 'size0' for target ocaml File "string_table.lem", line 71, character 1 to line 71, character 52 Warning: renaming 'concat' to 'concat0' for target ocaml File "elf_interpreted_section.lem", line 287, character 1 to line 288, character 22 Warning: renaming 'is_valid_elf32_section_header_table' to 'is_valid_elf32_section_header_table0' for target ocaml File "elf_interpreted_section.lem", line 295, character 1 to line 296, character 22 Warning: renaming 'is_valid_elf64_section_header_table' to 'is_valid_elf64_section_header_table0' for target ocaml File "memory_image.lem", line 39, character 19 to line 39, character 24 Warning: renaming 'length' to 'length1' for target ocaml File "abis/aarch64/abi_aarch64_le.lem", line 75, character 1 to line 75, character 116 Warning: renaming 'section_is_special' to 'section_is_special0' for target ocaml File "abstract_linker_script.lem", line 6, character 5 to line 6, character 6 Warning: renaming 'Eq' to 'Eq0' for target ocaml File "abstract_linker_script.lem", line 7, character 5 to line 7, character 6 Warning: renaming 'Lt' to 'Lt0' for target ocaml File "abstract_linker_script.lem", line 10, character 5 to line 10, character 7 Warning: renaming 'And' to 'And0' for target ocaml File "abstract_linker_script.lem", line 11, character 5 to line 11, character 6 Warning: renaming 'Or' to 'Or0' for target ocaml File "abstract_linker_script.lem", line 16, character 5 to line 16, character 7 Warning: renaming 'Var' to 'Var0' for target ocaml File "abis/amd64/abi_amd64.lem", line 55, character 5 to line 55, character 7 Warning: renaming 'GOT' to 'GOT0' for target ocaml File "abis/amd64/abi_amd64.lem", line 56, character 7 to line 56, character 9 Warning: renaming 'PLT' to 'PLT0' for target ocaml File "abis/amd64/abi_amd64.lem", line 58, character 1 to line 58, character 132 Warning: renaming 'abiFeatureCompare' to 'abiFeatureCompare0' for target ocaml File "abis/amd64/abi_amd64.lem", line 67, character 1 to line 67, character 112 Warning: renaming 'abiFeatureTagEq' to 'abiFeatureTagEq0' for target ocaml File "abis/amd64/abi_amd64.lem", line 87, character 1 to line 87, character 116 Warning: renaming 'section_is_special' to 'section_is_special1' for target ocaml File "abis/mips64/abi_mips64_section_header_table.lem", line 25, character 5 to line 25, character 30 Warning: renaming 'abi_amg64_special_sections' to 'abi_amg64_special_sections0' for target ocaml File "abis/mips64/abi_mips64.lem", line 48, character 5 to line 48, character 7 Warning: renaming 'GOT' to 'GOT1' for target ocaml File "abis/mips64/abi_mips64.lem", line 49, character 7 to line 49, character 9 Warning: renaming 'PLT' to 'PLT1' for target ocaml File "abis/mips64/abi_mips64.lem", line 51, character 1 to line 51, character 134 Warning: renaming 'abiFeatureCompare' to 'abiFeatureCompare1' for target ocaml File "abis/mips64/abi_mips64.lem", line 60, character 1 to line 60, character 114 Warning: renaming 'abiFeatureTagEq' to 'abiFeatureTagEq1' for target ocaml File "abis/mips64/abi_mips64.lem", line 80, character 1 to line 80, character 116 Warning: renaming 'section_is_special' to 'section_is_special2' for target ocaml File "abis/riscv/abi_riscv_section_header_table.lem", line 18, character 1 to line 18, character 57 Warning: renaming 'string_of_abi_mips64_section_type' to 'string_of_abi_mips64_section_type0' for target ocaml File "abis/riscv/abi_riscv_section_header_table.lem", line 25, character 5 to line 25, character 30 Warning: renaming 'abi_amg64_special_sections' to 'abi_amg64_special_sections1' for target ocaml File "abis/riscv/abi_riscv_section_header_table.lem", line 32, character 1 to line 32, character 85 Warning: renaming 'abi_mips64_special_sections_large_code_model' to 'abi_mips64_special_sections_large_code_model0' for target ocaml File "abis/riscv/abi_riscv_symbol_table.lem", line 16, character 1 to line 16, character 56 Warning: renaming 'string_of_abi_mips64_symbol_type' to 'string_of_abi_mips64_symbol_type0' for target ocaml File "abis/riscv/abi_riscv.lem", line 49, character 5 to line 49, character 7 Warning: renaming 'GOT' to 'GOT2' for target ocaml File "abis/riscv/abi_riscv.lem", line 50, character 7 to line 50, character 9 Warning: renaming 'PLT' to 'PLT2' for target ocaml File "abis/riscv/abi_riscv.lem", line 52, character 1 to line 52, character 132 Warning: renaming 'abiFeatureCompare' to 'abiFeatureCompare2' for target ocaml File "abis/riscv/abi_riscv.lem", line 61, character 1 to line 61, character 112 Warning: renaming 'abiFeatureTagEq' to 'abiFeatureTagEq2' for target ocaml File "abis/riscv/abi_riscv.lem", line 81, character 1 to line 81, character 116 Warning: renaming 'section_is_special' to 'section_is_special3' for target ocaml File "gnu_extensions/gnu_ext_section_to_segment_mapping.lem", line 80, character 1 to line 80, character 77 Warning: renaming 'elf32_section_flags' to 'elf32_section_flags0' for target ocaml File "gnu_extensions/gnu_ext_section_to_segment_mapping.lem", line 85, character 1 to line 85, character 77 Warning: renaming 'elf64_section_flags' to 'elf64_section_flags0' for target ocaml File "elf_memory_image.lem", line 37, character 5 to line 37, character 26 Warning: renaming 'elf_section_is_special' to 'elf_section_is_special0' for target ocaml File "elf_memory_image.lem", line 40, character 1 to line 40, character 149 Warning: renaming 'noop_reloc' to 'noop_reloc0' for target ocaml File "elf_memory_image_of_elf64_file.lem", line 470, character 1 to line 470, character 52 Warning: renaming 'name_of_symbol_def' to 'name_of_symbol_def0' for target ocaml File "command_line.lem", line 152, character 1 to line 152, character 38 Warning: renaming 'initial_state' to 'initial_state0' for target ocaml File "test_image.lem", line 89, character 5 to line 89, character 7 Warning: renaming 'img' to 'img0' for target ocaml File "byte_sequence_ocaml.lem", line 94, character 1 to line 94, character 86 Warning: renaming 'takebytes_with_length' to 'takebytes_with_length1' for target ocaml File "copy_elf.lem", line 57, character 5 to line 57, character 19 Warning: renaming 'default_hdr_bdl' to 'default_hdr_bdl0' for target ocaml File "copy_elf.lem", line 60, character 5 to line 60, character 19 Warning: renaming 'default_pht_bdl' to 'default_pht_bdl0' for target ocaml File "copy_elf.lem", line 63, character 5 to line 63, character 19 Warning: renaming 'default_sht_bdl' to 'default_sht_bdl0' for target ocaml File "copy_elf.lem", line 68, character 1 to line 68, character 74 Warning: renaming 'chunks' to 'chunks0' for target ocaml File "copy_elf.lem", line 149, character 1 to line 149, character 79 Warning: renaming 'provide_offsets' to 'provide_offsets0' for target ocaml File "copy_elf.lem", line 160, character 1 to line 160, character 64 Warning: renaming 'create_chunks' to 'create_chunks0' for target ocaml File "copy_elf.lem", line 168, character 1 to line 168, character 48 Warning: renaming 'print_chunk' to 'print_chunk0' for target ocaml File "copy_elf.lem", line 175, character 1 to line 175, character 77 Warning: renaming 'obtain_abi_specific_string_of_reloc_type' to 'obtain_abi_specific_string_of_reloc_type0' for target ocaml File "main_load.lem", line 261, character 5 to line 261, character 43 Warning: renaming 'extract_all_relocs_as_symbol_references' to 'extract_all_relocs_as_symbol_references0' for target ocaml touch lem_ocaml_sentinel mkdir -p "build_zarith/" ocamlfind ocamlc -c -g -I adaptors -I abis -I abis/amd64 -I abis/power64 -I abis/aarch64 -I abis/x86 -I abis/mips64 -I abis/riscv -I abis/cheri_mips64 -I gnu_extensions -bin-annot -package num -package lem uint64_wrapper.ml uint32_wrapper.ml show.ml endianness.ml error.ml ml_bindings.ml missing_pervasives.ml multimap.ml default_printing.ml byte_sequence_wrapper.ml byte_sequence_impl.ml filesystem.ml filesystem_wrapper.ml byte_sequence.ml byte_pattern.ml byte_pattern_extra.ml archive.ml elf_types_native_uint.ml hex_printing.ml string_table.ml auxv.ml elf_header.ml elf_symbol_table.ml elf_program_header_table.ml elf_section_header_table.ml elf_relocation.ml elf_interpreted_segment.ml elf_interpreted_section.ml elf_note.ml elf_file.ml elf_dynamic.ml dwarf_ctypes.ml dwarf.ml ldconfig.ml abis/abi_classes.ml memory_image.ml memory_image_orderings.ml abis/abi_utilities.ml gnu_extensions/gnu_ext_abi.ml abis/power64/abi_power64.ml abis/power64/abi_power64_elf_header.ml abis/power64/abi_power64_section_header_table.ml abis/power64/abi_power64_dynamic.ml abis/aarch64/abi_aarch64_le_elf_header.ml abis/aarch64/abi_aarch64_symbol_table.ml abis/aarch64/abi_aarch64_section_header_table.ml abis/aarch64/abi_aarch64_program_header_table.ml abis/aarch64/abi_aarch64_le_serialisation.ml abis/aarch64/abi_aarch64_relocation.ml abis/aarch64/abi_aarch64_le.ml abstract_linker_script.ml abis/amd64/abi_amd64_elf_header.ml abis/amd64/abi_amd64_serialisation.ml abis/amd64/abi_amd64_relocation.ml abis/amd64/abi_amd64_program_header_table.ml abis/amd64/abi_amd64_section_header_table.ml abis/amd64/abi_amd64_symbol_table.ml abis/amd64/abi_amd64.ml abis/mips64/abi_mips64_dynamic.ml abis/mips64/abi_mips64_elf_header.ml abis/mips64/abi_mips64_relocation.ml abis/mips64/abi_mips64_serialisation.ml abis/mips64/abi_mips64_program_header_table.ml abis/mips64/abi_mips64_section_header_table.ml abis/mips64/abi_mips64_symbol_table.ml abis/mips64/abi_mips64.ml abis/x86/abi_x86_relocation.ml abis/power64/abi_power64_relocation.ml abis/riscv/abi_riscv_elf_header.ml abis/riscv/abi_riscv_program_header_table.ml abis/riscv/abi_riscv_relocation.ml abis/riscv/abi_riscv_section_header_table.ml abis/riscv/abi_riscv_serialisation.ml abis/riscv/abi_riscv_symbol_table.ml abis/riscv/abi_riscv.ml abis/cheri_mips64/abi_cheri_mips64_capability.ml abis/cheri_mips64/abi_cheri_mips64_dynamic.ml abis/cheri_mips64/abi_cheri_mips64_elf_header.ml abis/cheri_mips64/abi_cheri_mips64_relocation.ml abis/cheri_mips64/abi_cheri_mips64.ml gnu_extensions/gnu_ext_types_native_uint.ml gnu_extensions/gnu_ext_section_header_table.ml gnu_extensions/gnu_ext_dynamic.ml gnu_extensions/gnu_ext_symbol_versioning.ml gnu_extensions/gnu_ext_program_header_table.ml gnu_extensions/gnu_ext_section_to_segment_mapping.ml gnu_extensions/gnu_ext_note.ml abis/abis.ml adaptors/sail_interface.ml adaptors/harness_interface.ml elf_memory_image.ml elf_memory_image_of_elf64_file.ml command_line.ml input_list.ml linkable_list.ml linker_script.ml link.ml load.ml elf64_file_of_elf_memory_image.ml test_image.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been automatically added to the search path, but you should add -I +str to the command-line to silence this alert (e.g. by adding str to the list of libraries in your dune file, or adding use_str to your _tags file for ocamlbuild, or using -package str for ocamlfind). File "missing_pervasives.ml", lines 268-271, characters 48-2: 268 | ................................................((match (alist, blist, clist) with 269 | | ([], [], []) -> [] 270 | | (x :: morex, y :: morey, z :: morez) -> let more_xyz = (zip3 morex morey morez) in (x, y, z) :: more_xyz 271 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: ([], [], _::_) File "missing_pervasives.ml", line 494, characters 16-27: 494 | let mapped_list = (f item) ^^^^^^^^^^^ Warning 26 [unused-var]: unused variable mapped_list. File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "archive.ml", line 29, characters 8-19: 29 | (let magic_bytes = ([Char.chr (Nat_big_num.to_int ( (Nat_big_num.of_int 96))) (* 0x60 *); Char.chr (Nat_big_num.to_int ( (Nat_big_num.of_int 10))) (* 0x0a *)]) in ^^^^^^^^^^^ Warning 26 [unused-var]: unused variable magic_bytes. File "hex_printing.ml", lines 50-68, characters 3-4: 50 | ...((match xs with 51 | | [] -> "" 52 | | x::y::xs -> 53 | let sx = (unsafe_hex_string_of_natural 2 (Uint32_wrapper.to_bigint x)) in 54 | let sy = (unsafe_hex_string_of_natural 2 (Uint32_wrapper.to_bigint y)) in ... 65 | "0" ^ sy) 66 | in 67 | sx ^ (" " ^ (sy ^ (" " ^ unsafe_hex_string_of_uc_list xs))) 68 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: x::[] File "elf_file.ml", line 151, characters 10-18: 151 | let segs_zip = (Lem_list.list_combine ef.elf64_file_program_header_table ef.elf64_file_interpreted_segments) in ^^^^^^^^ Warning 26 [unused-var]: unused variable segs_zip. File "elf_file.ml", line 608, characters 6-10: 608 | let segs = (f3.elf32_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 627, characters 6-10: 627 | let segs = (f3.elf64_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 685, characters 6-10: 685 | let segs = (f3.elf32_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 707, characters 8-11: 707 | (let hdr = (f3.elf64_file_header) in ^^^ Warning 26 [unused-var]: unused variable hdr. File "elf_file.ml", line 709, characters 6-10: 709 | let segs = (f3.elf64_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 732, characters 8-11: 732 | (let hdr = (ef.elf32_file_header) in ^^^ Warning 26 [unused-var]: unused variable hdr. File "elf_file.ml", line 733, characters 6-9: 733 | let sht = (ef.elf32_file_section_header_table) in ^^^ Warning 26 [unused-var]: unused variable sht. File "elf_file.ml", line 746, characters 8-11: 746 | (let hdr = (ef.elf64_file_header) in ^^^ Warning 26 [unused-var]: unused variable hdr. File "elf_file.ml", line 747, characters 6-9: 747 | let sht = (ef.elf64_file_section_header_table) in ^^^ Warning 26 [unused-var]: unused variable sht. File "elf_file.ml", line 762, characters 6-10: 762 | let segs = (f3.elf32_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 785, characters 6-10: 785 | let segs = (f3.elf64_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 809, characters 6-10: 809 | let segs = (ef.elf32_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 832, characters 6-10: 832 | let segs = (ef.elf64_file_interpreted_segments) in ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 855, characters 6-9: 855 | let sht = (ef.elf32_file_section_header_table) in ^^^ Warning 26 [unused-var]: unused variable sht. File "elf_file.ml", line 871, characters 6-9: 871 | let sht = (ef.elf64_file_section_header_table) in ^^^ Warning 26 [unused-var]: unused variable sht. File "elf_file.ml", line 997, characters 8-12: 997 | let segs = (f3.elf32_file_interpreted_segments) in bind (bytes_of_elf32_file f3) (fun bs0 -> bind (get_elf32_file_symbol_table f3) (fun symtab -> bind (get_elf32_file_symbol_string_table f3) (fun strtab -> bind (Elf_symbol_table.get_elf32_symbol_image_address symtab strtab) (fun strs -> ^^^^ Warning 26 [unused-var]: unused variable segs. File "elf_file.ml", line 1030, characters 8-12: 1030 | let segs = (f3.elf64_file_interpreted_segments) in bind (bytes_of_elf64_file f3) (fun bs0 -> bind (get_elf64_file_symbol_table f3) (fun (symtab,strtab) -> bind ( ^^^^ Warning 26 [unused-var]: unused variable segs. File "dwarf.ml", lines 1531-1534, characters 6-9: 1531 | ......((match xs with 1532 | x::xs' -> mynth (Nat_big_num.sub_nat n ( (Nat_big_num.of_int 1))) 1533 | xs' 1534 | )). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] File "dwarf.ml", lines 4548-4552, characters 3-4: 4548 | ...((match (xs,lens) with 4549 | | ([],[]) -> [] 4550 | | ([x],[len]) -> [x] 4551 | | (x::(((_::_) as xs')), len::(((_::_) as lens'))) -> right_space_padded_to len x :: pad_row xs' lens' 4552 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: ([], _::_) File "dwarf.ml", lines 5217-5221, characters 3-4: 5217 | ...((match (find_attribute_value "DW_AT_low_pc" die1, find_attribute_value "DW_AT_entry_pc" die1) with 5218 | | (_, Some (AV_addr n)) -> Some n 5219 | | (Some (AV_addr n), _) -> Some n 5220 | | (None,None) -> None 5221 | ))....................... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some (AV_block (_, _)|AV_constantN (_, _)|AV_constant_SLEB128 _| AV_constant_ULEB128 _|AV_exprloc (_, _)|AV_flag _|AV_ref _|AV_ref_addr _| AV_ref_sig8 _|AV_sec_offset _|AV_string _|AV_strp _), Some (AV_block (_, _)|AV_constantN (_, _)|AV_constant_SLEB128 _| AV_constant_ULEB128 _|AV_exprloc (_, _)|AV_flag _|AV_ref _|AV_ref_addr _| AV_ref_sig8 _|AV_sec_offset _|AV_string _|AV_strp _)) File "dwarf.ml", lines 5269-5278, characters 2-3: 5269 | ..(match find_attribute_value "DW_AT_location" die1 with 5270 | | Some (AV_exprloc( n, bs)) -> location bs 5271 | | Some (AV_block( n, bs)) -> location bs 5272 | (* while for a location list, we take the associated pc range from 5273 | each element of the list *) 5274 | | Some (AV_sec_offset n) -> 5275 | let (_,llis) = (find_location_list dloc n) in 5276 | Some (interpret_location_list base_address1 llis) 5277 | | None -> None 5278 | ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (AV_addr _|AV_constantN (_, _)|AV_constant_SLEB128 _|AV_constant_ULEB128 _| AV_flag _|AV_ref _|AV_ref_addr _|AV_ref_sig8 _|AV_string _|AV_strp _) File "dwarf.ml", line 2592, characters 8-11: 2592 | (let ppd ()= (pp_pos die1.die_offset) (*pp_die c cuh str true 0 false die ^ "\n"*) in ^^^ Warning 26 [unused-var]: unused variable ppd. File "dwarf.ml", line 2631, characters 49-60: 2631 | | Some (((cu_spec,parents_spec,die_spec) as cupdie_spec)) -> ^^^^^^^^^^^ Warning 26 [unused-var]: unused variable cupdie_spec. File "dwarf.ml", line 2824, characters 6-12: 2824 | let offset = (pp_pos die1.die_offset) in ^^^^^^ Warning 26 [unused-var]: unused variable offset. File "dwarf.ml", line 3893, characters 38-41: 3893 | let pp_ufe (((mcomp_dir,mdir,file) as ufe) : unpacked_file_entry) : string= ^^^ Warning 26 [unused-var]: unused variable ufe. File "dwarf.ml", line 3898, characters 39-42: 3898 | let pp_ud (((((mcomp_dir,mdir,file) as ufe) : unpacked_file_entry), (line:int), (subprogram_name:string)) : unpacked_decl) : string= ^^^ Warning 26 [unused-var]: unused variable ufe. File "dwarf.ml", line 3906, characters 44-47: 3906 | let pp_ufe_brief (((mcomp_dir,mdir,file) as ufe) : unpacked_file_entry) : string= ^^^ Warning 26 [unused-var]: unused variable ufe. File "dwarf.ml", line 4713, characters 6-20: 4713 | let final_location = (Nat_big_num.add fde1.fde_initial_location_address fde1.fde_address_range) in ^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable final_location. File "dwarf.ml", line 4889, characters 15-22: 4889 | let cupdie' = (cu,(die1::parents),die') in ^^^^^^^ Warning 26 [unused-var]: unused variable cupdie'. File "dwarf.ml", line 4890, characters 15-21: 4890 | let mname' = (find_name_of_die d.d_str die') in ^^^^^^ Warning 26 [unused-var]: unused variable mname'. File "dwarf.ml", line 4906, characters 7-9: 4906 | let (cu,parents,die1) = cupdie1 in ^^ Warning 26 [unused-var]: unused variable cu. File "dwarf.ml", line 4906, characters 10-17: 4906 | let (cu,parents,die1) = cupdie1 in ^^^^^^^ Warning 26 [unused-var]: unused variable parents. File "dwarf.ml", line 4906, characters 18-22: 4906 | let (cu,parents,die1) = cupdie1 in ^^^^ Warning 26 [unused-var]: unused variable die1. File "dwarf.ml", line 4919, characters 164-166: 4919 | CT (CT_struct_union( cupdie1, atk, mname, mbyte_size, decl1, (Lem.option_map (fun members -> (Lem_list.map (fun (((cupdie1,mname,typ,mdata_member_location) as am)) -> (cupdie1,mname,(analyse_type_info_deep d false typ),mdata_member_location))members)) mmembers))) ^^ Warning 26 [unused-var]: unused variable am. File "dwarf.ml", line 5372, characters 79-81: 5372 | | [((removed',((name',offset',kind') as y'),typ',locs',parents') as x')] -> ^^ Warning 26 [unused-var]: unused variable x'. File "dwarf.ml", line 5390, characters 64-65: 5390 | (fun (((removed,(name1,offset,kind),typ,locs,parents) as x)) -> ^ Warning 26 [unused-var]: unused variable x. File "dwarf.ml", line 6042, characters 38-45: 6042 | | Some (((cu',parents',die') as cupdie')) -> ^^^^^^^ Warning 26 [unused-var]: unused variable cupdie'. File "dwarf.ml", line 6084, characters 42-49: 6084 | | Some (((cu',parents',die') as cupdie')) -> ^^^^^^^ Warning 26 [unused-var]: unused variable cupdie'. File "dwarf.ml", line 6103, characters 8-9: 6103 | let c = (p_context_of_d d) in ^ Warning 26 [unused-var]: unused variable c. File "dwarf.ml", line 6395, characters 46-48: 6395 | | Some (((ufe,line,subprogram_name) as ud):unpacked_decl) -> ^^ Warning 26 [unused-var]: unused variable ud. File "memory_image_orderings.ml", line 56, characters 8-27: 56 | | (ElfSegment(x1), _) -> (-1) ^^^^^^^^^^^^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "memory_image_orderings.ml", line 114, characters 10-28: 114 | | (AbiFeature(_), _) -> (-1) ^^^^^^^^^^^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "gnu_extensions/gnu_ext_abi.ml", lines 43-50, characters 33-18: 43 | .................................((match unmod.elf64_ident with 44 | i0 :: i1 :: i2 :: i3 :: i4 :: i5 :: i6 :: 45 | _ :: _ :: i9 :: i10 :: i11 :: i12 :: i13 :: i14 :: i15 :: [] 46 | -> [i0; i1; i2; i3; i4; i5; i6; 47 | Uint32_wrapper.of_bigint elf_osabi_gnu; 48 | Uint32_wrapper.of_bigint( (Nat_big_num.of_int 1)); 49 | i9; i10; i11; i12; i13; i14; i15] 50 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: i0::i1::i2::i3::i4::i5::i6::_::_::i9::i10::i11::i12::i13::i14::i15::_::_ File "gnu_extensions/gnu_ext_symbol_versioning.ml", lines 322-344, characters 2-3: 322 | ..(match maybe_dt_versym with 323 | | Some (_, Address dt_versym) -> 324 | let dt_versym = (Ml_bindings.nat_big_num_of_uint64 dt_versym) in 325 | let maybe_versym_scn = (Lem_list.list_find_opt (fun scn -> Nat_big_num.equal 326 | scn.elf64_section_addr dt_versym ... 341 | return (Some versyms))) 342 | | None -> 343 | return None 344 | ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "gnu_extensions/gnu_ext_symbol_versioning.ml", lines 352-355, characters 146-7: 352 | ..................................................................................................................................................(match maybe_dt_verdefnum with 353 | | Some (_, Numeric dt_verdefnum) -> return dt_verdefnum 354 | | None -> Error.fail "obtain_gnu_ext_elf64_interpreted_verdef_table: DT_VERDEF is defined, but DT_VERDEFNUM isn't" 355 | )..................... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Address _|Size _|FName _|SOName _|Path _|RPath _|RunPath _| Library _|Flags1 _|Flags _|Checksum _|RelType _|Timestamp _)) File "gnu_extensions/gnu_ext_symbol_versioning.ml", lines 349-386, characters 2-3: 349 | ..(match maybe_dt_verdef with 350 | | Some (_, Address dt_verdef) -> 351 | let dt_verdef = (Ml_bindings.nat_big_num_of_uint64 dt_verdef) in 352 | let maybe_dt_verdefnum = (Lem_list.list_find_opt (fun (tag, _) -> Nat_big_num.equal tag Gnu_ext_dynamic.elf_dt_gnu_verdefnum) dyns) in bind (match maybe_dt_verdefnum with 353 | | Some (_, Numeric dt_verdefnum) -> return dt_verdefnum ... 383 | return (Some verdef_table)))))) 384 | | None -> 385 | return None 386 | ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "gnu_extensions/gnu_ext_symbol_versioning.ml", lines 394-397, characters 148-7: 394 | ....................................................................................................................................................(match maybe_dt_verneednum with 395 | | Some (_, Numeric dt_verneednum) -> return dt_verneednum 396 | | None -> Error.fail "obtain_gnu_ext_elf64_interpreted_verneed_table: DT_VERNEED is defined, but DT_VERNEEDNUM isn't" 397 | )...................... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Address _|Size _|FName _|SOName _|Path _|RPath _|RunPath _| Library _|Flags1 _|Flags _|Checksum _|RelType _|Timestamp _)) File "gnu_extensions/gnu_ext_symbol_versioning.ml", lines 391-427, characters 2-3: 391 | ..(match maybe_dt_verneed with 392 | | Some (_, Address dt_verneed) -> 393 | let dt_verneed = (Ml_bindings.nat_big_num_of_uint64 dt_verneed) in 394 | let maybe_dt_verneednum = (Lem_list.list_find_opt (fun (tag, _) -> Nat_big_num.equal tag Gnu_ext_dynamic.elf_dt_gnu_verneednum) dyns) in bind (match maybe_dt_verneednum with 395 | | Some (_, Numeric dt_verneednum) -> return dt_verneednum ... 424 | return (Some vernaux_table)))))) 425 | | None -> 426 | return None 427 | ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "abis/abis.ml", lines 596-605, characters 12-13: 596 | ............(match (symref.maybe_reloc, symref.maybe_def_bound_to) with 597 | (None, _) -> None 598 | | (Some rr, Some(ApplyReloc, maybe_def)) -> 599 | if amd64_reloc_needs_got_slot symref rr maybe_def then 600 | (*let _ = errln ("Saw a via-GOT symbol reference: to `" ^ symref.ref.ref_symname ^ "' coming from linkable " ^ (show i) ^ " (" ^ 601 | fname ^ "), logically from section " ^ (show rr.ref_src_scn)) in *) 602 | Some (symref.ref.ref_symname, maybe_def) 603 | else None 604 | | (Some rr, Some(makePIC0, maybe_def)) -> failwith "FIXME: PIC support please" 605 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some rr, None) File "abis/abis.ml", lines 662-680, characters 12-13: 662 | ............(match (symref.maybe_reloc, symref.maybe_def_bound_to) with 663 | (None, _) -> None 664 | | (Some rr, Some(ApplyReloc, maybe_def)) -> 665 | if amd64_reloc_needs_plt_slot symref rr maybe_def ref_is_statically_linked 666 | then ... 677 | Some(symref.ref.ref_symname, maybe_def) 678 | else None 679 | | (Some rr, Some(makePIC0, maybe_def)) -> failwith "FIXME: PIC support please" 680 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some rr, None) File "abis/abis.ml", line 574, characters 9-15: 574 | let (fnames, input_imgs) = (List.split input_fnames_and_imgs) ^^^^^^ Warning 26 [unused-var]: unused variable fnames. File "abis/abis.ml", line 574, characters 17-27: 574 | let (fnames, input_imgs) = (List.split input_fnames_and_imgs) ^^^^^^^^^^ Warning 26 [unused-var]: unused variable input_imgs. File "abis/abis.ml", line 932, characters 35-38: 932 | ; length1 = (let len = (Nat_big_num.mul( (Nat_big_num.of_int 16)) total_n_plt_entries) in ^^^ Warning 26 [unused-var]: unused variable len. File "abis/abis.ml", line 1213, characters 24-32: 1213 | let got_addr = ((match got_el.startpos with Some addr -> addr | None -> failwith "GOT has no addr at reloc time" )) ^^^^^^^^ Warning 26 [unused-var]: unused variable got_addr. File "elf_memory_image_of_elf64_file.ml", line 198, characters 20-35: 198 | let reloc_as_triple = (fun ((_ : bool Memory_image.range_tag), (x : bool Memory_image.range_tag)) -> ((match x with ^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable reloc_as_triple. File "elf_memory_image_of_elf64_file.ml", line 209, characters 20-41: 209 | let retrieved_reloc_sites = (Multimap.lookupBy0 ^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable retrieved_reloc_sites. File "elf_memory_image_of_elf64_file.ml", line 233, characters 20-42: 233 | let all_annotations_length = (List.length all_annotations_list) ^^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable all_annotations_length. File "elf_memory_image_of_elf64_file.ml", line 382, characters 81-102: 382 | * case where the element length is still vague (Nothing). *)let range_len_matches_sec = ( Nat_big_num.equal rangeLen s.elf64_section_size) ^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable range_len_matches_sec. File "elf_memory_image_of_elf64_file.ml", line 384, characters 20-43: 384 | let sec_matches_element_len = ( (Lem.option_equal Nat_big_num.equal(Some(s.elf64_section_size)) el_rec.length1)) ^^^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable sec_matches_element_len. File "command_line.ml", line 181, characters 19-35: 181 | let add_input_file (state1 :: more) s:(command_state)list= ^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] File "command_line.ml", line 207, characters 16-32: 207 | let start_group (state1 :: more):(command_state)list= ({ ^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] File "command_line.ml", line 218, characters 14-30: 218 | let end_group (state1 :: more):(command_state)list= ({ ^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] File "input_list.ml", line 269, characters 9-10: 269 | | _ -> failwith "impossible expanded input item" ^ Warning 11 [redundant-case]: this match case is unused. File "input_list.ml", lines 277-313, characters 12-13: 277 | ............(match input with 278 | File(spec, options) 279 | -> (match spec with 280 | Filename(str) 281 | -> elaborate_input_helper ( Nat_big_num.add input_pos( (Nat_big_num.of_int 1))) more_inputs ... 310 | )))) group_with_file_lists) 311 | in 312 | elaborate_input_helper ( Nat_big_num.add input_pos( (Nat_big_num.of_int 1))) more_inputs ( List.rev_append (List.rev acc) (List.concat to_add)) 313 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: BuiltinControlScript File "input_list.ml", line 224, characters 42-47: 224 | else let (names, seqs) = (List.split not_elf) in ^^^^^ Warning 26 [unused-var]: unused variable names. File "input_list.ml", line 224, characters 49-53: 224 | else let (names, seqs) = (List.split not_elf) in ^^^^ Warning 26 [unused-var]: unused variable seqs. File "linkable_list.ml", lines 83-93, characters 13-10: 83 | .............((match it with 84 | (fname1, Reloc(seq), origin) -> 85 | let _ = (prerr_endline ("Considering relocatable file " ^ fname1)) in bind (Elf_file.read_elf64_file seq) (fun e -> 86 | return (RelocELF(elf_memory_image_of_elf64_file a fname1 e), it, opts)) 87 | | (fname1, Shared(seq), origin) -> ... 90 | | (fname1, Script(seq), origin) -> 91 | (*let _ = Missing_pervasives.errln ("Skipping linker script " ^ fname) in*) 92 | fail "unsupported input item" 93 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (_, ControlScript, _) File "linkable_list.ml", line 298, characters 8-14: 298 | let refstr = ("`" ^^^^^^ Warning 26 [unused-var]: unused variable refstr. File "linkable_list.ml", line 390, characters 8-23: 390 | let und_ref_triples = (let x2 =(Pset.from_list (tripleCompare Nat_big_num.compare compare (tripleCompare compare (tripleCompare compare compare (pairCompare compare (lexicographic_compare compare))) compare)) ^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable und_ref_triples. File "linker_script.ml", lines 327-343, characters 147-5: 327 | ...................................................................................................................................................(match comp_el with 328 | IncludeInputSection(retain_pol, irec (* fname, linkable_idx, shndx, isec, img *)) -> 329 | let aligned_next_free = (align_up_to irec.isec.elf64_section_align next_free_addr) 330 | in 331 | (*let _ = errln ("Aligned start address up to 0x" ^ hex_string_of_natural aligned_next_free ^ ... 340 | ( Nat_big_num.add aligned_next_free (Ml_bindings.nat_big_num_of_uint64 def.def_syment.elf64_st_size), List.rev_append (List.rev addr_list) [aligned_next_free]) 341 | (*| Hole(AddressExprFn f) -> (f next_free_addr secs, addr_list ++ [next_free_addr])*) 342 | | ProvideSymbol(pol, name1, spec) -> (next_free_addr, List.rev_append (List.rev addr_list) [next_free_addr]) 343 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Hole _ File "linker_script.ml", lines 380-389, characters 40-6: 380 | ........................................((match name1 with 381 | "ldata-segment" -> (match user_data_segment_start with 382 | None -> default 383 | | Some addr -> (* fun _ -> *) addr 384 | ) 385 | | "text-segment" -> (match user_text_segment_start with 386 | None -> default 387 | | Some addr -> (* fun _ -> *) addr 388 | ) 389 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: "" File "linker_script.ml", line 970, characters 10-18: 970 | | OnlyIfRo -> ^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "linker_script.ml", line 978, characters 10-18: 978 | | OnlyIfRw -> ^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "linker_script.ml", lines 1298-1306, characters 12-13: 1298 | ............(match (acc_ynm, new_ynm) with 1299 | (None, None) -> None 1300 | | (None, Some x) -> Some x 1301 | | (Some x, None) -> Some x 1302 | | (Some true, Some false) -> Some true 1303 | | (Some true, Some true) -> Some true 1304 | | (Some false, Some false) -> Some false 1305 | | (Some true, Some false) -> Some true 1306 | )............ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some false, Some true) File "linker_script.ml", line 1305, characters 18-41: 1305 | | (Some true, Some false) -> Some true ^^^^^^^^^^^^^^^^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "linker_script.ml", lines 1312-1320, characters 12-13: 1312 | ............(match (acc_ynm, new_ynm) with 1313 | (None, None) -> None 1314 | | (None, Some x) -> Some x 1315 | | (Some x, None) -> Some x 1316 | | (Some true, Some false) -> Some false 1317 | | (Some true, Some true) -> Some true 1318 | | (Some false, Some false) -> Some false 1319 | | (Some true, Some false) -> Some false 1320 | )............................................................................................ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some false, Some true) File "linker_script.ml", line 1319, characters 18-41: 1319 | | (Some true, Some false) -> Some false ^^^^^^^^^^^^^^^^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "linker_script.ml", lines 1562-1777, characters 40-45: 1562 | ........................................(match tag with 1563 | (* If it's a section, we discard it. 1564 | * We will add a new section record at the end. (FIXME) *) 1565 | | FileFeature(ElfSection(idx1, isec1)) -> None 1566 | (* If it's a symbol def, we propagate it. ... 1774 | } 1775 | )) 1776 | ) (* match maybe_reloc *) 1777 | )................ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: FileFeature (ElfHeader _|ElfSectionHeaderTable _|ElfProgramHeaderTable _|ElfSegment _) File "linker_script.ml", lines 1409-1849, characters 54-18: 1409 | ......................................................((match comp_el with 1410 | | IncludeInputSection(retainpolicy, (* fname, linkable_idx, shndx, isec, img *) irec) -> 1411 | (* We want to get the input section as a byte pattern *) 1412 | (*let _ = errln ("Processing inclusion of input section `" ^ irec.isec.elf64_section_name_as_string 1413 | ^ "' from file `" ^ irec.fname ... 1846 | SymbolDef(symbol_def_for_provide_symbol name1 size2 info other control_script_linkable_idx) 1847 | )]) 1848 | ) 1849 | ))........................ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Hole _ File "linker_script.ml", line 2448, characters 10-11: 2448 | | _ -> acc ^ Warning 11 [redundant-case]: this match case is unused. File "linker_script.ml", lines 2483-2505, characters 55-10: 2483 | .......................................................((match input with 2484 | InputSection(irec) -> 2485 | (* HACK: simulates GNU linker, but this logic ought to go elsewhere *) 2486 | if irec.isec.elf64_section_name_as_string = ".note.GNU-stack" then None 2487 | else ... 2502 | && not (flag_is_set shf_execinstr irec.isec.elf64_section_flags) 2503 | then place_after_data 2504 | else place_after_text 2505 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Common (_, _, { _ }, {def_syment={ _ }; _ }) File "linker_script.ml", lines 2650-2663, characters 46-18: 2650 | ..............................................((match (maybe_idef, possible_script_defs, possible_linker_generated_def) with 2651 | | (_, [], None) -> (*let _ = errln "no" in *) 2652 | (((iref_idx, iref, iref_item), maybe_idef), None) 2653 | | (None, [], Some(def)) -> (*let _ = errln "yes (was undefined)" in*) 2654 | (((iref_idx, iref, iref_item), Some(lowest_idx, def, first_linkable_item)), Some(def)) ... 2660 | (((iref_idx, iref, iref_item), Some (control_script_linkable_idx, def, control_script_linkable_item)), Some(def)) 2661 | | (_, pair1 :: pair2 :: more, _) -> (*let _ = errln "error" in*) 2662 | failwith "ambiguous symbol binding in linker control script" 2663 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some _, [], Some _) File "linker_script.ml", line 1085, characters 24-43: 1085 | let acc_with_output_sec = (flush_output_sec cur_output_sec) ^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable acc_with_output_sec. File "linker_script.ml", line 1403, characters 20-29: 1403 | let make_line = (fun namestr -> (fun addrstr -> (fun szstr -> (fun rhs -> ( ^^^^^^^^^ Warning 26 [unused-var]: unused variable make_line. File "linker_script.ml", line 1506, characters 40-60: 1506 | let included_global_defs = (let x2 = ^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable included_global_defs. File "linker_script.ml", line 1908, characters 21-38: 1908 | (let section_tags_bare = (List.filter (fun (maybe_range, tag) -> ^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable section_tags_bare. File "linker_script.ml", line 2143, characters 44-49: 2143 | let size2 = (Nat_big_num.sub_nat end_addr start_addr) ^^^^^ Warning 26 [unused-var]: unused variable size2. File "linker_script.ml", line 2170, characters 24-38: 2170 | let endpos_option2 = (data_segment_endpos option2) ^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable endpos_option2. File "linker_script.ml", line 2208, characters 24-47: 2208 | let count_sections_in_image = (fun img2 -> ( ^^^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable count_sections_in_image. File "linker_script.ml", line 2480, characters 13-28: 2480 | let place_after_rel = (find_output (Some(".rela.dyn")) (Some(sht_rela))(Pset.from_list Nat_big_num.compare [])(Pset.from_list Nat_big_num.compare [])) in ^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable place_after_rel. File "linker_script.ml", line 2707, characters 8-20: 2707 | let discard_line = (fun i -> ((match i with ^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable discard_line. File "link.ml", lines 326-330, characters 8-9: 326 | ........(match range_tag1 with 327 | FileFeature(ElfSection(idx1, isec1)) -> 328 | if a.section_is_special isec1 img2 (* discard reloc sections, and we'll re-add them *) 329 | then Some (el_name, range_tag1) else None 330 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: FileFeature (ElfHeader { _ }|ElfSectionHeaderTable _|ElfProgramHeaderTable _| ElfSegment (_, {elf64_segment_body={ _ }; elf64_segment_flags=(_, _, _); _ })) File "link.ml", lines 645-673, characters 42-30: 645 | ..........................................((match x.maybe_def_bound_to with 646 | Some(ApplyReloc, Some(bound_def)) -> 647 | (* Here we are mapping 648 | * *from* the definition found in an input object during resolution (bound_def) 649 | * *to* the corresponding symbol in the output image, now that we've built it. ... 670 | | Some(LeaveReloc, _) -> 671 | (* We shouldn't be seeing this, given that we're applying the reloc Right Now. *) 672 | failwith "internal error: applying reloc that is not to be applied" 673 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (ChangeRelocTo _, _) File "link.ml", lines 990-993, characters 8-10: 990 | ........((match Command_line.find_option_matching_tag (Command_line.EntryAddress( (Nat_big_num.of_int 0))) options with 991 | None -> a.guess_entry_point output_image 992 | | Some(Command_line.EntryAddress(x)) -> Some x 993 | )) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (BindFunctionsEarly|BindNonFunctionsEarly|OutputFilename _|OutputKind _| ForceCommonDefined _|Soname _|TextSegmentStart _|RodataSegmentStart _| LdataSegmentStart _) File "load.ml", lines 278-292, characters 2-3: 278 | ..(match maybe_pltgot_offset with 279 | | Some (_, Address pltgot_offset) -> 280 | let pltgot_addr = (Nat_big_num.add base (Ml_bindings.nat_big_num_of_uint64 pltgot_offset)) in 281 | let _ = (prerr_endline ("Initializing PLTGOT at 0x" ^ (hex_string_of_natural pltgot_addr))) in 282 | (* The second entry contains a linker-specific value. FreeBSD's rtld-elf ... 289 | | None -> 290 | let _ = (prerr_endline ("No DT_PLTGOT in .dynamic, skipping PLTGOT initialization")) in 291 | img2 292 | ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 371-374, characters 19-4: 371 | ...................((match maybe_got_offset with 372 | | Some (_, Address got) -> got 373 | | None -> failwith "apply_mips64_got_relocations: missing DT_PLTGOT in .dynamic" 374 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 382-402, characters 31-4: 382 | ...............................((match maybe_local_gotno with 383 | | Some (_, Numeric local_gotno) -> 384 | (* The first entry is reserved to hold the address of the entry point in 385 | the dynamic linker to call when lazy resolving text symbols. The second 386 | entry is reserved by DSOs linked with GNU's ld to hold the base address ... 399 | | None -> 400 | let _ = (prerr_endline "Not applying MIPS64 .got relocations: missing DT_LOCAL_GOTNO") in 401 | (img2, got_addr) 402 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Address _|Size _|FName _|SOName _|Path _|RPath _|RunPath _| Library _|Flags1 _|Flags _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 408-411, characters 20-4: 408 | ....................((match maybe_symtab_addr with 409 | | Some (_, Address symtab_addr) -> symtab_addr 410 | | None -> failwith "apply_mips64_got_relocations: missing DT_SYMTAB in .dynamic" 411 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 415-418, characters 15-4: 415 | ...............((match maybe_gotsym with 416 | | Some (_, Numeric gotsym) -> gotsym 417 | | None -> failwith "apply_mips64_got_relocations: missing DT_MIPS_GOTSYM in .dynamic" 418 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Address _|Size _|FName _|SOName _|Path _|RPath _|RunPath _| Library _|Flags1 _|Flags _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 422-425, characters 17-4: 422 | .................((match maybe_symtabno with 423 | | Some (_, Numeric symtabno) -> symtabno 424 | | None -> failwith "apply_mips64_got_relocations: missing DT_MIPS_SYMTABNO in .dynamic" 425 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Address _|Size _|FName _|SOName _|Path _|RPath _|RunPath _| Library _|Flags1 _|Flags _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 435-438, characters 24-4: 435 | ........................((match maybe_cap_relocs with 436 | | Some (_, Address cap_relocs_addr) -> Ml_bindings.nat_big_num_of_uint64 cap_relocs_addr 437 | | None -> failwith "apply_cheri_mips64_cap_relocations: missing DT_CHERI___CAPRELOCS in .dynamic" 438 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Size _|FName _|SOName _|Path _|RPath _|RunPath _|Library _| Flags1 _|Flags _|Numeric _|Checksum _|RelType _|Timestamp _)) File "load.ml", lines 442-445, characters 21-4: 442 | .....................((match maybe_cap_relocssz with 443 | | Some (_, Numeric cap_relocssz) -> cap_relocssz 444 | | None -> failwith "apply_cheri_mips64_cap_relocations: missing DT_CHERI___CAPRELOCSSZ in .dynamic" 445 | ))... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some (_, (Null|Ignored|Address _|Size _|FName _|SOName _|Path _|RPath _|RunPath _| Library _|Flags1 _|Flags _|Checksum _|RelType _|Timestamp _)) File "load.ml", line 524, characters 8-18: 524 | (let symtab_scn = (assert_unwrap_maybe (Lem_list.list_index f.elf64_file_interpreted_sections (Nat_big_num.to_int symtab_scnidx))) in bind (find_elf64_symbols_by_symtab_idx symtab_scnidx f) (fun triple -> ^^^^^^^^^^ Warning 26 [unused-var]: unused variable symtab_scn. File "load.ml", line 528, characters 8-17: 528 | let sym_value = (Ml_bindings.nat_big_num_of_uint64 sym_entry.elf64_st_value) in ^^^^^^^^^ Warning 26 [unused-var]: unused variable sym_value. ocamlfind ocamlc -a -o "build_zarith/linksem.cma" -g -I adaptors -I abis -I abis/amd64 -I abis/power64 -I abis/aarch64 -I abis/x86 -I abis/mips64 -I abis/riscv -I abis/cheri_mips64 -I gnu_extensions -bin-annot uint64_wrapper.cmo uint32_wrapper.cmo show.cmo endianness.cmo error.cmo ml_bindings.cmo missing_pervasives.cmo multimap.cmo default_printing.cmo byte_sequence_wrapper.cmo byte_sequence_impl.cmo filesystem.cmo filesystem_wrapper.cmo byte_sequence.cmo byte_pattern.cmo byte_pattern_extra.cmo archive.cmo elf_types_native_uint.cmo hex_printing.cmo string_table.cmo auxv.cmo elf_header.cmo elf_symbol_table.cmo elf_program_header_table.cmo elf_section_header_table.cmo elf_relocation.cmo elf_interpreted_segment.cmo elf_interpreted_section.cmo elf_note.cmo elf_file.cmo elf_dynamic.cmo dwarf_ctypes.cmo dwarf.cmo ldconfig.cmo abis/abi_classes.cmo memory_image.cmo memory_image_orderings.cmo abis/abi_utilities.cmo gnu_extensions/gnu_ext_abi.cmo abis/power64/abi_power64.cmo abis/power64/abi_power64_elf_header.cmo abis/power64/abi_power64_section_header_table.cmo abis/power64/abi_power64_dynamic.cmo abis/aarch64/abi_aarch64_le_elf_header.cmo abis/aarch64/abi_aarch64_symbol_table.cmo abis/aarch64/abi_aarch64_section_header_table.cmo abis/aarch64/abi_aarch64_program_header_table.cmo abis/aarch64/abi_aarch64_le_serialisation.cmo abis/aarch64/abi_aarch64_relocation.cmo abis/aarch64/abi_aarch64_le.cmo abstract_linker_script.cmo abis/amd64/abi_amd64_elf_header.cmo abis/amd64/abi_amd64_serialisation.cmo abis/amd64/abi_amd64_relocation.cmo abis/amd64/abi_amd64_program_header_table.cmo abis/amd64/abi_amd64_section_header_table.cmo abis/amd64/abi_amd64_symbol_table.cmo abis/amd64/abi_amd64.cmo abis/mips64/abi_mips64_dynamic.cmo abis/mips64/abi_mips64_elf_header.cmo abis/mips64/abi_mips64_relocation.cmo abis/mips64/abi_mips64_serialisation.cmo abis/mips64/abi_mips64_program_header_table.cmo abis/mips64/abi_mips64_section_header_table.cmo abis/mips64/abi_mips64_symbol_table.cmo abis/mips64/abi_mips64.cmo abis/x86/abi_x86_relocation.cmo abis/power64/abi_power64_relocation.cmo abis/riscv/abi_riscv_elf_header.cmo abis/riscv/abi_riscv_program_header_table.cmo abis/riscv/abi_riscv_relocation.cmo abis/riscv/abi_riscv_section_header_table.cmo abis/riscv/abi_riscv_serialisation.cmo abis/riscv/abi_riscv_symbol_table.cmo abis/riscv/abi_riscv.cmo abis/cheri_mips64/abi_cheri_mips64_capability.cmo abis/cheri_mips64/abi_cheri_mips64_dynamic.cmo abis/cheri_mips64/abi_cheri_mips64_elf_header.cmo abis/cheri_mips64/abi_cheri_mips64_relocation.cmo abis/cheri_mips64/abi_cheri_mips64.cmo gnu_extensions/gnu_ext_types_native_uint.cmo gnu_extensions/gnu_ext_section_header_table.cmo gnu_extensions/gnu_ext_dynamic.cmo gnu_extensions/gnu_ext_symbol_versioning.cmo gnu_extensions/gnu_ext_program_header_table.cmo gnu_extensions/gnu_ext_section_to_segment_mapping.cmo gnu_extensions/gnu_ext_note.cmo abis/abis.cmo adaptors/sail_interface.cmo adaptors/harness_interface.cmo elf_memory_image.cmo elf_memory_image_of_elf64_file.cmo command_line.cmo input_list.cmo linkable_list.cmo linker_script.cmo link.cmo load.cmo elf64_file_of_elf_memory_image.cmo test_image.cmo mv uint64_wrapper.cmi uint32_wrapper.cmi show.cmi endianness.cmi error.cmi ml_bindings.cmi missing_pervasives.cmi multimap.cmi default_printing.cmi byte_sequence_wrapper.cmi byte_sequence_impl.cmi filesystem.cmi filesystem_wrapper.cmi byte_sequence.cmi byte_pattern.cmi byte_pattern_extra.cmi archive.cmi elf_types_native_uint.cmi hex_printing.cmi string_table.cmi auxv.cmi elf_header.cmi elf_symbol_table.cmi elf_program_header_table.cmi elf_section_header_table.cmi elf_relocation.cmi elf_interpreted_segment.cmi elf_interpreted_section.cmi elf_note.cmi elf_file.cmi elf_dynamic.cmi dwarf_ctypes.cmi dwarf.cmi ldconfig.cmi abis/abi_classes.cmi memory_image.cmi memory_image_orderings.cmi abis/abi_utilities.cmi gnu_extensions/gnu_ext_abi.cmi abis/power64/abi_power64.cmi abis/power64/abi_power64_elf_header.cmi abis/power64/abi_power64_section_header_table.cmi abis/power64/abi_power64_dynamic.cmi abis/aarch64/abi_aarch64_le_elf_header.cmi abis/aarch64/abi_aarch64_symbol_table.cmi abis/aarch64/abi_aarch64_section_header_table.cmi abis/aarch64/abi_aarch64_program_header_table.cmi abis/aarch64/abi_aarch64_le_serialisation.cmi abis/aarch64/abi_aarch64_relocation.cmi abis/aarch64/abi_aarch64_le.cmi abstract_linker_script.cmi abis/amd64/abi_amd64_elf_header.cmi abis/amd64/abi_amd64_serialisation.cmi abis/amd64/abi_amd64_relocation.cmi abis/amd64/abi_amd64_program_header_table.cmi abis/amd64/abi_amd64_section_header_table.cmi abis/amd64/abi_amd64_symbol_table.cmi abis/amd64/abi_amd64.cmi abis/mips64/abi_mips64_dynamic.cmi abis/mips64/abi_mips64_elf_header.cmi abis/mips64/abi_mips64_relocation.cmi abis/mips64/abi_mips64_serialisation.cmi abis/mips64/abi_mips64_program_header_table.cmi abis/mips64/abi_mips64_section_header_table.cmi abis/mips64/abi_mips64_symbol_table.cmi abis/mips64/abi_mips64.cmi abis/x86/abi_x86_relocation.cmi abis/power64/abi_power64_relocation.cmi abis/riscv/abi_riscv_elf_header.cmi abis/riscv/abi_riscv_program_header_table.cmi abis/riscv/abi_riscv_relocation.cmi abis/riscv/abi_riscv_section_header_table.cmi abis/riscv/abi_riscv_serialisation.cmi abis/riscv/abi_riscv_symbol_table.cmi abis/riscv/abi_riscv.cmi abis/cheri_mips64/abi_cheri_mips64_capability.cmi abis/cheri_mips64/abi_cheri_mips64_dynamic.cmi abis/cheri_mips64/abi_cheri_mips64_elf_header.cmi abis/cheri_mips64/abi_cheri_mips64_relocation.cmi abis/cheri_mips64/abi_cheri_mips64.cmi gnu_extensions/gnu_ext_types_native_uint.cmi gnu_extensions/gnu_ext_section_header_table.cmi gnu_extensions/gnu_ext_dynamic.cmi gnu_extensions/gnu_ext_symbol_versioning.cmi gnu_extensions/gnu_ext_program_header_table.cmi gnu_extensions/gnu_ext_section_to_segment_mapping.cmi gnu_extensions/gnu_ext_note.cmi abis/abis.cmi adaptors/sail_interface.cmi adaptors/harness_interface.cmi elf_memory_image.cmi elf_memory_image_of_elf64_file.cmi command_line.cmi input_list.cmi linkable_list.cmi linker_script.cmi link.cmi load.cmi elf64_file_of_elf_memory_image.cmi test_image.cmi "build_zarith/" cp META.zarith "build_zarith/"/META mkdir -p "build_zarith/" ocamlfind ocamlopt -c -g -I adaptors -I abis -I abis/amd64 -I abis/power64 -I abis/aarch64 -I abis/x86 -I abis/mips64 -I abis/riscv -I abis/cheri_mips64 -I gnu_extensions -bin-annot -package num -package lem uint64_wrapper.ml uint32_wrapper.ml show.ml endianness.ml error.ml ml_bindings.ml missing_pervasives.ml multimap.ml default_printing.ml byte_sequence_wrapper.ml byte_sequence_impl.ml filesystem.ml filesystem_wrapper.ml byte_sequence.ml byte_pattern.ml byte_pattern_extra.ml archive.ml elf_types_native_uint.ml hex_printing.ml string_table.ml auxv.ml elf_header.ml elf_symbol_table.ml elf_program_header_table.ml elf_section_header_table.ml elf_relocation.ml elf_interpreted_segment.ml elf_interpreted_section.ml elf_note.ml elf_file.ml elf_dynamic.ml dwarf_ctypes.ml dwarf.ml ldconfig.ml abis/abi_classes.ml memory_image.ml memory_image_orderings.ml abis/abi_utilities.ml gnu_extensions/gnu_ext_abi.ml abis/power64/abi_power64.ml abis/power64/abi_power64_elf_header.ml abis/power64/abi_power64_section_header_table.ml abis/power64/abi_power64_dynamic.ml abis/aarch64/abi_aarch64_le_elf_header.ml abis/aarch64/abi_aarch64_symbol_table.ml abis/aarch64/abi_aarch64_section_header_table.ml abis/aarch64/abi_aarch64_program_header_table.ml abis/aarch64/abi_aarch64_le_serialisation.ml abis/aarch64/abi_aarch64_relocation.ml abis/aarch64/abi_aarch64_le.ml abstract_linker_script.ml abis/amd64/abi_amd64_elf_header.ml abis/amd64/abi_amd64_serialisation.ml abis/amd64/abi_amd64_relocation.ml abis/amd64/abi_amd64_program_header_table.ml abis/amd64/abi_amd64_section_header_table.ml abis/amd64/abi_amd64_symbol_table.ml abis/amd64/abi_amd64.ml abis/mips64/abi_mips64_dynamic.ml abis/mips64/abi_mips64_elf_header.ml abis/mips64/abi_mips64_relocation.ml abis/mips64/abi_mips64_serialisation.ml abis/mips64/abi_mips64_program_header_table.ml abis/mips64/abi_mips64_section_header_table.ml abis/mips64/abi_mips64_symbol_table.ml abis/mips64/abi_mips64.ml abis/x86/abi_x86_relocation.ml abis/power64/abi_power64_relocation.ml abis/riscv/abi_riscv_elf_header.ml abis/riscv/abi_riscv_program_header_table.ml abis/riscv/abi_riscv_relocation.ml abis/riscv/abi_riscv_section_header_table.ml abis/riscv/abi_riscv_serialisation.ml abis/riscv/abi_riscv_symbol_table.ml abis/riscv/abi_riscv.ml abis/cheri_mips64/abi_cheri_mips64_capability.ml abis/cheri_mips64/abi_cheri_mips64_dynamic.ml abis/cheri_mips64/abi_cheri_mips64_elf_header.ml abis/cheri_mips64/abi_cheri_mips64_relocation.ml abis/cheri_mips64/abi_cheri_mips64.ml gnu_extensions/gnu_ext_types_native_uint.ml gnu_extensions/gnu_ext_section_header_table.ml gnu_extensions/gnu_ext_dynamic.ml gnu_extensions/gnu_ext_symbol_versioning.ml gnu_extensions/gnu_ext_program_header_table.ml gnu_extensions/gnu_ext_section_to_segment_mapping.ml gnu_extensions/gnu_ext_note.ml abis/abis.ml adaptors/sail_interface.ml adaptors/harness_interface.ml elf_memory_image.ml elf_memory_image_of_elf64_file.ml command_line.ml input_list.ml linkable_list.ml linker_script.ml link.ml load.ml elf64_file_of_elf_memory_image.ml test_image.ml ocamlfind: Not supported in your configuration: ocamlopt make[3]: *** [no_ocamlbuild.mk:44: build_zarith/linksem.cmxa] Error 2 make[3]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3/src' make[2]: *** [Makefile:6: build] Error 2 make[2]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3' make[1]: *** [debian/rules:17: override_dh_auto_build] Error 2 make[1]: Leaving directory '/build/reproducible-path/linksem-0.8+dfsg3' make: *** [debian/rules:14: binary] Error 2 dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 I: copying local configuration E: Failed autobuilding of package 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/14984 and its subdirectories Fri Nov 22 23:12:55 UTC 2024 W: No second build log, what happened?