Build:
- 0
2026-06-16 12:49.36: New job: build sawja.1.5.11 (ac8f4df2d0b7)
2026-06-16 12:49.36: Waiting for resource in pool day11-builds
2026-06-16 14:18.31: Got resource from pool day11-builds
2026-06-16 14:18.31: [profile full] build sawja.1.5.11
2026-06-16 14:18.31: build sawja.1.5.11 (ac8f4df2d0b7)
=== DEPENDENCIES (14 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
camlzip.1.14 e242cb4a30b0
conf-pkg-config.5 64c6b37d622b
conf-which.1 9799649fc020
conf-zlib.1 6a8e9cb470aa
cppo.1.8.0 ea583d2d3bbb
dune.3.23.1 5402470d931c
extlib.1.8.0 a8a0cc316b7f
javalib.3.2.2 5aed8dd5c4ef
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
ocamlfind.1.9.8 6025f4a8e98e
=== STDOUT ===
Processing: [default: loading data]
[sawja.1.5.11: dl]
[sawja.1.5.11: extract]
-> retrieved sawja.1.5.11 (https://opam.ocaml.org/cache)
[sawja: ./configure.sh]
+ /home/opam/.opam/default/.opam-switch/build/sawja.1.5.11/./configure.sh (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.11)
- * 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.
- * Package javalib v3.2.2 found at /home/opam/.opam/default/lib/javalib.
- * Writing /home/opam/.opam/default/.opam-switch/build/sawja.1.5.11/Makefile.config.
- Creating from /home/opam/.opam/default/.opam-switch/build/sawja.1.5.11/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.11)
- /usr/bin/make -C src
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.11/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 iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli jUtil.ml iter.ml iter2.ml wlist.ml jProgram.ml classDomain.ml jsrInline.ml jControlFlow.ml jPrintUtil.ml jPrintHtml.ml jPrintPlugin.ml argPlugin.ml jCodePP.ml cmn.ml bir.ml birA3.ml jBir.ml jBirPP.ml a3Bir.ml a3BirPP.ml dataflow_analyses/live_bir.ml dataflow_analyses/live_a3bir.ml jBirSSA.ml jBirSSAPP.ml a3BirSSA.ml a3BirSSAPP.ml safe.ml reachableMethods.ml jNativeStubs.ml jType.ml nexir.ml heap_parser//parserType.ml heap_parser//parse_heap.ml heap_parser/lex_heap.ml heap_parser/heapParser.ml jCRA.ml jRTA.ml jRTAWithHeap.ml jRRTA.ml XTA.ml jCFAOptions.ml jCFADom.ml jCFAPrinter.ml jCFA.ml dataflow_analyses/reachDef.ml dataflow_analyses/availableExpr.ml dataflow_analyses/availableExprSSA.ml > .depend
- /home/opam/.opam/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 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 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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.
- /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.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 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.
- /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.
- /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 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm
- /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/ -c jPrintHtml.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintHtml.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/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)
- /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.
- File "cmn.ml", line 161, characters 43-50:
- 161 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value compare.
- File "cmn.ml", line 274, characters 16-18:
- 274 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "cmn.ml", line 275, characters 18-20:
- 275 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- /home/opam/.opam/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 3479, characters 38-50:
- 3479 | (String.concat "::" (List.map (print_expr) e))
- ^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4440, characters 58-68:
- 4440 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4458, characters 58-68:
- 4458 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4466, characters 58-68:
- 4466 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4482, characters 60-70:
- 4482 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4502, characters 58-68:
- 4502 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4997, characters 29-40:
- 4997 | let inst_disp = inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/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 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.
- /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.
- /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 80, characters 4-32:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/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/ -c jNativeStubs.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/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.
- File "jType.ml", line 93, characters 42-49:
- 93 | let compare = Stdlib.compare
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value compare.
- /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 301, characters 6-18:
- 301 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 302, characters 6-17:
- 302 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 274, characters 31-34:
- 274 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 461, characters 28-31:
- 461 | Ptmap.add start_pc [Nop, 0]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 529, characters 4-20:
- 529 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 17, characters 0-38:
- 17 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 143, characters 4-18:
- 143 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 534, characters 17-18:
- 534 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 560, characters 17-18:
- 560 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 587, characters 13-21:
- 587 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 612, characters 35-36:
- 612 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/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 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 109, characters 21-28:
- 109 | (ClassMap.find cs p.classes,fields_of_nodes)
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 229, characters 20-27:
- 229 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- /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.
- /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.
- /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.
- /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
- /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/ -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
- /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
- /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
- /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/ -for-pack Sawja_pack -c jNativeStubs.ml
- /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
- /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
- /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.11/src'
-> compiled sawja.1.5.11
[sawja: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.11)
- /usr/bin/make -C src install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.11/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 iter2.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli sawja_pack.cmi sawja_pack.cmo sawja_pack.cmx sawja_pack.o bir.cmi sawja.a
- Installed /home/opam/.opam/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/iter2.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.11/src'
-> installed sawja.1.5.11
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev
=== STDERR ===
2026-06-16 14:18.56: OK: build sawja.1.5.11 (runc: 17.6s, disk: 79KB)
2026-06-16 14:18.56: Job succeeded