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