Build:
  1. 0
2024-02-11 20:23.54: New job: test sawja.1.5.12 with conf-pkg-config.1.1, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/25235/head (8c7391d6ec81e93f24de221eb32a886b72d1ede6)
                              on debian-12-ocaml-5.1/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25235/head" && git reset --hard 8c7391d6
git fetch origin master
git merge --no-edit 8477e9a74beb40d85534ab7653b65d45607a147f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam pin add -k version -yn conf-pkg-config.1.1 1.1
RUN opam reinstall conf-pkg-config.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'conf-pkg-config.1.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam reinstall sawja.1.5.12; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'sawja.1.5.12' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN (opam reinstall --with-test sawja.1.5.12) || true
RUN opam reinstall --with-test --verbose sawja.1.5.12; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'sawja.1.5.12' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2024-02-11 20:23.54: Using cache hint "ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930-conf-pkg-config.1.1-sawja.1.5.12-8c7391d6ec81e93f24de221eb32a886b72d1ede6"
2024-02-11 20:23.54: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall conf-pkg-config.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall sawja.1.5.12;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'sawja.1.5.12' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (network host)
      (shell "(opam reinstall --with-test sawja.1.5.12) || true"))
 (run (shell  "opam reinstall --with-test --verbose sawja.1.5.12;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'sawja.1.5.12' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2024-02-11 20:23.54: Waiting for resource in pool OCluster
2024-02-12 20:08.17: Waiting for worker…
2024-02-12 20:09.55: Got resource from pool OCluster
Building on x86-bm-c6.sw.ocaml.org
All commits already cached
Updating files:  73% (24236/32918)
Updating files:  74% (24360/32918)
Updating files:  75% (24689/32918)
Updating files:  76% (25018/32918)
Updating files:  77% (25347/32918)
Updating files:  78% (25677/32918)
Updating files:  79% (26006/32918)
Updating files:  80% (26335/32918)
Updating files:  81% (26664/32918)
Updating files:  82% (26993/32918)
Updating files:  83% (27322/32918)
Updating files:  84% (27652/32918)
Updating files:  85% (27981/32918)
Updating files:  86% (28310/32918)
Updating files:  87% (28639/32918)
Updating files:  88% (28968/32918)
Updating files:  89% (29298/32918)
Updating files:  90% (29627/32918)
Updating files:  91% (29956/32918)
Updating files:  92% (30285/32918)
Updating files:  93% (30614/32918)
Updating files:  94% (30943/32918)
Updating files:  95% (31273/32918)
Updating files:  96% (31602/32918)
Updating files:  97% (31931/32918)
Updating files:  98% (32260/32918)
Updating files:  99% (32589/32918)
Updating files: 100% (32918/32918)
Updating files: 100% (32918/32918), done.
HEAD is now at 8477e9a74b Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Updating 8477e9a74b..8c7391d6ec
Fast-forward
 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +-
 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.2/opam   | 1 +
 packages/conf-pkg-config/conf-pkg-config.3/opam   | 4 +++-
 6 files changed, 8 insertions(+), 2 deletions(-)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930' locally
docker.io/ocaml/opam@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930: Pulling from ocaml/opam
329d23e8d848: Pulling fs layer
329d23e8d848: Verifying Checksum
329d23e8d848: Download complete
329d23e8d848: Pull complete
Digest: sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
Status: Downloaded newer image for ocaml/opam@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
2024-02-12 20:09.58 ---> using "4df7ce52b8e0afe130cbfff7d9b001e43cae58bd8e8710cd073ce7c11b1c6ac8" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-02-12 20:09.58 ---> using "2ee14a5dbb7aa54ab1dfa5adba4422c5a5483941525d4174e8eeed0c4c5e97aa" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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 development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2~alpha, which can't be reverted.
You may want to back it up before going further.

Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-02-12 20:09.58 ---> using "d58131e4d084860f74dbebecfc9a35ebb7fbb42cf58093b5ac6cf0adf11ed898" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2024-02-12 20:09.58 ---> using "e76676ee91f5598b65d18de047738848e5af056a75e3436903dc82ff5702c5a6" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2024-02-12 20:09.59 ---> using "00dcf922e87fec2f8ccdd0b44355d41faed143c596db4bfe8812d0e9c5f33f02" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-02-12 20:09.59 ---> using "d6c8604b98b9d01914259989eafdfad7780b6c9f761a469dfe3162a56ba73510" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- 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 bookworm/main amd64 Packages [8786 kB]
- Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [137 kB]
- Fetched 9175 kB in 2s (5673 kB/s)
- Reading package lists...
- 
2024-02-12 20:09.59 ---> using "6245d7929b862e6b37f451133c05d21883283d0248743f67197f2e424fe52d69" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
conf-pkg-config is now pinned to version 1.1
2024-02-12 20:09.59 ---> using "efd69474de39398f08b803f28b1c0635d272139b0c33f4b0a322013c52989663" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall conf-pkg-config.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
conf-pkg-config.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
  - install conf-pkg-config 1.1 (pinned)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- 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) ...
- 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+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:09.59 ---> using "0686843ae3c31f38ac5563a3bcd57d9eed648c8dbf66daffdc86057dfb09ccb3" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall sawja.1.5.12;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'sawja.1.5.12' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
sawja.1.5.12 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 9 packages
  - install camlzip    1.11   [required by javalib]
  - install conf-which 1      [required by javalib]
  - install conf-zlib  1      [required by camlzip]
  - install cppo       1.6.9  [required by extlib]
  - install dune       3.13.1 [required by extlib]
  - install extlib     1.7.9  [required by javalib]
  - install javalib    3.2.2  [required by sawja]
  - install ocamlfind  1.9.6  [required by sawja]
  - install sawja      1.5.12

The following system packages will first need to be installed:
    zlib1g-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package zlib1g-dev: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 ... 18810 files and directories currently installed.)
