Building on summer
(from freebsd)
2024-09-07 23:21.12 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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/local/bin/opam-dev /usr/local/bin/opam"))
2024-09-07 23:21.12 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 1a7ee1360c05c742f9ac7a3a05afc019750073d6"))
2024-09-07 23:21.12 ---> using "e44d7dd5bc96c9278c8d6fe50995dcb61d134d5bc50bd43e0c358c3b53f0eb6b" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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
default (at file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-09-07 23:21.12 ---> using "765fbdb354c6be84b7b365f6763262867738485040bb114dadbe6824659bd691" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.2' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.2 (cached)
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# Run eval $(opam env --switch=4.14.2) to update the current shell environment
2024-09-07 23:21.13 ---> using "cc1b37d10d88afd1dfc4a272f903712acd71917167bbd68c9357c415fcc065c6" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-09-07 23:21.13 ---> using "b80542d1d9b6297d3a36e06ab0c42613547ec260791ca023497342b543612b00" 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 '\"freebsd\"'; 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.12 [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.7.0 [required by extlib]
- install dune 3.16.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
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/30: [camlzip.1.12: extract]
Processing 2/30: [camlzip.1.12: extract]
Processing 3/30: [camlzip.1.12: extract]
Processing 4/30: [camlzip.1.12: extract]
Processing 5/30: [camlzip.1.12: extract] [cppo.1.7.0: extract]
Processing 6/30: [camlzip.1.12: extract] [cppo.1.7.0: extract] [dune.3.16.0: extract]
Processing 7/30: [camlzip.1.12: extract] [cppo.1.7.0: extract] [dune.3.16.0: extract] [conf-pkg-config: pkg-config]
Processing 8/30: [camlzip.1.12: extract] [cppo.1.7.0: extract] [dune.3.16.0: extract] [conf-pkg-config: pkg-config] [conf-which: which which]
-> retrieved cppo.1.7.0 (cached)
Processing 8/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [conf-pkg-config: pkg-config] [conf-which: which which]
Processing 9/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [extlib.1.7.9: extract] [conf-pkg-config: pkg-config] [conf-which: which which]
+ /usr/bin/which "which" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
Processing 9/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [extlib.1.7.9: extract] [conf-pkg-config: pkg-config]
-> installed conf-which.1
Processing 10/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [extlib.1.7.9: extract] [conf-pkg-config: pkg-config]
-> retrieved extlib.1.7.9 (cached)
Processing 10/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [conf-pkg-config: pkg-config]
Processing 11/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [javalib.3.2.2: http] [conf-pkg-config: pkg-config]
+ /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/4.14.2/.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
- --verbose print additional information
- --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
- --solution print dependency graph solution in a simple format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib 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
- --license print the specified module's license to stdout if known
-
- 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: [camlzip.1.12: extract] [dune.3.16.0: extract] [javalib.3.2.2: http]
-> installed conf-pkg-config.3
Processing 12/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [javalib.3.2.2: http]
Processing 13/30: [camlzip.1.12: extract] [dune.3.16.0: extract] [javalib.3.2.2: http] [conf-zlib: pkg-config zlib]
-> retrieved camlzip.1.12 (cached)
Processing 13/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [conf-zlib: pkg-config zlib]
Processing 14/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [ocamlfind.1.9.6: extract] [conf-zlib: pkg-config zlib]
+ /usr/local/bin/pkg-config "zlib" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 14/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [ocamlfind.1.9.6: extract]
-> installed conf-zlib.1
Processing 15/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [ocamlfind.1.9.6: extract]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 15/30: [dune.3.16.0: extract] [javalib.3.2.2: http]
Processing 16/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [sawja.1.5.12: http]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 17/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [sawja.1.5.12: http] [ocamlfind: patch]
Processing 17/30: [dune.3.16.0: extract] [javalib.3.2.2: http] [sawja.1.5.12: http] [ocamlfind: ./configure]
Processing 17/30: [dune.3.16.0: extract] [javalib.3.2.2: extract] [sawja.1.5.12: http] [ocamlfind: ./configure]
-> retrieved javalib.3.2.2 (https://github.com/javalib-team/javalib/archive/3.2.2.tar.gz)
Processing 17/30: [dune.3.16.0: extract] [sawja.1.5.12: http] [ocamlfind: ./configure]
Processing 17/30: [dune.3.16.0: extract] [sawja.1.5.12: extract] [ocamlfind: ./configure]
-> retrieved sawja.1.5.12 (https://github.com/javalib-team/sawja/archive/1.5.12.tar.gz)
Processing 17/30: [dune.3.16.0: extract] [ocamlfind: ./configure]
+ /home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/4.14.2/bin" "-sitelib" "/home/opam/.opam/4.14.2/lib" "-mandir" "/home/opam/.opam/4.14.2/man" "-config" "/home/opam/.opam/4.14.2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14.2/.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.14.2/lib/ocaml
- Binaries: /home/opam/.opam/4.14.2/bin
- Manual pages: /home/opam/.opam/4.14.2/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.14.2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.14.2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.14.2/bin
- Manual pages: /home/opam/.opam/4.14.2/man
- topfind script: /home/opam/.opam/4.14.2/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 17/30: [dune.3.16.0: extract] [ocamlfind: gmake all]
-> retrieved dune.3.16.0 (cached)
Processing 17/30: [ocamlfind: gmake all]
Processing 18/30: [dune: ocaml 15] [ocamlfind: gmake all]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.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.14.2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14.2/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;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.14.2/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
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.14.2/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14.2/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
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
Processing 18/30: [dune: ocaml 15] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.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
- 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
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 18/30: [dune: ocaml 15]
Processing 19/30: [dune: ocaml 15] [ocamlfind: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.2/.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.14.2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14.2/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.14.2/bin"
- install -d "/home/opam/.opam/4.14.2/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.14.2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14.2/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14.2/lib/findlib.conf"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.14.2/lib/findlib"
- install -d "/home/opam/.opam/4.14.2/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14.2/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14.2/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.14.2/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14.2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14.2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.14.2/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14.2/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.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.14.2/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14.2/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14.2/lib/$x/META.tmp" "/home/opam/.opam/4.14.2/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14.2/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14.2/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.14.2/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.14.2/man/man1" "/home/opam/.opam/4.14.2/man/man3" "/home/opam/.opam/4.14.2/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14.2/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.14.2/man/man5"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 19/30: [dune: ocaml 15]
Processing 20/30: [camlzip: gmake all] [dune: ocaml 15]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/camlzip.1.12)
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zlib.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zlib.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c zip.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c gzip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -package unix -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz
- ocamlfind ocamlopt -safe-string -package unix -c zlib.ml
- ocamlfind ocamlopt -safe-string -package unix -c zip.ml
- ocamlfind ocamlopt -safe-string -package unix -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx -lz
- ocamlfind ocamlopt -safe-string -package unix -shared -linkall -I ./ -o zip.cmxs zip.cmxa libcamlzip.a
-> compiled camlzip.1.12
Processing 20/30: [dune: ocaml 15]
Processing 21/30: [dune: ocaml 15] [camlzip: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/camlzip.1.12)
- 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.14.2/lib/zip/zip.cmxs
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.cmxa
- Installed /home/opam/.opam/4.14.2/lib/zip/zlib.cmx
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.cmx
- Installed /home/opam/.opam/4.14.2/lib/zip/gzip.cmx
- Installed /home/opam/.opam/4.14.2/lib/zip/zlib.cmt
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.cmt
- Installed /home/opam/.opam/4.14.2/lib/zip/gzip.cmt
- Installed /home/opam/.opam/4.14.2/lib/zip/zlib.cmti
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.cmti
- Installed /home/opam/.opam/4.14.2/lib/zip/gzip.cmti
- Installed /home/opam/.opam/4.14.2/lib/zip/zlib.cmi
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.cmi
- Installed /home/opam/.opam/4.14.2/lib/zip/gzip.cmi
- Installed /home/opam/.opam/4.14.2/lib/zip/zlib.mli
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.mli
- Installed /home/opam/.opam/4.14.2/lib/zip/gzip.mli
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.a
- Installed /home/opam/.opam/4.14.2/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/4.14.2/lib/zip/zip.cma
- Installed /home/opam/.opam/4.14.2/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/4.14.2/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.14.2/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.14.2/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/4.14.2/lib/camlzip/META
-> installed camlzip.1.12
Processing 21/30: [dune: ocaml 15]
+ /home/opam/.opam/4.14.2/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 15
-
Processing 21/30: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0)
-> compiled dune.3.16.0
-> installed dune.3.16.0
Processing 23/30: [cppo: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "cppo" "-j" "15" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/cppo.1.7.0)
-> compiled cppo.1.7.0
-> installed cppo.1.7.0
Processing 25/30: [extlib: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "extlib" "-j" "15" (CWD=/home/opam/.opam/4.14.2/.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/4.14.2/.opam-switch/build/javalib.3.2.2/./configure.sh "-s" (CWD=/home/opam/.opam/4.14.2/.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.14.2/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.14.2/lib.
- * Package zip v1.12 found at /home/opam/.opam/4.14.2/lib/zip.
- * Package unix found at /home/opam/.opam/4.14.2/lib/ocaml.
- * Package str found at /home/opam/.opam/4.14.2/lib/ocaml.
- * Package extlib found at /home/opam/.opam/4.14.2/lib/extlib.
- * Writing /home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/Makefile.config.
- Creating from /home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/Makefile.config.example.
- ... done.
- * Writing /home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/src/META.
- Creating from /home/opam/.opam/4.14.2/.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: gmake]
+ /usr/local/bin/gmake (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2)
- /usr/local/bin/gmake -C src
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/src'
- ocamllex jManifest.mll
- 13 states, 340 transitions, table size 1438 bytes
- /home/opam/.opam/4.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClassLow.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptset.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/ptmap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericSet.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c ptrees/genericMap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLib.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasics.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jBasicsLow.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jSignature.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jCode.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jClass.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpBasics.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseCode.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jInstruction.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparseSignature.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jDumpLow.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jHigh2Low.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jUnparse.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParseSignature.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jLow2High.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jParse.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jFile.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c jManifest.ml
- /home/opam/.opam/4.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A-e-r -annot -package unix,str,extlib,zip -I ptrees -c javalib.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptset.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/ptmap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericSet.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c ptrees/genericMap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLib.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasics.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jBasicsLow.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jSignature.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jCode.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jClass.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpBasics.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseCode.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jInstruction.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparseSignature.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jDumpLow.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jHigh2Low.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jUnparse.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParseSignature.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jLow2High.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jParse.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jFile.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jManifest.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c jPrint.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -I ptrees -for-pack Javalib_pack -c javalib.ml
- /home/opam/.opam/4.14.2/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.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -a -o javalib.cmxa javalib_pack.cmx
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package unix,str,extlib,zip -shared -o javalib.cmxs javalib_pack.cmx
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/src'
-> compiled javalib.3.2.2
Processing 28/30: [javalib: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2)
- /usr/local/bin/gmake -C src install
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/src'
- /home/opam/.opam/4.14.2/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.14.2/lib/javalib/javalib.a
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jManifest.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jFile.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jHigh2Low.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jLow2High.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jParse.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jParseSignature.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jUnparse.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jInstruction.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jParseCode.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jDumpLow.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jUnparseSignature.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jDumpBasics.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jClass.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jClassLow.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jCode.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jSignature.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jBasicsLow.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jBasics.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/jLib.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/genericMap.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/genericSet.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/ptmap.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/ptset.mli
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib_pack.o
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib_pack.cmx
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib_pack.cmo
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib_pack.cmi
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib.cmxs
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib.cmxa
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib.cmi
- Installed /home/opam/.opam/4.14.2/lib/javalib/javalib.cma
- Installed /home/opam/.opam/4.14.2/lib/javalib/META
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/javalib.3.2.2/src'
-> installed javalib.3.2.2
Processing 29/30: [sawja: ./configure.sh]
+ /home/opam/.opam/4.14.2/.opam-switch/build/sawja.1.5.12/./configure.sh (CWD=/home/opam/.opam/4.14.2/.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.14.2/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/4.14.2/lib.
- * Package javalib v3.2.2 found at /home/opam/.opam/4.14.2/lib/javalib.
- * Writing /home/opam/.opam/4.14.2/.opam-switch/build/sawja.1.5.12/Makefile.config.
- Creating from /home/opam/.opam/4.14.2/.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: gmake]
+ /usr/local/bin/gmake (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/sawja.1.5.12)
- /usr/local/bin/gmake -C src
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.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.14.2/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli jUtil.ml iter.ml iter2.ml wlist.ml jProgram.ml classDomain.ml jsrInline.ml jControlFlow.ml jPrintUtil.ml jPrintHtml.ml jPrintPlugin.ml argPlugin.ml jCodePP.ml cmn.ml bir.ml birA3.ml jBir.ml jBirPP.ml a3Bir.ml a3BirPP.ml dataflow_analyses/live_bir.ml dataflow_analyses/live_a3bir.ml jBirSSA.ml jBirSSAPP.ml a3BirSSA.ml a3BirSSAPP.ml safe.ml reachableMethods.ml jNativeStubs.ml jType.ml nexir.ml heap_parser//parserType.ml heap_parser//parse_heap.ml heap_parser/lex_heap.ml heap_parser/heapParser.ml jCRA.ml jRTA.ml jRTAWithHeap.ml jRRTA.ml XTA.ml jCFAOptions.ml jCFADom.ml jCFAPrinter.ml jCFA.ml dataflow_analyses/reachDef.ml dataflow_analyses/availableExpr.ml dataflow_analyses/availableExprSSA.ml > .depend
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- /home/opam/.opam/4.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- /home/opam/.opam/4.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- /home/opam/.opam/4.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/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.14.2/bin/ocamlfind ocamlc -g -w +A+e+r -annot -a -o sawja.cma sawja_pack.cmo
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_bir.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_a3bir.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parse_heap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/lex_heap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -pack jUtil.cmx iter.cmx iter2.cmx wlist.cmx jProgram.cmx classDomain.cmx jsrInline.cmx jControlFlow.cmx jPrintUtil.cmx jPrintHtml.cmx jPrintPlugin.cmx argPlugin.cmx jCodePP.cmx cmn.cmx bir.cmx birA3.cmx jBir.cmx jBirPP.cmx a3Bir.cmx a3BirPP.cmx dataflow_analyses/live_bir.cmx dataflow_analyses/live_a3bir.cmx jBirSSA.cmx jBirSSAPP.cmx a3BirSSA.cmx a3BirSSAPP.cmx safe.cmx reachableMethods.cmx jNativeStubs.cmx jType.cmx nexir.cmx heap_parser//parserType.cmx heap_parser//parse_heap.cmx heap_parser/lex_heap.cmx heap_parser/heapParser.cmx jCRA.cmx jRTA.cmx jRTAWithHeap.cmx jRRTA.cmx XTA.cmx jCFAOptions.cmx jCFADom.cmx jCFAPrinter.cmx jCFA.cmx dataflow_analyses/reachDef.cmx dataflow_analyses/availableExpr.cmx dataflow_analyses/availableExprSSA.cmx -o sawja_pack.cmx
- /home/opam/.opam/4.14.2/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/sawja.1.5.12/src'
-> compiled sawja.1.5.12
Processing 30/30: [sawja: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/sawja.1.5.12)
- /usr/local/bin/gmake -C src install
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.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.14.2/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.mli iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli sawja_pack.cmi sawja_pack.cmo sawja_pack.cmx sawja_pack.o bir.cmi sawja.a
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja.a
- Installed /home/opam/.opam/4.14.2/lib/sawja/bir.cmi
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/4.14.2/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/XTA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/parserType.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/nexir.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jType.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/safe.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jBir.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/wlist.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/iter2.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/iter.mli
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/4.14.2/lib/sawja/sawja.cma
- Installed /home/opam/.opam/4.14.2/lib/sawja/META
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/sawja.1.5.12/src'
-> installed sawja.1.5.12
Done.
2024-09-07 23:22.32 ---> saved as "ed6cd3391ed85092000493a2f5be99f240c1ea330be71d867bb3d9456258154c"
Job succeeded
Home|Differences with the last checks|Previous runs