Building on x86-bm-c3.sw.ocaml.org
(from ocaml/opam:debian-unstable)
2024-04-22 14:17.52 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-04-22 14:17.52 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q c4b7df5d3d3b3127a642526a9602738f289a8e0b"))
2024-04-22 14:17.52 ---> using "ffb9b2e40c546ce31dc6f75eac0fb0a372fd62901b8bb6dc1b5f51a9f2e506dd" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-04-22 14:17.52 ---> using "1542764b16e5f440c250016a47c8ff777b98397f0244afcaf081651842e35aeb" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.13' '4.13.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.13.1"} | "ocaml-system" {= "4.13.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.13.1 (cached)
-> installed ocaml-base-compiler.4.13.1
-> installed ocaml-config.2
-> installed ocaml.4.13.1
Done.
# Run eval $(opam env --switch=4.13) to update the current shell environment
2024-04-22 14:17.52 ---> using "af94311387e987d738c6d7f4904c3d07fad4d9106f138629faae246268d0a106" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-22-0814.08-F-2024-04-11-1406.04.pdiff [607 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-22-0814.08-F-2024-04-11-1406.04.pdiff [607 kB]
- Fetched 869 kB in 4s (194 kB/s)
- Reading package lists...
-
2024-04-22 14:17.52 ---> using "83849f2fe261d0886c9d6c30be4a93d50e97cc7b881b945396510973231103ee" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"sawja.1.5.12\"\
\nopam install -vy \"sawja.1.5.12\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"sawja.1.5.12\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] sawja.1.5.12 is not installed.
Nothing to do.
The following actions will be performed:
=== install 10 packages
- install camlzip 1.11 [required by javalib]
- install conf-pkg-config 3 [required by conf-zlib]
- install conf-which 1 [required by javalib]
- install conf-zlib 1 [required by camlzip]
- install cppo 1.6.9 [required by extlib]
- install dune 3.15.0 [required by extlib]
- install extlib 1.7.9 [required by javalib]
- install javalib 3.2.2 [required by sawja]
- install ocamlfind 1.9.6 [required by sawja]
- install sawja 1.5.12
The following system packages will first need to be installed:
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"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19396 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1+b2_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1+b2) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1+b2_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1+b2) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1+b2_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1+b2) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1+b2_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1+b2) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../zlib1g-dev_1%3a1.3.dfsg-3.1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg-3.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1+b2) ...
- Setting up pkgconf-bin (1.8.1-1+b2) ...
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg-3.1) ...
- Setting up pkgconf:amd64 (1.8.1-1+b2) ...
- Setting up pkg-config:amd64 (1.8.1-1+b2) ...
- Processing triggers for libc-bin (2.37-17) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/30:
Processing 2/30:
Processing 3/30:
Processing 4/30:
Processing 5/30:
Processing 6/30:
Processing 7/30: [conf-pkg-config: pkg-config]
Processing 8/30: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved camlzip.1.11 (cached)
Processing 9/30: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved cppo.1.6.9 (cached)
Processing 10/30: [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved extlib.1.7.9 (cached)
Processing 11/30: [conf-pkg-config: pkg-config] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.13/.opam-switch/build/conf-pkg-config.3)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 11/30: [conf-which: which which]
-> installed conf-pkg-config.3
Processing 12/30: [conf-which: which which]
Processing 13/30: [conf-which: which which] [conf-zlib: pkg-config zlib]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.13/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
Processing 13/30: [conf-zlib: pkg-config zlib]
-> installed conf-which.1
Processing 14/30: [conf-zlib: pkg-config zlib]
-> retrieved javalib.3.2.2 (cached)
Processing 15/30: [conf-zlib: pkg-config zlib]
-> retrieved ocamlfind.1.9.6 (cached)
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 16/30: [conf-zlib: pkg-config zlib] [ocamlfind: patch]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "zlib" (CWD=/home/opam/.opam/4.13/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 16/30: [ocamlfind: patch]
-> installed conf-zlib.1
Processing 17/30: [ocamlfind: patch]
-> retrieved sawja.1.5.12 (cached)
Processing 17/30: [ocamlfind: ./configure]
-> retrieved dune.3.15.0 (cached)
Processing 18/30: [dune: ocaml 39] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.13/bin" "-sitelib" "/home/opam/.opam/4.13/lib" "-mandir" "/home/opam/.opam/4.13/man" "-config" "/home/opam/.opam/4.13/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.13/lib/ocaml
- Binaries: /home/opam/.opam/4.13/bin
- Manual pages: /home/opam/.opam/4.13/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.13/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.13/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.13/bin
- Manual pages: /home/opam/.opam/4.13/man
- topfind script: /home/opam/.opam/4.13/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 18/30: [dune: ocaml 39] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.13/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.13/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.13/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.13/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.13/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
Processing 18/30: [dune: ocaml 39] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 18/30: [dune: ocaml 39]
Processing 19/30: [dune: ocaml 39] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.13/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.13/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.13/bin"
- install -d "/home/opam/.opam/4.13/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.13/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.13/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.13/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.13/lib/findlib"
- install -d "/home/opam/.opam/4.13/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.13/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.13/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.13/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.13/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.13/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.13/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.13/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.13/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.13/lib/$x/META.tmp" && mv "/home/opam/.opam/4.13/lib/$x/META.tmp" "/home/opam/.opam/4.13/lib/$x/META"; done
- install -d "/home/opam/.opam/4.13/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.13/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.13/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.13/man/man1" "/home/opam/.opam/4.13/man/man3" "/home/opam/.opam/4.13/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.13/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.13/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 19/30: [dune: ocaml 39]
Processing 20/30: [camlzip: make all] [dune: ocaml 39]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.13/.opam-switch/build/camlzip.1.11)
- ocamlfind ocamlc -g -safe-string -bin-annot -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- ocamlfind ocamlopt -safe-string -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx -lz
- ocamlfind ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa libcamlzip.a
-> compiled camlzip.1.11
Processing 20/30: [dune: ocaml 39]
Processing 21/30: [dune: ocaml 39] [camlzip: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/camlzip.1.11)
- cp META-zip META && \
- ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/4.13/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.13/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.13/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.13/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.13/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.13/lib/zip/zlib.cmt
- Installed /home/opam/.opam/4.13/lib/zip/zip.cmt
- Installed /home/opam/.opam/4.13/lib/zip/gzip.cmt
- Installed /home/opam/.opam/4.13/lib/zip/zlib.cmti
- Installed /home/opam/.opam/4.13/lib/zip/zip.cmti
- Installed /home/opam/.opam/4.13/lib/zip/gzip.cmti
- Installed /home/opam/.opam/4.13/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.13/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.13/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.13/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.13/lib/zip/zip.mli
- Installed /home/opam/.opam/4.13/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.13/lib/zip/zip.a
- Installed /home/opam/.opam/4.13/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.13/lib/zip/zip.cma
- Installed /home/opam/.opam/4.13/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.13/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.13/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.13/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.13/lib/camlzip/META
-> installed camlzip.1.11
Processing 21/30: [dune: ocaml 39]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "39" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.15.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 39
- cd _boot && /home/opam/.opam/4.13/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
- File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.13/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml
- File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.13/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml
- File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.13/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml
- File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_, Checksum_mismatch _)
-
Processing 21/30: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "39" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.15.0)
-> compiled dune.3.15.0
-> installed dune.3.15.0
Processing 23/30: [cppo: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "39" (CWD=/home/opam/.opam/4.13/.opam-switch/build/cppo.1.6.9)
-> compiled cppo.1.6.9
-> installed cppo.1.6.9
Processing 25/30: [extlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "extlib" "-j" "39" (CWD=/home/opam/.opam/4.13/.opam-switch/build/extlib.1.7.9)
-> compiled extlib.1.7.9
-> installed extlib.1.7.9
Processing 27/30: [javalib: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" "-s" (CWD=/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2)
- * Plugin version of javalib will be generated at compilation (ocamlopt -shared).
- * Debug flag set to yes.
- * Ocamlfind found at /home/opam/.opam/4.13/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.13/lib.
- * Package zip v1.09 found at /home/opam/.opam/4.13/lib/zip.
- * Package unix found at /home/opam/.opam/4.13/lib/ocaml.
- * Package str found at /home/opam/.opam/4.13/lib/ocaml.
- * Package extlib found at /home/opam/.opam/4.13/lib/extlib.
- * Writing /home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/Makefile.config.
- Creating from /home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/Makefile.config.example.
- ... done.
- * Writing /home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/src/META.
- Creating from /home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/src/META.source.
- .. done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Javalib with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/javalib-doc.html).
Processing 27/30: [javalib: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/src'
- ocamllex jManifest.mll
- 13 states, 340 transitions, table size 1438 bytes
- /home/opam/.opam/4.13/bin/ocamlfind ocamldep -I ptrees ../Makefile.config ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli ptrees/ptset.ml ptrees/ptmap.ml ptrees/genericSet.ml ptrees/genericMap.ml jLib.ml jBasics.ml jBasicsLow.ml jSignature.ml jCode.ml jClass.ml jDumpBasics.ml jParseCode.ml jInstruction.ml jUnparseSignature.ml jDumpLow.ml jHigh2Low.ml jUnparse.ml jParseSignature.ml jLow2High.ml jParse.ml jFile.ml jManifest.ml jPrint.ml javalib.ml > .depend
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jPrint.ml
- File "jPrint.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmo ptrees/ptmap.cmo ptrees/genericSet.cmo ptrees/genericMap.cmo jLib.cmo jBasics.cmo jBasicsLow.cmo jSignature.cmo jCode.cmo jClass.cmo jDumpBasics.cmo jParseCode.cmo jInstruction.cmo jUnparseSignature.cmo jDumpLow.cmo jHigh2Low.cmo jUnparse.cmo jParseSignature.cmo jLow2High.cmo jParse.cmo jFile.cmo jManifest.cmo jPrint.cmo javalib.cmo -o javalib_pack.cmo
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -a -o javalib.cma javalib_pack.cmo
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptset.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jFile.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -pack ptrees/ptset.cmx ptrees/ptmap.cmx ptrees/genericSet.cmx ptrees/genericMap.cmx jLib.cmx jBasics.cmx jBasicsLow.cmx jSignature.cmx jCode.cmx jClass.cmx jDumpBasics.cmx jParseCode.cmx jInstruction.cmx jUnparseSignature.cmx jDumpLow.cmx jHigh2Low.cmx jUnparse.cmx jParseSignature.cmx jLow2High.cmx jParse.cmx jFile.cmx jManifest.cmx jPrint.cmx javalib.cmx -o javalib_pack.cmx
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -shared -o javalib.cmxs javalib_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/src'
-> compiled javalib.3.2.2
Processing 28/30: [javalib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/src'
- /home/opam/.opam/4.13/bin/ocamlfind install javalib META javalib.cma javalib.cmi javalib.cmxa javalib.cmxs javalib_pack.cmi javalib_pack.cmo javalib_pack.cmx javalib_pack.o ptrees/ptset.mli ptrees/ptmap.mli ptrees/genericSet.mli ptrees/genericMap.mli jLib.mli jBasics.mli jBasicsLow.mli jSignature.mli jCode.mli jClassLow.mli jClass.mli jDumpBasics.mli jUnparseSignature.mli jDumpLow.mli jParseCode.mli jInstruction.mli jUnparse.mli jParseSignature.mli jParse.mli jLow2High.mli jHigh2Low.mli jFile.mli jManifest.mli javalib.mli javalib.a
- Installed /home/opam/.opam/4.13/lib/javalib/javalib.a
- Installed /home/opam/.opam/4.13/lib/javalib/javalib.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jManifest.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jFile.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jHigh2Low.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jLow2High.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jParse.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jParseSignature.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jUnparse.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jInstruction.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jParseCode.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jDumpLow.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jUnparseSignature.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jDumpBasics.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jClass.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jClassLow.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jCode.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jSignature.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jBasicsLow.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jBasics.mli
- Installed /home/opam/.opam/4.13/lib/javalib/jLib.mli
- Installed /home/opam/.opam/4.13/lib/javalib/genericMap.mli
- Installed /home/opam/.opam/4.13/lib/javalib/genericSet.mli
- Installed /home/opam/.opam/4.13/lib/javalib/ptmap.mli
- Installed /home/opam/.opam/4.13/lib/javalib/ptset.mli
- Installed /home/opam/.opam/4.13/lib/javalib/javalib_pack.o
- Installed /home/opam/.opam/4.13/lib/javalib/javalib_pack.cmx
- Installed /home/opam/.opam/4.13/lib/javalib/javalib_pack.cmo
- Installed /home/opam/.opam/4.13/lib/javalib/javalib_pack.cmi
- Installed /home/opam/.opam/4.13/lib/javalib/javalib.cmxs
- Installed /home/opam/.opam/4.13/lib/javalib/javalib.cmxa
- Installed /home/opam/.opam/4.13/lib/javalib/javalib.cmi
- Installed /home/opam/.opam/4.13/lib/javalib/javalib.cma
- Installed /home/opam/.opam/4.13/lib/javalib/META
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/javalib.3.2.2/src'
-> installed javalib.3.2.2
Processing 29/30: [sawja: ./configure.sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure.sh" (CWD=/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12)
- * Debug flag set to yes.
- * Buddy flag set to no. Sawja won't use the buddy BDD package.
- * Ocamlfind found at /home/opam/.opam/4.13/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.13/lib.
- * Package javalib v3.2.2 found at /home/opam/.opam/4.13/lib/javalib.
- * Writing /home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12/Makefile.config.
- Creating from /home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12/Makefile.config.example.
- ... done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Sawja with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html).
Processing 29/30: [sawja: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12)
- make -C src
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12/src'
- ocamlyacc heap_parser/parse_heap.mly
- cp classDomainPtrees.ml classDomain.ml
- rm -f safe.ml
- for i in safe_domain.ml safe_var.ml safe_state.ml safe_constraints.ml safe_solver.ml; do \
- echo `basename $i .ml` | \
- awk 'BEGIN{ORS="";OFS="";}{print "module " toupper(substr($0,6,1)) substr($0,7,length($0)-6) "= struct\n";}' >> safe.ml;\
- echo "# 1 \""$i"\"" >> safe.ml;\
- cat $i >> safe.ml;\
- echo " end">> safe.ml;\
- done
- ocamllex heap_parser/lex_heap.mll
- 82 states, 4559 transitions, table size 18728 bytes
- /home/opam/.opam/4.13/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.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- File "jProgram.ml", lines 287-291, characters 5-16:
- 287 | .....match op with
- 288 | | OpInvoke _ ->
- 289 | let lookup = (f_lookup cs ms pp) in
- 290 | l := Ptmap.add pp lookup !l
- 291 | | _ -> ().
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jProgram.ml", lines 279-294, characters 4-7:
- 279 | ....begin
- 280 | match cm with
- 281 | | {Javalib.cm_implementation = Javalib.Java code; _}
- 282 | when
- 283 | ClassMethodMap.mem cm.Javalib.cm_class_method_signature p.parsed_methods ->
- ...
- 291 | | _ -> ())
- 292 | (Lazy.force code).c_code
- 293 | | _ -> ()
- 294 | end.
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.implementation.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "classDomain.ml", lines 69-74, characters 20-19:
- 69 | ....................match v1,v2 with
- 70 | | Bot, Bot -> true
- 71 | | Top, Top -> true
- 72 | | Set s1, Set s2 ->
- 73 | s1==s2 || ClassSet.equal s1 s2
- 74 | | _, _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "classDomain.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "classDomain.ml", line 21, characters 13-14:
- 21 | module Make (S:sig end) = struct
- ^
- Warning 60 [unused-module]: unused module S.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- File "jsrInline.ml", lines 60-62, characters 7-15:
- 60 | .......match op with
- 61 | | OpJsr j -> Ptset.add (i+j) jsr, (i,i+j)::l
- 62 | | _ -> jsr, l.
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 92-100, characters 2-13:
- 92 | ..match instr with
- 93 | | OpIf (_, n)
- 94 | | OpIfCmp (_, n)
- 95 | | OpGoto n -> add i (i+n)
- 96 | | OpTableSwitch (default, _, _, table) ->
- 97 | List.iter (fun n -> add i (i+n)) (default :: Array.to_list table)
- 98 | | OpLookupSwitch (default, npairs) ->
- 99 | List.iter (fun n -> add i (i+n)) (default :: List.map snd npairs)
- 100 | | _ -> ().
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 112-116, characters 21-14:
- 112 | .....................function
- 113 | | OpGoto _
- 114 | | OpReturn _
- 115 | | OpThrow -> true
- 116 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 135-150, characters 2-36:
- 135 | ..match code.c_code.(i) with
- 136 | | OpIf (_, n)
- 137 | | OpIfCmp (_, n) -> (next_opcode code.c_code i)@[i+n]
- 138 | | OpGoto n -> [i+n]
- 139 | | OpJsr _
- ...
- 147 | List.map (( + ) i) (default :: List.map snd npairs)
- 148 | | OpReturn _ -> []
- 149 | | OpThrow -> []
- 150 | | _ -> next_opcode code.c_code i
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 168-173, characters 6-36:
- 168 | ......match code.c_code.(i) with
- 169 | | OpRet _ -> (set,true)
- 170 | | _ ->
- 171 | List.fold_left aux
- 172 | (Ptset.add i set,may)
- 173 | (next (fun _ -> true) code i)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 178-187, characters 22-12:
- 178 | ......................function
- 179 | | OpIf (c, n) -> OpIf (c,i+n)
- 180 | | OpIfCmp (c, n) -> OpIfCmp (c,i+n)
- 181 | | OpJsr n -> OpJsr (i+n)
- 182 | | OpGoto n -> OpGoto (i+n)
- 183 | | OpTableSwitch (default, l, h, table) ->
- 184 | OpTableSwitch (default+i,l,h,Array.map ((+)i) table)
- 185 | | OpLookupSwitch (default, npairs) ->
- 186 | OpLookupSwitch (default+i,List.map (fun (x,y) -> (x,y+i)) npairs)
- 187 | | op -> op
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 217-229, characters 5-42:
- 217 | .....match code.c_code.(i) with
- 218 | | OpJsr _ -> raise InlineSubroutineFailed (* no nested subrountines please *)
- 219 | | OpRet y ->
- 220 | begin
- 221 | if not (x=y) then raise InlineSubroutineFailed;
- ...
- 226 | | _ ->
- 227 | List.fold_left aux
- 228 | (ex,Ptset.add i set)
- 229 | (next (may_reach_a_ret code) code i)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 212-233, characters 2-23:
- 212 | ..match code.c_code.(start_pp) with
- 213 | | OpStore (`Object,x) ->
- 214 | let rec aux (ex,set) i =
- 215 | if Ptset.mem i set then (ex,set)
- 216 | else
- ...
- 230 | (* we remove handlers that don't reach OpRet instructions *)
- 231 | in
- 232 | aux (Ptset.empty,Ptset.add start_pp Ptset.empty) (next_pc code.c_code start_pp)
- 233 | | _ -> assert false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 292-298, characters 2-14:
- 292 | ..match opcode with
- 293 | | OpInvoke (`Interface _, _) -> true
- 294 | | OpInvoke (`Virtual (TClass _), _) -> true
- 295 | | OpInvoke (`Virtual (TArray _), _) -> true
- 296 | | OpInvoke(`Static _, _) -> true
- 297 | | OpInvoke (`Special _, _) -> true
- 298 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jsrInline.ml", lines 292-298, characters 2-14:
- 292 | ..match opcode with
- 293 | | OpInvoke (`Interface _, _) -> true
- 294 | | OpInvoke (`Virtual (TClass _), _) -> true
- 295 | | OpInvoke (`Virtual (TArray _), _) -> true
- 296 | | OpInvoke(`Static _, _) -> true
- 297 | | OpInvoke (`Special _, _) -> true
- 298 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "jControlFlow.ml", line 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm
- File "jControlFlow.ml", lines 95-100, characters 3-6:
- 95 | ...begin
- 96 | match MethodMap.find ms i.i_info.i_methods with
- 97 | | ConcreteMethod m->
- 98 | {cl=cl'; meth=m; pc=0;}
- 99 | | _ -> raise (NoCode (cs,ms))
- 100 | end
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.jmethod.
- File "jControlFlow.ml", lines 102-107, characters 3-6:
- 102 | ...begin
- 103 | match MethodMap.find ms c.c_info.c_methods with
- 104 | | ConcreteMethod m->
- 105 | {cl=cl'; meth=m; pc=0;}
- 106 | | _ -> raise (NoCode (cs,ms))
- 107 | end
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.jmethod.
- File "jControlFlow.ml", lines 93-108, characters 4-35:
- 93 | ....match get_node prog cs with
- 94 | | Interface i as cl' when MethodMap.mem ms i.i_info.i_methods ->
- 95 | begin
- 96 | match MethodMap.find ms i.i_info.i_methods with
- 97 | | ConcreteMethod m->
- ...
- 105 | {cl=cl'; meth=m; pc=0;}
- 106 | | _ -> raise (NoCode (cs,ms))
- 107 | end
- 108 | | _ -> raise (NoCode (cs,ms))
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JProgram.node.
- File "jControlFlow.ml", lines 386-394, characters 3-42:
- 386 | ...match cl,c' with
- 387 | | _, Class c2 when (ms_name ms) = "<init>" ->
- 388 | c2
- 389 | | Class c1, Class c2 when c1 == c2 || not (extends_class c1 c2) ->
- 390 | c2
- 391 | | _ ->
- 392 | match super_class cl with
- 393 | | None -> raise AbstractMethodError
- 394 | | Some c -> lookup_virtual_method ms c
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JProgram.node.
- File "jControlFlow.ml", lines 426-428, characters 4-38:
- 426 | ....match c with
- 427 | | Class c' when implements_method c' ms -> c
- 428 | | _ -> raise AbstractMethodError
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JProgram.node.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "jPrintUtil.ml", line 149, characters 0-17:
- 149 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintUtil.ml", lines 159-161, characters 6-28:
- 159 | ......match opcode with
- 160 | | OpInvalid -> ()
- 161 | | _ -> f pp [opcode]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jPrintUtil.ml", line 168, characters 26-54:
- 168 | | ConcreteMethod {cm_implementation = Native} -> None
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations
- Either bind these labels explicitly or add '; _' to the pattern.
- File "jPrintUtil.ml", line 169, characters 27-58:
- 169 | | ConcreteMethod ({cm_implementation = Java code} as cm) ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations
- Either bind these labels explicitly or add '; _' to the pattern.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.ml
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintHtml.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", lines 271-276, characters 3-4:
- 271 | ...(match res with
- 272 | | [PCData d] -> [PCData (d ^ "[]")]
- 273 | | (CustomTag (bt,c,et)) :: tl ->
- 274 | (CustomTag (bt,c,et)) :: (PCData "[]") :: tl
- 275 | | _ -> failwith "Error in valuetype2html function"
- 276 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JPrintUtil.xml_tree.
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintHtml.ml", lines 290-294, characters 2-40:
- 290 | ..match t with
- 291 | | TObject (TClass cn) -> cn_name cn
- 292 | | TObject (TArray a) -> (type2anchorstring a) ^ ".-"
- 293 | (* ] is prohibited... *)
- 294 | | _ -> JPrint.value_type ~jvm:true t
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "jPrintHtml.ml", lines 290-294, characters 2-40:
- 290 | ..match t with
- 291 | | TObject (TClass cn) -> cn_name cn
- 292 | | TObject (TArray a) -> (type2anchorstring a) ^ ".-"
- 293 | (* ] is prohibited... *)
- 294 | | _ -> JPrint.value_type ~jvm:true t
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jPrintHtml.ml", line 599, characters 7-70:
- 599 | ^ (match cm.cm_implementation with Native -> " native" | _ -> "")
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.implementation.
- File "jPrintHtml.ml", lines 866-868, characters 17-35:
- 866 | .................match o with
- 867 | | TClass ccs -> ccs
- 868 | | _ -> JBasics.java_lang_object...
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jPrintHtml.ml", line 893, characters 23-51:
- 893 | | ConcreteMethod {cm_implementation = Native} -> string_of_int n
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations
- Either bind these labels explicitly or add '; _' to the pattern.
- File "jPrintHtml.ml", line 894, characters 23-54:
- 894 | | ConcreteMethod {cm_implementation = Java code} ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- cm_signature, cm_class_method_signature, cm_static, cm_final, cm_synchronized, cm_strict, cm_access, cm_generic_signature, cm_bridge, cm_varargs, cm_synthetic, cm_other_flags, cm_exceptions, cm_attributes, cm_parameters, cm_annotations
- Either bind these labels explicitly or add '; _' to the pattern.
- File "jPrintHtml.ml", lines 848-900, characters 1-35:
- 848 | .match op with
- 849 | | OpNew ccs ->
- 850 | let v = TObject (TClass ccs) in
- 851 | [simple_elem inst; value_elem program cs v]
- 852 | | OpNewArray v ->
- ...
- 897 | | None -> string_of_int n
- 898 | | Some (name,_) -> name in
- 899 | [simple_elem (inst ^ " " ^ locname)]
- 900 | | _ -> [simple_elem inst_params]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "jPrintPlugin.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_methods (which is later used)
- File "jPrintPlugin.ml", line 707, characters 4-26:
- 707 | open AdaptedASTGrammar
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used)
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- File "argPlugin.ml", lines 109-115, characters 4-51:
- 109 | ....match spec with
- 110 | NotPlugin _ -> arg_list
- 111 | | _ ->
- 112 | let (tag_name,def) = get_tag_and_def spec in
- 113 | let attrs = (name_att, key)::(sdesc_att,name)::def in
- 114 | let desc = [PCData doc] in
- 115 | (gen_custom_tag tag_name attrs desc)::arg_list
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type spec.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "jCodePP.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCodePP.ml", lines 60-69, characters 2-15:
- 60 | ..match get_opcode pp with
- 61 | | OpInvoke (`Virtual obj, ms) ->
- 62 | Some (static_lookup_virtual program obj ms)
- 63 | | OpInvoke (`Static (_,cs), ms) ->
- 64 | Some ([static_lookup_static program cs ms])
- 65 | | OpInvoke (`Special (_,cs), ms) ->
- 66 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 67 | | OpInvoke (`Interface cs, ms) ->
- 68 | Some (static_lookup_interface program cs ms)
- 69 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jCodePP.ml", lines 102-107, characters 12-15:
- 102 | ............begin
- 103 | match code.(!i) with
- 104 | | OpJsr _ ->
- 105 | l := next_instruction (goto_absolute pp !i)::!l
- 106 | | _ -> ()
- 107 | end.
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jCodePP.ml", lines 91-126, characters 2-32:
- 91 | ..match get_opcode pp with
- 92 | | OpIf (_,l)
- 93 | | OpIfCmp (_,l) ->
- 94 | [next_instruction pp;goto_relative pp l]
- 95 | | OpJsr l
- ...
- 123 | | OpInvalid
- 124 | | OpBreakpoint ->
- 125 | raise (Class_structure_error "Instructions Invalid and Breakpoint are not authorized")
- 126 | | _ -> [next_instruction pp]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jCodePP.ml", line 142, characters 22-40:
- 142 | | Interface {i_super = caller}
- ^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- i_info, i_interfaces, i_children_interfaces, i_children_classes
- Either bind these labels explicitly or add '; _' to the pattern.
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jCodePP.ml", lines 201-257, characters 28-16:
- 201 | ............................match opcode with
- 202 | | JCode.OpNew cn' ->
- 203 | let c'= (get_node program cn') in
- 204 | begin
- 205 | match (get_class_to_initialize node c') with
- ...
- 254 | ClassMethodSet.add cms successors)
- 255 | !successors
- 256 | targets
- 257 | | _ -> ()
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "cmn.ml", lines 48-50, characters 2-15:
- 48 | ..match v with
- 49 | | OriginalVar (_,s) -> s
- 50 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 53-55, characters 2-16:
- 53 | ..match x with
- 54 | | CatchVar _ -> true
- 55 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 58-61, characters 2-16:
- 58 | ..match x with
- 59 | | TempVar _ -> true
- 60 | | SSAVar ((_,TempVar _),_) -> true
- 61 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 64-66, characters 2-16:
- 64 | ..match x with
- 65 | | SSAVar _ -> true
- 66 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 81-84, characters 2-31:
- 81 | ..match x with
- 82 | | OriginalVar (_,Some s) -> s
- 83 | | SSAVar ((_,v),i) -> Printf.sprintf "%s_%d" (unindexed_var_name_g v) i
- 84 | | _ -> unindexed_var_name x
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 89-92, characters 2-16:
- 89 | ..match v with
- 90 | | OriginalVar (j,_) -> Some j
- 91 | | SSAVar ((_,v),_) -> unindexed_bc_num v
- 92 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 99-101, characters 2-16:
- 99 | ..match v with
- 100 | | OriginalVar _ -> true
- 101 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 104-106, characters 2-60:
- 104 | ..match x with
- 105 | | SSAVar (v,_) -> v
- 106 | | _ -> failwith "var_origin: must be called on SSA vars"
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 109-111, characters 2-63:
- 109 | ..match x with
- 110 | | SSAVar (_,i) -> i
- 111 | | _ -> failwith "var_ssa_index: must be called on SSA vars"
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", lines 114-116, characters 2-23:
- 114 | ..match snd v with
- 115 | | SSAVar _ -> failwith "make_var_ssa: must not be called on SSA vars"
- 116 | | _ -> SSAVar (v,i)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type unindexed_var.
- File "cmn.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "cmn.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "cmn.ml", line 161, characters 43-50:
- 161 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value compare.
- File "cmn.ml", line 274, characters 16-18:
- 274 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "cmn.ml", line 275, characters 18-20:
- 275 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "bir.ml", lines 111-127, characters 6-24:
- 111 | ......( match u with
- 112 | | Neg t ->
- 113 | basic_to_num t
- 114 | | Conv c -> (
- 115 | match c with
- ...
- 124 | | ArrayLength | InstanceOf _ ->
- 125 | `Int
- 126 | | _ ->
- 127 | assert false )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "bir.ml", lines 100-150, characters 19-16:
- 100 | ...................function
- 101 | | Var (t, _) ->
- 102 | t
- 103 | | Field (_, _, f) | StaticField (_, f) ->
- 104 | fs_type f
- ...
- 147 | | LShl | LShr | LAnd | LOr | LXor | LUshr ->
- 148 | `Long
- 149 | | CMP _ ->
- 150 | `Int )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "bir.ml", lines 100-150, characters 19-16:
- 100 | ...................function
- 101 | | Var (t, _) ->
- 102 | t
- 103 | | Field (_, _, f) | StaticField (_, f) ->
- 104 | fs_type f
- ...
- 147 | | LShl | LShr | LAnd | LOr | LXor | LUshr ->
- 148 | `Long
- 149 | | CMP _ ->
- 150 | `Int )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", line 152, characters 20-70:
- 152 | let instr_jump_to = function Ifd (_, n) | Goto n -> Some n | _ -> None
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 156-208, characters 54-38:
- 156 | ......................................................function
- 157 | | Var (t, x) ->
- 158 | if show_type then Printf.sprintf "%s:%s" (var_name_g x) (print_typ t)
- 159 | else var_name_g x
- 160 | | Field (e, c, f) ->
- ...
- 205 | | Binop (op, e1, e2) ->
- 206 | Printf.sprintf "%s(%s,%s)" (print_binop op)
- 207 | (print_expr' ~show_type true e1)
- 208 | (print_expr' ~show_type true e2)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "bir.ml", lines 156-208, characters 54-38:
- 156 | ......................................................function
- 157 | | Var (t, x) ->
- 158 | if show_type then Printf.sprintf "%s:%s" (var_name_g x) (print_typ t)
- 159 | else var_name_g x
- 160 | | Field (e, c, f) ->
- ...
- 205 | | Binop (op, e1, e2) ->
- 206 | Printf.sprintf "%s(%s,%s)" (print_binop op)
- 207 | (print_expr' ~show_type true e1)
- 208 | (print_expr' ~show_type true e2)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 762-782, characters 2-30:
- 762 | ..match code.JCode.c_code.(i) with
- 763 | | JCode.OpIf (_, n) | JCode.OpIfCmp (_, n) ->
- 764 | [next code.JCode.c_code i; i + n]
- 765 | | JCode.OpGoto n ->
- 766 | [i + n]
- ...
- 779 | | JCode.OpInvalid ->
- 780 | failwith "invalid"
- 781 | | _ ->
- 782 | [next code.JCode.c_code i]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 921-928, characters 26-24:
- 921 | ..........................function
- 922 | | Array v ->
- 923 | conv v
- 924 | | Null ->
- 925 | conv_array_type t
- 926 | | x ->
- 927 | Printf.printf "\n\nbad array_content of %s at %d\n\n\n" (print_typ x) i ;
- 928 | raise ArrayContent
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 955-961, characters 4-11:
- 955 | ....match (v1, v2) with
- 956 | | TObject v1, TObject v2 ->
- 957 | leq_object_type v1 v2
- 958 | | TBasic t1, TBasic t2 ->
- 959 | t1 = t2
- 960 | | _, _ ->
- 961 | false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "bir.ml", lines 964-972, characters 4-11:
- 964 | ....match (v1, v2) with
- 965 | | TClass c1, TClass c2 ->
- 966 | cn_equal c1 c2 || cn_equal c2 java_lang_object
- 967 | | TArray v1, TArray v2 ->
- 968 | leq_value_type v1 v2
- 969 | | TArray _, TClass c ->
- 970 | cn_equal c java_lang_object
- 971 | | _, _ ->
- 972 | false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "bir.ml", lines 980-981, characters 16-51:
- 980 | ................(
- 981 | match x with Array _ -> true | _ -> false )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 982-987, characters 15-17:
- 982 | ...............(
- 983 | match x with
- 984 | | Array _ | Object | Int | Float | Top32 ->
- 985 | true
- 986 | | _ ->
- 987 | false )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 988-989, characters 17-65:
- 988 | .................(
- 989 | match x with Array x -> leq_value_type x y | _ -> false )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 977-991, characters 4-11:
- 977 | ....match y with
- 978 | | Top64 ->
- 979 | x = Double || x = Long || x = Top64
- 980 | | Object -> (
- 981 | match x with Array _ -> true | _ -> false )
- ...
- 988 | | Array y -> (
- 989 | match x with Array x -> leq_value_type x y | _ -> false )
- 990 | | _ ->
- 991 | false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 995-999, characters 4-10:
- 995 | ....match (v1, v2) with
- 996 | | TObject v1, TObject v2 ->
- 997 | Some (TObject (lub_object_type v1 v2))
- 998 | | _, _ ->
- 999 | None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "bir.ml", lines 1002-1010, characters 4-29:
- 1002 | ....match (x, y) with
- 1003 | | TArray v1, TArray v2 -> (
- 1004 | match lub_value_type v1 v2 with
- 1005 | | None ->
- 1006 | TClass java_lang_object
- 1007 | | Some v ->
- 1008 | TArray v )
- 1009 | | _, _ ->
- 1010 | TClass java_lang_object
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "bir.ml", lines 1017-1018, characters 32-66:
- 1017 | ................................(
- 1018 | match y with Top64 | Double | Long -> Top | _ -> Top32 )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 1019-1020, characters 25-58:
- 1019 | .........................(
- 1020 | match y with Double | Long -> Top64 | _ -> Top )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 1021-1028, characters 19-17:
- 1021 | ...................(
- 1022 | match y with
- 1023 | | Array y -> (
- 1024 | match lub_value_type x y with None -> Object | Some v -> Array v )
- 1025 | | Int | Float ->
- 1026 | Top32
- 1027 | | _ ->
- 1028 | Top )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 1016-1030, characters 6-11:
- 1016 | ......match x with
- 1017 | | Int | Float | Object -> (
- 1018 | match y with Top64 | Double | Long -> Top | _ -> Top32 )
- 1019 | | Double | Long -> (
- 1020 | match y with Double | Long -> Top64 | _ -> Top )
- ...
- 1027 | | _ ->
- 1028 | Top )
- 1029 | | _ ->
- 1030 | Top
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 1244-1257, characters 6-15:
- 1244 | ......( match ins with
- 1245 | | JCode.OpIf (t, n) ->
- 1246 | JCode.OpIf (t, n + i)
- 1247 | | JCode.OpIfCmp (_t, _n) ->
- 1248 | JCode.OpIfCmp (_t, _n + i)
- ...
- 1254 | JCode.OpLookupSwitch
- 1255 | (default + i, List.map (fun (x, y) -> (x, y + i)) npairs)
- 1256 | | _ ->
- 1257 | ins )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 1323-1331, characters 9-23:
- 1323 | .........match code.JCode.c_code.(i) with
- 1324 | | JCode.OpLoad (_, n) -> (
- 1325 | match types.(i) with
- 1326 | | Some (_, l) ->
- 1327 | to_value_type (get l n)
- 1328 | | _ ->
- 1329 | assert false )
- 1330 | | _ ->
- 1331 | assert false..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 1334-1341, characters 31-26:
- 1334 | ...............................(
- 1335 | match types.(i) with
- 1336 | | Some (_ :: Array t :: _, _) ->
- 1337 | t
- 1338 | | Some (_ :: Null :: _, _) ->
- 1339 | type_of_array_type t
- 1340 | | _ ->
- 1341 | assert false )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type typ.
- File "bir.ml", lines 1333-1343, characters 6-20:
- 1333 | ......match code.JCode.c_code.(i) with
- 1334 | | JCode.OpArrayLoad t -> (
- 1335 | match types.(i) with
- 1336 | | Some (_ :: Array t :: _, _) ->
- 1337 | t
- ...
- 1340 | | _ ->
- 1341 | assert false )
- 1342 | | _ ->
- 1343 | assert false..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 1360-1374, characters 9-23:
- 1360 | .........match code.JCode.c_code.(i) with
- 1361 | | JCode.OpLoad (t, _) -> (
- 1362 | match t with
- 1363 | | `Long ->
- 1364 | TBasic `Long
- ...
- 1371 | | `Object ->
- 1372 | TObject (TClass java_lang_object) )
- 1373 | | _ ->
- 1374 | assert false..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", line 1421, characters 19-60:
- 1421 | let is_arrayload = function ArrayLoad _ -> true | _ -> false
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 1479-1486, characters 4-11:
- 1479 | ....match stack with
- 1480 | | [] ->
- 1481 | false
- 1482 | | E e :: _ when is_in_expr test_var test_static (fun _ _ -> false) false e
- 1483 | ->
- 1484 | true
- 1485 | | _ :: s ->
- 1486 | aux s
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type opexpr.
- File "bir.ml", lines 1492-1498, characters 4-11:
- 1492 | ....match stack with
- 1493 | | [] ->
- 1494 | None
- 1495 | | E e :: s -> (
- 1496 | match var_in_expr test_var e with Some t -> Some t | None -> aux s )
- 1497 | | _ :: s ->
- 1498 | aux s
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type opexpr.
- File "bir.ml", lines 1554-1555, characters 25-62:
- 1554 | .........................(
- 1555 | match x with TempVar i -> Ptset.add i acc | _ -> acc )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unindexed_var.
- File "bir.ml", lines 1621-1629, characters 6-67:
- 1621 | ......match binop with
- 1622 | | (Div jvm_t | Rem jvm_t) when jvm_t = `Int2Bool || jvm_t = `Long ->
- 1623 | let q = topE s in
- 1624 | let e = Binop (binop, topE (pop s), topE s) in
- 1625 | ( E (Var (type_of_expr e, x)) :: pop2 s
- 1626 | , [Check (CheckArithmetic q); AffectVar (x, e)] )
- 1627 | | _ ->
- 1628 | let e = Binop (binop, topE (pop s), topE s) in
- 1629 | (E (Var (type_of_expr e, x)) :: pop2 s, [AffectVar (x, e)])..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 1630-1637, characters 9-65:
- 1630 | .........(
- 1631 | match binop with
- 1632 | | (Div jvm_t | Rem jvm_t) when jvm_t = `Int2Bool || jvm_t = `Long ->
- 1633 | let q = topE s in
- 1634 | ( E (Binop (binop, topE (pop s), topE s)) :: pop2 s
- 1635 | , [Check (CheckArithmetic q)] )
- 1636 | | _ ->
- 1637 | (E (Binop (binop, topE (pop s), topE s)) :: pop2 s, []) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 1618-1637, characters 2-65:
- 1618 | ..match mode with
- 1619 | | Addr3 -> (
- 1620 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in
- 1621 | match binop with
- 1622 | | (Div jvm_t | Rem jvm_t) when jvm_t = `Int2Bool || jvm_t = `Long ->
- ...
- 1634 | ( E (Binop (binop, topE (pop s), topE s)) :: pop2 s
- 1635 | , [Check (CheckArithmetic q)] )
- 1636 | | _ ->
- 1637 | (E (Binop (binop, topE (pop s), topE s)) :: pop2 s, []) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1641-1651, characters 2-30:
- 1641 | ..match mode with
- 1642 | | Addr3 -> (
- 1643 | match next_store with
- 1644 | | None when not next_is_junc_point_or_a_goto ->
- 1645 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in
- ...
- 1648 | | _ ->
- 1649 | (E (Const c) :: s, instrs) )
- 1650 | | _ ->
- 1651 | (E (Const c) :: s, instrs)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1655-1663, characters 24-31:
- 1655 | ........................(
- 1656 | match mode with
- 1657 | | Addr3 ->
- 1658 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in
- 1659 | let e = Const c in
- 1660 | let v = Var (type_of_expr e, x) in
- 1661 | [AffectVar (x, e); Ifd ((cmp, e1, v), target)]
- 1662 | | _ ->
- 1663 | [Ifd (guard, target)] )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1654-1665, characters 2-25:
- 1654 | ..match guard with
- 1655 | | cmp, e1, Const c -> (
- 1656 | match mode with
- 1657 | | Addr3 ->
- 1658 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in
- ...
- 1662 | | _ ->
- 1663 | [Ifd (guard, target)] )
- 1664 | | _ ->
- 1665 | [Ifd (guard, target)]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type expr.
- File "bir.ml", lines 1668-1674, characters 2-46:
- 1668 | ..match mode with
- 1669 | | Addr3 ->
- 1670 | let x = make_var dico (TempVar (fresh_in_stack ssa fresh_counter s)) in
- 1671 | let e = Unop (unop, topE s) in
- 1672 | (E (Var (type_of_expr e, x)) :: pop s, instrs @ [AffectVar (x, e)])
- 1673 | | _ ->
- 1674 | (E (Unop (unop, topE s)) :: pop s, instrs)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1688-1703, characters 2-43:
- 1688 | ..match type_of_expr e with
- 1689 | | TObject (TArray t) ->
- 1690 | t (* can this happen ? *)
- 1691 | | _ -> (
- 1692 | (* we use the type found in the OpArrayLoad argument *)
- ...
- 1700 | | `Double ->
- 1701 | TBasic `Double
- 1702 | | `Object ->
- 1703 | TObject (TClass java_lang_object) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "bir.ml", lines 1688-1703, characters 2-43:
- 1688 | ..match type_of_expr e with
- 1689 | | TObject (TArray t) ->
- 1690 | t (* can this happen ? *)
- 1691 | | _ -> (
- 1692 | (* we use the type found in the OpArrayLoad argument *)
- ...
- 1700 | | `Double ->
- 1701 | TBasic `Double
- 1702 | | `Object ->
- 1703 | TObject (TClass java_lang_object) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "bir.ml", lines 1755-1764, characters 6-74:
- 1755 | ......match mode with
- 1756 | | Addr3 ->
- 1757 | let x = make_tempvar dico ssa fresh_counter (pop2 s) next_store in
- 1758 | ( E (Var (t, x)) :: pop2 s
- 1759 | , [ Check (CheckNullPointer a)
- 1760 | ; Check (CheckArrayBound (a, idx))
- 1761 | ; AffectVar (x, Binop (ArrayLoad t, a, idx)) ] )
- 1762 | | _ ->
- 1763 | ( E (Binop (ArrayLoad t, a, idx)) :: pop2 s
- 1764 | , [Check (CheckNullPointer a); Check (CheckArrayBound (a, idx))] )..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1767-1777, characters 6-46:
- 1767 | ......match topE s with
- 1768 | | Var (_, y') when index y = index y' ->
- 1769 | (pop s, [])
- 1770 | | _ -> (
- 1771 | match is_var_in_stack y (pop s) with
- ...
- 1774 | ( replace_var_in_stack y x (pop s)
- 1775 | , [AffectVar (x, Var (t, y)); AffectVar (y, topE s)] )
- 1776 | | None ->
- 1777 | (pop s, [AffectVar (y, topE s)]) )..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type expr.
- File "bir.ml", lines 1783-1807, characters 10-61:
- 1783 | ..........match mode with
- 1784 | | Addr3 ->
- 1785 | let y =
- 1786 | make_tempvar dico ssa fresh_counter
- 1787 | (E (Var (TBasic `Int, x)) :: s)
- ...
- 1804 | , Binop
- 1805 | ( Add `Int2Bool
- 1806 | , Var (TBasic `Int, a)
- 1807 | , Const (`Int (Int32.of_int b)) ) ) ] )..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1808-1827, characters 13-63:
- 1808 | .............(
- 1809 | match mode with
- 1810 | | Addr3 ->
- 1811 | let y = make_tempvar dico ssa fresh_counter s None in
- 1812 | ( s
- ...
- 1824 | , Binop
- 1825 | ( Add `Int2Bool
- 1826 | , Var (TBasic `Int, a)
- 1827 | , Const (`Int (Int32.of_int b)) ) ) ] ) )..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 1995-2000, characters 52-51:
- 1995 | ....................................................(
- 1996 | match topE s with
- 1997 | | Binop (CMP _, e1, e2) ->
- 1998 | (c, e1, e2)
- 1999 | | e ->
- 2000 | (c, e, Const (`Int (Int32.of_int 0))) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type expr.
- File "bir.ml", lines 1995-2000, characters 52-51:
- 1995 | ....................................................(
- 1996 | match topE s with
- 1997 | | Binop (CMP _, e1, e2) ->
- 1998 | (c, e1, e2)
- 1999 | | e ->
- 2000 | (c, e, Const (`Int (Int32.of_int 0))) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 2056-2062, characters 6-72:
- 2056 | ......match mode with
- 2057 | | Normal ->
- 2058 | (E (Field (r, c, f)) :: pop s, [Check (CheckNullPointer r)])
- 2059 | | _ ->
- 2060 | let x = make_tempvar dico ssa fresh_counter s next_store in
- 2061 | ( E (Var (fs_type f, x)) :: pop s
- 2062 | , [Check (CheckNullPointer r); AffectVar (x, Field (r, c, f))] )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 2066-2089, characters 41-47:
- 2066 | .........................................(
- 2067 | match mode with
- 2068 | | Addr3 ->
- 2069 | let instrs =
- 2070 | if ch_link then [Check (CheckLink instr); MayInit c] else [MayInit c]
- ...
- 2086 | clean dico ssa fresh_counter is_heap_sensible_element_in_expr s
- 2087 | instrs
- 2088 | in
- 2089 | (E (StaticField (c, f)) :: s, instrs) )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 2252-2259, characters 6-74:
- 2252 | ......match mode with
- 2253 | | Addr3 ->
- 2254 | let x = make_tempvar dico ssa fresh_counter s next_store in
- 2255 | ( E (Var (TBasic `Int, x)) :: pop s
- 2256 | , [Check (CheckNullPointer a); AffectVar (x, Unop (ArrayLength, a))]
- 2257 | )
- 2258 | | _ ->
- 2259 | (E (Unop (ArrayLength, a)) :: pop s, [Check (CheckNullPointer a)])..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type mode.
- File "bir.ml", lines 2301-2305, characters 20-9:
- 2301 | ....................function
- 2302 | | JCode.OpIfCmp _ | JCode.OpTableSwitch _ | JCode.OpLookupSwitch _ | JCode.OpIf _ | JCode.OpGoto _ ->
- 2303 | true
- 2304 | | _ ->
- 2305 | false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", line 2310, characters 13-74:
- 2310 | let test = function _, BranchVar (i, _) -> List.mem i succs | _ -> false in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unindexed_var.
- File "bir.ml", line 2384, characters 2-68:
- 2384 | match (e1, e2) with Var (_, x), Var (_, y) -> x = y | _ -> e1 = e2
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type expr.
- File "bir.ml", lines 2387-2393, characters 2-9:
- 2387 | ..match (e1, e2) with
- 2388 | | Uninit _, Uninit _ ->
- 2389 | e1 = e2
- 2390 | | E e1, E e2 ->
- 2391 | value_compare e1 e2
- 2392 | | _ ->
- 2393 | false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type opexpr.
- File "bir.ml", lines 2599-2611, characters 6-46:
- 2599 | ......match op with
- 2600 | | JCode.OpStore (_, n) ->
- 2601 | apply_instr_context darray (Ptmap.add n (pp_var pc n) darray.(pc))
- 2602 | | JCode.OpLoad (_, n) | JCode.OpIInc (n, _) ->
- 2603 | let ok =
- ...
- 2608 | if not ok then (as_succ, false)
- 2609 | else apply_instr_context darray darray.(pc)
- 2610 | | _ ->
- 2611 | apply_instr_context darray darray.(pc)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 2852-2857, characters 6-12:
- 2852 | ......match code.JCode.c_code.(next_pc) with
- 2853 | | JCode.OpStore (_, n) ->
- 2854 | if jump_target.(next_pc) then None
- 2855 | else Some (make_var dico (OriginalVar (n, pp_var next_pc n)))
- 2856 | | _ ->
- 2857 | None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 2861-2865, characters 6-29:
- 2861 | ......match code.JCode.c_code.(next_pc) with
- 2862 | | JCode.OpGoto _ ->
- 2863 | true
- 2864 | | _ ->
- 2865 | jump_target.(next_pc)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 2945-2959, characters 7-11:
- 2945 | .......match instr with
- 2946 | | JCode.OpIf (_, n) | JCode.OpIfCmp (_, n) | JCode.OpGoto n ->
- 2947 | jump_target.(i + n) <- true
- 2948 | | JCode.OpJsr _ | JCode.OpRet _ ->
- 2949 | raise Subroutine
- ...
- 2956 | (fun n -> jump_target.(i + n) <- true)
- 2957 | (default :: List.map snd npairs)
- 2958 | | _ ->
- 2959 | ()..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", lines 3088-3094, characters 9-18:
- 3088 | .........(function
- 3089 | | Goto pc ->
- 3090 | Goto (Ptmap.find pc map)
- 3091 | | Ifd (g, pc) ->
- 3092 | Ifd (g, Ptmap.find pc map)
- 3093 | | ins ->
- 3094 | ins )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 3116-3125, characters 7-57:
- 3116 | .......match ins with
- 3117 | | Ifd (_, j) ->
- 3118 | pred_pcs.(i + 1) <- Ptset.add i pred_pcs.(i + 1) ;
- 3119 | pred_pcs.(j) <- Ptset.add i pred_pcs.(j)
- 3120 | | Goto j ->
- 3121 | pred_pcs.(j) <- Ptset.add i pred_pcs.(j)
- 3122 | | Throw _ | Return _ ->
- 3123 | ()
- 3124 | | _ ->
- 3125 | pred_pcs.(i + 1) <- Ptset.add i pred_pcs.(i + 1)..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 3199-3205, characters 18-26:
- 3199 | ..................( match ins with
- 3200 | | Goto pc ->
- 3201 | Goto new_code_corresp.(pc)
- 3202 | | Ifd (g, pc) ->
- 3203 | Ifd (g, new_code_corresp.(pc))
- 3204 | | ins ->
- 3205 | ins )....
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 3263-3279, characters 9-15:
- 3263 | .........match code.JCode.c_code.(eh.JCode.e_handler) with
- 3264 | | JCode.OpInvalid ->
- 3265 | (*If e_handler is invalid, instructions between e_start and
- 3266 | e_end must be invalid too. *)
- 3267 | let rec check_is_invalid i i_end =
- ...
- 3276 | check_is_invalid eh.JCode.e_start eh.JCode.e_end ;
- 3277 | false
- 3278 | | _ ->
- 3279 | true..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "bir.ml", line 3479, characters 38-50:
- 3479 | (String.concat "::" (List.map (print_expr) e))
- ^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", lines 3766-3780, characters 23-32:
- 3766 | .......................function
- 3767 | | Const _ ->
- 3768 | acc
- 3769 | | Var (_, x) ->
- 3770 | if catch_var x then acc else Ptset.add (index x) acc
- ...
- 3777 | | Binop (_, e1, e2) ->
- 3778 | vars (vars acc e1) e2
- 3779 | | StaticField _ ->
- 3780 | Ptset.add heap_index acc
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 3819-3833, characters 18-17:
- 3819 | ..................function
- 3820 | | NewArray (v, _, _)
- 3821 | | New (v, _, _, _)
- 3822 | | InvokeStatic (Some v, _, _, _)
- 3823 | | InvokeVirtual (Some v, _, _, _, _)
- ...
- 3830 | | AffectField _ | AffectStaticField _ | AffectArray _ ->
- 3831 | Ptset.singleton heap_index
- 3832 | | _ ->
- 3833 | Ptset.empty
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 3952-3961, characters 9-29:
- 3952 | .........match ins with
- 3953 | | Ifd (_, j) ->
- 3954 | add_pred (i + 1) i ;
- 3955 | add_pred j i
- 3956 | | Goto j ->
- 3957 | add_pred j i
- 3958 | | Throw _ | Return _ ->
- 3959 | ()
- 3960 | | _ ->
- 3961 | add_pred (i + 1) i..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 3973-3982, characters 9-24:
- 3973 | .........match ins with
- 3974 | | Ifd (_, j) ->
- 3975 | add i (i + 1) ;
- 3976 | add i j
- 3977 | | Goto j ->
- 3978 | add i j
- 3979 | | Throw _ | Return _ ->
- 3980 | ()
- 3981 | | _ ->
- 3982 | add i (i + 1)..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", line 4441, characters 58-68:
- 4441 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4459, characters 58-68:
- 4459 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4467, characters 58-68:
- 4467 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4475, characters 12-74:
- 4475 | match o with TClass ccs -> ccs | _ -> JBasics.java_lang_object
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "bir.ml", line 4483, characters 60-70:
- 4483 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4503, characters 58-68:
- 4503 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", lines 4426-4516, characters 2-34:
- 4426 | ..match op with
- 4427 | | AffectStaticField (ccs, fs, e) ->
- 4428 | let p1 = field_elem program cs ccs fs in
- 4429 | let p2 = simple_elem (Printf.sprintf ":= %s" (print_expr e)) in
- 4430 | [p1; p2]
- ...
- 4513 | let p2 = value_elem program cs (TObject t) in
- 4514 | [p1; p2]
- 4515 | | _ ->
- 4516 | [simple_elem (print_instr op)]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 4426-4516, characters 2-34:
- 4426 | ..match op with
- 4427 | | AffectStaticField (ccs, fs, e) ->
- 4428 | let p1 = field_elem program cs ccs fs in
- 4429 | let p2 = simple_elem (Printf.sprintf ":= %s" (print_expr e)) in
- 4430 | [p1; p2]
- ...
- 4513 | let p2 = value_elem program cs (TObject t) in
- 4514 | [p1; p2]
- 4515 | | _ ->
- 4516 | [simple_elem (print_instr op)]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type check.
- File "bir.ml", lines 4581-4586, characters 11-15:
- 4581 | ...........match op with
- 4582 | | InvokeStatic _ | InvokeVirtual _ | InvokeNonVirtual _ ->
- 4583 | let lookup = f_lookup cs ms pp in
- 4584 | l := Ptmap.add pp lookup !l
- 4585 | | _ ->
- 4586 | ()..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 4575-4589, characters 2-10:
- 4575 | ..( match cm with
- 4576 | | {Javalib.cm_implementation=Java code; _}
- 4577 | when ClassMethodMap.mem cm.cm_class_method_signature p.parsed_methods ->
- 4578 | let ms = cm.cm_signature in
- 4579 | Array.iteri
- ...
- 4586 | () )
- 4587 | (Lazy.force code).bir_code
- 4588 | | _ ->
- 4589 | () )..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.implementation.
- File "bir.ml", lines 4873-4882, characters 11-17:
- 4873 | ...........match ins with
- 4874 | | AffectVar (x, _)
- 4875 | | NewArray (x, _, _)
- 4876 | | New (x, _, _, _)
- 4877 | | InvokeStatic (Some x, _, _, _)
- 4878 | | InvokeVirtual (Some x, _, _, _, _)
- 4879 | | InvokeNonVirtual (Some x, _, _, _, _) ->
- 4880 | not (var_equal this x)
- 4881 | | _ ->
- 4882 | true..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 4887-4891, characters 11-15:
- 4887 | ...........match ins with
- 4888 | | Check (CheckNullPointer (Var (_, x))) when var_equal this x ->
- 4889 | code.(i) <- Nop
- 4890 | | _ ->
- 4891 | ()..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type instr.
- File "bir.ml", lines 4887-4891, characters 11-15:
- 4887 | ...........match ins with
- 4888 | | Check (CheckNullPointer (Var (_, x))) when var_equal this x ->
- 4889 | code.(i) <- Nop
- 4890 | | _ ->
- 4891 | ()..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type check.
- File "bir.ml", lines 4887-4891, characters 11-15:
- 4887 | ...........match ins with
- 4888 | | Check (CheckNullPointer (Var (_, x))) when var_equal this x ->
- 4889 | code.(i) <- Nop
- 4890 | | _ ->
- 4891 | ()..
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type expr.
- File "bir.ml", lines 4917-4939, characters 30-74:
- 4917 | ..............................function
- 4918 | | Const _ ->
- 4919 | None
- 4920 | | Binop (ArrayLoad vt, _, _) ->
- 4921 | Some
- ...
- 4936 | | Field (_, _, fs) | StaticField (_, fs) ->
- 4937 | Some
- 4938 | (AdaptedASTGrammar.Name
- 4939 | (AdaptedASTGrammar.SimpleName (fs_name fs, Some (fs_type fs))))
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "bir.ml", lines 4917-4939, characters 30-74:
- 4917 | ..............................function
- 4918 | | Const _ ->
- 4919 | None
- 4920 | | Binop (ArrayLoad vt, _, _) ->
- 4921 | Some
- ...
- 4936 | | Field (_, _, fs) | StaticField (_, fs) ->
- 4937 | Some
- 4938 | (AdaptedASTGrammar.Name
- 4939 | (AdaptedASTGrammar.SimpleName (fs_name fs, Some (fs_type fs))))
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "bir.ml", line 4998, characters 29-40:
- 4998 | let inst_disp = inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- File "birA3.ml", lines 61-71, characters 6-27:
- 61 | ......(match u with
- 62 | | Neg t -> basic_to_num t
- 63 | | Conv c ->
- 64 | (match c with
- 65 | | I2L | F2L | D2L -> `Long
- ...
- 68 | | L2I | F2I | D2I | I2B | I2C | I2S -> `Int)
- 69 | | ArrayLength
- 70 | | InstanceOf _ -> `Int
- 71 | | _ -> assert false)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "birA3.ml", lines 43-89, characters 19-23:
- 43 | ...................function
- 44 | | Var (t,_) -> t
- 45 | | Const i -> begin
- 46 | match i with
- 47 | | `ANull
- ...
- 86 | | `Float -> `Float)
- 87 | | IShl | IShr | IAnd | IOr | IXor | IUshr -> `Int
- 88 | | LShl | LShr | LAnd | LOr | LXor | LUshr -> `Long
- 89 | | CMP _ -> `Int)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "birA3.ml", lines 43-89, characters 19-23:
- 43 | ...................function
- 44 | | Var (t,_) -> t
- 45 | | Const i -> begin
- 46 | match i with
- 47 | | `ANull
- ...
- 86 | | `Float -> `Float)
- 87 | | IShl | IShr | IAnd | IOr | IXor | IUshr -> `Int
- 88 | | LShl | LShr | LAnd | LOr | LXor | LUshr -> `Long
- 89 | | CMP _ -> `Int)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "birA3.ml", lines 170-187, characters 47-142:
- 170 | ...............................................function
- 171 | | Const i -> print_const i
- 172 | | Var x -> print_tvar ~show_type:show_type x
- 173 | | Field (v,c,f) -> Printf.sprintf "%s.%s" (print_tvar ~show_type:show_type v) (JUtil.print_field c f)
- 174 | | StaticField (c,f) -> Printf.sprintf "%s.%s" (JPrint.class_name c) (fs_name f)
- ...
- 184 | (Printf.sprintf "%s*%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2))
- 185 | | Binop (Div _,e1,e2) -> JUtil.bracket first_level
- 186 | (Printf.sprintf "%s/%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2))
- 187 | | Binop (op,e1,e2) -> Printf.sprintf "%s(%s,%s)" (print_binop op) (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "birA3.ml", lines 170-187, characters 47-142:
- 170 | ...............................................function
- 171 | | Const i -> print_const i
- 172 | | Var x -> print_tvar ~show_type:show_type x
- 173 | | Field (v,c,f) -> Printf.sprintf "%s.%s" (print_tvar ~show_type:show_type v) (JUtil.print_field c f)
- 174 | | StaticField (c,f) -> Printf.sprintf "%s.%s" (JPrint.class_name c) (fs_name f)
- ...
- 184 | (Printf.sprintf "%s*%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2))
- 185 | | Binop (Div _,e1,e2) -> JUtil.bracket first_level
- 186 | (Printf.sprintf "%s/%s" (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2))
- 187 | | Binop (op,e1,e2) -> Printf.sprintf "%s(%s,%s)" (print_binop op) (print_tvar ~show_type:show_type e1) (print_tvar ~show_type:show_type e2)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "birA3.ml", lines 262-267, characters 2-7:
- 262 | ..match expr with
- 263 | | Bir.Var (t,v) -> (t,v)
- 264 | | _ -> begin
- 265 | Printf.printf "expr2tvar fails on expr %s\n" (Bir.print_expr expr);
- 266 | raise Exc_expr2tvar
- 267 | end
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Bir.expr.
- File "birA3.ml", lines 437-452, characters 4-69:
- 437 | ....function
- 438 | | Const _ -> None
- 439 | | Binop (ArrayLoad vt,_,_) ->
- 440 | Some (AdaptedASTGrammar.Expression (AdaptedASTGrammar.ArrayAccess (Some vt)))
- 441 | | Binop (_,_,_) -> None
- ...
- 449 | | Field (_,_,fs)
- 450 | | StaticField (_,fs) ->
- 451 | Some (AdaptedASTGrammar.Name
- 452 | (AdaptedASTGrammar.SimpleName (fs_name fs,Some (fs_type fs))))
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.binop.
- File "birA3.ml", lines 437-452, characters 4-69:
- 437 | ....function
- 438 | | Const _ -> None
- 439 | | Binop (ArrayLoad vt,_,_) ->
- 440 | Some (AdaptedASTGrammar.Expression (AdaptedASTGrammar.ArrayAccess (Some vt)))
- 441 | | Binop (_,_,_) -> None
- ...
- 449 | | Field (_,_,fs)
- 450 | | StaticField (_,fs) ->
- 451 | Some (AdaptedASTGrammar.Name
- 452 | (AdaptedASTGrammar.SimpleName (fs_name fs,Some (fs_type fs))))
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Cmn.unop.
- File "birA3.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- File "jBirPP.ml", lines 56-71, characters 2-15:
- 56 | ..match get_opcode pp with
- 57 | | JBir.InvokeVirtual (_,_,kind, ms,_) ->
- 58 | (match kind with
- 59 | JBir.VirtualCall obj ->
- 60 | Some (static_lookup_virtual program obj ms)
- ...
- 68 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 69 | | JBir.InvokeNonVirtual (_, _, cs, ms, _) ->
- 70 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 71 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.instr.
- File "jBirPP.ml", lines 90-97, characters 2-32:
- 90 | ..match get_opcode pp with
- 91 | | JBir.Goto l ->
- 92 | [goto_absolute pp l]
- 93 | | JBir.Ifd (_,l) ->
- 94 | [next_instruction pp; goto_absolute pp l]
- 95 | | JBir.Throw _
- 96 | | JBir.Return _ -> []
- 97 | | _ -> [next_instruction pp]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.instr.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- File "a3BirPP.ml", lines 56-71, characters 2-15:
- 56 | ..match get_opcode pp with
- 57 | | A3Bir.InvokeVirtual (_,_,kind, ms,_) ->
- 58 | (match kind with
- 59 | A3Bir.VirtualCall obj ->
- 60 | Some (static_lookup_virtual program obj ms)
- ...
- 68 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 69 | | A3Bir.InvokeNonVirtual (_, _, cs, ms, _) ->
- 70 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 71 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type A3Bir.instr.
- File "a3BirPP.ml", lines 92-99, characters 2-32:
- 92 | ..match get_opcode pp with
- 93 | | A3Bir.Goto l ->
- 94 | [goto_absolute pp l]
- 95 | | A3Bir.Ifd (_,l) ->
- 96 | [next_instruction pp; goto_absolute pp l]
- 97 | | A3Bir.Throw _
- 98 | | A3Bir.Return _ -> []
- 99 | | _ -> [next_instruction pp]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type A3Bir.instr.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "dataflow_analyses/live_bir.ml", line 59, characters 65-80:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e))
- ^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e))
- ^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "jBirSSAPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jBirSSAPP.ml", lines 56-71, characters 2-15:
- 56 | ..match get_opcode pp with
- 57 | | JBirSSA.InvokeVirtual (_,_,kind, ms,_) ->
- 58 | (match kind with
- 59 | JBirSSA.VirtualCall obj ->
- 60 | Some (static_lookup_virtual program obj ms)
- ...
- 68 | | JBirSSA.New(_, cs,argts, _) ->
- 69 | let ms = JBasics.make_ms "<init>" argts None in
- 70 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 71 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBirSSA.instr.
- File "jBirSSAPP.ml", lines 92-99, characters 2-32:
- 92 | ..match get_opcode pp with
- 93 | | JBirSSA.Goto l ->
- 94 | [goto_absolute pp l]
- 95 | | JBirSSA.Ifd (_,l) ->
- 96 | [next_instruction pp; goto_absolute pp l]
- 97 | | JBirSSA.Throw _
- 98 | | JBirSSA.Return _ -> []
- 99 | | _ -> [next_instruction pp]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBirSSA.instr.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "a3BirSSAPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "a3BirSSAPP.ml", lines 57-72, characters 2-15:
- 57 | ..match get_opcode pp with
- 58 | | A3BirSSA.InvokeVirtual (_,_,kind, ms,_) ->
- 59 | (match kind with
- 60 | A3BirSSA.VirtualCall obj ->
- 61 | Some (static_lookup_virtual program obj ms)
- ...
- 69 | | A3BirSSA.New(_, cs,argts, _) ->
- 70 | let ms = JBasics.make_ms "<init>" argts None in
- 71 | Some ([Class (static_lookup_special program (get_class pp) cs ms)])
- 72 | | _ -> None
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type A3BirSSA.instr.
- File "a3BirSSAPP.ml", lines 93-100, characters 2-32:
- 93 | ..match get_opcode pp with
- 94 | | A3BirSSA.Goto l ->
- 95 | [goto_absolute pp l]
- 96 | | A3BirSSA.Ifd (_,l) ->
- 97 | [next_instruction pp; goto_absolute pp l]
- 98 | | A3BirSSA.Throw _
- 99 | | A3BirSSA.Return _ -> []
- 100 | | _ -> [next_instruction pp]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type A3BirSSA.instr.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "safe_domain.ml", line 80, characters 4-32:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 105-112, characters 20-18:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 157-160, characters 12-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 161-164, characters 14-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 165-168, characters 14-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 170-173, characters 13-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 174-177, characters 15-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 178-181, characters 15-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", lines 183-186, characters 13-14:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", line 225, characters 14-47:
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "reachableMethods.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "reachableMethods.ml", line 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.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "jType.ml", lines 145-155, characters 6-20:
- 145 | ......match (nd1, nd2) with
- 146 | | Class c1, Class c2 ->
- 147 | extends_class c2 c1
- 148 | | Interface i1, Interface i2 ->
- 149 | extends_interface i2 i1
- ...
- 152 | | Class _c1, Interface _i2
- 153 | when node_equal (get_node prog java_lang_object) nd1
- 154 | -> true
- 155 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JProgram.node.
- File "jType.ml", lines 158-172, characters 4-18:
- 158 | ....match t1, t2 with
- 159 | | TClass cn1, TClass cn2 ->
- 160 | supertype_from_class cn1 cn2
- 161 | | TArray (TObject vt1) , TArray (TObject vt2) ->
- 162 | (*if S and T are both reference types, then S[] >1 T[] iff S >1 T .*)
- ...
- 169 | (cn_equal java_lang_object cn1 ||
- 170 | cn_equal (make_cn "java.lang.Cloneable") cn1 ||
- 171 | cn_equal (make_cn "java.io.Serializable") cn1)
- 172 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jType.ml", lines 158-172, characters 4-18:
- 158 | ....match t1, t2 with
- 159 | | TClass cn1, TClass cn2 ->
- 160 | supertype_from_class cn1 cn2
- 161 | | TArray (TObject vt1) , TArray (TObject vt2) ->
- 162 | (*if S and T are both reference types, then S[] >1 T[] iff S >1 T .*)
- ...
- 169 | (cn_equal java_lang_object cn1 ||
- 170 | cn_equal (make_cn "java.lang.Cloneable") cn1 ||
- 171 | cn_equal (make_cn "java.io.Serializable") cn1)
- 172 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "jType.ml", lines 192-242, characters 2-16:
- 192 | ..match t1, t2 with
- 193 | | TClass cn1, TClass cn2 ->
- 194 | let nd1, nd2= (get_node prog cn1), (get_node prog cn2) in
- 195 | (match nd2 with
- 196 | | Interface inode2 ->
- ...
- 239 | (cn_equal cn1 java_lang_cloneable) ||
- 240 | (cn_equal cn1 java_lang_serializable)
- 241 | ) -> true
- 242 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jType.ml", lines 192-242, characters 2-16:
- 192 | ..match t1, t2 with
- 193 | | TClass cn1, TClass cn2 ->
- 194 | let nd1, nd2= (get_node prog cn1), (get_node prog cn2) in
- 195 | (match nd2 with
- 196 | | Interface inode2 ->
- ...
- 239 | (cn_equal cn1 java_lang_cloneable) ||
- 240 | (cn_equal cn1 java_lang_serializable)
- 241 | ) -> true
- 242 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "jType.ml", lines 278-305, characters 8-24:
- 278 | ........(match t2, t1 with
- 279 | | TClass _, _ ->
- 280 | let t2_super =
- 281 | ClassMap.filteri
- 282 | (fun cn _nd ->
- ...
- 302 | (try supertype_from_direct prog t1
- 303 | (TArray (TBasic (get_primitive_super prim2)))
- 304 | with Not_found -> false)
- 305 | | _ -> false)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jType.ml", lines 278-305, characters 8-24:
- 278 | ........(match t2, t1 with
- 279 | | TClass _, _ ->
- 280 | let t2_super =
- 281 | ClassMap.filteri
- 282 | (fun cn _nd ->
- ...
- 302 | (try supertype_from_direct prog t1
- 303 | (TArray (TBasic (get_primitive_super prim2)))
- 304 | with Not_found -> false)
- 305 | | _ -> false)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "jType.ml", line 93, characters 42-49:
- 93 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value compare.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "nexir.ml", line 301, characters 6-18:
- 301 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 302, characters 6-17:
- 302 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 274, characters 31-34:
- 274 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", lines 321-325, characters 5-8:
- 321 | .....begin
- 322 | match ot with
- 323 | | TClass cn -> CallVirtual (make_cms cn ms)
- 324 | | _ -> assert(false)
- 325 | end
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "nexir.ml", line 461, characters 28-31:
- 461 | Ptmap.add start_pc [Nop, 0]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 529, characters 4-20:
- 529 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 17, characters 0-38:
- 17 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 143, characters 4-18:
- 143 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 534, characters 17-18:
- 534 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 560, characters 17-18:
- 560 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 587, characters 13-21:
- 587 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 612, characters 35-36:
- 612 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml
- File "heap_parser/lex_heap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "jCRA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jCRA.ml", lines 130-136, characters 4-16:
- 130 | ....(function
- 131 | | ConstMethod (TClass cn,_)
- 132 | | ConstInterfaceMethod (cn,_)
- 133 | | ConstField (cn,_)
- 134 | | ConstClass (TClass cn) ->
- 135 | if not (ClassMap.mem cn classmap) then to_add := cn::!to_add
- 136 | | _ -> ()).......................
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.constant.
- File "jCRA.ml", lines 130-136, characters 4-16:
- 130 | ....(function
- 131 | | ConstMethod (TClass cn,_)
- 132 | | ConstInterfaceMethod (cn,_)
- 133 | | ConstField (cn,_)
- 134 | | ConstClass (TClass cn) ->
- 135 | if not (ClassMap.mem cn classmap) then to_add := cn::!to_add
- 136 | | _ -> ()).......................
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jCRA.ml", lines 285-339, characters 9-10:
- 285 | .........(match opcode with
- 286 | | OpInvoke (`Interface ccs, cms) ->
- 287 | let cc =
- 288 | let ioc =
- 289 | (ClassMap.find ccs classes_map) in
- ...
- 336 | static_special_lookup special_lookup_map
- 337 | current_class cc cms
- 338 | | _ -> raise Not_found
- 339 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jCRA.ml", lines 285-339, characters 9-10:
- 285 | .........(match opcode with
- 286 | | OpInvoke (`Interface ccs, cms) ->
- 287 | let cc =
- 288 | let ioc =
- 289 | (ClassMap.find ccs classes_map) in
- ...
- 336 | static_special_lookup special_lookup_map
- 337 | current_class cc cms
- 338 | | _ -> raise Not_found
- 339 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "jRTA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.ml", line 109, characters 21-28:
- 109 | (ClassMap.find cs p.classes,fields_of_nodes)
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 229, characters 20-27:
- 229 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 267, characters 3-34:
- 267 | | { c_method = AbstractMethod _ } ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- has_been_parsed
- Either bind these labels explicitly or add '; _' to the pattern.
- File "jRTA.ml", line 269, characters 3-35:
- 269 | | { c_method = ConcreteMethod cm } ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 9 [missing-record-field-pattern]: the following labels are not bound in this record pattern:
- has_been_parsed
- Either bind these labels explicitly or add '; _' to the pattern.
- File "jRTA.ml", lines 446-504, characters 4-15:
- 446 | ....match op with
- 447 | | OpNew cs ->
- 448 | add_instantiated_class p cs;
- 449 | add_class_clinits p cs
- 450 | | OpConst (`Class o) ->
- ...
- 501 | | OpCheckCast o
- 502 | | OpInstanceOf o ->
- 503 | load_value_type_class p (TObject o)
- 504 | | _ -> ()
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jRTA.ml", lines 446-504, characters 4-15:
- 446 | ....match op with
- 447 | | OpNew cs ->
- 448 | add_instantiated_class p cs;
- 449 | add_class_clinits p cs
- 450 | | OpConst (`Class o) ->
- ...
- 501 | | OpCheckCast o
- 502 | | OpInstanceOf o ->
- 503 | load_value_type_class p (TObject o)
- 504 | | _ -> ()
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jRTA.ml", lines 692-707, characters 9-10:
- 692 | .........(match opcode with
- 693 | | OpInvoke (`Interface ccs,cms) ->
- 694 | static_interface_lookup virtual_lookup_map
- 695 | interfaces_map ccs cms
- 696 | | OpInvoke (`Virtual (TClass ccs),cms) ->
- ...
- 704 | | OpInvoke (`Special (_,ccs),cms) ->
- 705 | static_special_lookup special_lookup_map cs ccs cms
- 706 | | _ -> raise Not_found
- 707 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jRTA.ml", lines 692-707, characters 9-10:
- 692 | .........(match opcode with
- 693 | | OpInvoke (`Interface ccs,cms) ->
- 694 | static_interface_lookup virtual_lookup_map
- 695 | interfaces_map ccs cms
- 696 | | OpInvoke (`Virtual (TClass ccs),cms) ->
- ...
- 704 | | OpInvoke (`Special (_,ccs),cms) ->
- 705 | static_special_lookup special_lookup_map cs ccs cms
- 706 | | _ -> raise Not_found
- 707 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "jRRTA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jRRTA.ml", lines 337-428, characters 8-12:
- 337 | ........match op with
- 338 | | OpNew cs ->
- 339 | let c =
- 340 | let ioc =
- 341 | ClassMap.find cs pvta.p.classes in
- ...
- 425 | | Class _ -> failwith "Impossible InvokeInterface."
- 426 | ) in
- 427 | parse_invoke_interface pvta m ci cms
- 428 | | _ -> ()
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jRRTA.ml", lines 337-428, characters 8-12:
- 337 | ........match op with
- 338 | | OpNew cs ->
- 339 | let c =
- 340 | let ioc =
- 341 | ClassMap.find cs pvta.p.classes in
- ...
- 425 | | Class _ -> failwith "Impossible InvokeInterface."
- 426 | ) in
- 427 | parse_invoke_interface pvta m ci cms
- 428 | | _ -> ()
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jRRTA.ml", lines 460-492, characters 2-3:
- 460 | ..(match opcode with
- 461 | | OpInvoke (`Interface ccs,cms) ->
- 462 | let cms = make_cms cs ms
- 463 | and ccms = make_cms ccs cms in
- 464 | let cmmap = ClassMethodMap.find cms interface_lookup_map in
- ...
- 489 | ClassMethodSet.add cm.cm_class_method_signature
- 490 | ClassMethodSet.empty
- 491 | | _ -> raise Not_found
- 492 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "jRRTA.ml", lines 460-492, characters 2-3:
- 460 | ..(match opcode with
- 461 | | OpInvoke (`Interface ccs,cms) ->
- 462 | let cms = make_cms cs ms
- 463 | and ccms = make_cms ccs cms in
- 464 | let cmmap = ClassMethodMap.find cms interface_lookup_map in
- ...
- 489 | ClassMethodSet.add cm.cm_class_method_signature
- 490 | ClassMethodSet.empty
- 491 | | _ -> raise Not_found
- 492 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "jRRTA.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "XTA.ml", lines 63-66, characters 2-74:
- 63 | ..(** [get_relevant_operations program m] returns the sets of instance
- 64 | fields that are read, instance field that are written, static
- 65 | fields that are read, static fields that are written, classes
- 66 | that are instantiated and handled exceptions types in that order. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 160-161, characters 2-38:
- 160 | ..(** returns a set with all the classes that extends (or implements) the class or
- 161 | interface given as parameter. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 288-295, characters 4-23:
- 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value
- 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list]
- 290 | have been removed. Partial applications with a program and a type_list
- 291 | are encourage as it should speed up the computation.
- 292 |
- 293 | As an optimization, [refine_with_type program type_list] may return
- 294 | [None] to encode a function that would otherwise always returns
- 295 | [XTADom.bot] *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 740-745, characters 2-46:
- 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of
- 741 | methods that may be called for a call to [invoke] from [(cn,ms)]
- 742 | with the [classmap] as [program.classes]. Note: partial
- 743 | applications with the state and the classmap are greatly
- 744 | encourage, as partial application with the caller ([cn] and
- 745 | [ms]) has it speed up the resolution. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_field (which is later used)
- File "XTA.ml", lines 120-151, characters 14-15:
- 120 | ..............(function
- 121 | | JCode.OpGetStatic (cn,fs) when fs_of_object_type fs ->
- 122 | static_fields_read :=
- 123 | resolve_cfs !static_fields_read cn fs
- 124 | | JCode.OpPutStatic (cn,fs) when fs_of_object_type fs ->
- ...
- 148 | | JCode.OpArrayLoad (`Object) -> array_load:=true
- 149 | | JCode.OpArrayStore (`Object) -> array_store:=true
- 150 | | _ -> ()
- 151 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "XTA.ml", lines 494-499, characters 8-46:
- 494 | ........match ms_rtype ms with
- 495 | | None
- 496 | | Some (TBasic _)
- 497 | -> None
- 498 | | Some rtype ->
- 499 | refine_with_type program [rtype]
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.value_type.
- File "XTA.ml", lines 790-837, characters 8-9:
- 790 | ........(match opcode with
- 791 | | JCode.OpInvoke (`Virtual (TClass callee_cn),callee_ms) ->
- 792 | let callee = match ClassMap.find callee_cn classes with
- 793 | | Class c -> c
- 794 | | Interface _ -> raise IncompatibleClassChangeError
- ...
- 834 | in
- 835 | ClassMethodSet.singleton cm.cm_class_method_signature
- 836 | | _ -> raise Not_found
- 837 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JCode.jopcode.
- File "XTA.ml", lines 790-837, characters 8-9:
- 790 | ........(match opcode with
- 791 | | JCode.OpInvoke (`Virtual (TClass callee_cn),callee_ms) ->
- 792 | let callee = match ClassMap.find callee_cn classes with
- 793 | | Class c -> c
- 794 | | Interface _ -> raise IncompatibleClassChangeError
- ...
- 834 | in
- 835 | ClassMethodSet.singleton cm.cm_class_method_signature
- 836 | | _ -> raise Not_found
- 837 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.JBasics.object_type.
- File "XTA.ml", line 280, characters 13-15:
- 280 | let module ED = Domain.Empty in
- ^^
- Warning 60 [unused-module]: unused module ED.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- File "jCFADom.ml", lines 95-98, characters 4-18:
- 95 | ....match t with
- 96 | | Primitive -> true
- 97 | | Top -> raise Safe.Domain.DebugDom
- 98 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 103-105, characters 4-18:
- 103 | ....match set with
- 104 | | Bot -> true
- 105 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 108-110, characters 4-18:
- 108 | ....match set with
- 109 | | Top -> true
- 110 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 113-116, characters 4-18:
- 113 | ....match set with
- 114 | | Set s -> SiteSet.is_empty s
- 115 | | Top -> raise Safe.Domain.DebugDom
- 116 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 121-126, characters 4-18:
- 121 | ....match set1, set2 with
- 122 | | Bot, Bot -> true
- 123 | | Primitive, Primitive -> true
- 124 | | Set s1, Set s2 -> SiteSet.equal s1 s2
- 125 | | Top, Top -> true
- 126 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 129-134, characters 4-39:
- 129 | ....match set1, set2 with
- 130 | | Bot,_ | _, Bot -> Bot
- 131 | | Primitive, Primitive -> Primitive
- 132 | | Set s1, Set s2 -> Set (SiteSet.inter s1 s2)
- 133 | | Top, x | x, Top -> x
- 134 | | _ -> raise Safe.Domain.DebugDom....................................................
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 159-171, characters 4-12:
- 159 | ....match set1, set2 with
- 160 | | _, Bot -> set1
- 161 | | Top, _ -> Top
- 162 | | Bot, _ -> modifies:=true; set2
- 163 | | _, Top -> modifies:=true; Top
- ...
- 168 | then set1
- 169 | else (modifies:=true; Set union)
- 170 | | _ ->
- 171 | Top.
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 253-255, characters 4-18:
- 253 | ....match set with
- 254 | | Bot -> true
- 255 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 258-260, characters 4-18:
- 258 | ....match set with
- 259 | | Set objm -> SiteMap.is_empty objm
- 260 | | _ -> false
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", line 431, characters 16-55:
- 431 | let isBot t = match t with | Bot -> true | _ -> false
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type t.
- File "jCFADom.ml", lines 446-453, characters 12-47:
- 446 | ............match (JProgram.get_method node ms) with
- 447 | | ConcreteMethod cm ->
- 448 | (match cm.cm_implementation with
- 449 | | Native -> raise Safe.Domain.DebugDom
- 450 | | Java laz ->
- 451 | let a3bir = (Lazy.force laz) in
- 452 | JBir.params a3bir)
- 453 | | _ -> raise Safe.Domain.DebugDom
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type Javalib_pack.Javalib.jmethod.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "jCFAPrinter.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- File "jCFA.ml", lines 172-178, characters 6-17:
- 172 | ......match e with
- 173 | | Const `String str -> add_constraint prog pp str
- 174 | | Binop (_ , e_obj, e_idx) ->
- 175 | (handle_string' e_obj) @ (handle_string' e_idx)
- 176 | | Field (e, _, _)
- 177 | | Unop (_ , e ) -> (handle_string' e )
- 178 | | _ -> []
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.expr.
- File "jCFA.ml", lines 180-206, characters 6-17:
- 180 | ......match opcode with
- 181 | | AffectVar (_, e)
- 182 | | Throw e
- 183 | | AffectStaticField (_ , _ , e)
- 184 | | MonitorEnter e
- ...
- 203 | | InvokeNonVirtual (_ , e1, _ , _ , lst_e) ->
- 204 | List.fold_left (fun lst e -> (handle_string' e)@lst)
- 205 | (handle_string' e1) lst_e
- 206 | | _ -> []
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.instr.
- File "jCFA.ml", lines 282-308, characters 6-30:
- 282 | ......match e with
- 283 | | Const `ANull -> AbVar.empty
- 284 | | Const `String str ->
- 285 | let java_lang_string = make_cn "java.lang.String" in
- 286 | AbVar.singleton [LiteralStr.pp_from_string prog (jstr_pp str);]
- ...
- 305 | let f_var = `Field ((),cn,fs) in
- 306 | let abf = CFAState.get_field abSt f_var in
- 307 | AbField.fSet2var abf (set_from_expr' e )
- 308 | | _ -> AbVar.primitive
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.expr.
- File "jCFA.ml", lines 282-308, characters 6-30:
- 282 | ......match e with
- 283 | | Const `ANull -> AbVar.empty
- 284 | | Const `String str ->
- 285 | let java_lang_string = make_cn "java.lang.String" in
- 286 | AbVar.singleton [LiteralStr.pp_from_string prog (jstr_pp str);]
- ...
- 305 | let f_var = `Field ((),cn,fs) in
- 306 | let abf = CFAState.get_field abSt f_var in
- 307 | AbField.fSet2var abf (set_from_expr' e )
- 308 | | _ -> AbVar.primitive
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.unop.
- File "jCFA.ml", lines 282-308, characters 6-30:
- 282 | ......match e with
- 283 | | Const `ANull -> AbVar.empty
- 284 | | Const `String str ->
- 285 | let java_lang_string = make_cn "java.lang.String" in
- 286 | AbVar.singleton [LiteralStr.pp_from_string prog (jstr_pp str);]
- ...
- 305 | let f_var = `Field ((),cn,fs) in
- 306 | let abf = CFAState.get_field abSt f_var in
- 307 | AbField.fSet2var abf (set_from_expr' e )
- 308 | | _ -> AbVar.primitive
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.binop.
- File "jCFA.ml", lines 320-327, characters 4-15:
- 320 | ....match expr with
- 321 | | Unop (Cast _,expr) -> expr_dep' expr (*TODO: Maybe we can reduce dep, taking cast type into account*)
- 322 | | Binop (ArrayLoad _,e1,_e2) -> (expr_dep' e1)
- 323 | | Field (exprv, cn, fs) ->
- 324 | (field_dep cn fs) @ (expr_dep' exprv)
- 325 | | StaticField (cn, fs) ->
- 326 | (field_dep cn fs)
- 327 | | _ -> []
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.expr.
- File "jCFA.ml", lines 320-327, characters 4-15:
- 320 | ....match expr with
- 321 | | Unop (Cast _,expr) -> expr_dep' expr (*TODO: Maybe we can reduce dep, taking cast type into account*)
- 322 | | Binop (ArrayLoad _,e1,_e2) -> (expr_dep' e1)
- 323 | | Field (exprv, cn, fs) ->
- 324 | (field_dep cn fs) @ (expr_dep' exprv)
- 325 | | StaticField (cn, fs) ->
- 326 | (field_dep cn fs)
- 327 | | _ -> []
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.unop.
- File "jCFA.ml", lines 320-327, characters 4-15:
- 320 | ....match expr with
- 321 | | Unop (Cast _,expr) -> expr_dep' expr (*TODO: Maybe we can reduce dep, taking cast type into account*)
- 322 | | Binop (ArrayLoad _,e1,_e2) -> (expr_dep' e1)
- 323 | | Field (exprv, cn, fs) ->
- 324 | (field_dep cn fs) @ (expr_dep' exprv)
- 325 | | StaticField (cn, fs) ->
- 326 | (field_dep cn fs)
- 327 | | _ -> []
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.binop.
- File "jCFA.ml", lines 1152-1188, characters 26-27:
- 1152 | ..........................(match (JBir.code (Lazy.force bir_code)).(pc) with
- 1153 | | InvokeStatic (_ret ,called_cn, called_ms,_args) ->
- 1154 | let callee =
- 1155 | match ClassMap.find called_cn classes with
- 1156 | | Class c -> c
- ...
- 1185 | ClassMethodSet.singleton
- 1186 | cm.cm_class_method_signature
- 1187 | | _ -> raise Not_found
- 1188 | )
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.instr.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- File "dataflow_analyses/reachDef.ml", lines 150-160, characters 2-5:
- 150 | ..match tf with
- 151 | | Init -> begin
- 152 | match args with
- 153 | | [] -> init
- 154 | | _ -> failwith "this transfert function expects 0 argument only"
- ...
- 157 | match args with
- 158 | | [arg] -> eval_transfer_arity1 tf arg
- 159 | | _ -> failwith "this transfert function expects 1 arguments only"
- 160 | end
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type transfer.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- File "dataflow_analyses/availableExpr.ml", lines 23-30, characters 28-22:
- 23 | ............................function
- 24 | | JBir.Field _
- 25 | | JBir.StaticField _
- 26 | | JBir.Binop (JBir.ArrayLoad _,_,_) -> false
- 27 | | JBir.Binop (_,e1,e2) -> is_available_expr e1 && is_available_expr e2
- 28 | | JBir.Unop (_,e) -> is_available_expr e
- 29 | | JBir.Const _
- 30 | | JBir.Var _ -> true
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.binop.
- File "dataflow_analyses/availableExpr.ml", lines 33-40, characters 15-52:
- 33 | ...............function
- 34 | | JBir.Field _
- 35 | | JBir.StaticField _
- 36 | | JBir.Binop (JBir.ArrayLoad _,_,_) -> assert false
- 37 | | JBir.Binop (_,e1,e2) -> Ptset.union (vars e1) (vars e2)
- 38 | | JBir.Unop (_,e) -> vars e
- 39 | | JBir.Const _ -> Ptset.empty
- 40 | | JBir.Var (_,x) -> Ptset.singleton (JBir.index x)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.binop.
- File "dataflow_analyses/availableExpr.ml", lines 55-58, characters 2-12:
- 55 | ..match ins with
- 56 | | JBir.AffectVar (x,e) ->
- 57 | if is_available_expr e then add (x,e) s else s
- 58 | | _ -> s.
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBir.instr.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "dataflow_analyses/availableExprSSA.ml", lines 25-32, characters 28-17:
- 25 | ............................function
- 26 | | Field _
- 27 | | StaticField _
- 28 | | Binop (ArrayLoad _,_,_) -> false
- 29 | | Binop (_,e1,e2) -> is_available_expr e1 && is_available_expr e2
- 30 | | Unop (_,e) -> is_available_expr e
- 31 | | Const _
- 32 | | Var _ -> true
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBirSSA.binop.
- File "dataflow_analyses/availableExprSSA.ml", lines 35-42, characters 15-50:
- 35 | ...............function
- 36 | | Field _
- 37 | | StaticField _
- 38 | | Binop (ArrayLoad _,_,_) -> Ptset.empty
- 39 | | Binop (_,e1,e2) -> Ptset.union (vars e1) (vars e2)
- 40 | | Unop (_,e) -> vars e
- 41 | | Const _ -> Ptset.empty
- 42 | | Var (_,x) -> Ptset.singleton (JBirSSA.index x)
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBirSSA.binop.
- File "dataflow_analyses/availableExprSSA.ml", lines 57-60, characters 2-12:
- 57 | ..match ins with
- 58 | | AffectVar (_x,e) ->
- 59 | if is_available_expr e then add e s else s
- 60 | | _ -> s.
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBirSSA.instr.
- File "dataflow_analyses/availableExprSSA.ml", lines 97-107, characters 22-14:
- 97 | ......................function
- 98 | | AffectVar (x,e) ->
- 99 | let tf = if is_available_expr e then Assign e else Nop in
- 100 | (* link affected variable to entrypoint (0) *)
- 101 | (0,tf,index x)::csts
- ...
- 104 | | InvokeVirtual (Some x,_,_,_,_)
- 105 | | InvokeNonVirtual (Some x,_,_,_,_)
- 106 | | InvokeStatic (Some x,_,_,_) -> (0,Nop,index x)::csts
- 107 | | _ -> csts
- Warning 4 [fragile-match]: this pattern-matching is fragile.
- It will remain exhaustive when constructors are added to type JBirSSA.instr.
- File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19:
- 116 | (index v,Nop,i0)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8:
- 135 | (0,Nop,index v)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32:
- 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var))
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -pack jUtil.cmo iter.cmo iter2.cmo wlist.cmo jProgram.cmo classDomain.cmo jsrInline.cmo jControlFlow.cmo jPrintUtil.cmo jPrintHtml.cmo jPrintPlugin.cmo argPlugin.cmo jCodePP.cmo cmn.cmo bir.cmo birA3.cmo jBir.cmo jBirPP.cmo a3Bir.cmo a3BirPP.cmo dataflow_analyses/live_bir.cmo dataflow_analyses/live_a3bir.cmo jBirSSA.cmo jBirSSAPP.cmo a3BirSSA.cmo a3BirSSAPP.cmo safe.cmo reachableMethods.cmo jNativeStubs.cmo jType.cmo nexir.cmo heap_parser//parserType.cmo heap_parser//parse_heap.cmo heap_parser/lex_heap.cmo heap_parser/heapParser.cmo jCRA.cmo jRTA.cmo jRTAWithHeap.cmo jRRTA.cmo XTA.cmo jCFAOptions.cmo jCFADom.cmo jCFAPrinter.cmo jCFA.cmo dataflow_analyses/reachDef.cmo dataflow_analyses/availableExpr.cmo dataflow_analyses/availableExprSSA.cmo -o sawja_pack.cmo
- /home/opam/.opam/4.13/bin/ocamlfind ocamlc -g -w +A+e+r -annot -a -o sawja.cma sawja_pack.cmo
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.13/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.13/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.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.13/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.13/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.13/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.13/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.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.13/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.13/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.13/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.13/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.13/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.13/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12/src'
-> compiled sawja.1.5.12
Processing 30/30: [sawja: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12/src'
- if [ "no" = "yes" ]; then \
- sed 's/requires = "javalib"/requires = "javalib,buddy"/' META.source > META ; \
- else \
- sed 's/requires = "javalib"/requires = "javalib"/' META.source > META ; \
- fi
- /home/opam/.opam/4.13/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.13/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.13/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.13/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.13/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.13/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.13/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.13/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.13/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.13/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.13/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.13/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.13/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.13/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.13/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.13/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.13/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.13/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.13/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.13/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.13/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.13/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.13/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.13/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.13/lib/sawja/iter2.mli
- Installed /home/opam/.opam/4.13/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.13/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.13/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.13/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/sawja.1.5.12/src'
-> installed sawja.1.5.12
Done.
# Run eval $(opam env) to update the current shell environment
2024-04-22 14:19.10 ---> saved as "39ce8826c61d5dda81bc37563b3b5c0defff69a2b93514c3a606aa56f7c20df7"
Job succeeded
Home|Differences with the last checks|Previous runs