- github
- ocaml
- opam-repository
- 19c70f
- compilers,4.14,dune.3.22.0~alpha2,revdeps,sawja.1.5.8
(not at the head of any monitored branch or PR)
2026-03-16 19:17.28: New job: test sawja.1.5.8 with dune.3.22.0~alpha2, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29547/head (19c70fd6a788b154ec5e9fe26bca1d12fb2519be)
on debian-13-ocaml-4.14/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/29547/head" && git reset --hard 19c70fd6
git fetch origin master
git merge --no-edit 4f056bfedf536e66065c3783e694e6aa0b38261a
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
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
RUN opam pin add -k version -yn dune.3.22.0~alpha2 3.22.0~alpha2
RUN opam reinstall dune.3.22.0~alpha2; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.22.0~alpha2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall sawja.1.5.8; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'sawja.1.5.8' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test sawja.1.5.8) || true
RUN opam reinstall --with-test --verbose sawja.1.5.8; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'sawja.1.5.8' && 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 .
2026-03-16 19:17.28: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e-dune.3.22.0~alpha2-sawja.1.5.8-19c70fd6a788b154ec5e9fe26bca1d12fb2519be"
2026-03-16 19:17.28: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e)
(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"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(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"))
(run (shell "opam pin add -k version -yn dune.3.22.0~alpha2 3.22.0~alpha2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.22.0~alpha2;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.22.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sawja.1.5.8;\
\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-13\\\"\"; 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.8' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test sawja.1.5.8) || true"))
(run (shell "opam reinstall --with-test --verbose sawja.1.5.8;\
\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-13\\\"\"; 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.8' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-03-16 19:17.28: Waiting for resource in pool OCluster
2026-03-17 04:00.50: Waiting for worker…
2026-03-17 04:03.41: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 4f056bfedf Merge pull request #29543 from Zaneham/add-olint-0.1.0
Updating 4f056bfedf..19c70fd6a7
Fast-forward
.../chrome-trace/chrome-trace.3.22.0~alpha2/opam | 39 +++++++++++
.../dune-action-plugin.3.22.0~alpha2/opam | 52 +++++++++++++++
.../dune-action-trace.3.22.0~alpha2/opam | 39 +++++++++++
.../dune-build-info.3.22.0~alpha2/opam | 45 +++++++++++++
.../dune-configurator.3.22.0~alpha2/opam | 49 ++++++++++++++
packages/dune-glob/dune-glob.3.22.0~alpha2/opam | 42 ++++++++++++
.../dune-private-libs.3.22.0~alpha2/opam | 50 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.22.0~alpha2/opam | 41 ++++++++++++
packages/dune-rpc/dune-rpc.3.22.0~alpha2/opam | 44 +++++++++++++
packages/dune-site/dune-site.3.22.0~alpha2/opam | 37 +++++++++++
packages/dune/dune.3.22.0~alpha2/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.22.0~alpha2/opam | 40 ++++++++++++
packages/fs-io/fs-io.3.22.0~alpha2/opam | 39 +++++++++++
packages/ocamlc-loc/ocamlc-loc.3.22.0~alpha2/opam | 43 +++++++++++++
packages/ordering/ordering.3.22.0~alpha2/opam | 38 +++++++++++
packages/stdune/stdune.3.22.0~alpha2/opam | 46 +++++++++++++
.../top-closure/top-closure.3.22.0~alpha2/opam | 38 +++++++++++
packages/xdg/xdg.3.22.0~alpha2/opam | 39 +++++++++++
18 files changed, 796 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.22.0~alpha2/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.22.0~alpha2/opam
create mode 100644 packages/dune-action-trace/dune-action-trace.3.22.0~alpha2/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.22.0~alpha2/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.22.0~alpha2/opam
create mode 100644 packages/dune-glob/dune-glob.3.22.0~alpha2/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.22.0~alpha2/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.22.0~alpha2/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.22.0~alpha2/opam
create mode 100644 packages/dune-site/dune-site.3.22.0~alpha2/opam
create mode 100644 packages/dune/dune.3.22.0~alpha2/opam
create mode 100644 packages/dyn/dyn.3.22.0~alpha2/opam
create mode 100644 packages/fs-io/fs-io.3.22.0~alpha2/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.22.0~alpha2/opam
create mode 100644 packages/ordering/ordering.3.22.0~alpha2/opam
create mode 100644 packages/stdune/stdune.3.22.0~alpha2/opam
create mode 100644 packages/top-closure/top-closure.3.22.0~alpha2/opam
create mode 100644 packages/xdg/xdg.3.22.0~alpha2/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e)
2026-03-17 04:03.47 ---> using "32cd5b5baf995c02200cf270da597dbb25becd220af2c200c00b8b241a742195" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-03-17 04:03.47 ---> using "f3ed7bdbef828c9c0b079b10505c5f05c3c9adcca11ce5bf2dac2a4183e099d8" 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 version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, 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] Initialised
2026-03-17 04:03.47 ---> using "5bf6adb7b45bb7e0c215b8f509c71a8dae73a9a2060efcc27df9d4ef6c6d3350" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-03-17 04:03.47 ---> using "0546f18fa5979677ee22eb9f2fcf19ab371564e845d317c2c70e41dd97dc22dd" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/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/"))
2026-03-17 04:03.47 ---> using "0a7188cbe95f4fe0ff26694977eb8794c975bdb534078da98a06d6c7373289b4" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-17 04:03.48 ---> using "bac94271bd2933048ab9ec083de7359406ae7b709f9e625d1aacde394e5b6b85" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-17 04:03.48 ---> using "1963dd823dac22306d550e5e9c9f971346ae5d465407ab924aff86b04a5120b3" 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 trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [111 kB]
- Fetched 10.0 MB in 1s (11.2 MB/s)
- Reading package lists...
-
2026-03-17 04:03.48 ---> using "2bbae9754f2da55382df5a713573b4f2579b518f80eaef97920d7868fdc429fa" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.22.0~alpha2 3.22.0~alpha2"))
dune is now pinned to version 3.22.0~alpha2
2026-03-17 04:03.48 ---> using "3b312e1ba2e2d3ce6c50234ba2e62c6d827f15439acf5c47c65286f0b2bce15a" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.22.0~alpha2;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.22.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.22.0~alpha2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.22.0~alpha2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.22.0~alpha2 (cached)
-> installed dune.3.22.0~alpha2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 04:03.48 ---> using "79a7862cc80cedc04a487927a5645f883e0c17c692a64a036ab827a7afe98a62" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sawja.1.5.8;\
\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-13\\\"\"; 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.8' && 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.8 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 9 packages
- install camlzip 1.14 [required by javalib]
- install conf-pkg-config 4 [required by conf-zlib]
- install conf-which 1 [required by sawja]
- install conf-zlib 1 [required by camlzip]
- install cppo 1.8.0 [required by extlib]
- install extlib 1.8.0 [required by javalib]
- install javalib 3.2.2 [required by sawja]
- install ocamlfind 1.9.8 [required by sawja]
- install sawja 1.5.8
The following system packages will first need to be installed:
pkg-config 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" "pkg-config" "zlib1g-dev"
- 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 ... 20623 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved camlzip.1.14 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved extlib.1.8.0 (cached)
-> installed conf-pkg-config.4
-> installed conf-which.1
-> retrieved javalib.3.2.2 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> installed conf-zlib.1
-> retrieved sawja.1.5.8 (cached)
-> installed cppo.1.8.0
-> installed extlib.1.8.0
-> installed ocamlfind.1.9.8
-> installed camlzip.1.14
-> installed javalib.3.2.2
-> installed sawja.1.5.8
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 04:04.08 ---> saved as "f62902c90778961b69f8e5b197f05cf98644134d201938f5d2eeeb4a39567485"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test sawja.1.5.8) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile sawja 1.5.8
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved sawja.1.5.8 (https://opam.ocaml.org/cache)
-> removed sawja.1.5.8
-> installed sawja.1.5.8
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 04:04.20 ---> saved as "67baec63e9f52cdb6353ab1bf343d91786582d4f9a64a8b51f160d76c0673c56"
/home/opam: (run (shell "opam reinstall --with-test --verbose sawja.1.5.8;\
\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-13\\\"\"; 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.8' && 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.8
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [sawja.1.5.8: extract]
-> retrieved sawja.1.5.8 (cached)
Processing 2/4: [sawja: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8)
- * Debug flag set to yes.
- * Buddy flag set to no. Sawja won't use the buddy BDD package.
- * Ocamlfind found at /home/opam/.opam/4.14/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.14/lib.
- ./configure.sh: line 113: [: JAVALIB_TRUNK: integer expression expected
- ./configure.sh: line 114: [: JAVALIB_TRUNK: integer expression expected
- * Package javalib v3.2.2 found at /home/opam/.opam/4.14/lib/javalib.
- * Writing /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8/Makefile.config.
- Creating from /home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8/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/4.14/.opam-switch/build/sawja.1.5.8)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8/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/4.14/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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.mli", 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.mli", line 23, characters 11-12:
- 23 | functor (S : sig val nb_bits:int end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter S.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.mli", line 32, characters 0-45:
- 32 | (** {2 JVM resolution and lookup functions}*)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 33, characters 0-43:
- 33 | (** {3 Lookup and resolution procedures} *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", lines 34-35, characters 0-23:
- 34 | (** {b Warning : lookup and resolve functions do not take in account
- 35 | visibility yet}! *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 27, characters 0-17:
- 27 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.mli", line 150, characters 2-26:
- 150 | (** Type of the code. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jPrintHtml.mli", line 28, characters 0-17:
- 28 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.mli", 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.mli", 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.mli", line 26, characters 0-17:
- 26 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBir.mli", line 29, characters 0-17:
- 29 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.mli", 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 "jBirPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3Bir.mli", line 33, characters 0-39:
- 33 | (** Abstract data type for variables *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 34, characters 0-68:
- 34 | (** [var_equal v1 v2] is equivalent to [v1 = v2], but is faster. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 31, characters 0-17:
- 31 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.mli", 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 "a3BirPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSA.mli", line 29, characters 0-20:
- 29 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jBirSSA.mli", lines 342-344, characters 0-18:
- 342 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 343 | point [pc] must be executed before the corresponding [code.(pc)]
- 344 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jBirSSA.mli", line 25, characters 0-17:
- 25 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.mli", 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.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSA.mli", line 30, characters 0-20:
- 30 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "a3BirSSA.mli", lines 310-312, characters 0-18:
- 310 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 311 | point [pc] must be executed before the corresponding [code.(pc)]
- 312 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3BirSSA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.mli", 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.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe.mli", lines 119-123, characters 6-44:
- 119 | ......(** [join_ad modifies v1 v2] returns the union of [v1] and [v2]
- 120 | and sets [modifies] to true if the result is different from
- 121 | [v1]. The option [do_join] allows avoiding to compute the
- 122 | join of values when it is known that the target value (the
- 123 | second one) is smaller or equal.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 139-141, characters 6-19:
- 139 | ......(** [init] is an initial value for local variables: it is not bottom but
- 140 | contains no local variable (it correspond to a reachable point in the
- 141 | code). *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", line 173, characters 6-34:
- 173 | (** initial (empty) stack *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 178-179, characters 6-26:
- 178 | ......(** raise [Invalid_argument] if the stack is empty. Raise Failure if the
- 179 | stack is Top. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser//parserType.mli", line 70, characters 0-24:
- 70 | (**for array instance.*)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/heapParser.mli", line 21, characters 0-12:
- 21 | open JBasics
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.JBasics.
- File "heap_parser/heapParser.mli", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JProgram.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.mli", 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 "jRTA.mli", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.mli", line 28, characters 0-12:
- 28 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.mli", lines 44-46, characters 2-39:
- 44 | ..(** [singleton pps cn]: Create a set from a singleton element. [pps] is a list
- 45 | * of program point characterizing the location of the affectation. cn is the
- 46 | * class of the allocated object. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 58-59, characters 0-42:
- 58 | (** [filter_with_uncompatible prog abs cn] :Restrain the abstraction [abs] to
- 59 | * the type not compatible with [cn].*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 90-93, characters 2-50:
- 90 | ..(** [fSet2var fset objvSet]: From a field abstraction [fset] and [objvSet],
- 91 | * the abstraction of the object variable used to access the field, return
- 92 | * a variable abstraction corresponding to the possible abstract values when
- 93 | * then variable is affected the field value.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", line 146, characters 48-62:
- 146 | val join_ad : ?do_join:bool -> ?modifies:bool Pervasives.ref ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "iter2.ml", lines 126-180, characters 0-5:
- 126 | module CycleDetection = struct
- 127 |
- 128 | (* Tarjan's strongly connected components algorithm *)
- 129 | let run size iter_adj : int array =
- 130 | let max_scc_length = ref 0 in
- ...
- 177 | scc
- 178 |
- 179 |
- 180 | end
- Warning 60 [unused-module]: unused module CycleDetection.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.ml", line 23, characters 0-17:
- 23 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jProgram.ml", line 220, characters 9-21:
- 220 | i1.i_interfaces false
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 246, characters 6-18:
- 246 | i.i_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 254, characters 6-18:
- 254 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jProgram.ml", line 519, characters 37-67:
- 519 | map_program2' (map_program_classes map_interface_or_class_context) f fpp p
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?force
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jsrInline.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 "jsrInline.ml", line 22, characters 0-12:
- 22 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.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 "jControlFlow.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 "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", 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 "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_field (which is later used)
- File "jControlFlow.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 "jControlFlow.ml", line 362, characters 6-18:
- 362 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: JProgram.class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jControlFlow.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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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", 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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", 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 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "bir.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 "bir.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)
- File "bir.ml", line 447, characters 37-46:
- 447 | List.iter (fun e -> jump_target.(e.e_handler) <- true) m.bir_exc_tbl ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2711, characters 42-51:
- 2711 | (List.map (fun (i, e) -> (i, NoP, e.e_handler)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3149, characters 26-33:
- 3149 | { e_start= find e.e_start
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3180, characters 27-34:
- 3180 | let in_scope = ref e.e_start in
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3274, characters 43-50:
- 3274 | { e_start= new_code_corresp.(e.e_start)
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3550, characters 40-50:
- 3550 | (String.concat "::" (List.map print_expr e))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 3639, characters 34-43:
- 3639 | (List.map (fun (i, e) -> (e.e_handler, [], i)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3812, characters 45-52:
- 3812 | Printf.printf " [%d, %d] --> %d\n" e.e_start e.e_end e.e_handler )
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4029, characters 17-24:
- 4029 | { e_start= e.e_start
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4056, characters 40-49:
- 4056 | List.iter (fun (i, e) -> add_pred e.e_handler i) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4077, characters 37-46:
- 4077 | List.iter (fun (i, e) -> add i e.e_handler) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4765, characters 60-70:
- 4765 | (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 4783, characters 60-70:
- 4783 | (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 4791, characters 60-70:
- 4791 | (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 4807, characters 60-70:
- 4807 | (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 4827, characters 60-70:
- 4827 | (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 4886, characters 15-22:
- 4886 | handler.e_start handler.e_end handler.e_handler
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4917, characters 6-19:
- 4917 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier iter (which is later used)
- File "bir.ml", line 4963, characters 6-19:
- 4963 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "bir.ml", line 5138, characters 38-47:
- 5138 | (fun map eh -> Ptmap.add eh.e_handler eh.e_catch_type map)
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 5336, characters 29-40:
- 5336 | 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.
- File "bir.ml", line 96, characters 16-18:
- 96 | | `MethodType md ->
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "bir.ml", line 98, characters 18-20:
- 98 | | `MethodHandle mh ->
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- File "bir.ml", line 309, characters 25-27:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable bm.
- File "bir.ml", line 309, characters 29-31:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 309, characters 33-35:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable le.
- File "bir.ml", line 313, characters 21-23:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 313, characters 25-27:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 315, characters 22-24:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 315, characters 26-28:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 317, characters 21-23:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 317, characters 25-27:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 319, characters 22-24:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 319, characters 26-28:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 321, characters 26-28:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ot.
- File "bir.ml", line 321, characters 30-32:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 323, characters 29-31:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 323, characters 33-35:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 325, characters 24-25:
- 325 | | `InvokeStatic m ->
- ^
- Warning 27 [unused-var-strict]: unused variable m.
- File "bir.ml", line 327, characters 25-26:
- 327 | | `InvokeSpecial m ->
- ^
- Warning 27 [unused-var-strict]: unused variable m.
- File "bir.ml", line 329, characters 28-30:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 329, characters 32-34:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 3389, characters 30-36:
- 3389 | let nir_code, nir2bc, nbc2ir, nir_exc_tbl =
- ^^^^^^
- Warning 27 [unused-var-strict]: unused variable nbc2ir.
- File "bir.ml", line 4236, characters 11-12:
- 4236 | (fun i w ->
- ^
- Warning 27 [unused-var-strict]: unused variable i.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "birA3.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 "birA3.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.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 "jBirPP.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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.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 "a3BirPP.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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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", 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jType.ml", line 93, characters 42-49:
- 93 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value compare.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Atom (which is later used)
- File "nexir.ml", line 170, characters 31-35:
- 170 | | A3Bir.Atom(cmp,tv1,tv2) -> Atom(BinCond(cmp,Var tv1,Var tv2))
- ^^^^
- Warning 41 [ambiguous-name]: Atom belongs to several types: Formula.formula A3Bir.formula
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor BoolVar (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor And (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Or (which is later used)
- File "nexir.ml", line 311, characters 6-18:
- 311 | | 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 312, characters 6-17:
- 312 | | 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 284, characters 31-34:
- 284 | | 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", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNullPointer (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArrayStore (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNegativeArraySize (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckCast (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArithmetic (which is later used)
- File "nexir.ml", line 471, characters 28-31:
- 471 | 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 539, characters 4-20:
- 539 | 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 18, characters 0-38:
- 18 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 144, characters 4-18:
- 144 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 146, characters 17-21:
- 146 | let get_fresh_pc unit : int =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable unit.
- File "nexir.ml", line 544, characters 17-18:
- 544 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 570, characters 17-18:
- 570 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 597, characters 13-21:
- 597 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 622, characters 35-36:
- 622 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/lex_heap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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", 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", 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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 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 "jRTA.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 "jRTA.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)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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", 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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", 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 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", line 280, characters 13-15:
- 280 | let module ED = Domain.Empty in
- ^^
- Warning 60 [unused-module]: unused module ED.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.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 "jCFADom.ml", line 21, characters 0-12:
- 21 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_open_hvbox (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_string (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_space (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_close_box (which is later used)
- File "jCFADom.ml", line 29, characters 19-23:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable lst1.
- File "jCFADom.ml", line 29, characters 30-34:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable lst2.
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable cmp_list.
- File "jCFADom.ml", line 33, characters 12-14:
- 33 | | [], e2::_ -> 1
- ^^
- Warning 27 [unused-var-strict]: unused variable e2.
- File "jCFADom.ml", line 72, characters 39-46:
- 72 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value compare.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFA.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 "jCFA.ml", line 430, characters 6-17:
- 430 | let open JBirPP in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_class (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- File "jCFA.ml", line 1130, characters 6-19:
- 1130 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- 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/4.14/bin/ocamlfind ocamlc -g -w Aer -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
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.14/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/4.14/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/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml
- /home/opam/.opam/4.14/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/4.14/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/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable cmp_list.
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml
- /home/opam/.opam/4.14/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/4.14/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8/src'
-> compiled sawja.1.5.8
-> removed sawja.1.5.8
Processing 4/4: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8/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/4.14/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/4.14/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.14/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.14/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.14/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.14/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.14/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.14/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.14/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.14/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.14/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.14/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.14/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.14/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.14/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.14/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.14/lib/sawja/iter2.mli
- Installed /home/opam/.opam/4.14/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.14/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.14/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.14/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/sawja.1.5.8/src'
-> installed sawja.1.5.8
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 04:04.32 ---> saved as "da02d444ab012b796bf02c5df863fe38a04cbb455717a3264bc2ae5781b427ac"
Job succeeded
2026-03-17 04:04.40: Job succeeded