Build:
- 0
2026-06-23 18:17.59: New job: build sawja.1.5.5 (1a87c8856923)
2026-06-23 18:17.59: Waiting for resource in pool day11-builds
2026-06-23 19:56.26: Got resource from pool day11-builds
2026-06-23 19:56.26: [profile full] build sawja.1.5.5
2026-06-23 19:56.26: build sawja.1.5.5 (1a87c8856923)
=== DEPENDENCIES (17 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
camlp4.4.14+1 abfb608e8fa9
camlzip.1.14 72d9867324a7
camomile.1.0.2 4a8262606ac4
conf-pkg-config.5 4b60827fc174
conf-which.1 9799649fc020
conf-zlib.1 71f76614ba40
cppo.1.8.0 ea583d2d3bbb
dune.3.23.1 5402470d931c
extlib.1.8.0 a8a0cc316b7f
javalib.2.3.6 73c01296d76c
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
ocamlbuild.0.16.1 8f6c52e6fce8
ocamlfind.1.9.8 6025f4a8e98e
=== STDOUT ===
Processing: [default: loading data]
[sawja.1.5.5: dl]
[sawja.1.5.5: extract]
-> retrieved sawja.1.5.5 (https://opam.ocaml.org/cache)
[sawja: ./configure.sh]
+ /home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/./configure.sh (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5)
- * Debug flag set to yes.
- * Buddy flag set to no. Sawja won't use the buddy BDD package.
- * Ocamlfind found at /home/opam/.opam/default/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/default/lib.
- * Perl found at /usr/bin/perl.
- /home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/./configure.sh: line 116: [: JAVALIB_TRUNK: integer expression expected
- /home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/./configure.sh: line 117: [: JAVALIB_TRUNK: integer expression expected
- * Package javalib v2.3.6 found at /home/opam/.opam/default/lib/javalib.
- * Package camlp4 found at .
- * Camlp4o found at /home/opam/.opam/default/bin/camlp4o.
- * Writing /home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/Makefile.config.
- Creating from /home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/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).
[sawja: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5)
- /usr/bin/make -C src
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/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/default/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.mli wlist.mli jProgram.mli classDomain.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 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/default/bin/ocamlfind ocamldep -package camlp4 -syntax camlp4o jNativeStubs.ml jNativeStubs.mli >> .depend
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.mli", line 23, characters 11-12:
- 23 | functor (S : sig val nb_bits:int end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter S.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.mli", line 32, characters 0-45:
- 32 | (** {2 JVM resolution and lookup functions}*)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 33, characters 0-43:
- 33 | (** {3 Lookup and resolution procedures} *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", lines 34-35, characters 0-23:
- 34 | (** {b Warning : lookup and resolve functions do not take in account
- 35 | visibility yet}! *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 27, characters 0-17:
- 27 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.mli", line 150, characters 2-26:
- 150 | (** Type of the code. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jPrintHtml.mli", line 28, characters 0-17:
- 28 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.mli", line 26, characters 0-17:
- 26 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBir.mli", line 29, characters 0-17:
- 29 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3Bir.mli", line 33, characters 0-39:
- 33 | (** Abstract data type for variables *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 34, characters 0-68:
- 34 | (** [var_equal v1 v2] is equivalent to [v1 = v2], but is faster. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 31, characters 0-17:
- 31 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSA.mli", line 29, characters 0-20:
- 29 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jBirSSA.mli", lines 340-342, characters 0-18:
- 340 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 341 | point [pc] must be executed before the corresponding [code.(pc)]
- 342 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jBirSSA.mli", line 25, characters 0-17:
- 25 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSA.mli", line 30, characters 0-20:
- 30 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "a3BirSSA.mli", lines 308-310, characters 0-18:
- 308 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 309 | point [pc] must be executed before the corresponding [code.(pc)]
- 310 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3BirSSA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe.mli", lines 119-123, characters 6-44:
- 119 | ......(** [join_ad modifies v1 v2] returns the union of [v1] and [v2]
- 120 | and sets [modifies] to true if the result is different from
- 121 | [v1]. The option [do_join] allows avoiding to compute the
- 122 | join of values when it is known that the target value (the
- 123 | second one) is smaller or equal.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 139-141, characters 6-19:
- 139 | ......(** [init] is an initial value for local variables: it is not bottom but
- 140 | contains no local variable (it correspond to a reachable point in the
- 141 | code). *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", line 173, characters 6-34:
- 173 | (** initial (empty) stack *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 178-179, characters 6-26:
- 178 | ......(** raise [Invalid_argument] if the stack is empty. Raise Failure if the
- 179 | stack is Top. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jUtil.mli", line 27, characters 0-25:
- 27 | open Javalib_pack.JBasics
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.JBasics.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser//parserType.mli", line 70, characters 0-24:
- 70 | (**for array instance.*)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/heapParser.mli", line 21, characters 0-12:
- 21 | open JBasics
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.JBasics.
- File "heap_parser/heapParser.mli", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JProgram.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.mli", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.mli", line 28, characters 0-12:
- 28 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.mli", lines 44-46, characters 2-39:
- 44 | ..(** [singleton pps cn]: Create a set from a singleton element. [pps] is a list
- 45 | * of program point characterizing the location of the affectation. cn is the
- 46 | * class of the allocated object. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 58-59, characters 0-42:
- 58 | (** [filter_with_uncompatible prog abs cn] :Restrain the abstraction [abs] to
- 59 | * the type not compatible with [cn].*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 90-93, characters 2-50:
- 90 | ..(** [fSet2var fset objvSet]: From a field abstraction [fset] and [objvSet],
- 91 | * the abstraction of the object variable used to access the field, return
- 92 | * a variable abstraction corresponding to the possible abstract values when
- 93 | * then variable is affected the field value.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", line 146, characters 48-62:
- 146 | val join_ad : ?do_join:bool -> ?modifies:bool Pervasives.ref ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "iter2.ml", line 311, characters 6-12:
- 311 | let id_scc =
- ^^^^^^
- Warning 26 [unused-var]: unused variable id_scc.
- File "iter2.ml", line 663, characters 6-16:
- 663 | let nb_of_cstr = Array.length cstrs' in
- ^^^^^^^^^^
- Warning 26 [unused-var]: unused variable nb_of_cstr.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.ml", line 23, characters 0-17:
- 23 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jProgram.ml", line 220, characters 9-21:
- 220 | i1.i_interfaces false
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 246, characters 6-18:
- 246 | i.i_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 254, characters 6-18:
- 254 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jProgram.ml", line 530, characters 37-67:
- 530 | map_program2' (map_program_classes map_interface_or_class_context) f fpp p
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?force
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "classDomain.ml", line 21, characters 13-14:
- 21 | module Make (S:sig end) = struct
- ^
- Warning 60 [unused-module]: unused module S.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jsrInline.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jsrInline.ml", line 22, characters 0-12:
- 22 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jControlFlow.ml", line 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_field (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jControlFlow.ml", line 358, characters 6-18:
- 358 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: JProgram.class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jControlFlow.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintUtil.ml", line 149, characters 0-17:
- 149 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -pp "/usr/bin/perl -p -e 'BEGIN{open(CSS,\"style.css\");\$css=\"\\\"\\\"\";while(<CSS>){chomp(\$_);\$css=\"\$css^\\n\\\"\$_\\\\n\\\"\";} print \"# 1 \\\"jPrintHtml.ml\\\"\n\";}s/\\\"\(\* CSS \*\)\\\"/\$css/;'" -c jPrintHtml.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | en JBasics
- 21 | open J....
- 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 | rogram
- 24 | open ..........
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | PrintUtil
- |
- 25 | ty.........
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_methods (which is later used)
- File "jPrintPlugin.ml", line 707, characters 4-26:
- 707 | open AdaptedASTGrammar
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used)
- File "jPrintPlugin.ml", lines 783-793, characters 8-11:
- 783 | ........begin
- 784 | match invtype with
- 785 | `Interface cn
- 786 | | `Special cn
- 787 | | `Static cn ->
- ...
- 790 | | `Virtual ot ->
- 791 | Some (Expression
- 792 | (MethodInvocationVirtual (ot,ms)))
- 793 | end
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- `Dynamic _
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "cmn.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "cmn.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "bir.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "bir.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "bir.ml", line 305, characters 39-48:
- 305 | List.iter (fun e -> jump_target.(e.e_handler) <- true) m.bir_exc_tbl;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", lines 1673-1677, characters 7-36:
- 1673 | .......match x with
- 1674 | | `Virtual o -> [InvokeVirtual (target,this,VirtualCall o,ms,param nb_args s)]
- 1675 | | `Interface c -> [InvokeVirtual (target,this,InterfaceCall c,ms,param nb_args s)]
- 1676 | | `Special c -> [InvokeNonVirtual (target,this,c,ms,param nb_args s)]
- 1677 | | `Static _ -> assert false............................
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- `Dynamic _
- File "bir.ml", line 2207, characters 39-48:
- 2207 | (List.map (fun (i,e) -> (i,NoP,e.e_handler)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2619, characters 28-35:
- 2619 | { e_start = find e.e_start;
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2648, characters 23-30:
- 2648 | let in_scope = ref e.e_start in
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2750, characters 35-42:
- 2750 | { e_start = new_code_corresp.(e.e_start);
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3017, characters 60-70:
- 3017 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map print_expr e))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 3082, characters 28-37:
- 3082 | (List.map (fun (i,e) -> (e.e_handler,[],i)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3264, characters 53-60:
- 3264 | (fun e -> Printf.printf " [%d, %d] --> %d\n" e.e_start e.e_end e.e_handler)
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3413, characters 16-23:
- 3413 | e_start = e.e_start;
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3437, characters 26-35:
- 3437 | (fun (i,e) -> add_pred e.e_handler i) (bir_exception_edges m);
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3454, characters 23-32:
- 3454 | (fun (i,e) -> add i e.e_handler) (bir_exception_edges m);
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4111, characters 35-45:
- 4111 | (JUtil.print_list_sep ", " print_expr le)) in
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4130, characters 62-74:
- 4130 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " (print_expr) le)) in
- ^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4140, characters 62-74:
- 4140 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " (print_expr) le)) in
- ^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4157, characters 35-47:
- 4157 | (JUtil.print_list_sep ", " (print_expr) le)) in
- ^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4177, characters 62-72:
- 4177 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le)) in
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4242, characters 15-22:
- 4242 | handler.e_start handler.e_end handler.e_handler
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4277, characters 6-19:
- 4277 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier iter (which is later used)
- File "bir.ml", line 4314, characters 6-19:
- 4314 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "bir.ml", line 4467, characters 19-28:
- 4467 | Ptmap.add eh.e_handler eh.e_catch_type map
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4655, characters 15-26:
- 4655 | inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "bir.ml", line 2865, characters 26-32:
- 2865 | let (nir_code,nir2bc,nbc2ir,nir_exc_tbl) =
- ^^^^^^
- Warning 27 [unused-var-strict]: unused variable nbc2ir.
- File "bir.ml", line 3621, characters 11-12:
- 3621 | (fun i w ->
- ^
- Warning 27 [unused-var-strict]: unused variable i.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "birA3.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "birA3.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "birA3.ml", line 482, characters 15-26:
- 482 | inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "birA3.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/live_bir.ml", line 59, characters 65-80:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e))
- ^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e))
- ^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe_domain.ml", line 81, characters 4-32:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 86-87, characters 4-24:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", line 235, 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)
- File "safe_solver.ml", line 131, characters 23-27:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "safe_solver.ml", line 143, characters 19-23:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "safe_solver.ml", line 311, characters 19-40:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "reachableMethods.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -package camlp4 -syntax camlp4o -c jNativeStubs.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jNativeStubs.ml", line 22, characters 5-11:
- 22 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 72-85, characters 2-30:
- 72 | ..match expr with parser
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- 74 | p = parse_method_attrs >] ->
- 75 | StringMap.add "type" mtype p
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ...
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- 83 | p = parse_method_attrs >] ->
- 84 | StringMap.add "signature" msign p
- 85 | | [< >] -> StringMap.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 72-85, characters 2-30:
- 72 | ..match expr with parser
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- 74 | p = parse_method_attrs >] ->
- 75 | StringMap.add "type" mtype p
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ...
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- 83 | p = parse_method_attrs >] ->
- 84 | StringMap.add "signature" msign p
- 85 | | [< >] -> StringMap.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 24-34:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 24-34:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 36-49:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 36-49:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 74, characters 2-24:
- 74 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 25-35:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 25-35:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 37-50:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 37-50:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 77, characters 2-24:
- 77 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 24-34:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 24-34:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 36-49:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 36-49:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 80, characters 2-24:
- 80 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 29-39:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 29-39:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 41-54:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 41-54:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 83, characters 2-24:
- 83 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 88-91, characters 2-38:
- 88 | ..match expr with parser
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- 90 | ClassSignatureSet.add class_signature allocated_classes
- 91 | | [< >] -> ClassSignatureSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 88-91, characters 2-38:
- 88 | ..match expr with parser
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- 90 | ClassSignatureSet.add class_signature allocated_classes
- 91 | | [< >] -> ClassSignatureSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 89, characters 9-32:
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 89, characters 34-72:
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 89, characters 9-32:
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 94-106, characters 2-30:
- 94 | ..match expr with parser
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- 97 | let m_type = StringMap.find "type" method_attrs
- 98 | and m_class = StringMap.find "class" method_attrs
- ...
- 103 | m_name = m_name;
- 104 | m_signature = m_signature } in
- 105 | MethodSet.add jmethod native_calls
- 106 | | [< >] -> MethodSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 94-106, characters 2-30:
- 94 | ..match expr with parser
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- 97 | let m_type = StringMap.find "type" method_attrs
- 98 | and m_class = StringMap.find "class" method_attrs
- ...
- 103 | m_name = m_name;
- 104 | m_signature = m_signature } in
- 105 | MethodSet.add jmethod native_calls
- 106 | | [< >] -> MethodSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 26-34:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 26-34:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 36-69:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 96, characters 2-10:
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 96, characters 2-10:
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 96, characters 12-45:
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 119-147, characters 4-59:
- 119 | ....match expr with parser
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- 122 | let method_info =
- 123 | try MethodMap.find jmethod native_info
- ...
- 144 | | [< >] ->
- 145 | if (MethodMap.mem jmethod native_info) then
- 146 | native_info
- 147 | else MethodMap.add jmethod empty_method_info native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 119-147, characters 4-59:
- 119 | ....match expr with parser
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- 122 | let method_info =
- 123 | try MethodMap.find jmethod native_info
- ...
- 144 | | [< >] ->
- 145 | if (MethodMap.mem jmethod native_info) then
- 146 | native_info
- 147 | else MethodMap.add jmethod empty_method_info native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 29-37:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 29-37:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 121, characters 4-42:
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 121, characters 44-52:
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 121, characters 44-52:
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 29-37:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 29-37:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 133, characters 4-37:
- 133 | native_calls = parse_native_calls; 'Kwd "}" >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 133, characters 39-47:
- 133 | native_calls = parse_native_calls; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 133, characters 39-47:
- 133 | native_calls = parse_native_calls; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 150-155, characters 2-43:
- 150 | ..match expr with parser
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- 155 | | [< _ = Stream.empty >] -> native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 150-155, characters 2-43:
- 150 | ..match expr with parser
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- 155 | | [< _ = Stream.empty >] -> native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 26-34:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 26-34:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 152, characters 2-28:
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 152, characters 30-38:
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 152, characters 30-38:
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 153, characters 2-10:
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 153, characters 2-10:
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 153, characters 12-72:
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 154, characters 2-10:
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 154, characters 2-10:
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 155, characters 13-25:
- 155 | | [< _ = Stream.empty >] -> native_info
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 160, characters 15-32:
- 160 | let stream = Stream.of_channel ic in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Atom (which is later used)
- File "nexir.ml", line 170, characters 31-35:
- 170 | | A3Bir.Atom(cmp,tv1,tv2) -> Atom(BinCond(cmp,Var tv1,Var tv2))
- ^^^^
- Warning 41 [ambiguous-name]: Atom belongs to several types: Formula.formula A3Bir.formula
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor BoolVar (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor And (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Or (which is later used)
- File "nexir.ml", line 311, characters 6-18:
- 311 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 312, characters 6-17:
- 312 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 284, characters 31-34:
- 284 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNullPointer (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArrayStore (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNegativeArraySize (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckCast (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArithmetic (which is later used)
- File "nexir.ml", line 469, characters 28-31:
- 469 | 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 537, characters 4-20:
- 537 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 18, characters 0-38:
- 18 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 144, characters 4-18:
- 144 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 146, characters 17-21:
- 146 | let get_fresh_pc unit : int =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable unit.
- File "nexir.ml", line 542, characters 17-18:
- 542 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 568, characters 17-18:
- 568 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 595, characters 13-21:
- 595 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 620, characters 35-36:
- 620 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/lex_heap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCRA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jCRA.ml", line 176, characters 14-18:
- 176 | with Failure "hd" -> !p_classes
- ^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.ml", line 115, characters 21-28:
- 115 | (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 235, characters 20-27:
- 235 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jRTA.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jRRTA.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "XTA.ml", lines 63-66, characters 2-74:
- 63 | ..(** [get_relevant_operations program m] returns the sets of instance
- 64 | fields that are read, instance field that are written, static
- 65 | fields that are read, static fields that are written, classes
- 66 | that are instantiated and handled exceptions types in that order. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 160-161, characters 2-38:
- 160 | ..(** returns a set with all the classes that extends (or implements) the class or
- 161 | interface given as parameter. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 288-295, characters 4-23:
- 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value
- 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list]
- 290 | have been removed. Partial applications with a program and a type_list
- 291 | are encourage as it should speed up the computation.
- 292 |
- 293 | As an optimization, [refine_with_type program type_list] may return
- 294 | [None] to encode a function that would otherwise always returns
- 295 | [XTADom.bot] *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 740-745, characters 2-46:
- 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of
- 741 | methods that may be called for a call to [invoke] from [(cn,ms)]
- 742 | with the [classmap] as [program.classes]. Note: partial
- 743 | applications with the state and the classmap are greatly
- 744 | encourage, as partial application with the caller ([cn] and
- 745 | [ms]) has it speed up the resolution. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_field (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "XTA.ml", line 280, characters 13-15:
- 280 | let module ED = Domain.Empty in
- ^^
- Warning 60 [unused-module]: unused module ED.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFADom.ml", line 36, characters 8-9:
- 36 | | _ -> assert false (*In the current implementation is always a list with
- ^
- Warning 11 [redundant-case]: this match case is unused.
- File "jCFADom.ml", line 41, characters 8-9:
- 41 | | 0 -> cmp_list lst1 lst2
- ^
- Warning 11 [redundant-case]: this match case is unused.
- File "jCFADom.ml", line 21, characters 0-12:
- 21 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_open_hvbox (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_string (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_space (which is later used)
- File "jCFADom.ml", line 542, characters 14-25:
- 542 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_close_box (which is later used)
- File "jCFADom.ml", line 33, characters 12-14:
- 33 | | [], e2::_ -> 1
- ^^
- Warning 27 [unused-var-strict]: unused variable e2.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFAPrinter.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFA.ml", line 428, characters 6-17:
- 428 | let open JBirPP in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_class (which is later used)
- File "jCFA.ml", line 1034, characters 8-23:
- 1034 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "jCFA.ml", line 1034, characters 8-23:
- 1034 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "jCFA.ml", line 1034, characters 8-23:
- 1034 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "jCFA.ml", line 1034, characters 8-23:
- 1034 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- File "jCFA.ml", line 1126, characters 6-19:
- 1126 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/reachDef.ml", line 67, characters 4-25:
- 67 | let transfer_to_stringdot = function
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value transfer_to_stringdot.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19:
- 116 | (index v,Nop,i0)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8:
- 135 | (0,Nop,index v)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32:
- 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var))
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -pack jUtil.cmo iter.cmo iter2.cmo wlist.cmo jProgram.cmo classDomain.cmo jsrInline.cmo jControlFlow.cmo jPrintUtil.cmo jPrintHtml.cmo jPrintPlugin.cmo argPlugin.cmo jCodePP.cmo cmn.cmo bir.cmo birA3.cmo jBir.cmo jBirPP.cmo a3Bir.cmo a3BirPP.cmo dataflow_analyses/live_bir.cmo dataflow_analyses/live_a3bir.cmo jBirSSA.cmo jBirSSAPP.cmo a3BirSSA.cmo a3BirSSAPP.cmo safe.cmo reachableMethods.cmo jNativeStubs.cmo jType.cmo nexir.cmo heap_parser//parserType.cmo heap_parser//parse_heap.cmo heap_parser/lex_heap.cmo heap_parser/heapParser.cmo jCRA.cmo jRTA.cmo jRTAWithHeap.cmo jRRTA.cmo XTA.cmo jCFAOptions.cmo jCFADom.cmo jCFAPrinter.cmo jCFA.cmo dataflow_analyses/reachDef.cmo dataflow_analyses/availableExpr.cmo dataflow_analyses/availableExprSSA.cmo -o sawja_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- File "iter2.ml", line 311, characters 6-12:
- 311 | let id_scc =
- ^^^^^^
- Warning 26 [unused-var]: unused variable id_scc.
- File "iter2.ml", line 663, characters 6-16:
- 663 | let nb_of_cstr = Array.length cstrs' in
- ^^^^^^^^^^
- Warning 26 [unused-var]: unused variable nb_of_cstr.
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -pp "/usr/bin/perl -p -e 'BEGIN{open(CSS,\"style.css\");\$css=\"\\\"\\\"\";while(<CSS>){chomp(\$_);\$css=\"\$css^\\n\\\"\$_\\\\n\\\"\";} print \"# 1 \\\"jPrintHtml.ml\\\"\n\";}s/\\\"\(\* CSS \*\)\\\"/\$css/;'" -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- File "jPrintPlugin.ml", lines 783-793, characters 8-11:
- 783 | ........begin
- 784 | match invtype with
- 785 | `Interface cn
- 786 | | `Special cn
- 787 | | `Static cn ->
- ...
- 790 | | `Virtual ot ->
- 791 | Some (Expression
- 792 | (MethodInvocationVirtual (ot,ms)))
- 793 | end
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- `Dynamic _
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- File "bir.ml", lines 1673-1677, characters 7-36:
- 1673 | .......match x with
- 1674 | | `Virtual o -> [InvokeVirtual (target,this,VirtualCall o,ms,param nb_args s)]
- 1675 | | `Interface c -> [InvokeVirtual (target,this,InterfaceCall c,ms,param nb_args s)]
- 1676 | | `Special c -> [InvokeNonVirtual (target,this,c,ms,param nb_args s)]
- 1677 | | `Static _ -> assert false............................
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- `Dynamic _
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/default/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/default/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/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- File "safe_solver.ml", line 131, characters 23-27:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "safe_solver.ml", line 143, characters 19-23:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "safe_solver.ml", line 311, characters 19-40:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -package camlp4 -syntax camlp4o -for-pack Sawja_pack -c jNativeStubs.ml
- File "jNativeStubs.ml", line 22, characters 5-11:
- 22 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 72-85, characters 2-30:
- 72 | ..match expr with parser
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- 74 | p = parse_method_attrs >] ->
- 75 | StringMap.add "type" mtype p
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ...
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- 83 | p = parse_method_attrs >] ->
- 84 | StringMap.add "signature" msign p
- 85 | | [< >] -> StringMap.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 72-85, characters 2-30:
- 72 | ..match expr with parser
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- 74 | p = parse_method_attrs >] ->
- 75 | StringMap.add "type" mtype p
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ...
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- 83 | p = parse_method_attrs >] ->
- 84 | StringMap.add "signature" msign p
- 85 | | [< >] -> StringMap.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 24-34:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 24-34:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 36-49:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 36-49:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 74, characters 2-24:
- 74 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 73, characters 9-22:
- 73 | | [< 'Ident "type"; 'Ident "="; 'String mtype;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 25-35:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 25-35:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 37-50:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 37-50:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 77, characters 2-24:
- 77 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 76, characters 9-23:
- 76 | | [< 'Ident "class"; 'Ident "="; 'String cname;
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 24-34:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 24-34:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 36-49:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 36-49:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 80, characters 2-24:
- 80 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 79, characters 9-22:
- 79 | | [< 'Ident "name"; 'Ident "="; 'String mname;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 29-39:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 29-39:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 41-54:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 41-54:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 83, characters 2-24:
- 83 | p = parse_method_attrs >] ->
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 82, characters 9-27:
- 82 | | [< 'Ident "signature"; 'Ident "="; 'String msign;
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 88-91, characters 2-38:
- 88 | ..match expr with parser
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- 90 | ClassSignatureSet.add class_signature allocated_classes
- 91 | | [< >] -> ClassSignatureSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 88-91, characters 2-38:
- 88 | ..match expr with parser
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- 90 | ClassSignatureSet.add class_signature allocated_classes
- 91 | | [< >] -> ClassSignatureSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 89, characters 9-32:
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 89, characters 34-72:
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 89, characters 9-32:
- 89 | | [< 'String class_signature; allocated_classes = parse_native_alloc >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 94-106, characters 2-30:
- 94 | ..match expr with parser
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- 97 | let m_type = StringMap.find "type" method_attrs
- 98 | and m_class = StringMap.find "class" method_attrs
- ...
- 103 | m_name = m_name;
- 104 | m_signature = m_signature } in
- 105 | MethodSet.add jmethod native_calls
- 106 | | [< >] -> MethodSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 94-106, characters 2-30:
- 94 | ..match expr with parser
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- 97 | let m_type = StringMap.find "type" method_attrs
- 98 | and m_class = StringMap.find "class" method_attrs
- ...
- 103 | m_name = m_name;
- 104 | m_signature = m_signature } in
- 105 | MethodSet.add jmethod native_calls
- 106 | | [< >] -> MethodSet.empty
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 26-34:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 26-34:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 36-69:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 96, characters 2-10:
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 96, characters 2-10:
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 96, characters 12-45:
- 96 | 'Kwd "}"; native_calls = parse_native_calls >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 95, characters 9-24:
- 95 | | [< 'Ident "Method"; 'Kwd "{"; method_attrs = parse_method_attrs;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 119-147, characters 4-59:
- 119 | ....match expr with parser
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- 122 | let method_info =
- 123 | try MethodMap.find jmethod native_info
- ...
- 144 | | [< >] ->
- 145 | if (MethodMap.mem jmethod native_info) then
- 146 | native_info
- 147 | else MethodMap.add jmethod empty_method_info native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 119-147, characters 4-59:
- 119 | ....match expr with parser
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- 122 | let method_info =
- 123 | try MethodMap.find jmethod native_info
- ...
- 144 | | [< >] ->
- 145 | if (MethodMap.mem jmethod native_info) then
- 146 | native_info
- 147 | else MethodMap.add jmethod empty_method_info native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 29-37:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 29-37:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 121, characters 4-42:
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 121, characters 44-52:
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 121, characters 44-52:
- 121 | allocated_classes = parse_native_alloc; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 120, characters 11-27:
- 120 | | [< 'Ident "VMAlloc"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 29-37:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 29-37:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 133, characters 4-37:
- 133 | native_calls = parse_native_calls; 'Kwd "}" >] ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 133, characters 39-47:
- 133 | native_calls = parse_native_calls; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 133, characters 39-47:
- 133 | native_calls = parse_native_calls; 'Kwd "}" >] ->
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 132, characters 11-27:
- 132 | | [< 'Ident "Invokes"; 'Kwd "{";
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 150-155, characters 2-43:
- 150 | ..match expr with parser
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- 155 | | [< _ = Stream.empty >] -> native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", lines 150-155, characters 2-43:
- 150 | ..match expr with parser
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- 155 | | [< _ = Stream.empty >] -> native_info
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 26-34:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 26-34:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 152, characters 2-28:
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 152, characters 30-38:
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 152, characters 30-38:
- 152 | attrs = parse_method_attrs; 'Kwd "}";
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 153, characters 2-10:
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 153, characters 2-10:
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 153, characters 12-72:
- 153 | 'Kwd "{"; new_native_info = parse_native_alloc_calls attrs native_info;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 154, characters 2-10:
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 154, characters 2-10:
- 154 | 'Kwd "}" >] -> parse_native_info_stream new_native_info expr
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 151, characters 9-24:
- 151 | | [< 'Ident "Method"; 'Kwd "{";
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 155, characters 13-25:
- 155 | | [< _ = Stream.empty >] -> native_info
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "jNativeStubs.ml", line 160, characters 15-32:
- 160 | let stream = Stream.of_channel ic in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml
- /home/opam/.opam/default/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/default/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/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- File "jCRA.ml", line 176, characters 14-18:
- 176 | with Failure "hd" -> !p_classes
- ^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- File "jCFADom.ml", line 36, characters 8-9:
- 36 | | _ -> assert false (*In the current implementation is always a list with
- ^
- Warning 11 [redundant-case]: this match case is unused.
- File "jCFADom.ml", line 41, characters 8-9:
- 41 | | 0 -> cmp_list lst1 lst2
- ^
- Warning 11 [redundant-case]: this match case is unused.
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml
- /home/opam/.opam/default/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/default/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/src'
-> compiled sawja.1.5.5
[sawja: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5)
- /usr/bin/make -C src install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/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/default/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.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/default/lib/sawja/sawja.a
- Installed /home/opam/.opam/default/lib/sawja/bir.cmi
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/default/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/default/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/default/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/default/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/default/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/default/lib/sawja/XTA.mli
- Installed /home/opam/.opam/default/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/default/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/default/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/default/lib/sawja/parserType.mli
- Installed /home/opam/.opam/default/lib/sawja/nexir.mli
- Installed /home/opam/.opam/default/lib/sawja/jType.mli
- Installed /home/opam/.opam/default/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/default/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/default/lib/sawja/safe.mli
- Installed /home/opam/.opam/default/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/default/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/default/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/default/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/default/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/default/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/default/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/default/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/default/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/default/lib/sawja/jBir.mli
- Installed /home/opam/.opam/default/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/default/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/default/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/default/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/default/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/default/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/default/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/default/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/default/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/default/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/default/lib/sawja/wlist.mli
- Installed /home/opam/.opam/default/lib/sawja/iter.mli
- Installed /home/opam/.opam/default/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/default/lib/sawja/sawja.cma
- Installed /home/opam/.opam/default/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.5/src'
-> installed sawja.1.5.5
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev
=== STDERR ===
2026-06-23 19:57.12: OK: build sawja.1.5.5 (runc: 25.2s, disk: 161KB)
2026-06-23 19:57.12: Job succeeded