Build:
- 0
2024-01-29 15:17.02: New job: Voodoo prep sawja.1.5.12; 2a6035a03af2244d82b10ca4f26cea4b 2024-01-29 15:17.02: Connecting to build cluster… 2024-01-29 15:17.02: Waiting for resource in pool OCluster 2024-01-29 15:39.03: Waiting for worker… 2024-01-29 15:41.50: Got resource from pool OCluster 2024-01-29 15:41.50: Using cache hint "docs-universe-prep-5.1.0" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.13.0 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy sawja.1.5.12 ocamlfind.1.9.6 javalib.3.2.2 extlib.1.7.9 dune.3.13.0 cppo.1.6.9 conf-zlib.1 conf-which.1 conf-pkg-config.3 camlzip.1.11 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u sawja:2a6035a03af2244d82b10ca4f26cea4b,javalib:a79ab738dca0d91aa6b333e8b05ab7c2")) (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.637867') && (for DATA in prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2,javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2,javalib.3.2.2 prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12,sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b,sawja.1.5.12; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2,javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2,javalib.3.2.2 prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12,sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b,sawja.1.5.12; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2,javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2,javalib.3.2.2 prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12,sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b,sawja.1.5.12; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 9fc3fa05d7b0bd182f65b5988f8caf2647c8f3fe --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-5.1.0 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-01-29 15:41.50: RETRYING: 2024-01-29/151702-voodoo-prep-2c940f Number of retries: 0 (retriable error condition) Building on x86-bm-c5.sw.ocaml.org All commits already cached Updating files: 62% (20337/32633) Updating files: 63% (20559/32633) Updating files: 64% (20886/32633) Updating files: 65% (21212/32633) Updating files: 66% (21538/32633) Updating files: 67% (21865/32633) Updating files: 68% (22191/32633) Updating files: 69% (22517/32633) Updating files: 70% (22844/32633) Updating files: 71% (23170/32633) Updating files: 72% (23496/32633) Updating files: 73% (23823/32633) Updating files: 74% (24149/32633) Updating files: 75% (24475/32633) Updating files: 76% (24802/32633) Updating files: 77% (25128/32633) Updating files: 78% (25454/32633) Updating files: 79% (25781/32633) Updating files: 80% (26107/32633) Updating files: 81% (26433/32633) Updating files: 82% (26760/32633) Updating files: 83% (27086/32633) Updating files: 84% (27412/32633) Updating files: 85% (27739/32633) Updating files: 86% (28065/32633) Updating files: 87% (28391/32633) Updating files: 88% (28718/32633) Updating files: 89% (29044/32633) Updating files: 90% (29370/32633) Updating files: 91% (29697/32633) Updating files: 92% (30023/32633) Updating files: 93% (30349/32633) Updating files: 94% (30676/32633) Updating files: 95% (31002/32633) Updating files: 96% (31328/32633) Updating files: 97% (31655/32633) Updating files: 98% (31981/32633) Updating files: 99% (32307/32633) Updating files: 100% (32633/32633) Updating files: 100% (32633/32633), done. HEAD is now at 9fc3fa05d7 [new release] dune (15 packages) (3.13.0) (build "tools" …) (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98' locally docker.io/ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98: Pulling from ocaml/opam 8988d439b0e2: Pulling fs layer 8988d439b0e2: Download complete 8988d439b0e2: Pull complete Digest: sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 Status: Downloaded newer image for ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 2024-01-29 15:36.41 ---> using "b27d2334d2f7f26e7b6d0a8979baf30909ac8f375ae435953404a8caec0ee19a" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 15:36.41 ---> using "f43f6c03136a95a67111980651f86e2c359d3c05cc3d6d901ec0e1d8bd257eab" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (886 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (18.8 MB/s) Selecting previously unselected package libpkgconf3:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18774 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u3) ... 2024-01-29 15:36.41 ---> using "7ddcb640c38cfbc1e37c67af4fc903b97d27a9281eec29c6dab72128dc188154" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.14.3 [required by bos] - install cmdliner 1.2.0 [required by voodoo-prep] - install dune 3.13.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install seq base [required by re] - install stdlib-shims 0.3.0 [required by ocamlgraph] - install opam-file-format 2.1.6 [required by opam-format] - install cppo 1.6.9 [required by opam-core] - install topkg 1.0.7 [required by bos] - install re 1.11.0 [required by opam-format] - install ocamlgraph 2.1.0 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install opam-core 2.1.5 [required by opam-format] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-format 2.1.5 [required by voodoo-prep] - install bos 0.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 20 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.2.0] found in cache [cppo.1.6.9] found in cache [dune.3.13.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.14.3] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.1.5] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.1.5] found in cache [re.1.11.0] found in cache [rresult.0.7.0] found in cache [stdlib-shims.0.3.0] found in cache [topkg.1.0.7] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.2.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.13.0 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed re.1.11.0 -> installed cppo.1.6.9 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.1.5 -> installed opam-format.2.1.5 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 15:36.41 ---> using "8bf85a2e14befffb455249f80f79ced81ee6f25f73d7d1afa334e830fff7f7c9" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-01-29 15:36.41 ---> using "c2623afe5b7018242824d3c5839aed49285ce388a16e4a5db95145b8b3b27a8b" from cache 2024-01-29 15:36.41 --> finished "tools" (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98' locally docker.io/ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98: Pulling from ocaml/opam 8988d439b0e2: Pulling fs layer 8988d439b0e2: Download complete 8988d439b0e2: Pull complete Digest: sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 Status: Downloaded newer image for ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 2024-01-29 15:36.41 ---> using "b27d2334d2f7f26e7b6d0a8979baf30909ac8f375ae435953404a8caec0ee19a" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 15:36.41 ---> using "f43f6c03136a95a67111980651f86e2c359d3c05cc3d6d901ec0e1d8bd257eab" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-01-29 15:36.41 ---> using "83b634d60d015b5a14f94e478741eac47a8ab8180316937577ef8602f960fc56" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-01-29 15:36.43 ---> using "62476d40981baaebca2aaf47019180bade3a7c9313840362cb509863b6a12f38" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-01-29 15:36.43 ---> using "2a97bc5fa81c43d50e8a92d041f51b739a8636059d9d13e7a41e92f4b10d9edb" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-01-29 15:36.43 ---> using "060218188312357d6e5001ca54c653f69f49c55cc32b830cba5cb435d530fbda" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 5.1. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 5.1 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-01-29 15:36.43 ---> using "635f4693d875c6b2ec000c443cdf34ab21f9804155d2730ddf4884448228ab95" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-01-29 15:36.43 ---> using "c1359b1d4985bd681bc9005ffeaa84f91ad848219095b2ac1e2d7ac412392daa" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.13.0 ocamlfind.1.9.6")) The following actions will be performed: - install dune 3.13.0 - install ocamlfind 1.9.6 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.13.0 (cached) -> installed ocamlfind.1.9.6 -> installed dune.3.13.0 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 15:36.43 ---> using "893e4bc73500d6f24580ee174eaffb3cf5461e3e55951ff6cefcabf3c1ee86c9" from cache /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy sawja.1.5.12 ocamlfind.1.9.6 javalib.3.2.2 extlib.1.7.9 dune.3.13.0 cppo.1.6.9 conf-zlib.1 conf-which.1 conf-pkg-config.3 camlzip.1.11 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (746 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.1-1 (cached) -> removed opam-depext.1.2.1-1 -> installed opam-depext.1.2.1-1 Done. <><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy sawja.1.5.12 ocamlfind.1.9.6 javalib.3.2.2 extlib.1.7.9 dune.3.13.0 cppo.1.6.9 conf-zlib.1 conf-which.1 conf-pkg-config.3 camlzip.1.11" You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: debianutils pkg-config zlib1g-dev [NOTE] Package dune is already installed (current version is 3.13.0). [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install cppo 1.6.9 - install conf-which 1 - install conf-pkg-config 3 - install extlib 1.7.9 - install conf-zlib 1 - install camlzip 1.11 - install javalib 3.2.2 - install sawja 1.5.12 ===== 8 to install ===== The following system packages will first need to be installed: pkg-config zlib1g-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config" "zlib1g-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libpkgconf3:amd64. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18774 files and directories currently installed.) - Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Selecting previously unselected package zlib1g-dev:amd64. - Preparing to unpack .../zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Processing triggers for libc-bin (2.36-9+deb12u3) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/24: Processing 2/24: Processing 3/24: Processing 4/24: Processing 5/24: Processing 6/24: Processing 7/24: [conf-pkg-config: pkg-config] Processing 8/24: [conf-pkg-config: pkg-config] [conf-which: which which] -> retrieved camlzip.1.11 (cached) Processing 9/24: [conf-pkg-config: pkg-config] [conf-which: which which] -> retrieved cppo.1.6.9 (cached) Processing 10/24: [conf-pkg-config: pkg-config] [conf-which: which which] Processing 11/24: [conf-pkg-config: pkg-config] [conf-which: which which] [cppo: dune build] -> retrieved extlib.1.7.9 (cached) - usage: pkgconf [OPTIONS] [LIBRARIES] - - basic options: - - --help this message - --about print pkgconf version and license to stdout - --version print supported pkg-config version to stdout - --atleast-pkgconfig-version check whether or not pkgconf is compatible - with a specified pkg-config version - --errors-to-stdout print all errors on stdout instead of stderr - --print-errors ensure all errors are printed - --short-errors be less verbose about some errors - --silence-errors explicitly be silent about errors - --list-all list all known packages - --list-package-names list all known package names - --simulate simulate walking the calculated dependency graph - --no-cache do not cache already seen packages when - walking the dependency graph - --log-file=filename write an audit log to a specified file - --with-path=path adds a directory to the search path - --define-prefix override the prefix variable with one that is guessed based on - the location of the .pc file - --dont-define-prefix do not override the prefix variable under any circumstances - --prefix-variable=varname sets the name of the variable that pkgconf considers - to be the package prefix - --relocate=path relocates a path and exits (mostly for testsuite) - --dont-relocate-paths disables path relocation support - - cross-compilation personality support: - - --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename' - --dump-personality dumps details concerning selected personality - - checking specific pkg-config database entries: - - --atleast-version require a specific version of a module - --exact-version require an exact version of a module - --max-version require a maximum version of a module - --exists check whether or not a module exists - --uninstalled check whether or not an uninstalled module will be used - --no-uninstalled never use uninstalled modules when satisfying dependencies - --no-provides do not use 'provides' rules to resolve dependencies - --maximum-traverse-depth maximum allowed depth for dependency graph - --static be more aggressive when computing dependency graph - (for static linking) - --shared use a simplified dependency graph (usually default) - --pure optimize a static dependency graph as if it were a normal - dependency graph - --env-only look only for package entries in PKG_CONFIG_PATH - --ignore-conflicts ignore 'conflicts' rules in modules - --validate validate specific .pc files for correctness - - querying specific pkg-config database fields: - - --define-variable=varname=value define variable 'varname' as 'value' - --variable=varname print specified variable entry to stdout - --cflags print required CFLAGS to stdout - --cflags-only-I print required include-dir CFLAGS to stdout - --cflags-only-other print required non-include-dir CFLAGS to stdout - --libs print required linker flags to stdout - --libs-only-L print required LDPATH linker flags to stdout - --libs-only-l print required LIBNAME linker flags to stdout - --libs-only-other print required other linker flags to stdout - --print-requires print required dependency frameworks to stdout - --print-requires-private print required dependency frameworks for static - linking to stdout - --print-provides print provided dependencies to stdout - --print-variables print all known variables in module to stdout - --digraph print entire dependency graph in graphviz 'dot' format - --keep-system-cflags keep -I/usr/include entries in cflags output - --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output - --path show the exact filenames for any matching .pc files - --modversion print the specified module's version to stdout - --internal-cflags do not filter 'internal' cflags from output - - filtering output: - - --msvc-syntax print translatable fragments in MSVC syntax - --fragment-filter=types filter output fragments to the specified types - - report bugs to <https://github.com/pkgconf/pkgconf/issues/new>. -> compiled conf-pkg-config.3 Processing 11/24: [conf-which: which which] [cppo: dune build] -> installed conf-pkg-config.3 Processing 12/24: [conf-which: which which] [cppo: dune build] Processing 13/24: [conf-which: which which] [conf-zlib: pkg-config zlib] [cppo: dune build] - /usr/bin/which -> compiled conf-which.1 Processing 13/24: [conf-zlib: pkg-config zlib] [cppo: dune build] -> installed conf-which.1 Processing 14/24: [conf-zlib: pkg-config zlib] [cppo: dune build] -> retrieved javalib.3.2.2 (cached) -> retrieved sawja.1.5.12 (cached) -> compiled conf-zlib.1 Processing 14/24: [cppo: dune build] -> installed conf-zlib.1 Processing 15/24: [cppo: dune build] Processing 16/24: [camlzip: make all] [cppo: dune build] - ocamlfind ocamlc -g -safe-string -bin-annot -c -ccopt -g zlibstubs.c - ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz - ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.mli - ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.ml - ocamlfind ocamlc -g -safe-string -bin-annot -c zip.mli - ocamlfind ocamlc -g -safe-string -bin-annot -c zip.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). - ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.mli - ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.ml - ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz - ocamlfind ocamlopt -safe-string -c zlib.ml - ocamlfind ocamlopt -safe-string -c zip.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). - ocamlfind ocamlopt -safe-string -c gzip.ml - ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx -lz - ocamlfind ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa libcamlzip.a -> compiled camlzip.1.11 Processing 16/24: [cppo: dune build] Processing 17/24: [cppo: dune build] [camlzip: make install] -> compiled cppo.1.6.9 Processing 17/24: [camlzip: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/camlzip.1.11) - cp META-zip META && \ - ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \ - rm META - Installed /home/opam/.opam/5.1/lib/zip/zip.cmxs - Installed /home/opam/.opam/5.1/lib/zip/zip.cmxa - Installed /home/opam/.opam/5.1/lib/zip/zlib.cmx - Installed /home/opam/.opam/5.1/lib/zip/zip.cmx - Installed /home/opam/.opam/5.1/lib/zip/gzip.cmx - Installed /home/opam/.opam/5.1/lib/zip/zlib.cmt - Installed /home/opam/.opam/5.1/lib/zip/zip.cmt - Installed /home/opam/.opam/5.1/lib/zip/gzip.cmt - Installed /home/opam/.opam/5.1/lib/zip/zlib.cmti - Installed /home/opam/.opam/5.1/lib/zip/zip.cmti - Installed /home/opam/.opam/5.1/lib/zip/gzip.cmti - Installed /home/opam/.opam/5.1/lib/zip/zlib.cmi - Installed /home/opam/.opam/5.1/lib/zip/zip.cmi - Installed /home/opam/.opam/5.1/lib/zip/gzip.cmi - Installed /home/opam/.opam/5.1/lib/zip/zlib.mli - Installed /home/opam/.opam/5.1/lib/zip/zip.mli - Installed /home/opam/.opam/5.1/lib/zip/gzip.mli - Installed /home/opam/.opam/5.1/lib/zip/zip.a - Installed /home/opam/.opam/5.1/lib/zip/libcamlzip.a - Installed /home/opam/.opam/5.1/lib/zip/zip.cma - Installed /home/opam/.opam/5.1/lib/stublibs/dllcamlzip.so - Installed /home/opam/.opam/5.1/lib/stublibs/dllcamlzip.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.1/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/5.1/lib/zip/META - cp META-camlzip META && \ - ocamlfind install camlzip META && \ - rm META - Installed /home/opam/.opam/5.1/lib/camlzip/META -> installed camlzip.1.11 -> installed cppo.1.6.9 Processing 19/24: [extlib: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "extlib" "-j" "255" (CWD=/home/opam/.opam/5.1/.opam-switch/build/extlib.1.7.9) -> compiled extlib.1.7.9 -> installed extlib.1.7.9 Processing 21/24: [javalib: ./configure.sh] + /home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/./configure.sh "-s" (CWD=/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2) - * Plugin version of javalib will be generated at compilation (ocamlopt -shared). - * Debug flag set to yes. - * Ocamlfind found at /home/opam/.opam/5.1/bin/ocamlfind. - * System-wide installation, in /home/opam/.opam/5.1/lib. - * Package zip v1.09 found at /home/opam/.opam/5.1/lib/zip. - * Package unix found at /home/opam/.opam/5.1/lib/ocaml/unix. - * Package str found at /home/opam/.opam/5.1/lib/ocaml/str. - * Package extlib found at /home/opam/.opam/5.1/lib/extlib. - * Writing /home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/Makefile.config. - Creating from /home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/Makefile.config.example. - ... done. - * Writing /home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/src/META. - Creating from /home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/src/META.source. - .. done. - - WHAT'S NEXT: all dependencies are satisfied. - Compile and install Javalib with the following commands: - make && sudo make install - - More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/javalib-doc.html). Processing 21/24: [javalib: make] + /usr/bin/make (CWD=/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2) - /usr/bin/make -C src - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/src' - ocamllex jManifest.mll - 13 states, 340 transitions, table size 1438 bytes - /home/opam/.opam/5.1/bin/ocamlfind ocamldep -I ptrees ../Makefile.config ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli ptrees/ptset.ml ptrees/ptmap.ml ptrees/genericSet.ml ptrees/genericMap.ml jLib.ml jBasics.ml jBasicsLow.ml jSignature.ml jCode.ml jClass.ml jDumpBasics.ml jParseCode.ml jInstruction.ml jUnparseSignature.ml jDumpLow.ml jHigh2Low.ml jUnparse.ml jParseSignature.ml jLow2High.ml jParse.ml jFile.ml jManifest.ml jPrint.ml javalib.ml > .depend - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml - File "jPrint.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmo ptrees/ptmap.cmo ptrees/genericSet.cmo ptrees/genericMap.cmo jLib.cmo jBasics.cmo jBasicsLow.cmo jSignature.cmo jCode.cmo jClass.cmo jDumpBasics.cmo jParseCode.cmo jInstruction.cmo jUnparseSignature.cmo jDumpLow.cmo jHigh2Low.cmo jUnparse.cmo jParseSignature.cmo jLow2High.cmo jParse.cmo jFile.cmo jManifest.cmo jPrint.cmo javalib.cmo -o javalib_pack.cmo - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptset.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jFile.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmx ptrees/ptmap.cmx ptrees/genericSet.cmx ptrees/genericMap.cmx jLib.cmx jBasics.cmx jBasicsLow.cmx jSignature.cmx jCode.cmx jClass.cmx jDumpBasics.cmx jParseCode.cmx jInstruction.cmx jUnparseSignature.cmx jDumpLow.cmx jHigh2Low.cmx jUnparse.cmx jParseSignature.cmx jLow2High.cmx jParse.cmx jFile.cmx jManifest.cmx jPrint.cmx javalib.cmx -o javalib_pack.cmx - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -shared -o javalib.cmxs javalib_pack.cmx - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/src' -> compiled javalib.3.2.2 Processing 22/24: [javalib: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2) - /usr/bin/make -C src install - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/src' - /home/opam/.opam/5.1/bin/ocamlfind install javalib META javalib.cma javalib.cmi javalib.cmxa javalib.cmxs javalib_pack.cmi javalib_pack.cmo javalib_pack.cmx javalib_pack.o ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli javalib.a - Installed /home/opam/.opam/5.1/lib/javalib/javalib.a - Installed /home/opam/.opam/5.1/lib/javalib/javalib.mli - Installed /home/opam/.opam/5.1/lib/javalib/jManifest.mli - Installed /home/opam/.opam/5.1/lib/javalib/jFile.mli - Installed /home/opam/.opam/5.1/lib/javalib/jHigh2Low.mli - Installed /home/opam/.opam/5.1/lib/javalib/jLow2High.mli - Installed /home/opam/.opam/5.1/lib/javalib/jParse.mli - Installed /home/opam/.opam/5.1/lib/javalib/jParseSignature.mli - Installed /home/opam/.opam/5.1/lib/javalib/jUnparse.mli - Installed /home/opam/.opam/5.1/lib/javalib/jInstruction.mli - Installed /home/opam/.opam/5.1/lib/javalib/jParseCode.mli - Installed /home/opam/.opam/5.1/lib/javalib/jDumpLow.mli - Installed /home/opam/.opam/5.1/lib/javalib/jUnparseSignature.mli - Installed /home/opam/.opam/5.1/lib/javalib/jDumpBasics.mli - Installed /home/opam/.opam/5.1/lib/javalib/jClass.mli - Installed /home/opam/.opam/5.1/lib/javalib/jClassLow.mli - Installed /home/opam/.opam/5.1/lib/javalib/jCode.mli - Installed /home/opam/.opam/5.1/lib/javalib/jSignature.mli - Installed /home/opam/.opam/5.1/lib/javalib/jBasicsLow.mli - Installed /home/opam/.opam/5.1/lib/javalib/jBasics.mli - Installed /home/opam/.opam/5.1/lib/javalib/jLib.mli - Installed /home/opam/.opam/5.1/lib/javalib/genericMap.mli - Installed /home/opam/.opam/5.1/lib/javalib/genericSet.mli - Installed /home/opam/.opam/5.1/lib/javalib/ptmap.mli - Installed /home/opam/.opam/5.1/lib/javalib/ptset.mli - Installed /home/opam/.opam/5.1/lib/javalib/javalib_pack.o - Installed /home/opam/.opam/5.1/lib/javalib/javalib_pack.cmx - Installed /home/opam/.opam/5.1/lib/javalib/javalib_pack.cmo - Installed /home/opam/.opam/5.1/lib/javalib/javalib_pack.cmi - Installed /home/opam/.opam/5.1/lib/javalib/javalib.cmxs - Installed /home/opam/.opam/5.1/lib/javalib/javalib.cmxa - Installed /home/opam/.opam/5.1/lib/javalib/javalib.cmi - Installed /home/opam/.opam/5.1/lib/javalib/javalib.cma - Installed /home/opam/.opam/5.1/lib/javalib/META - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/javalib.3.2.2/src' -> installed javalib.3.2.2 Processing 23/24: [sawja: ./configure.sh] + /home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/./configure.sh (CWD=/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12) - * Debug flag set to yes. - * Buddy flag set to no. Sawja won't use the buddy BDD package. - * Ocamlfind found at /home/opam/.opam/5.1/bin/ocamlfind. - * System-wide installation, in /home/opam/.opam/5.1/lib. - * Package javalib v3.2.2 found at /home/opam/.opam/5.1/lib/javalib. - * Writing /home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/Makefile.config. - Creating from /home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/Makefile.config.example. - ... done. - - WHAT'S NEXT: all dependencies are satisfied. - Compile and install Sawja with the following commands: - make && sudo make install - - More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html). Processing 23/24: [sawja: make] + /usr/bin/make (CWD=/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12) - /usr/bin/make -C src - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/src' - ocamlyacc heap_parser/parse_heap.mly - cp classDomainPtrees.ml classDomain.ml - rm -f safe.ml - for i in safe_domain.ml safe_var.ml safe_state.ml safe_constraints.ml safe_solver.ml; do \ - echo `basename $i .ml` | \ - awk 'BEGIN{ORS="";OFS="";}{print "module " toupper(substr($0,6,1)) substr($0,7,length($0)-6) "= struct\n";}' >> safe.ml;\ - echo "# 1 \""$i"\"" >> safe.ml;\ - cat $i >> safe.ml;\ - echo " end">> safe.ml;\ - done - ocamllex heap_parser/lex_heap.mll - 82 states, 4559 transitions, table size 18728 bytes - /home/opam/.opam/5.1/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli jUtil.ml iter.ml iter2.ml wlist.ml jProgram.ml classDomain.ml jsrInline.ml jControlFlow.ml jPrintUtil.ml jPrintHtml.ml jPrintPlugin.ml argPlugin.ml jCodePP.ml cmn.ml bir.ml birA3.ml jBir.ml jBirPP.ml a3Bir.ml a3BirPP.ml dataflow_analyses/live_bir.ml dataflow_analyses/live_a3bir.ml jBirSSA.ml jBirSSAPP.ml a3BirSSA.ml a3BirSSAPP.ml safe.ml reachableMethods.ml jNativeStubs.ml jType.ml nexir.ml heap_parser//parserType.ml heap_parser//parse_heap.ml heap_parser/lex_heap.ml heap_parser/heapParser.ml jCRA.ml jRTA.ml jRTAWithHeap.ml jRRTA.ml XTA.ml jCFAOptions.ml jCFADom.ml jCFAPrinter.ml jCFA.ml dataflow_analyses/reachDef.ml dataflow_analyses/availableExpr.ml dataflow_analyses/availableExprSSA.ml > .depend - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml - File "jProgram.ml", lines 287-291, characters 5-16: - 287 | .....match op with - 288 | | OpInvoke _ -> - 289 | let lookup = (f_lookup cs ms pp) in - 290 | l := Ptmap.add pp lookup !l - 291 | | _ -> (). - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jProgram.ml", lines 279-294, characters 4-7: - 279 | ....begin - 280 | match cm with - 281 | | {Javalib.cm_implementation = Javalib.Java code; _} - 282 | when - 283 | ClassMethodMap.mem cm.Javalib.cm_class_method_signature p.parsed_methods -> - ... - 291 | | _ -> ()) - 292 | (Lazy.force code).c_code - 293 | | _ -> () - 294 | end. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.implementation. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml - File "classDomain.ml", lines 69-74, characters 20-19: - 69 | ....................match v1,v2 with - 70 | | Bot, Bot -> true - 71 | | Top, Top -> true - 72 | | Set s1, Set s2 -> - 73 | s1==s2 || ClassSet.equal s1 s2 - 74 | | _, _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "classDomain.ml", line 19, characters 0-17: - 19 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "classDomain.ml", line 21, characters 13-14: - 21 | module Make (S:sig end) = struct - ^ - Warning 60 [unused-module]: unused module S. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml - File "jsrInline.ml", lines 60-62, characters 7-15: - 60 | .......match op with - 61 | | OpJsr j -> Ptset.add (i+j) jsr, (i,i+j)::l - 62 | | _ -> jsr, l. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 92-100, characters 2-13: - 92 | ..match instr with - 93 | | OpIf (_, n) - 94 | | OpIfCmp (_, n) - 95 | | OpGoto n -> add i (i+n) - 96 | | OpTableSwitch (default, _, _, table) -> - 97 | List.iter (fun n -> add i (i+n)) (default :: Array.to_list table) - 98 | | OpLookupSwitch (default, npairs) -> - 99 | List.iter (fun n -> add i (i+n)) (default :: List.map snd npairs) - 100 | | _ -> (). - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 112-116, characters 21-14: - 112 | .....................function - 113 | | OpGoto _ - 114 | | OpReturn _ - 115 | | OpThrow -> true - 116 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 135-150, characters 2-36: - 135 | ..match code.c_code.(i) with - 136 | | OpIf (_, n) - 137 | | OpIfCmp (_, n) -> (next_opcode code.c_code i)@[i+n] - 138 | | OpGoto n -> [i+n] - 139 | | OpJsr _ - ... - 147 | List.map (( + ) i) (default :: List.map snd npairs) - 148 | | OpReturn _ -> [] - 149 | | OpThrow -> [] - 150 | | _ -> next_opcode code.c_code i - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 168-173, characters 6-36: - 168 | ......match code.c_code.(i) with - 169 | | OpRet _ -> (set,true) - 170 | | _ -> - 171 | List.fold_left aux - 172 | (Ptset.add i set,may) - 173 | (next (fun _ -> true) code i) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 178-187, characters 22-12: - 178 | ......................function - 179 | | OpIf (c, n) -> OpIf (c,i+n) - 180 | | OpIfCmp (c, n) -> OpIfCmp (c,i+n) - 181 | | OpJsr n -> OpJsr (i+n) - 182 | | OpGoto n -> OpGoto (i+n) - 183 | | OpTableSwitch (default, l, h, table) -> - 184 | OpTableSwitch (default+i,l,h,Array.map ((+)i) table) - 185 | | OpLookupSwitch (default, npairs) -> - 186 | OpLookupSwitch (default+i,List.map (fun (x,y) -> (x,y+i)) npairs) - 187 | | op -> op - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 217-229, characters 5-42: - 217 | .....match code.c_code.(i) with - 218 | | OpJsr _ -> raise InlineSubroutineFailed (* no nested subrountines please *) - 219 | | OpRet y -> - 220 | begin - 221 | if not (x=y) then raise InlineSubroutineFailed; - ... - 226 | | _ -> - 227 | List.fold_left aux - 228 | (ex,Ptset.add i set) - 229 | (next (may_reach_a_ret code) code i) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 212-233, characters 2-23: - 212 | ..match code.c_code.(start_pp) with - 213 | | OpStore (`Object,x) -> - 214 | let rec aux (ex,set) i = - 215 | if Ptset.mem i set then (ex,set) - 216 | else - ... - 230 | (* we remove handlers that don't reach OpRet instructions *) - 231 | in - 232 | aux (Ptset.empty,Ptset.add start_pp Ptset.empty) (next_pc code.c_code start_pp) - 233 | | _ -> assert false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 292-298, characters 2-14: - 292 | ..match opcode with - 293 | | OpInvoke (`Interface _, _) -> true - 294 | | OpInvoke (`Virtual (TClass _), _) -> true - 295 | | OpInvoke (`Virtual (TArray _), _) -> true - 296 | | OpInvoke(`Static _, _) -> true - 297 | | OpInvoke (`Special _, _) -> true - 298 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jsrInline.ml", lines 292-298, characters 2-14: - 292 | ..match opcode with - 293 | | OpInvoke (`Interface _, _) -> true - 294 | | OpInvoke (`Virtual (TClass _), _) -> true - 295 | | OpInvoke (`Virtual (TArray _), _) -> true - 296 | | OpInvoke(`Static _, _) -> true - 297 | | OpInvoke (`Special _, _) -> true - 298 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml - File "jControlFlow.ml", line 76, characters 14-41: - 76 | (List.map JDumpBasics.value_signature mparams)) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm - - File "jControlFlow.ml", lines 95-100, characters 3-6: - 95 | ...begin - 96 | match MethodMap.find ms i.i_info.i_methods with - 97 | | ConcreteMethod m-> - 98 | {cl=cl'; meth=m; pc=0;} - 99 | | _ -> raise (NoCode (cs,ms)) - 100 | end - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.jmethod. - - File "jControlFlow.ml", lines 102-107, characters 3-6: - 102 | ...begin - 103 | match MethodMap.find ms c.c_info.c_methods with - 104 | | ConcreteMethod m-> - 105 | {cl=cl'; meth=m; pc=0;} - 106 | | _ -> raise (NoCode (cs,ms)) - 107 | end - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.jmethod. - - File "jControlFlow.ml", lines 93-108, characters 4-35: - 93 | ....match get_node prog cs with - 94 | | Interface i as cl' when MethodMap.mem ms i.i_info.i_methods -> - 95 | begin - 96 | match MethodMap.find ms i.i_info.i_methods with - 97 | | ConcreteMethod m-> - ... - 105 | {cl=cl'; meth=m; pc=0;} - 106 | | _ -> raise (NoCode (cs,ms)) - 107 | end - 108 | | _ -> raise (NoCode (cs,ms)) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JProgram.node. - - File "jControlFlow.ml", lines 386-394, characters 3-42: - 386 | ...match cl,c' with - 387 | | _, Class c2 when (ms_name ms) = "<init>" -> - 388 | c2 - 389 | | Class c1, Class c2 when c1 == c2 || not (extends_class c1 c2) -> - 390 | c2 - 391 | | _ -> - 392 | match super_class cl with - 393 | | None -> raise AbstractMethodError - 394 | | Some c -> lookup_virtual_method ms c - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JProgram.node. - - File "jControlFlow.ml", lines 426-428, characters 4-38: - 426 | ....match c with - 427 | | Class c' when implements_method c' ms -> c - 428 | | _ -> raise AbstractMethodError - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JProgram.node. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml - File "jPrintUtil.ml", line 149, characters 0-17: - 149 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jPrintUtil.ml", lines 159-161, characters 6-28: - 159 | ......match opcode with - 160 | | OpInvalid -> () - 161 | | _ -> f pp [opcode] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jPrintUtil.ml", line 168, characters 26-54: - 168 | | ConcreteMethod {cm_implementation = Native} -> None - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations - Either bind these labels explicitly or add '; _' to the pattern. - - File "jPrintUtil.ml", line 169, characters 27-58: - 169 | | ConcreteMethod ({cm_implementation = Java code} as cm) -> - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations - Either bind these labels explicitly or add '; _' to the pattern. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.ml - File "jPrintHtml.ml", line 21, characters 0-17: - 21 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jPrintHtml.ml", line 24, characters 0-12: - 24 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - - File "jPrintHtml.ml", lines 271-276, characters 3-4: - 271 | ...(match res with - 272 | | [PCData d] -> [PCData (d ^ "[]")] - 273 | | (CustomTag (bt,c,et)) :: tl -> - 274 | (CustomTag (bt,c,et)) :: (PCData "[]") :: tl - 275 | | _ -> failwith "Error in valuetype2html function" - 276 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JPrintUtil.xml_tree. - - File "jPrintHtml.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "jPrintHtml.ml", lines 290-294, characters 2-40: - 290 | ..match t with - 291 | | TObject (TClass cn) -> cn_name cn - 292 | | TObject (TArray a) -> (type2anchorstring a) ^ ".-" - 293 | (* ] is prohibited... *) - 294 | | _ -> JPrint.value_type ~jvm:true t - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "jPrintHtml.ml", lines 290-294, characters 2-40: - 290 | ..match t with - 291 | | TObject (TClass cn) -> cn_name cn - 292 | | TObject (TArray a) -> (type2anchorstring a) ^ ".-" - 293 | (* ] is prohibited... *) - 294 | | _ -> JPrint.value_type ~jvm:true t - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jPrintHtml.ml", line 599, characters 7-70: - 599 | ^ (match cm.cm_implementation with Native -> " native" | _ -> "") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.implementation. - - File "jPrintHtml.ml", lines 866-868, characters 17-35: - 866 | .................match o with - 867 | | TClass ccs -> ccs - 868 | | _ -> JBasics.java_lang_object... - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jPrintHtml.ml", line 893, characters 23-51: - 893 | | ConcreteMethod {cm_implementation = Native} -> string_of_int n - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations - Either bind these labels explicitly or add '; _' to the pattern. - - File "jPrintHtml.ml", line 894, characters 23-54: - 894 | | ConcreteMethod {cm_implementation = Java code} -> - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations - Either bind these labels explicitly or add '; _' to the pattern. - - File "jPrintHtml.ml", lines 848-900, characters 1-35: - 848 | .match op with - 849 | | OpNew ccs -> - 850 | let v = TObject (TClass ccs) in - 851 | [simple_elem inst; value_elem program cs v] - 852 | | OpNewArray v -> - ... - 897 | | None -> string_of_int n - 898 | | Some (name,_) -> name in - 899 | [simple_elem (inst ^ " " ^ locname)] - 900 | | _ -> [simple_elem inst_params] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml - File "jPrintPlugin.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jPrintPlugin.ml", line 23, characters 0-12: - 23 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - - File "jPrintPlugin.ml", line 23, characters 0-12: - 23 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "jPrintPlugin.ml", line 23, characters 0-12: - 23 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_methods (which is later used) - - File "jPrintPlugin.ml", line 707, characters 4-26: - 707 | open AdaptedASTGrammar - ^^^^^^^^^^^^^^^^^^^^^^ - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml - File "argPlugin.ml", lines 109-115, characters 4-51: - 109 | ....match spec with - 110 | NotPlugin _ -> arg_list - 111 | | _ -> - 112 | let (tag_name,def) = get_tag_and_def spec in - 113 | let attrs = (name_att, key)::(sdesc_att,name)::def in - 114 | let desc = [PCData doc] in - 115 | (gen_custom_tag tag_name attrs desc)::arg_list - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type spec. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml - File "jCodePP.ml", line 22, characters 0-17: - 22 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jCodePP.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "jCodePP.ml", lines 60-69, characters 2-15: - 60 | ..match get_opcode pp with - 61 | | OpInvoke (`Virtual obj, ms) -> - 62 | Some (static_lookup_virtual program obj ms) - 63 | | OpInvoke (`Static (_,cs), ms) -> - 64 | Some ([static_lookup_static program cs ms]) - 65 | | OpInvoke (`Special (_,cs), ms) -> - 66 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 67 | | OpInvoke (`Interface cs, ms) -> - 68 | Some (static_lookup_interface program cs ms) - 69 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jCodePP.ml", lines 102-107, characters 12-15: - 102 | ............begin - 103 | match code.(!i) with - 104 | | OpJsr _ -> - 105 | l := next_instruction (goto_absolute pp !i)::!l - 106 | | _ -> () - 107 | end. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jCodePP.ml", lines 91-126, characters 2-32: - 91 | ..match get_opcode pp with - 92 | | OpIf (_,l) - 93 | | OpIfCmp (_,l) -> - 94 | [next_instruction pp;goto_relative pp l] - 95 | | OpJsr l - ... - 123 | | OpInvalid - 124 | | OpBreakpoint -> - 125 | raise (Class_structure_error "Instructions Invalid and Breakpoint are not authorized") - 126 | | _ -> [next_instruction pp] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jCodePP.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used) - - File "jCodePP.ml", line 142, characters 22-40: - 142 | | Interface {i_super = caller} - ^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - i_info, i_interfaces, i_children_interfaces, i_children_classes - Either bind these labels explicitly or add '; _' to the pattern. - - File "jCodePP.ml", line 25, characters 0-13: - 25 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - - File "jCodePP.ml", lines 201-257, characters 28-16: - 201 | ............................match opcode with - 202 | | JCode.OpNew cn' -> - 203 | let c'= (get_node program cn') in - 204 | begin - 205 | match (get_class_to_initialize node c') with - ... - 254 | ClassMethodSet.add cms successors) - 255 | !successors - 256 | targets - 257 | | _ -> () - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml - File "cmn.ml", lines 48-50, characters 2-15: - 48 | ..match v with - 49 | | OriginalVar (_,s) -> s - 50 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 53-55, characters 2-16: - 53 | ..match x with - 54 | | CatchVar _ -> true - 55 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 58-61, characters 2-16: - 58 | ..match x with - 59 | | TempVar _ -> true - 60 | | SSAVar ((_,TempVar _),_) -> true - 61 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 64-66, characters 2-16: - 64 | ..match x with - 65 | | SSAVar _ -> true - 66 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 81-84, characters 2-31: - 81 | ..match x with - 82 | | OriginalVar (_,Some s) -> s - 83 | | SSAVar ((_,v),i) -> Printf.sprintf "%s_%d" (unindexed_var_name_g v) i - 84 | | _ -> unindexed_var_name x - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 89-92, characters 2-16: - 89 | ..match v with - 90 | | OriginalVar (j,_) -> Some j - 91 | | SSAVar ((_,v),_) -> unindexed_bc_num v - 92 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 99-101, characters 2-16: - 99 | ..match v with - 100 | | OriginalVar _ -> true - 101 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 104-106, characters 2-60: - 104 | ..match x with - 105 | | SSAVar (v,_) -> v - 106 | | _ -> failwith "var_origin: must be called on SSA vars" - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 109-111, characters 2-63: - 109 | ..match x with - 110 | | SSAVar (_,i) -> i - 111 | | _ -> failwith "var_ssa_index: must be called on SSA vars" - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", lines 114-116, characters 2-23: - 114 | ..match snd v with - 115 | | SSAVar _ -> failwith "make_var_ssa: must not be called on SSA vars" - 116 | | _ -> SSAVar (v,i) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type unindexed_var. - - File "cmn.ml", line 24, characters 0-17: - 24 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "cmn.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - - File "cmn.ml", line 161, characters 43-50: - 161 | let compare = Stdlib.compare - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value compare. - - File "cmn.ml", line 274, characters 16-18: - 274 | | `MethodType md -> assert false (* TODO Java8 *) - ^^ - Warning 27 [unused-var-strict]: unused variable md. - - File "cmn.ml", line 275, characters 18-20: - 275 | | `MethodHandle mh -> assert false (* TODO Java8 *) - ^^ - Warning 27 [unused-var-strict]: unused variable mh. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml - File "bir.ml", lines 111-127, characters 6-24: - 111 | ......( match u with - 112 | | Neg t -> - 113 | basic_to_num t - 114 | | Conv c -> ( - 115 | match c with - ... - 124 | | ArrayLength | InstanceOf _ -> - 125 | `Int - 126 | | _ -> - 127 | assert false ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "bir.ml", lines 100-150, characters 19-16: - 100 | ...................function - 101 | | Var (t, _) -> - 102 | t - 103 | | Field (_, _, f) | StaticField (_, f) -> - 104 | fs_type f - ... - 147 | | LShl | LShr | LAnd | LOr | LXor | LUshr -> - 148 | `Long - 149 | | CMP _ -> - 150 | `Int ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "bir.ml", lines 100-150, characters 19-16: - 100 | ...................function - 101 | | Var (t, _) -> - 102 | t - 103 | | Field (_, _, f) | StaticField (_, f) -> - 104 | fs_type f - ... - 147 | | LShl | LShr | LAnd | LOr | LXor | LUshr -> - 148 | `Long - 149 | | CMP _ -> - 150 | `Int ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", line 152, characters 20-70: - 152 | let instr_jump_to = function Ifd (_, n) | Goto n -> Some n | _ -> None - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 156-208, characters 54-38: - 156 | ......................................................function - 157 | | Var (t, x) -> - 158 | if show_type then Printf.sprintf "%s:%s" (var_name_g x) (print_typ t) - 159 | else var_name_g x - 160 | | Field (e, c, f) -> - ... - 205 | | Binop (op, e1, e2) -> - 206 | Printf.sprintf "%s(%s,%s)" (print_binop op) - 207 | (print_expr' ~show_type true e1) - 208 | (print_expr' ~show_type true e2) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "bir.ml", lines 156-208, characters 54-38: - 156 | ......................................................function - 157 | | Var (t, x) -> - 158 | if show_type then Printf.sprintf "%s:%s" (var_name_g x) (print_typ t) - 159 | else var_name_g x - 160 | | Field (e, c, f) -> - ... - 205 | | Binop (op, e1, e2) -> - 206 | Printf.sprintf "%s(%s,%s)" (print_binop op) - 207 | (print_expr' ~show_type true e1) - 208 | (print_expr' ~show_type true e2) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 762-782, characters 2-30: - 762 | ..match code.JCode.c_code.(i) with - 763 | | JCode.OpIf (_, n) | JCode.OpIfCmp (_, n) -> - 764 | [next code.JCode.c_code i; i + n] - 765 | | JCode.OpGoto n -> - 766 | [i + n] - ... - 779 | | JCode.OpInvalid -> - 780 | failwith "invalid" - 781 | | _ -> - 782 | [next code.JCode.c_code i] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 921-928, characters 26-24: - 921 | ..........................function - 922 | | Array v -> - 923 | conv v - 924 | | Null -> - 925 | conv_array_type t - 926 | | x -> - 927 | Printf.printf "\n\nbad array_content of %s at %d\n\n\n" (print_typ x) i ; - 928 | raise ArrayContent - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 955-961, characters 4-11: - 955 | ....match (v1, v2) with - 956 | | TObject v1, TObject v2 -> - 957 | leq_object_type v1 v2 - 958 | | TBasic t1, TBasic t2 -> - 959 | t1 = t2 - 960 | | _, _ -> - 961 | false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "bir.ml", lines 964-972, characters 4-11: - 964 | ....match (v1, v2) with - 965 | | TClass c1, TClass c2 -> - 966 | cn_equal c1 c2 || cn_equal c2 java_lang_object - 967 | | TArray v1, TArray v2 -> - 968 | leq_value_type v1 v2 - 969 | | TArray _, TClass c -> - 970 | cn_equal c java_lang_object - 971 | | _, _ -> - 972 | false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "bir.ml", lines 980-981, characters 16-51: - 980 | ................( - 981 | match x with Array _ -> true | _ -> false ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 982-987, characters 15-17: - 982 | ...............( - 983 | match x with - 984 | | Array _ | Object | Int | Float | Top32 -> - 985 | true - 986 | | _ -> - 987 | false ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 988-989, characters 17-65: - 988 | .................( - 989 | match x with Array x -> leq_value_type x y | _ -> false ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 977-991, characters 4-11: - 977 | ....match y with - 978 | | Top64 -> - 979 | x = Double || x = Long || x = Top64 - 980 | | Object -> ( - 981 | match x with Array _ -> true | _ -> false ) - ... - 988 | | Array y -> ( - 989 | match x with Array x -> leq_value_type x y | _ -> false ) - 990 | | _ -> - 991 | false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 995-999, characters 4-10: - 995 | ....match (v1, v2) with - 996 | | TObject v1, TObject v2 -> - 997 | Some (TObject (lub_object_type v1 v2)) - 998 | | _, _ -> - 999 | None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "bir.ml", lines 1002-1010, characters 4-29: - 1002 | ....match (x, y) with - 1003 | | TArray v1, TArray v2 -> ( - 1004 | match lub_value_type v1 v2 with - 1005 | | None -> - 1006 | TClass java_lang_object - 1007 | | Some v -> - 1008 | TArray v ) - 1009 | | _, _ -> - 1010 | TClass java_lang_object - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "bir.ml", lines 1017-1018, characters 32-66: - 1017 | ................................( - 1018 | match y with Top64 | Double | Long -> Top | _ -> Top32 ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 1019-1020, characters 25-58: - 1019 | .........................( - 1020 | match y with Double | Long -> Top64 | _ -> Top ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 1021-1028, characters 19-17: - 1021 | ...................( - 1022 | match y with - 1023 | | Array y -> ( - 1024 | match lub_value_type x y with None -> Object | Some v -> Array v ) - 1025 | | Int | Float -> - 1026 | Top32 - 1027 | | _ -> - 1028 | Top ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 1016-1030, characters 6-11: - 1016 | ......match x with - 1017 | | Int | Float | Object -> ( - 1018 | match y with Top64 | Double | Long -> Top | _ -> Top32 ) - 1019 | | Double | Long -> ( - 1020 | match y with Double | Long -> Top64 | _ -> Top ) - ... - 1027 | | _ -> - 1028 | Top ) - 1029 | | _ -> - 1030 | Top - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 1244-1257, characters 6-15: - 1244 | ......( match ins with - 1245 | | JCode.OpIf (t, n) -> - 1246 | JCode.OpIf (t, n + i) - 1247 | | JCode.OpIfCmp (_t, _n) -> - 1248 | JCode.OpIfCmp (_t, _n + i) - ... - 1254 | JCode.OpLookupSwitch - 1255 | (default + i, List.map (fun (x, y) -> (x, y + i)) npairs) - 1256 | | _ -> - 1257 | ins ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 1323-1331, characters 9-23: - 1323 | .........match code.JCode.c_code.(i) with - 1324 | | JCode.OpLoad (_, n) -> ( - 1325 | match types.(i) with - 1326 | | Some (_, l) -> - 1327 | to_value_type (get l n) - 1328 | | _ -> - 1329 | assert false ) - 1330 | | _ -> - 1331 | assert false.. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 1334-1341, characters 31-26: - 1334 | ...............................( - 1335 | match types.(i) with - 1336 | | Some (_ :: Array t :: _, _) -> - 1337 | t - 1338 | | Some (_ :: Null :: _, _) -> - 1339 | type_of_array_type t - 1340 | | _ -> - 1341 | assert false ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type typ. - - File "bir.ml", lines 1333-1343, characters 6-20: - 1333 | ......match code.JCode.c_code.(i) with - 1334 | | JCode.OpArrayLoad t -> ( - 1335 | match types.(i) with - 1336 | | Some (_ :: Array t :: _, _) -> - 1337 | t - ... - 1340 | | _ -> - 1341 | assert false ) - 1342 | | _ -> - 1343 | assert false.. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 1360-1374, characters 9-23: - 1360 | .........match code.JCode.c_code.(i) with - 1361 | | JCode.OpLoad (t, _) -> ( - 1362 | match t with - 1363 | | `Long -> - 1364 | TBasic `Long - ... - 1371 | | `Object -> - 1372 | TObject (TClass java_lang_object) ) - 1373 | | _ -> - 1374 | assert false.. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", line 1421, characters 19-60: - 1421 | let is_arrayload = function ArrayLoad _ -> true | _ -> false - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 1479-1486, characters 4-11: - 1479 | ....match stack with - 1480 | | [] -> - 1481 | false - 1482 | | E e :: _ when is_in_expr test_var test_static (fun _ _ -> false) false e - 1483 | -> - 1484 | true - 1485 | | _ :: s -> - 1486 | aux s - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type opexpr. - - File "bir.ml", lines 1492-1498, characters 4-11: - 1492 | ....match stack with - 1493 | | [] -> - 1494 | None - 1495 | | E e :: s -> ( - 1496 | match var_in_expr test_var e with Some t -> Some t | None -> aux s ) - 1497 | | _ :: s -> - 1498 | aux s - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type opexpr. - - File "bir.ml", lines 1554-1555, characters 25-62: - 1554 | .........................( - 1555 | match x with TempVar i -> Ptset.add i acc | _ -> acc ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unindexed_var. - - File "bir.ml", lines 1621-1629, characters 6-67: - 1621 | ......match binop with - 1622 | | (Div jvm_t | Rem jvm_t) when jvm_t = `Int2Bool || jvm_t = `Long -> - 1623 | let q = topE s in - 1624 | let e = Binop (binop, topE (pop s), topE s) in - 1625 | ( E (Var (type_of_expr e, x)) :: pop2 s - 1626 | , [Check (CheckArithmetic q); AffectVar (x, e)] ) - 1627 | | _ -> - 1628 | let e = Binop (binop, topE (pop s), topE s) in - 1629 | (E (Var (type_of_expr e, x)) :: pop2 s, [AffectVar (x, e)]).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 1630-1637, characters 9-65: - 1630 | .........( - 1631 | match binop with - 1632 | | (Div jvm_t | Rem jvm_t) when jvm_t = `Int2Bool || jvm_t = `Long -> - 1633 | let q = topE s in - 1634 | ( E (Binop (binop, topE (pop s), topE s)) :: pop2 s - 1635 | , [Check (CheckArithmetic q)] ) - 1636 | | _ -> - 1637 | (E (Binop (binop, topE (pop s), topE s)) :: pop2 s, []) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 1618-1637, characters 2-65: - 1618 | ..match mode with - 1619 | | Addr3 -> ( - 1620 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in - 1621 | match binop with - 1622 | | (Div jvm_t | Rem jvm_t) when jvm_t = `Int2Bool || jvm_t = `Long -> - ... - 1634 | ( E (Binop (binop, topE (pop s), topE s)) :: pop2 s - 1635 | , [Check (CheckArithmetic q)] ) - 1636 | | _ -> - 1637 | (E (Binop (binop, topE (pop s), topE s)) :: pop2 s, []) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1641-1651, characters 2-30: - 1641 | ..match mode with - 1642 | | Addr3 -> ( - 1643 | match next_store with - 1644 | | None when not next_is_junc_point_or_a_goto -> - 1645 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in - ... - 1648 | | _ -> - 1649 | (E (Const c) :: s, instrs) ) - 1650 | | _ -> - 1651 | (E (Const c) :: s, instrs) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1655-1663, characters 24-31: - 1655 | ........................( - 1656 | match mode with - 1657 | | Addr3 -> - 1658 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in - 1659 | let e = Const c in - 1660 | let v = Var (type_of_expr e, x) in - 1661 | [AffectVar (x, e); Ifd ((cmp, e1, v), target)] - 1662 | | _ -> - 1663 | [Ifd (guard, target)] ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1654-1665, characters 2-25: - 1654 | ..match guard with - 1655 | | cmp, e1, Const c -> ( - 1656 | match mode with - 1657 | | Addr3 -> - 1658 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in - ... - 1662 | | _ -> - 1663 | [Ifd (guard, target)] ) - 1664 | | _ -> - 1665 | [Ifd (guard, target)] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type expr. - - File "bir.ml", lines 1668-1674, characters 2-46: - 1668 | ..match mode with - 1669 | | Addr3 -> - 1670 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in - 1671 | let e = Unop (unop, topE s) in - 1672 | (E (Var (type_of_expr e, x)) :: pop s, instrs @ [AffectVar (x, e)]) - 1673 | | _ -> - 1674 | (E (Unop (unop, topE s)) :: pop s, instrs) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1688-1703, characters 2-43: - 1688 | ..match type_of_expr e with - 1689 | | TObject (TArray t) -> - 1690 | t (* can this happen ? *) - 1691 | | _ -> ( - 1692 | (* we use the type found in the OpArrayLoad argument *) - ... - 1700 | | `Double -> - 1701 | TBasic `Double - 1702 | | `Object -> - 1703 | TObject (TClass java_lang_object) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "bir.ml", lines 1688-1703, characters 2-43: - 1688 | ..match type_of_expr e with - 1689 | | TObject (TArray t) -> - 1690 | t (* can this happen ? *) - 1691 | | _ -> ( - 1692 | (* we use the type found in the OpArrayLoad argument *) - ... - 1700 | | `Double -> - 1701 | TBasic `Double - 1702 | | `Object -> - 1703 | TObject (TClass java_lang_object) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "bir.ml", lines 1755-1764, characters 6-74: - 1755 | ......match mode with - 1756 | | Addr3 -> - 1757 | let x = make_tempvar dico ssa fresh_counter (pop2 s) next_store in - 1758 | ( E (Var (t, x)) :: pop2 s - 1759 | , [ Check (CheckNullPointer a) - 1760 | ; Check (CheckArrayBound (a, idx)) - 1761 | ; AffectVar (x, Binop (ArrayLoad t, a, idx)) ] ) - 1762 | | _ -> - 1763 | ( E (Binop (ArrayLoad t, a, idx)) :: pop2 s - 1764 | , [Check (CheckNullPointer a); Check (CheckArrayBound (a, idx))] ).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1767-1777, characters 6-46: - 1767 | ......match topE s with - 1768 | | Var (_, y') when index y = index y' -> - 1769 | (pop s, []) - 1770 | | _ -> ( - 1771 | match is_var_in_stack y (pop s) with - ... - 1774 | ( replace_var_in_stack y x (pop s) - 1775 | , [AffectVar (x, Var (t, y)); AffectVar (y, topE s)] ) - 1776 | | None -> - 1777 | (pop s, [AffectVar (y, topE s)]) ).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type expr. - - File "bir.ml", lines 1783-1807, characters 10-61: - 1783 | ..........match mode with - 1784 | | Addr3 -> - 1785 | let y = - 1786 | make_tempvar dico ssa fresh_counter - 1787 | (E (Var (TBasic `Int, x)) :: s) - ... - 1804 | , Binop - 1805 | ( Add `Int2Bool - 1806 | , Var (TBasic `Int, a) - 1807 | , Const (`Int (Int32.of_int b)) ) ) ] ).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1808-1827, characters 13-63: - 1808 | .............( - 1809 | match mode with - 1810 | | Addr3 -> - 1811 | let y = make_tempvar dico ssa fresh_counter s None in - 1812 | ( s - ... - 1824 | , Binop - 1825 | ( Add `Int2Bool - 1826 | , Var (TBasic `Int, a) - 1827 | , Const (`Int (Int32.of_int b)) ) ) ] ) ).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 1995-2000, characters 52-51: - 1995 | ....................................................( - 1996 | match topE s with - 1997 | | Binop (CMP _, e1, e2) -> - 1998 | (c, e1, e2) - 1999 | | e -> - 2000 | (c, e, Const (`Int (Int32.of_int 0))) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type expr. - - File "bir.ml", lines 1995-2000, characters 52-51: - 1995 | ....................................................( - 1996 | match topE s with - 1997 | | Binop (CMP _, e1, e2) -> - 1998 | (c, e1, e2) - 1999 | | e -> - 2000 | (c, e, Const (`Int (Int32.of_int 0))) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 2056-2062, characters 6-72: - 2056 | ......match mode with - 2057 | | Normal -> - 2058 | (E (Field (r, c, f)) :: pop s, [Check (CheckNullPointer r)]) - 2059 | | _ -> - 2060 | let x = make_tempvar dico ssa fresh_counter s next_store in - 2061 | ( E (Var (fs_type f, x)) :: pop s - 2062 | , [Check (CheckNullPointer r); AffectVar (x, Field (r, c, f))] ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 2066-2089, characters 41-47: - 2066 | .........................................( - 2067 | match mode with - 2068 | | Addr3 -> - 2069 | let instrs = - 2070 | if ch_link then [Check (CheckLink instr); MayInit c] else [MayInit c] - ... - 2086 | clean dico ssa fresh_counter is_heap_sensible_element_in_expr s - 2087 | instrs - 2088 | in - 2089 | (E (StaticField (c, f)) :: s, instrs) ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 2252-2259, characters 6-74: - 2252 | ......match mode with - 2253 | | Addr3 -> - 2254 | let x = make_tempvar dico ssa fresh_counter s next_store in - 2255 | ( E (Var (TBasic `Int, x)) :: pop s - 2256 | , [Check (CheckNullPointer a); AffectVar (x, Unop (ArrayLength, a))] - 2257 | ) - 2258 | | _ -> - 2259 | (E (Unop (ArrayLength, a)) :: pop s, [Check (CheckNullPointer a)]).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type mode. - - File "bir.ml", lines 2301-2305, characters 20-9: - 2301 | ....................function - 2302 | | JCode.OpIfCmp _ | JCode.OpTableSwitch _ | JCode.OpLookupSwitch _ | JCode.OpIf _ | JCode.OpGoto _ -> - 2303 | true - 2304 | | _ -> - 2305 | false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", line 2310, characters 13-74: - 2310 | let test = function _, BranchVar (i, _) -> List.mem i succs | _ -> false in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unindexed_var. - - File "bir.ml", line 2384, characters 2-68: - 2384 | match (e1, e2) with Var (_, x), Var (_, y) -> x = y | _ -> e1 = e2 - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type expr. - - File "bir.ml", lines 2387-2393, characters 2-9: - 2387 | ..match (e1, e2) with - 2388 | | Uninit _, Uninit _ -> - 2389 | e1 = e2 - 2390 | | E e1, E e2 -> - 2391 | value_compare e1 e2 - 2392 | | _ -> - 2393 | false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type opexpr. - - File "bir.ml", lines 2599-2611, characters 6-46: - 2599 | ......match op with - 2600 | | JCode.OpStore (_, n) -> - 2601 | apply_instr_context darray (Ptmap.add n (pp_var pc n) darray.(pc)) - 2602 | | JCode.OpLoad (_, n) | JCode.OpIInc (n, _) -> - 2603 | let ok = - ... - 2608 | if not ok then (as_succ, false) - 2609 | else apply_instr_context darray darray.(pc) - 2610 | | _ -> - 2611 | apply_instr_context darray darray.(pc) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 2852-2857, characters 6-12: - 2852 | ......match code.JCode.c_code.(next_pc) with - 2853 | | JCode.OpStore (_, n) -> - 2854 | if jump_target.(next_pc) then None - 2855 | else Some (make_var dico (OriginalVar (n, pp_var next_pc n))) - 2856 | | _ -> - 2857 | None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 2861-2865, characters 6-29: - 2861 | ......match code.JCode.c_code.(next_pc) with - 2862 | | JCode.OpGoto _ -> - 2863 | true - 2864 | | _ -> - 2865 | jump_target.(next_pc) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 2945-2959, characters 7-11: - 2945 | .......match instr with - 2946 | | JCode.OpIf (_, n) | JCode.OpIfCmp (_, n) | JCode.OpGoto n -> - 2947 | jump_target.(i + n) <- true - 2948 | | JCode.OpJsr _ | JCode.OpRet _ -> - 2949 | raise Subroutine - ... - 2956 | (fun n -> jump_target.(i + n) <- true) - 2957 | (default :: List.map snd npairs) - 2958 | | _ -> - 2959 | ().. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", lines 3088-3094, characters 9-18: - 3088 | .........(function - 3089 | | Goto pc -> - 3090 | Goto (Ptmap.find pc map) - 3091 | | Ifd (g, pc) -> - 3092 | Ifd (g, Ptmap.find pc map) - 3093 | | ins -> - 3094 | ins ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 3116-3125, characters 7-57: - 3116 | .......match ins with - 3117 | | Ifd (_, j) -> - 3118 | pred_pcs.(i + 1) <- Ptset.add i pred_pcs.(i + 1) ; - 3119 | pred_pcs.(j) <- Ptset.add i pred_pcs.(j) - 3120 | | Goto j -> - 3121 | pred_pcs.(j) <- Ptset.add i pred_pcs.(j) - 3122 | | Throw _ | Return _ -> - 3123 | () - 3124 | | _ -> - 3125 | pred_pcs.(i + 1) <- Ptset.add i pred_pcs.(i + 1).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 3199-3205, characters 18-26: - 3199 | ..................( match ins with - 3200 | | Goto pc -> - 3201 | Goto new_code_corresp.(pc) - 3202 | | Ifd (g, pc) -> - 3203 | Ifd (g, new_code_corresp.(pc)) - 3204 | | ins -> - 3205 | ins ).... - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 3263-3279, characters 9-15: - 3263 | .........match code.JCode.c_code.(eh.JCode.e_handler) with - 3264 | | JCode.OpInvalid -> - 3265 | (*If e_handler is invalid, instructions between e_start and - 3266 | e_end must be invalid too. *) - 3267 | let rec check_is_invalid i i_end = - ... - 3276 | check_is_invalid eh.JCode.e_start eh.JCode.e_end ; - 3277 | false - 3278 | | _ -> - 3279 | true.. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "bir.ml", line 3479, characters 38-50: - 3479 | (String.concat "::" (List.map (print_expr) e)) - ^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", lines 3766-3780, characters 23-32: - 3766 | .......................function - 3767 | | Const _ -> - 3768 | acc - 3769 | | Var (_, x) -> - 3770 | if catch_var x then acc else Ptset.add (index x) acc - ... - 3777 | | Binop (_, e1, e2) -> - 3778 | vars (vars acc e1) e2 - 3779 | | StaticField _ -> - 3780 | Ptset.add heap_index acc - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 3819-3833, characters 18-17: - 3819 | ..................function - 3820 | | NewArray (v, _, _) - 3821 | | New (v, _, _, _) - 3822 | | InvokeStatic (Some v, _, _, _) - 3823 | | InvokeVirtual (Some v, _, _, _, _) - ... - 3830 | | AffectField _ | AffectStaticField _ | AffectArray _ -> - 3831 | Ptset.singleton heap_index - 3832 | | _ -> - 3833 | Ptset.empty - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 3952-3961, characters 9-29: - 3952 | .........match ins with - 3953 | | Ifd (_, j) -> - 3954 | add_pred (i + 1) i ; - 3955 | add_pred j i - 3956 | | Goto j -> - 3957 | add_pred j i - 3958 | | Throw _ | Return _ -> - 3959 | () - 3960 | | _ -> - 3961 | add_pred (i + 1) i.. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 3973-3982, characters 9-24: - 3973 | .........match ins with - 3974 | | Ifd (_, j) -> - 3975 | add i (i + 1) ; - 3976 | add i j - 3977 | | Goto j -> - 3978 | add i j - 3979 | | Throw _ | Return _ -> - 3980 | () - 3981 | | _ -> - 3982 | add i (i + 1).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", line 4441, characters 58-68: - 4441 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", line 4459, characters 58-68: - 4459 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", line 4467, characters 58-68: - 4467 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", line 4475, characters 12-74: - 4475 | match o with TClass ccs -> ccs | _ -> JBasics.java_lang_object - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "bir.ml", line 4483, characters 60-70: - 4483 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", line 4503, characters 58-68: - 4503 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) - ^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", lines 4426-4516, characters 2-34: - 4426 | ..match op with - 4427 | | AffectStaticField (ccs, fs, e) -> - 4428 | let p1 = field_elem program cs ccs fs in - 4429 | let p2 = simple_elem (Printf.sprintf ":= %s" (print_expr e)) in - 4430 | [p1; p2] - ... - 4513 | let p2 = value_elem program cs (TObject t) in - 4514 | [p1; p2] - 4515 | | _ -> - 4516 | [simple_elem (print_instr op)] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 4426-4516, characters 2-34: - 4426 | ..match op with - 4427 | | AffectStaticField (ccs, fs, e) -> - 4428 | let p1 = field_elem program cs ccs fs in - 4429 | let p2 = simple_elem (Printf.sprintf ":= %s" (print_expr e)) in - 4430 | [p1; p2] - ... - 4513 | let p2 = value_elem program cs (TObject t) in - 4514 | [p1; p2] - 4515 | | _ -> - 4516 | [simple_elem (print_instr op)] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type check. - - File "bir.ml", lines 4581-4586, characters 11-15: - 4581 | ...........match op with - 4582 | | InvokeStatic _ | InvokeVirtual _ | InvokeNonVirtual _ -> - 4583 | let lookup = f_lookup cs ms pp in - 4584 | l := Ptmap.add pp lookup !l - 4585 | | _ -> - 4586 | ().. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 4575-4589, characters 2-10: - 4575 | ..( match cm with - 4576 | | {Javalib.cm_implementation=Java code; _} - 4577 | when ClassMethodMap.mem cm.cm_class_method_signature p.parsed_methods -> - 4578 | let ms = cm.cm_signature in - 4579 | Array.iteri - ... - 4586 | () ) - 4587 | (Lazy.force code).bir_code - 4588 | | _ -> - 4589 | () ).. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.implementation. - - File "bir.ml", lines 4873-4882, characters 11-17: - 4873 | ...........match ins with - 4874 | | AffectVar (x, _) - 4875 | | NewArray (x, _, _) - 4876 | | New (x, _, _, _) - 4877 | | InvokeStatic (Some x, _, _, _) - 4878 | | InvokeVirtual (Some x, _, _, _, _) - 4879 | | InvokeNonVirtual (Some x, _, _, _, _) -> - 4880 | not (var_equal this x) - 4881 | | _ -> - 4882 | true.. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 4887-4891, characters 11-15: - 4887 | ...........match ins with - 4888 | | Check (CheckNullPointer (Var (_, x))) when var_equal this x -> - 4889 | code.(i) <- Nop - 4890 | | _ -> - 4891 | ().. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type instr. - - File "bir.ml", lines 4887-4891, characters 11-15: - 4887 | ...........match ins with - 4888 | | Check (CheckNullPointer (Var (_, x))) when var_equal this x -> - 4889 | code.(i) <- Nop - 4890 | | _ -> - 4891 | ().. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type check. - - File "bir.ml", lines 4887-4891, characters 11-15: - 4887 | ...........match ins with - 4888 | | Check (CheckNullPointer (Var (_, x))) when var_equal this x -> - 4889 | code.(i) <- Nop - 4890 | | _ -> - 4891 | ().. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type expr. - - File "bir.ml", lines 4917-4939, characters 30-74: - 4917 | ..............................function - 4918 | | Const _ -> - 4919 | None - 4920 | | Binop (ArrayLoad vt, _, _) -> - 4921 | Some - ... - 4936 | | Field (_, _, fs) | StaticField (_, fs) -> - 4937 | Some - 4938 | (AdaptedASTGrammar.Name - 4939 | (AdaptedASTGrammar.SimpleName (fs_name fs, Some (fs_type fs)))) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "bir.ml", lines 4917-4939, characters 30-74: - 4917 | ..............................function - 4918 | | Const _ -> - 4919 | None - 4920 | | Binop (ArrayLoad vt, _, _) -> - 4921 | Some - ... - 4936 | | Field (_, _, fs) | StaticField (_, fs) -> - 4937 | Some - 4938 | (AdaptedASTGrammar.Name - 4939 | (AdaptedASTGrammar.SimpleName (fs_name fs, Some (fs_type fs)))) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "bir.ml", line 4998, characters 29-40: - 4998 | let inst_disp = inst_disp' print_instr - ^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - - File "bir.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml - File "birA3.ml", lines 61-71, characters 6-27: - 61 | ......(match u with - 62 | | Neg t -> basic_to_num t - 63 | | Conv c -> - 64 | (match c with - 65 | | I2L | F2L | D2L -> `Long - ... - 68 | | L2I | F2I | D2I | I2B | I2C | I2S -> `Int) - 69 | | ArrayLength - 70 | | InstanceOf _ -> `Int - 71 | | _ -> assert false) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "birA3.ml", lines 43-89, characters 19-23: - 43 | ...................function - 44 | | Var (t,_) -> t - 45 | | Const i -> begin - 46 | match i with - 47 | | `ANull - ... - 86 | | `Float -> `Float) - 87 | | IShl | IShr | IAnd | IOr | IXor | IUshr -> `Int - 88 | | LShl | LShr | LAnd | LOr | LXor | LUshr -> `Long - 89 | | CMP _ -> `Int) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "birA3.ml", lines 43-89, characters 19-23: - 43 | ...................function - 44 | | Var (t,_) -> t - 45 | | Const i -> begin - 46 | match i with - 47 | | `ANull - ... - 86 | | `Float -> `Float) - 87 | | IShl | IShr | IAnd | IOr | IXor | IUshr -> `Int - 88 | | LShl | LShr | LAnd | LOr | LXor | LUshr -> `Long - 89 | | CMP _ -> `Int) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "birA3.ml", lines 170-187, characters 47-142: - 170 | ...............................................function - 171 | | Const i -> print_const i - 172 | | Var x -> print_tvar ~show_type:show_type x - 173 | | Field (v,c,f) -> Printf.sprintf "%s.%s" (print_tvar ~show_type:show_type v) (JUtil.print_field c f) - 174 | | StaticField (c,f) -> Printf.sprintf "%s.%s" (JPrint.class_name c) (fs_name f) - ... - 184 | (Printf.sprintf "%s*%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2)) - 185 | | Binop (Div _,e1,e2) -> JUtil.bracket first_level - 186 | (Printf.sprintf "%s/%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2)) - 187 | | Binop (op,e1,e2) -> Printf.sprintf "%s(%s,%s)" (print_binop op) (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "birA3.ml", lines 170-187, characters 47-142: - 170 | ...............................................function - 171 | | Const i -> print_const i - 172 | | Var x -> print_tvar ~show_type:show_type x - 173 | | Field (v,c,f) -> Printf.sprintf "%s.%s" (print_tvar ~show_type:show_type v) (JUtil.print_field c f) - 174 | | StaticField (c,f) -> Printf.sprintf "%s.%s" (JPrint.class_name c) (fs_name f) - ... - 184 | (Printf.sprintf "%s*%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2)) - 185 | | Binop (Div _,e1,e2) -> JUtil.bracket first_level - 186 | (Printf.sprintf "%s/%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2)) - 187 | | Binop (op,e1,e2) -> Printf.sprintf "%s(%s,%s)" (print_binop op) (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "birA3.ml", lines 262-267, characters 2-7: - 262 | ..match expr with - 263 | | Bir.Var (t,v) -> (t,v) - 264 | | _ -> begin - 265 | Printf.printf "expr2tvar fails on expr %s\n" (Bir.print_expr expr); - 266 | raise Exc_expr2tvar - 267 | end - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Bir.expr. - - File "birA3.ml", lines 437-452, characters 4-69: - 437 | ....function - 438 | | Const _ -> None - 439 | | Binop (ArrayLoad vt,_,_) -> - 440 | Some (AdaptedASTGrammar.Expression (AdaptedASTGrammar.ArrayAccess (Some vt))) - 441 | | Binop (_,_,_) -> None - ... - 449 | | Field (_,_,fs) - 450 | | StaticField (_,fs) -> - 451 | Some (AdaptedASTGrammar.Name - 452 | (AdaptedASTGrammar.SimpleName (fs_name fs,Some (fs_type fs)))) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.binop. - - File "birA3.ml", lines 437-452, characters 4-69: - 437 | ....function - 438 | | Const _ -> None - 439 | | Binop (ArrayLoad vt,_,_) -> - 440 | Some (AdaptedASTGrammar.Expression (AdaptedASTGrammar.ArrayAccess (Some vt))) - 441 | | Binop (_,_,_) -> None - ... - 449 | | Field (_,_,fs) - 450 | | StaticField (_,fs) -> - 451 | Some (AdaptedASTGrammar.Name - 452 | (AdaptedASTGrammar.SimpleName (fs_name fs,Some (fs_type fs)))) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Cmn.unop. - - File "birA3.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml - File "jBirPP.ml", lines 56-71, characters 2-15: - 56 | ..match get_opcode pp with - 57 | | JBir.InvokeVirtual (_,_,kind, ms,_) -> - 58 | (match kind with - 59 | JBir.VirtualCall obj -> - 60 | Some (static_lookup_virtual program obj ms) - ... - 68 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 69 | | JBir.InvokeNonVirtual (_, _, cs, ms, _) -> - 70 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 71 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.instr. - - File "jBirPP.ml", lines 90-97, characters 2-32: - 90 | ..match get_opcode pp with - 91 | | JBir.Goto l -> - 92 | [goto_absolute pp l] - 93 | | JBir.Ifd (_,l) -> - 94 | [next_instruction pp; goto_absolute pp l] - 95 | | JBir.Throw _ - 96 | | JBir.Return _ -> [] - 97 | | _ -> [next_instruction pp] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.instr. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml - File "a3BirPP.ml", lines 56-71, characters 2-15: - 56 | ..match get_opcode pp with - 57 | | A3Bir.InvokeVirtual (_,_,kind, ms,_) -> - 58 | (match kind with - 59 | A3Bir.VirtualCall obj -> - 60 | Some (static_lookup_virtual program obj ms) - ... - 68 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 69 | | A3Bir.InvokeNonVirtual (_, _, cs, ms, _) -> - 70 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 71 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type A3Bir.instr. - - File "a3BirPP.ml", lines 92-99, characters 2-32: - 92 | ..match get_opcode pp with - 93 | | A3Bir.Goto l -> - 94 | [goto_absolute pp l] - 95 | | A3Bir.Ifd (_,l) -> - 96 | [next_instruction pp; goto_absolute pp l] - 97 | | A3Bir.Throw _ - 98 | | A3Bir.Return _ -> [] - 99 | | _ -> [next_instruction pp] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type A3Bir.instr. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml - File "dataflow_analyses/live_bir.ml", line 59, characters 65-80: - 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e)) - ^^^^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml - File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81: - 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e)) - ^^^^^^^^^^^^^^^^ - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml - File "jBirSSAPP.ml", line 19, characters 0-17: - 19 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jBirSSAPP.ml", line 21, characters 0-13: - 21 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "jBirSSAPP.ml", lines 56-71, characters 2-15: - 56 | ..match get_opcode pp with - 57 | | JBirSSA.InvokeVirtual (_,_,kind, ms,_) -> - 58 | (match kind with - 59 | JBirSSA.VirtualCall obj -> - 60 | Some (static_lookup_virtual program obj ms) - ... - 68 | | JBirSSA.New(_, cs,argts, _) -> - 69 | let ms = JBasics.make_ms "<init>" argts None in - 70 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 71 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBirSSA.instr. - - File "jBirSSAPP.ml", lines 92-99, characters 2-32: - 92 | ..match get_opcode pp with - 93 | | JBirSSA.Goto l -> - 94 | [goto_absolute pp l] - 95 | | JBirSSA.Ifd (_,l) -> - 96 | [next_instruction pp; goto_absolute pp l] - 97 | | JBirSSA.Throw _ - 98 | | JBirSSA.Return _ -> [] - 99 | | _ -> [next_instruction pp] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBirSSA.instr. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml - File "a3BirSSAPP.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "a3BirSSAPP.ml", line 22, characters 0-13: - 22 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "a3BirSSAPP.ml", lines 57-72, characters 2-15: - 57 | ..match get_opcode pp with - 58 | | A3BirSSA.InvokeVirtual (_,_,kind, ms,_) -> - 59 | (match kind with - 60 | A3BirSSA.VirtualCall obj -> - 61 | Some (static_lookup_virtual program obj ms) - ... - 69 | | A3BirSSA.New(_, cs,argts, _) -> - 70 | let ms = JBasics.make_ms "<init>" argts None in - 71 | Some ([Class (static_lookup_special program (get_class pp) cs ms)]) - 72 | | _ -> None - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type A3BirSSA.instr. - - File "a3BirSSAPP.ml", lines 93-100, characters 2-32: - 93 | ..match get_opcode pp with - 94 | | A3BirSSA.Goto l -> - 95 | [goto_absolute pp l] - 96 | | A3BirSSA.Ifd (_,l) -> - 97 | [next_instruction pp; goto_absolute pp l] - 98 | | A3BirSSA.Throw _ - 99 | | A3BirSSA.Return _ -> [] - 100 | | _ -> [next_instruction pp] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type A3BirSSA.instr. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml - File "safe_domain.ml", line 80, characters 4-32: - Warning 50 [unexpected-docstring]: ambiguous documentation comment - - File "safe_domain.ml", lines 85-86, characters 4-24: - Warning 50 [unexpected-docstring]: ambiguous documentation comment - - File "safe_domain.ml", lines 105-112, characters 20-18: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 157-160, characters 12-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 161-164, characters 14-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 165-168, characters 14-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 170-173, characters 13-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 174-177, characters 15-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 178-181, characters 15-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", lines 183-186, characters 13-14: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", line 225, characters 14-47: - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "safe_domain.ml", line 234, characters 29-37: - Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies - - File "safe_var.ml", line 113, characters 2-19: - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used) - - File "safe_var.ml", line 113, characters 2-19: - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "safe_var.ml", line 115, characters 2-14: - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml - File "reachableMethods.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "reachableMethods.ml", line 24, characters 0-9: - 24 | open Safe - ^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Domain (which is later used) - - File "reachableMethods.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml - File "jType.ml", lines 145-155, characters 6-20: - 145 | ......match (nd1, nd2) with - 146 | | Class c1, Class c2 -> - 147 | extends_class c2 c1 - 148 | | Interface i1, Interface i2 -> - 149 | extends_interface i2 i1 - ... - 152 | | Class _c1, Interface _i2 - 153 | when node_equal (get_node prog java_lang_object) nd1 - 154 | -> true - 155 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JProgram.node. - - File "jType.ml", lines 158-172, characters 4-18: - 158 | ....match t1, t2 with - 159 | | TClass cn1, TClass cn2 -> - 160 | supertype_from_class cn1 cn2 - 161 | | TArray (TObject vt1) , TArray (TObject vt2) -> - 162 | (*if S and T are both reference types, then S[] >1 T[] iff S >1 T .*) - ... - 169 | (cn_equal java_lang_object cn1 || - 170 | cn_equal (make_cn "java.lang.Cloneable") cn1 || - 171 | cn_equal (make_cn "java.io.Serializable") cn1) - 172 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jType.ml", lines 158-172, characters 4-18: - 158 | ....match t1, t2 with - 159 | | TClass cn1, TClass cn2 -> - 160 | supertype_from_class cn1 cn2 - 161 | | TArray (TObject vt1) , TArray (TObject vt2) -> - 162 | (*if S and T are both reference types, then S[] >1 T[] iff S >1 T .*) - ... - 169 | (cn_equal java_lang_object cn1 || - 170 | cn_equal (make_cn "java.lang.Cloneable") cn1 || - 171 | cn_equal (make_cn "java.io.Serializable") cn1) - 172 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "jType.ml", lines 192-242, characters 2-16: - 192 | ..match t1, t2 with - 193 | | TClass cn1, TClass cn2 -> - 194 | let nd1, nd2= (get_node prog cn1), (get_node prog cn2) in - 195 | (match nd2 with - 196 | | Interface inode2 -> - ... - 239 | (cn_equal cn1 java_lang_cloneable) || - 240 | (cn_equal cn1 java_lang_serializable) - 241 | ) -> true - 242 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jType.ml", lines 192-242, characters 2-16: - 192 | ..match t1, t2 with - 193 | | TClass cn1, TClass cn2 -> - 194 | let nd1, nd2= (get_node prog cn1), (get_node prog cn2) in - 195 | (match nd2 with - 196 | | Interface inode2 -> - ... - 239 | (cn_equal cn1 java_lang_cloneable) || - 240 | (cn_equal cn1 java_lang_serializable) - 241 | ) -> true - 242 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "jType.ml", lines 278-305, characters 8-24: - 278 | ........(match t2, t1 with - 279 | | TClass _, _ -> - 280 | let t2_super = - 281 | ClassMap.filteri - 282 | (fun cn _nd -> - ... - 302 | (try supertype_from_direct prog t1 - 303 | (TArray (TBasic (get_primitive_super prim2))) - 304 | with Not_found -> false) - 305 | | _ -> false) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jType.ml", lines 278-305, characters 8-24: - 278 | ........(match t2, t1 with - 279 | | TClass _, _ -> - 280 | let t2_super = - 281 | ClassMap.filteri - 282 | (fun cn _nd -> - ... - 302 | (try supertype_from_direct prog t1 - 303 | (TArray (TBasic (get_primitive_super prim2))) - 304 | with Not_found -> false) - 305 | | _ -> false) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "jType.ml", line 93, characters 42-49: - 93 | let compare = Stdlib.compare - ^^^^^^^ - Warning 32 [unused-value-declaration]: unused value compare. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml - File "nexir.ml", line 301, characters 6-18: - 301 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])] - ^^^^^^^^^^^^ - Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation, - it will not compile with OCaml 4.00 or earlier. - - File "nexir.ml", line 302, characters 6-17: - 302 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])] - ^^^^^^^^^^^ - Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation, - it will not compile with OCaml 4.00 or earlier. - - File "nexir.ml", line 274, characters 31-34: - 274 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])] - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr - The first one was selected. Please disambiguate if this is wrong. - - File "nexir.ml", lines 321-325, characters 5-8: - 321 | .....begin - 322 | match ot with - 323 | | TClass cn -> CallVirtual (make_cms cn ms) - 324 | | _ -> assert(false) - 325 | end - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "nexir.ml", line 461, characters 28-31: - 461 | Ptmap.add start_pc [Nop, 0] - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr - The first one was selected. Please disambiguate if this is wrong. - - File "nexir.ml", line 529, characters 4-20: - 529 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e) - ^^^^^^^^^^^^^^^^ - Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check - The first one was selected. Please disambiguate if this is wrong. - - File "nexir.ml", line 17, characters 0-38: - 17 | exception IncompatibleClassChangeError - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError - - File "nexir.ml", line 143, characters 4-18: - 143 | let clear_fresh_pc _ = fresh_pc := -1 - ^^^^^^^^^^^^^^ - Warning 32 [unused-value-declaration]: unused value clear_fresh_pc. - - File "nexir.ml", line 534, characters 17-18: - 534 | | CheckCast (e,t) -> - ^ - Warning 27 [unused-var-strict]: unused variable t. - - File "nexir.ml", line 560, characters 17-18: - 560 | let (t, v ) = tv in - ^ - Warning 27 [unused-var-strict]: unused variable t. - - File "nexir.ml", line 587, characters 13-21: - 587 | | CheckLink(opcode) -> "CheckLink(??)" - ^^^^^^^^ - Warning 27 [unused-var-strict]: unused variable opcode. - - File "nexir.ml", line 612, characters 35-36: - 612 | | VirtualCall (exc_var, ret_var, v, vmc, args) -> - ^ - Warning 27 [unused-var-strict]: unused variable v. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used) - - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used) - - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used) - - File "heap_parser/parse_heap.mly", line 24, characters 0-15: - Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml - File "heap_parser/lex_heap.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml - File "jCRA.ml", line 22, characters 0-17: - 22 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used) - - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used) - - File "jCRA.ml", lines 130-136, characters 4-16: - 130 | ....(function - 131 | | ConstMethod (TClass cn,_) - 132 | | ConstInterfaceMethod (cn,_) - 133 | | ConstField (cn,_) - 134 | | ConstClass (TClass cn) -> - 135 | if not (ClassMap.mem cn classmap) then to_add := cn::!to_add - 136 | | _ -> ())....................... - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.constant. - - File "jCRA.ml", lines 130-136, characters 4-16: - 130 | ....(function - 131 | | ConstMethod (TClass cn,_) - 132 | | ConstInterfaceMethod (cn,_) - 133 | | ConstField (cn,_) - 134 | | ConstClass (TClass cn) -> - 135 | if not (ClassMap.mem cn classmap) then to_add := cn::!to_add - 136 | | _ -> ())....................... - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - - File "jCRA.ml", lines 285-339, characters 9-10: - 285 | .........(match opcode with - 286 | | OpInvoke (`Interface ccs, cms) -> - 287 | let cc = - 288 | let ioc = - 289 | (ClassMap.find ccs classes_map) in - ... - 336 | static_special_lookup special_lookup_map - 337 | current_class cc cms - 338 | | _ -> raise Not_found - 339 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jCRA.ml", lines 285-339, characters 9-10: - 285 | .........(match opcode with - 286 | | OpInvoke (`Interface ccs, cms) -> - 287 | let cc = - 288 | let ioc = - 289 | (ClassMap.find ccs classes_map) in - ... - 336 | static_special_lookup special_lookup_map - 337 | current_class cc cms - 338 | | _ -> raise Not_found - 339 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jCRA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml - File "jRTA.ml", line 21, characters 0-17: - 21 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jRTA.ml", line 109, characters 21-28: - 109 | (ClassMap.find cs p.classes,fields_of_nodes) - ^^^^^^^ - Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program - The first one was selected. Please disambiguate if this is wrong. - - File "jRTA.ml", line 229, characters 20-27: - 229 | ClassMap.find cs p.classes - ^^^^^^^ - Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program - The first one was selected. Please disambiguate if this is wrong. - - File "jRTA.ml", line 267, characters 3-34: - 267 | | { c_method = AbstractMethod _ } -> - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - has_been_parsed - Either bind these labels explicitly or add '; _' to the pattern. - - File "jRTA.ml", line 269, characters 3-35: - 269 | | { c_method = ConcreteMethod cm } -> - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern: - has_been_parsed - Either bind these labels explicitly or add '; _' to the pattern. - - File "jRTA.ml", lines 446-504, characters 4-15: - 446 | ....match op with - 447 | | OpNew cs -> - 448 | add_instantiated_class p cs; - 449 | add_class_clinits p cs - 450 | | OpConst (`Class o) -> - ... - 501 | | OpCheckCast o - 502 | | OpInstanceOf o -> - 503 | load_value_type_class p (TObject o) - 504 | | _ -> () - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jRTA.ml", lines 446-504, characters 4-15: - 446 | ....match op with - 447 | | OpNew cs -> - 448 | add_instantiated_class p cs; - 449 | add_class_clinits p cs - 450 | | OpConst (`Class o) -> - ... - 501 | | OpCheckCast o - 502 | | OpInstanceOf o -> - 503 | load_value_type_class p (TObject o) - 504 | | _ -> () - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jRTA.ml", lines 692-707, characters 9-10: - 692 | .........(match opcode with - 693 | | OpInvoke (`Interface ccs,cms) -> - 694 | static_interface_lookup virtual_lookup_map - 695 | interfaces_map ccs cms - 696 | | OpInvoke (`Virtual (TClass ccs),cms) -> - ... - 704 | | OpInvoke (`Special (_,ccs),cms) -> - 705 | static_special_lookup special_lookup_map cs ccs cms - 706 | | _ -> raise Not_found - 707 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jRTA.ml", lines 692-707, characters 9-10: - 692 | .........(match opcode with - 693 | | OpInvoke (`Interface ccs,cms) -> - 694 | static_interface_lookup virtual_lookup_map - 695 | interfaces_map ccs cms - 696 | | OpInvoke (`Virtual (TClass ccs),cms) -> - ... - 704 | | OpInvoke (`Special (_,ccs),cms) -> - 705 | static_special_lookup special_lookup_map cs ccs cms - 706 | | _ -> raise Not_found - 707 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml - File "jRRTA.ml", line 22, characters 0-17: - 22 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "jRRTA.ml", line 26, characters 0-13: - 26 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - - File "jRRTA.ml", lines 337-428, characters 8-12: - 337 | ........match op with - 338 | | OpNew cs -> - 339 | let c = - 340 | let ioc = - 341 | ClassMap.find cs pvta.p.classes in - ... - 425 | | Class _ -> failwith "Impossible InvokeInterface." - 426 | ) in - 427 | parse_invoke_interface pvta m ci cms - 428 | | _ -> () - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jRRTA.ml", lines 337-428, characters 8-12: - 337 | ........match op with - 338 | | OpNew cs -> - 339 | let c = - 340 | let ioc = - 341 | ClassMap.find cs pvta.p.classes in - ... - 425 | | Class _ -> failwith "Impossible InvokeInterface." - 426 | ) in - 427 | parse_invoke_interface pvta m ci cms - 428 | | _ -> () - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jRRTA.ml", lines 460-492, characters 2-3: - 460 | ..(match opcode with - 461 | | OpInvoke (`Interface ccs,cms) -> - 462 | let cms = make_cms cs ms - 463 | and ccms = make_cms ccs cms in - 464 | let cmmap = ClassMethodMap.find cms interface_lookup_map in - ... - 489 | ClassMethodSet.add cm.cm_class_method_signature - 490 | ClassMethodSet.empty - 491 | | _ -> raise Not_found - 492 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "jRRTA.ml", lines 460-492, characters 2-3: - 460 | ..(match opcode with - 461 | | OpInvoke (`Interface ccs,cms) -> - 462 | let cms = make_cms cs ms - 463 | and ccms = make_cms ccs cms in - 464 | let cmmap = ClassMethodMap.find cms interface_lookup_map in - ... - 489 | ClassMethodSet.add cm.cm_class_method_signature - 490 | ClassMethodSet.empty - 491 | | _ -> raise Not_found - 492 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "jRRTA.ml", line 25, characters 0-12: - 25 | open Javalib - ^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml - File "XTA.ml", lines 63-66, characters 2-74: - 63 | ..(** [get_relevant_operations program m] returns the sets of instance - 64 | fields that are read, instance field that are written, static - 65 | fields that are read, static fields that are written, classes - 66 | that are instantiated and handled exceptions types in that order. *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - - File "XTA.ml", lines 160-161, characters 2-38: - 160 | ..(** returns a set with all the classes that extends (or implements) the class or - 161 | interface given as parameter. *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - - File "XTA.ml", lines 288-295, characters 4-23: - 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value - 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list] - 290 | have been removed. Partial applications with a program and a type_list - 291 | are encourage as it should speed up the computation. - 292 | - 293 | As an optimization, [refine_with_type program type_list] may return - 294 | [None] to encode a function that would otherwise always returns - 295 | [XTADom.bot] *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - - File "XTA.ml", lines 740-745, characters 2-46: - 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of - 741 | methods that may be called for a call to [invoke] from [(cn,ms)] - 742 | with the [classmap] as [program.classes]. Note: partial - 743 | applications with the state and the classmap are greatly - 744 | encourage, as partial application with the caller ([cn] and - 745 | [ms]) has it speed up the resolution. *) - Warning 50 [unexpected-docstring]: unattached documentation comment (ignored) - - File "XTA.ml", line 20, characters 0-17: - 20 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - - File "XTA.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_field (which is later used) - - File "XTA.ml", lines 120-151, characters 14-15: - 120 | ..............(function - 121 | | JCode.OpGetStatic (cn,fs) when fs_of_object_type fs -> - 122 | static_fields_read := - 123 | resolve_cfs !static_fields_read cn fs - 124 | | JCode.OpPutStatic (cn,fs) when fs_of_object_type fs -> - ... - 148 | | JCode.OpArrayLoad (`Object) -> array_load:=true - 149 | | JCode.OpArrayStore (`Object) -> array_store:=true - 150 | | _ -> () - 151 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "XTA.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used) - - File "XTA.ml", line 24, characters 0-9: - 24 | open Safe - ^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Domain (which is later used) - - File "XTA.ml", line 23, characters 0-13: - 23 | open JProgram - ^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used) - - File "XTA.ml", lines 494-499, characters 8-46: - 494 | ........match ms_rtype ms with - 495 | | None - 496 | | Some (TBasic _) - 497 | -> None - 498 | | Some rtype -> - 499 | refine_with_type program [rtype] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type. - - File "XTA.ml", lines 790-837, characters 8-9: - 790 | ........(match opcode with - 791 | | JCode.OpInvoke (`Virtual (TClass callee_cn),callee_ms) -> - 792 | let callee = match ClassMap.find callee_cn classes with - 793 | | Class c -> c - 794 | | Interface _ -> raise IncompatibleClassChangeError - ... - 834 | in - 835 | ClassMethodSet.singleton cm.cm_class_method_signature - 836 | | _ -> raise Not_found - 837 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode. - - File "XTA.ml", lines 790-837, characters 8-9: - 790 | ........(match opcode with - 791 | | JCode.OpInvoke (`Virtual (TClass callee_cn),callee_ms) -> - 792 | let callee = match ClassMap.find callee_cn classes with - 793 | | Class c -> c - 794 | | Interface _ -> raise IncompatibleClassChangeError - ... - 834 | in - 835 | ClassMethodSet.singleton cm.cm_class_method_signature - 836 | | _ -> raise Not_found - 837 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type. - - File "XTA.ml", line 280, characters 13-15: - 280 | let module ED = Domain.Empty in - ^^ - Warning 60 [unused-module]: unused module ED. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml - File "jCFADom.ml", lines 95-98, characters 4-18: - 95 | ....match t with - 96 | | Primitive -> true - 97 | | Top -> raise Safe.Domain.DebugDom - 98 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 103-105, characters 4-18: - 103 | ....match set with - 104 | | Bot -> true - 105 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 108-110, characters 4-18: - 108 | ....match set with - 109 | | Top -> true - 110 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 113-116, characters 4-18: - 113 | ....match set with - 114 | | Set s -> SiteSet.is_empty s - 115 | | Top -> raise Safe.Domain.DebugDom - 116 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 121-126, characters 4-18: - 121 | ....match set1, set2 with - 122 | | Bot, Bot -> true - 123 | | Primitive, Primitive -> true - 124 | | Set s1, Set s2 -> SiteSet.equal s1 s2 - 125 | | Top, Top -> true - 126 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 129-134, characters 4-39: - 129 | ....match set1, set2 with - 130 | | Bot,_ | _, Bot -> Bot - 131 | | Primitive, Primitive -> Primitive - 132 | | Set s1, Set s2 -> Set (SiteSet.inter s1 s2) - 133 | | Top, x | x, Top -> x - 134 | | _ -> raise Safe.Domain.DebugDom.................................................... - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 159-171, characters 4-12: - 159 | ....match set1, set2 with - 160 | | _, Bot -> set1 - 161 | | Top, _ -> Top - 162 | | Bot, _ -> modifies:=true; set2 - 163 | | _, Top -> modifies:=true; Top - ... - 168 | then set1 - 169 | else (modifies:=true; Set union) - 170 | | _ -> - 171 | Top. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 253-255, characters 4-18: - 253 | ....match set with - 254 | | Bot -> true - 255 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 258-260, characters 4-18: - 258 | ....match set with - 259 | | Set objm -> SiteMap.is_empty objm - 260 | | _ -> false - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", line 431, characters 16-55: - 431 | let isBot t = match t with | Bot -> true | _ -> false - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type t. - - File "jCFADom.ml", lines 446-453, characters 12-47: - 446 | ............match (JProgram.get_method node ms) with - 447 | | ConcreteMethod cm -> - 448 | (match cm.cm_implementation with - 449 | | Native -> raise Safe.Domain.DebugDom - 450 | | Java laz -> - 451 | let a3bir = (Lazy.force laz) in - 452 | JBir.params a3bir) - 453 | | _ -> raise Safe.Domain.DebugDom - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.jmethod. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml - File "jCFAPrinter.ml", line 21, characters 0-17: - 21 | open Javalib_pack - ^^^^^^^^^^^^^^^^^ - Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used) - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml - File "jCFA.ml", lines 172-178, characters 6-17: - 172 | ......match e with - 173 | | Const `String str -> add_constraint prog pp str - 174 | | Binop (_ , e_obj, e_idx) -> - 175 | (handle_string' e_obj) @ (handle_string' e_idx) - 176 | | Field (e, _, _) - 177 | | Unop (_ , e ) -> (handle_string' e ) - 178 | | _ -> [] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.expr. - - File "jCFA.ml", lines 180-206, characters 6-17: - 180 | ......match opcode with - 181 | | AffectVar (_, e) - 182 | | Throw e - 183 | | AffectStaticField (_ , _ , e) - 184 | | MonitorEnter e - ... - 203 | | InvokeNonVirtual (_ , e1, _ , _ , lst_e) -> - 204 | List.fold_left (fun lst e -> (handle_string' e)@lst) - 205 | (handle_string' e1) lst_e - 206 | | _ -> [] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.instr. - - File "jCFA.ml", lines 282-308, characters 6-30: - 282 | ......match e with - 283 | | Const `ANull -> AbVar.empty - 284 | | Const `String str -> - 285 | let java_lang_string = make_cn "java.lang.String" in - 286 | AbVar.singleton [LiteralStr.pp_from_string prog (jstr_pp str);] - ... - 305 | let f_var = `Field ((),cn,fs) in - 306 | let abf = CFAState.get_field abSt f_var in - 307 | AbField.fSet2var abf (set_from_expr' e ) - 308 | | _ -> AbVar.primitive - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.expr. - - File "jCFA.ml", lines 282-308, characters 6-30: - 282 | ......match e with - 283 | | Const `ANull -> AbVar.empty - 284 | | Const `String str -> - 285 | let java_lang_string = make_cn "java.lang.String" in - 286 | AbVar.singleton [LiteralStr.pp_from_string prog (jstr_pp str);] - ... - 305 | let f_var = `Field ((),cn,fs) in - 306 | let abf = CFAState.get_field abSt f_var in - 307 | AbField.fSet2var abf (set_from_expr' e ) - 308 | | _ -> AbVar.primitive - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.unop. - - File "jCFA.ml", lines 282-308, characters 6-30: - 282 | ......match e with - 283 | | Const `ANull -> AbVar.empty - 284 | | Const `String str -> - 285 | let java_lang_string = make_cn "java.lang.String" in - 286 | AbVar.singleton [LiteralStr.pp_from_string prog (jstr_pp str);] - ... - 305 | let f_var = `Field ((),cn,fs) in - 306 | let abf = CFAState.get_field abSt f_var in - 307 | AbField.fSet2var abf (set_from_expr' e ) - 308 | | _ -> AbVar.primitive - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.binop. - - File "jCFA.ml", lines 320-327, characters 4-15: - 320 | ....match expr with - 321 | | Unop (Cast _,expr) -> expr_dep' expr (*TODO: Maybe we can reduce dep, taking cast type into account*) - 322 | | Binop (ArrayLoad _,e1,_e2) -> (expr_dep' e1) - 323 | | Field (exprv, cn, fs) -> - 324 | (field_dep cn fs) @ (expr_dep' exprv) - 325 | | StaticField (cn, fs) -> - 326 | (field_dep cn fs) - 327 | | _ -> [] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.expr. - - File "jCFA.ml", lines 320-327, characters 4-15: - 320 | ....match expr with - 321 | | Unop (Cast _,expr) -> expr_dep' expr (*TODO: Maybe we can reduce dep, taking cast type into account*) - 322 | | Binop (ArrayLoad _,e1,_e2) -> (expr_dep' e1) - 323 | | Field (exprv, cn, fs) -> - 324 | (field_dep cn fs) @ (expr_dep' exprv) - 325 | | StaticField (cn, fs) -> - 326 | (field_dep cn fs) - 327 | | _ -> [] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.unop. - - File "jCFA.ml", lines 320-327, characters 4-15: - 320 | ....match expr with - 321 | | Unop (Cast _,expr) -> expr_dep' expr (*TODO: Maybe we can reduce dep, taking cast type into account*) - 322 | | Binop (ArrayLoad _,e1,_e2) -> (expr_dep' e1) - 323 | | Field (exprv, cn, fs) -> - 324 | (field_dep cn fs) @ (expr_dep' exprv) - 325 | | StaticField (cn, fs) -> - 326 | (field_dep cn fs) - 327 | | _ -> [] - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.binop. - - File "jCFA.ml", lines 1152-1188, characters 26-27: - 1152 | ..........................(match (JBir.code (Lazy.force bir_code)).(pc) with - 1153 | | InvokeStatic (_ret ,called_cn, called_ms,_args) -> - 1154 | let callee = - 1155 | match ClassMap.find called_cn classes with - 1156 | | Class c -> c - ... - 1185 | ClassMethodSet.singleton - 1186 | cm.cm_class_method_signature - 1187 | | _ -> raise Not_found - 1188 | ) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.instr. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml - File "dataflow_analyses/reachDef.ml", lines 150-160, characters 2-5: - 150 | ..match tf with - 151 | | Init -> begin - 152 | match args with - 153 | | [] -> init - 154 | | _ -> failwith "this transfert function expects 0 argument only" - ... - 157 | match args with - 158 | | [arg] -> eval_transfer_arity1 tf arg - 159 | | _ -> failwith "this transfert function expects 1 arguments only" - 160 | end - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type transfer. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml - File "dataflow_analyses/availableExpr.ml", lines 23-30, characters 28-22: - 23 | ............................function - 24 | | JBir.Field _ - 25 | | JBir.StaticField _ - 26 | | JBir.Binop (JBir.ArrayLoad _,_,_) -> false - 27 | | JBir.Binop (_,e1,e2) -> is_available_expr e1 && is_available_expr e2 - 28 | | JBir.Unop (_,e) -> is_available_expr e - 29 | | JBir.Const _ - 30 | | JBir.Var _ -> true - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.binop. - - File "dataflow_analyses/availableExpr.ml", lines 33-40, characters 15-52: - 33 | ...............function - 34 | | JBir.Field _ - 35 | | JBir.StaticField _ - 36 | | JBir.Binop (JBir.ArrayLoad _,_,_) -> assert false - 37 | | JBir.Binop (_,e1,e2) -> Ptset.union (vars e1) (vars e2) - 38 | | JBir.Unop (_,e) -> vars e - 39 | | JBir.Const _ -> Ptset.empty - 40 | | JBir.Var (_,x) -> Ptset.singleton (JBir.index x) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.binop. - - File "dataflow_analyses/availableExpr.ml", lines 55-58, characters 2-12: - 55 | ..match ins with - 56 | | JBir.AffectVar (x,e) -> - 57 | if is_available_expr e then add (x,e) s else s - 58 | | _ -> s. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBir.instr. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml - File "dataflow_analyses/availableExprSSA.ml", lines 25-32, characters 28-17: - 25 | ............................function - 26 | | Field _ - 27 | | StaticField _ - 28 | | Binop (ArrayLoad _,_,_) -> false - 29 | | Binop (_,e1,e2) -> is_available_expr e1 && is_available_expr e2 - 30 | | Unop (_,e) -> is_available_expr e - 31 | | Const _ - 32 | | Var _ -> true - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBirSSA.binop. - - File "dataflow_analyses/availableExprSSA.ml", lines 35-42, characters 15-50: - 35 | ...............function - 36 | | Field _ - 37 | | StaticField _ - 38 | | Binop (ArrayLoad _,_,_) -> Ptset.empty - 39 | | Binop (_,e1,e2) -> Ptset.union (vars e1) (vars e2) - 40 | | Unop (_,e) -> vars e - 41 | | Const _ -> Ptset.empty - 42 | | Var (_,x) -> Ptset.singleton (JBirSSA.index x) - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBirSSA.binop. - - File "dataflow_analyses/availableExprSSA.ml", lines 57-60, characters 2-12: - 57 | ..match ins with - 58 | | AffectVar (_x,e) -> - 59 | if is_available_expr e then add e s else s - 60 | | _ -> s. - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBirSSA.instr. - - File "dataflow_analyses/availableExprSSA.ml", lines 97-107, characters 22-14: - 97 | ......................function - 98 | | AffectVar (x,e) -> - 99 | let tf = if is_available_expr e then Assign e else Nop in - 100 | (* link affected variable to entrypoint (0) *) - 101 | (0,tf,index x)::csts - ... - 104 | | InvokeVirtual (Some x,_,_,_,_) - 105 | | InvokeNonVirtual (Some x,_,_,_,_) - 106 | | InvokeStatic (Some x,_,_,_) -> (0,Nop,index x)::csts - 107 | | _ -> csts - Warning 4 [fragile-match]: this pattern-matching is fragile. - It will remain exhaustive when constructors are added to type JBirSSA.instr. - - File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19: - 116 | (index v,Nop,i0)::l) - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr - The first one was selected. Please disambiguate if this is wrong. - - File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8: - 135 | (0,Nop,index v)::l) - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr - The first one was selected. Please disambiguate if this is wrong. - - File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32: - 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var)) - ^^^ - Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr - The first one was selected. Please disambiguate if this is wrong. - - File "dataflow_analyses/availableExprSSA.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -pack jUtil.cmo iter.cmo iter2.cmo wlist.cmo jProgram.cmo classDomain.cmo jsrInline.cmo jControlFlow.cmo jPrintUtil.cmo jPrintHtml.cmo jPrintPlugin.cmo argPlugin.cmo jCodePP.cmo cmn.cmo bir.cmo birA3.cmo jBir.cmo jBirPP.cmo a3Bir.cmo a3BirPP.cmo dataflow_analyses/live_bir.cmo dataflow_analyses/live_a3bir.cmo jBirSSA.cmo jBirSSAPP.cmo a3BirSSA.cmo a3BirSSAPP.cmo safe.cmo reachableMethods.cmo jNativeStubs.cmo jType.cmo nexir.cmo heap_parser//parserType.cmo heap_parser//parse_heap.cmo heap_parser/lex_heap.cmo heap_parser/heapParser.cmo jCRA.cmo jRTA.cmo jRTAWithHeap.cmo jRRTA.cmo XTA.cmo jCFAOptions.cmo jCFADom.cmo jCFAPrinter.cmo jCFA.cmo dataflow_analyses/reachDef.cmo dataflow_analyses/availableExpr.cmo dataflow_analyses/availableExprSSA.cmo -o sawja_pack.cmo - /home/opam/.opam/5.1/bin/ocamlfind ocamlc -g -w +A+e+r -annot -a -o sawja.cma sawja_pack.cmo - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_bir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_a3bir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parse_heap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/lex_heap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -pack jUtil.cmx iter.cmx iter2.cmx wlist.cmx jProgram.cmx classDomain.cmx jsrInline.cmx jControlFlow.cmx jPrintUtil.cmx jPrintHtml.cmx jPrintPlugin.cmx argPlugin.cmx jCodePP.cmx cmn.cmx bir.cmx birA3.cmx jBir.cmx jBirPP.cmx a3Bir.cmx a3BirPP.cmx dataflow_analyses/live_bir.cmx dataflow_analyses/live_a3bir.cmx jBirSSA.cmx jBirSSAPP.cmx a3BirSSA.cmx a3BirSSAPP.cmx safe.cmx reachableMethods.cmx jNativeStubs.cmx jType.cmx nexir.cmx heap_parser//parserType.cmx heap_parser//parse_heap.cmx heap_parser/lex_heap.cmx heap_parser/heapParser.cmx jCRA.cmx jRTA.cmx jRTAWithHeap.cmx jRRTA.cmx XTA.cmx jCFAOptions.cmx jCFADom.cmx jCFAPrinter.cmx jCFA.cmx dataflow_analyses/reachDef.cmx dataflow_analyses/availableExpr.cmx dataflow_analyses/availableExprSSA.cmx -o sawja_pack.cmx - /home/opam/.opam/5.1/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/src' -> compiled sawja.1.5.12 Processing 24/24: [sawja: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12) - /usr/bin/make -C src install - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/src' - if [ "no" = "yes" ]; then \ - sed 's/requires = "javalib"/requires = "javalib,buddy"/' META.source > META ; \ - else \ - sed 's/requires = "javalib"/requires = "javalib"/' META.source > META ; \ - fi - /home/opam/.opam/5.1/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli sawja_pack.cmi sawja_pack.cmo sawja_pack.cmx sawja_pack.o bir.cmi sawja.a - Installed /home/opam/.opam/5.1/lib/sawja/sawja.a - Installed /home/opam/.opam/5.1/lib/sawja/bir.cmi - Installed /home/opam/.opam/5.1/lib/sawja/sawja_pack.o - Installed /home/opam/.opam/5.1/lib/sawja/sawja_pack.cmx - Installed /home/opam/.opam/5.1/lib/sawja/sawja_pack.cmo - Installed /home/opam/.opam/5.1/lib/sawja/sawja_pack.cmi - Installed /home/opam/.opam/5.1/lib/sawja/availableExpr.mli - Installed /home/opam/.opam/5.1/lib/sawja/reachDef.mli - Installed /home/opam/.opam/5.1/lib/sawja/jCFA.mli - Installed /home/opam/.opam/5.1/lib/sawja/jCFAPrinter.mli - Installed /home/opam/.opam/5.1/lib/sawja/jCFADom.mli - Installed /home/opam/.opam/5.1/lib/sawja/jCFAOptions.mli - Installed /home/opam/.opam/5.1/lib/sawja/jRRTA.mli - Installed /home/opam/.opam/5.1/lib/sawja/jRTAWithHeap.mli - Installed /home/opam/.opam/5.1/lib/sawja/jRTA.mli - Installed /home/opam/.opam/5.1/lib/sawja/XTA.mli - Installed /home/opam/.opam/5.1/lib/sawja/jCRA.mli - Installed /home/opam/.opam/5.1/lib/sawja/heapParser.mli - Installed /home/opam/.opam/5.1/lib/sawja/parse_heap.mli - Installed /home/opam/.opam/5.1/lib/sawja/parserType.mli - Installed /home/opam/.opam/5.1/lib/sawja/nexir.mli - Installed /home/opam/.opam/5.1/lib/sawja/jType.mli - Installed /home/opam/.opam/5.1/lib/sawja/jUtil.mli - Installed /home/opam/.opam/5.1/lib/sawja/reachableMethods.mli - Installed /home/opam/.opam/5.1/lib/sawja/safe.mli - Installed /home/opam/.opam/5.1/lib/sawja/live_a3bir.mli - Installed /home/opam/.opam/5.1/lib/sawja/live_bir.mli - Installed /home/opam/.opam/5.1/lib/sawja/a3BirSSAPP.mli - Installed /home/opam/.opam/5.1/lib/sawja/a3BirSSA.mli - Installed /home/opam/.opam/5.1/lib/sawja/jBirSSAPP.mli - Installed /home/opam/.opam/5.1/lib/sawja/jBirSSA.mli - Installed /home/opam/.opam/5.1/lib/sawja/a3BirPP.mli - Installed /home/opam/.opam/5.1/lib/sawja/a3Bir.mli - Installed /home/opam/.opam/5.1/lib/sawja/jBirPP.mli - Installed /home/opam/.opam/5.1/lib/sawja/jBir.mli - Installed /home/opam/.opam/5.1/lib/sawja/jCodePP.mli - Installed /home/opam/.opam/5.1/lib/sawja/argPlugin.mli - Installed /home/opam/.opam/5.1/lib/sawja/jPrintPlugin.mli - Installed /home/opam/.opam/5.1/lib/sawja/jPrintHtml.mli - Installed /home/opam/.opam/5.1/lib/sawja/jPrintUtil.mli - Installed /home/opam/.opam/5.1/lib/sawja/jControlFlow.mli - Installed /home/opam/.opam/5.1/lib/sawja/jsrInline.mli - Installed /home/opam/.opam/5.1/lib/sawja/jNativeStubs.mli - Installed /home/opam/.opam/5.1/lib/sawja/classDomain.mli - Installed /home/opam/.opam/5.1/lib/sawja/jProgram.mli - Installed /home/opam/.opam/5.1/lib/sawja/wlist.mli - Installed /home/opam/.opam/5.1/lib/sawja/iter2.mli - Installed /home/opam/.opam/5.1/lib/sawja/iter.mli - Installed /home/opam/.opam/5.1/lib/sawja/sawja.cmxa - Installed /home/opam/.opam/5.1/lib/sawja/sawja.cma - Installed /home/opam/.opam/5.1/lib/sawja/META - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12/src' -> installed sawja.1.5.12 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 15:38.43 ---> saved as "3cf9fde3977400c1d103479eda197b8ccc5e33de895ce901008a8cbfb2065375" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u sawja:2a6035a03af2244d82b10ca4f26cea4b,javalib:a79ab738dca0d91aa6b333e8b05ab7c2")) 2024-01-29 15:38.45 ---> saved as "a3ffa9a43701753c1087e85c91494e65d5006cb17109d01fc5f4c5daa9b98b43" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.637867') && (for DATA in prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2,javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2,javalib.3.2.2 prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12,sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b,sawja.1.5.12; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2,javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2,javalib.3.2.2 prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12,sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b,sawja.1.5.12; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2,javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2,javalib.3.2.2 prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12,sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b,sawja.1.5.12; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.637867 prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/lib/ prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/lib/javalib/ prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/lib/javalib/javalib.ocamlobjinfo prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/lib/javalib/META prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/lib/javalib/javalib.cmi prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/lib/javalib/javalib_pack.cmi prep/universes/a79ab738dca0d91aa6b333e8b05ab7c2/javalib/3.2.2/opam prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/lib/ prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/lib/sawja/ prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/lib/sawja/sawja.ocamlobjinfo prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/lib/sawja/META prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/lib/sawja/bir.cmi prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/lib/sawja/sawja_pack.cmi prep/universes/2a6035a03af2244d82b10ca4f26cea4b/sawja/1.5.12/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2:d8dffe3ed0f819c9673ec815bacb6c337934118e55eabbc5c45df5bbf63f22ab HASHES:sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b:b354d04a3d3d0602d2ef75e175c1690291cb9204847e7143c4f210300eb97389 2024-01-29 15:38.47 ---> saved as "5320ff7b565bd183ba0bb2f0ddfeba3a1e33e8d8479f53d6c88050fd82ac1c34" Job succeeded 2024-01-29 15:44.14: sawja.1.5.12-2a6035a03af2244d82b10ca4f26cea4b -> b354d04a3d3d0602d2ef75e175c1690291cb9204847e7143c4f210300eb97389 2024-01-29 15:44.14: javalib.3.2.2-a79ab738dca0d91aa6b333e8b05ab7c2 -> d8dffe3ed0f819c9673ec815bacb6c337934118e55eabbc5c45df5bbf63f22ab 2024-01-29 15:44.14: Job succeeded