- 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 zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved camlzip.1.11  (cached)
-> retrieved cppo.1.6.9  (cached)
-> installed conf-which.1
-> installed conf-zlib.1
-> retrieved dune.3.13.1  (cached)
-> retrieved extlib.1.7.9  (cached)
-> retrieved javalib.3.2.2  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved sawja.1.5.12  (cached)
-> installed ocamlfind.1.9.6
-> installed camlzip.1.11
-> installed dune.3.13.1
-> installed cppo.1.6.9
-> installed extlib.1.7.9
-> installed javalib.3.2.2
-> installed sawja.1.5.12
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:11.08 ---> saved as "f4e8477e3f2913af06c8ba4f91d28d7e8fbdb7606c3b701e9f6b149f441ebaff"

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test sawja.1.5.12) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile sawja 1.5.12

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved sawja.1.5.12  (https://github.com/javalib-team/sawja/archive/1.5.12.tar.gz)
-> removed   sawja.1.5.12
-> installed sawja.1.5.12
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:11.51 ---> saved as "e360e0b5dbae2e846203e1794927ff1e187b120cdbcc1ac8425b76b51ac49794"

/home/opam: (run (shell  "opam reinstall --with-test --verbose sawja.1.5.12;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'sawja.1.5.12' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
The following actions will be performed:
=== recompile 1 package
  - recompile sawja 1.5.12

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4:
-> retrieved sawja.1.5.12  (cached)
Processing  2/4: [sawja: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./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.
-  A version of Sawja is already installed.
-  Compile, remove and install Sawja with the following commands:
-     make && sudo make remove install
- 
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html).
Processing  2/4: [sawja: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12)
- 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
-> removed   sawja.1.5.12
Processing  4/4: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/sawja.1.5.12)
- 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-02-12 20:12.33 ---> saved as "9e558c1e6473f52279ee558d809095967003f2caffc78ab6449d0c8112babebf"
Job succeeded
2024-02-12 20:12.55: Job succeeded