Build:
- 0
2026-06-24 15:53.51: New job: build elina.1.3 (f362d02644f0)
2026-06-24 15:53.51: Waiting for resource in pool day11-builds
2026-06-24 16:53.29: Got resource from pool day11-builds
2026-06-24 16:53.29: [profile full] build elina.1.3
2026-06-24 16:53.29: build elina.1.3 (f362d02644f0)
=== DEPENDENCIES (18 transitive) ===
apron.v0.9.15 bdcf5db91fda
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
bigarray-compat.1.1.0 6a9ffb5ca493
camlidl.1.13-1 aa6b8b9d84b7
compiler-cloning.enabled 439a1fc77aa6
conf-findutils.1 26549b564faf
conf-gmp-paths.1 f37da399e0a8
conf-mpfr-paths.1 41aee167ccbd
conf-perl.2 bdcd7b1dce5e
dune.3.23.1 a59dd9b14fe3
ez-conf-lib.2 abb9b9606ade
mlgmpidl.1.3.0 0394ed3a4df6
ocaml.5.5.0 383268832c4b
ocaml-base-compiler.5.5.0 522c248944c8
ocaml-compiler.5.5.0 eb1a8babf54c
ocamlbuild.0.16.1 e57f00093c6a
ocamlfind.1.9.8 b506a15fcd6c
=== STDOUT ===
Processing: [default: loading data]
[elina.1.3: dl]
[elina.1.3: extract]
-> retrieved elina.1.3 (https://opam.ocaml.org/cache)
[elina: sh]
+ /usr/bin/sh "./configure" "--prefix" "/home/opam/.opam/default/share/elina" "--apron-prefix" "/home/opam/.opam/default/share/apron" "--use-opam" "--use-apron" "--use-vector" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.3)
- checking compilation with cc : working
- checking compilation with cc -Wcast-qual: working
- checking compilation with cc -Wswitch: working
- checking compilation with cc -Wall: working
- checking compilation with cc -Wextra: working
- checking compilation with cc -Wundef: working
- checking compilation with cc -Wcast-align: working
- checking compilation with cc -Wno-unused: working
- checking compilation with cc -U__STRICT_ANSI__: working
- checking compilation with cc -fPIC: working
- checking compilation with cc -O3: working
- checking compilation with cc -DNDEBUG: working
- checking compilation with cc -Werror-implicit-function-declaration:
- working
- checking compilation with cc -Wbad-function-cast: working
- checking compilation with cc -Wstrict-prototypes: working
- checking compilation with cc -Wno-strict-overflow: working
- checking compilation with cc -std=c99: working
- binary ar: found in /usr/bin
- binary ranlib: found in /usr/bin
- binary sed: found in /usr/bin
- binary perl: found in /usr/bin
- binary install: found in /usr/bin
- looking for gmp without prefix
- include gmp.h: found
- library gmp: found
- library gmp found without prefix
- looking for mpfr without prefix
- include mpfr.h: found
- library mpfr: found
- library mpfr found without prefix
- binary ocamlc.opt: found in /home/opam/.opam/default/bin
- binary ocamlopt.opt: found in /home/opam/.opam/default/bin
- binary ocamldep: found in /home/opam/.opam/default/bin
- binary ocamllex: found in /home/opam/.opam/default/bin
- binary ocamlyacc: found in /home/opam/.opam/default/bin
- binary ocamldoc: found in /home/opam/.opam/default/bin
- binary ocamlmktop: found in /home/opam/.opam/default/bin
- binary ocamlmklib: found in /home/opam/.opam/default/bin
- binary camlidl: found in /home/opam/.opam/default/bin
- binary ocamlfind: found in /home/opam/.opam/default/bin
- include caml/mlvalues.h: found
- include caml/camlidlruntime.h: found
- include gmp_caml.h: found
-
- detected configuration:
-
- optional OCaml support 1
- optional OCamlFind support 1
- optional Java support 0
- optional CUDA support 0
-
- installation path /home/opam/.opam/default/share/elina
-
[elina: make]
+ /usr/bin/make "-j39" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.3)
- (cd elina_linearize; make all)
- make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_linearize'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_generic.o elina_generic.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_scalar_arith.o elina_scalar_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_interval_arith.o elina_interval_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_coeff_arith.o elina_coeff_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_linexpr0_arith.o elina_linexpr0_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_linearize.o elina_linearize.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_linearize_texpr.o elina_linearize_texpr.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o libelinalinearize.so elina_generic.o elina_scalar_arith.o elina_interval_arith.o elina_coeff_arith.o elina_linexpr0_arith.o elina_linearize.o elina_linearize_texpr.o -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_linearize'
- (cd partitions_api; make all)
- make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/partitions_api'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o comp_list.o comp_list.c
- comp_list.c: In function 'comp_list_deserialize':
- comp_list.c:289:25: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 289 | for(size_t i = 0; i < length - 1; i++){
- | ^
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o array_comp_list.o array_comp_list.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o intersection.o intersection.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o union.o union.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o extract.o extract.c
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -o libpartitions.so comp_list.o array_comp_list.o intersection.o union.o extract.o
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/partitions_api'
- (cd elina_oct; make all)
- make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_oct'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_closure_comp_sparse.o opt_oct_closure_comp_sparse.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_incr_closure_comp_sparse.o opt_oct_incr_closure_comp_sparse.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm opt_oct_closure_comp_sparse.o
- cc: warning: opt_oct_closure_comp_sparse.o: linker input file unused because linking not done
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_closure_dense.o opt_oct_closure_dense.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_oct_closure_dense.c: In function 'floyd_warshall_dense':
- opt_oct_closure_dense.c:380:1: warning: control reaches end of non-void function [-Wreturn-type]
- 380 | }
- | ^
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_incr_closure_dense.o opt_oct_incr_closure_dense.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm opt_oct_closure_dense.o
- opt_oct_incr_closure_dense.c: In function 'incremental_closure_opt_dense':
- opt_oct_incr_closure_dense.c:46:31: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 46 | for(unsigned k = 0; k < n; k=k + 2){
- | ^
- opt_oct_incr_closure_dense.c:53:29: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 53 | int br1 = k < v1 ? k : v1;
- | ^
- opt_oct_incr_closure_dense.c:53:40: warning: operand of '?:' changes signedness from 'int' to 'unsigned int' due to unsignedness of other operand [-Wsign-compare]
- 53 | int br1 = k < v1 ? k : v1;
- | ^~
- opt_oct_incr_closure_dense.c:65:41: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 65 | for(unsigned i = 2*v; i < 2*v + 2; i++){
- | ^
- opt_oct_incr_closure_dense.c:75:31: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 75 | if(kk <=i){
- | ^~
- opt_oct_incr_closure_dense.c:94:33: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 94 | if ( kk <= i){
- | ^~
- opt_oct_incr_closure_dense.c:153:40: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 153 | for(j= v1+2; j < k; j++ ){
- | ^
- opt_oct_incr_closure_dense.c:230:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 230 | for(unsigned i = 0; i < v1; i++){
- | ^
- opt_oct_incr_closure_dense.c:281:45: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 281 | for(unsigned i = 2*v + 2; i < n; i++){
- | ^
- cc: warning: opt_oct_closure_dense.o: linker input file unused because linking not done
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_nary.o opt_oct_nary.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_resize.o opt_oct_resize.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_predicate.o opt_oct_predicate.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_representation.o opt_oct_representation.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_transfer.o opt_oct_transfer.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_oct_transfer.c: In function 'opt_oct_meet_tcons_array':
- opt_oct_transfer.c:269:51: warning: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 269 | &opt_oct_meet_lincons_array);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~
- | |
- | opt_oct_t * (*)(ap_manager_t *, bool, opt_oct_t *, ap_lincons0_array_t *) {aka opt_oct_t * (*)(ap_manager_t *, char, opt_oct_t *, ap_lincons0_array_t *)}
- In file included from opt_oct.h:38,
- from opt_oct_internal.h:87,
- from opt_oct_hmat.h:31,
- from opt_oct_transfer.c:22:
- ../elina_linearize/elina_generic.h:112:50: note: expected 'void * (*)(ap_manager_t *, bool, void *, ap_lincons0_array_t *)' {aka 'void * (*)(ap_manager_t *, char, void *, ap_lincons0_array_t *)'} but argument is of type 'opt_oct_t * (*)(ap_manager_t *, bool, opt_oct_t *, ap_lincons0_array_t *)' {aka 'opt_oct_t * (*)(ap_manager_t *, char, opt_oct_t *, ap_lincons0_array_t *)'}
- 112 | void* (*meet_lincons_array)(elina_manager_t*,
- | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 113 | bool, void*,
- | ~~~~~~~~~~~~
- 114 | elina_lincons0_array_t*));
- | ~~~~~~~~~~~~~~~~~~~~~~~~
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_hmat.o opt_oct_hmat.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_oct_hmat.c: In function 'opt_hmat_permute':
- opt_oct_hmat.c:1493:44: warning: comparison of integer expressions of different signedness: 'ap_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 1493 | if(permutation[num]>=dst_dim){
- | ^~
- opt_oct_hmat.c: In function 'opt_hmat_add_lincons':
- opt_oct_hmat.c:2027:22: warning: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2027 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2039:30: warning: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2039 | incr_closure = &incremental_closure_opt_dense;
- | ^
- opt_oct_hmat.c: In function 'opt_hmat_assign':
- opt_oct_hmat.c:2933:22: warning: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2933 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2945:30: warning: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2945 | incr_closure = &incremental_closure_opt_dense;
- | ^
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o liboptoct.so opt_oct_closure_comp_sparse.o opt_oct_incr_closure_comp_sparse.o opt_oct_closure_dense.o opt_oct_incr_closure_dense.o opt_oct_nary.o opt_oct_resize.o opt_oct_predicate.o opt_oct_representation.o opt_oct_transfer.o opt_oct_hmat.o -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o elina_test_oct elina_test_oct.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm -L. -loptoct
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_oct'
- (cd elina_poly; make all)
- make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_poly'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_mf_qsort.o opt_mf_qsort.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_internal.o opt_pk_internal.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_matrix.o opt_pk_matrix.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_matrix.c: In function 'opt_qsort_rows_compar':
- opt_pk_matrix.c:323:24: warning: cast discards 'const' qualifier from pointer target type [-Wcast-qual]
- 323 | opt_numint_t* q1 = *((opt_numint_t**)pq1);
- | ^
- opt_pk_matrix.c:324:24: warning: cast discards 'const' qualifier from pointer target type [-Wcast-qual]
- 324 | opt_numint_t* q2 = *((opt_numint_t**)pq2);
- | ^
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_user.o opt_pk_user.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_assign.o opt_pk_assign.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_test.o opt_pk_test.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_vector.o opt_pk_vector.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_representation.o opt_pk_representation.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_representation.c: In function 'opt_pk_array_fprint':
- opt_pk_representation.c:1262:60: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'int' [-Wformat=]
- 1262 | fprintf(stream,"empty polyhedron of dim (%lu)\n",maxcols);
- | ~~^ ~~~~~~~
- | | |
- | | int
- | long unsigned int
- | %u
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_project.o opt_pk_project.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_constructor.o opt_pk_constructor.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_meetjoin.o opt_pk_meetjoin.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_meetjoin.c: In function 'opt_pk_meet_tcons_array':
- opt_pk_meetjoin.c:765:51: warning: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 765 | &opt_pk_meet_lincons_array);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~
- | |
- | opt_pk_array_t * (*)(ap_manager_t *, bool, opt_pk_array_t *, ap_lincons0_array_t *) {aka opt_pk_array_t * (*)(ap_manager_t *, char, opt_pk_array_t *, ap_lincons0_array_t *)}
- In file included from opt_pk.h:62,
- from opt_pk_internal.h:32,
- from opt_pk_vector.h:35,
- from opt_pk_meetjoin.c:28:
- ../elina_linearize/elina_generic.h:112:50: note: expected 'void * (*)(ap_manager_t *, bool, void *, ap_lincons0_array_t *)' {aka 'void * (*)(ap_manager_t *, char, void *, ap_lincons0_array_t *)'} but argument is of type 'opt_pk_array_t * (*)(ap_manager_t *, bool, opt_pk_array_t *, ap_lincons0_array_t *)' {aka 'opt_pk_array_t * (*)(ap_manager_t *, char, opt_pk_array_t *, ap_lincons0_array_t *)'}
- 112 | void* (*meet_lincons_array)(elina_manager_t*,
- | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 113 | bool, void*,
- | ~~~~~~~~~~~~
- 114 | elina_lincons0_array_t*));
- | ~~~~~~~~~~~~~~~~~~~~~~~~
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_widening.o opt_pk_widening.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_resize.o opt_pk_resize.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_expandfold.o opt_pk_expandfold.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_extract.o opt_pk_extract.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_bit.o opt_pk_bit.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_satmat.o opt_pk_satmat.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o opt_pk_cherni.o opt_pk_cherni.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_cherni.c: In function 'opt_cherni_simplify':
- opt_pk_cherni.c:392:7: warning: this 'for' clause does not guard... [-Wmisleading-indentation]
- 392 | for (m=opt_bitstring_msb; m!=nbrays.bit; m>>=1)
- | ^~~
- opt_pk_cherni.c:394:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for'
- 394 | con->p[i][0] = (int)nb;
- | ^~~
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o liboptpoly.so opt_mf_qsort.o opt_pk_internal.o opt_pk_matrix.o opt_pk_user.o opt_pk_assign.o opt_pk_test.o opt_pk_vector.o opt_pk_representation.o opt_pk_project.o opt_pk_constructor.o opt_pk_meetjoin.o opt_pk_widening.o opt_pk_resize.o opt_pk_expandfold.o opt_pk_extract.o opt_pk_bit.o opt_pk_satmat.o opt_pk_cherni.o -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../apron_interface -I../ -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_test_poly elina_test_poly.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm -L. -loptpoly
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_poly'
- (cd elina_zones; make all)
- make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_zones'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_closure.o opt_zones_closure.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_zones_closure.c: In function 'strengthening_comp_zones':
- opt_zones_closure.c:55:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 55 | for(unsigned i = 0; i < comp_size; i++){
- | ^
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_incr_closure.o opt_zones_incr_closure.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_representation.o opt_zones_representation.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_mat.o opt_mat.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_mat.c: In function 'is_equal_comp_zones':
- opt_mat.c:1180:44: warning: '*' in boolean context, suggest '&&' instead [-Wint-in-bool-context]
- 1180 | if((arr_map1[i1-1] * arr_map1[j1-1]) && arr_map1[i1-1]!=arr_map1[j1-1]){
- | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
- opt_mat.c:1184:44: warning: '*' in boolean context, suggest '&&' instead [-Wint-in-bool-context]
- 1184 | if((arr_map2[i1-1] * arr_map2[j1-1]) && arr_map2[i1-1]!=arr_map2[j1-1]){
- | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
- opt_mat.c: In function 'opt_zones_mat_addrem_dimensions':
- opt_mat.c:1785:48: warning: comparison of integer expressions of different signedness: 'int' and 'ap_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 1785 | while((l < nb_pos) &&(i==pos[l])){
- | ^~
- opt_mat.c: In function 'opt_zones_mat_add_lincons':
- opt_mat.c:2203:22: warning: assignment to 'bool (*)(opt_zones_mat_t *, ...)' {aka 'char (*)(opt_zones_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_zones_mat_t *, short unsigned int, short unsigned int)' {aka 'char (*)(opt_zones_mat_t *, short unsigned int, short unsigned int)'} [-Wincompatible-pointer-types]
- 2203 | incr_closure = &incr_closure_comp_sparse;
- | ^
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_predicate.o opt_zones_predicate.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_nary.o opt_zones_nary.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_resize.o opt_zones_resize.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_zones_transfer.o opt_zones_transfer.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_zones_transfer.c: In function 'opt_zones_meet_tcons_array':
- opt_zones_transfer.c:154:51: warning: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 154 | &opt_zones_meet_lincons_array);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- | |
- | opt_zones_t * (*)(ap_manager_t *, bool, opt_zones_t *, ap_lincons0_array_t *) {aka opt_zones_t * (*)(ap_manager_t *, char, opt_zones_t *, ap_lincons0_array_t *)}
- In file included from opt_zones.h:37,
- from opt_zones_internal.h:63,
- from opt_mat.h:67,
- from opt_zones_transfer.c:22:
- ../elina_linearize/elina_generic.h:112:50: note: expected 'void * (*)(ap_manager_t *, bool, void *, ap_lincons0_array_t *)' {aka 'void * (*)(ap_manager_t *, char, void *, ap_lincons0_array_t *)'} but argument is of type 'opt_zones_t * (*)(ap_manager_t *, bool, opt_zones_t *, ap_lincons0_array_t *)' {aka 'opt_zones_t * (*)(ap_manager_t *, char, opt_zones_t *, ap_lincons0_array_t *)'}
- 112 | void* (*meet_lincons_array)(elina_manager_t*,
- | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 113 | bool, void*,
- | ~~~~~~~~~~~~
- 114 | elina_lincons0_array_t*));
- | ~~~~~~~~~~~~~~~~~~~~~~~~
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o liboptzones.so opt_zones_closure.o opt_zones_incr_closure.o opt_zones_representation.o opt_mat.o opt_zones_predicate.o opt_zones_nary.o opt_zones_resize.o opt_zones_transfer.o -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_zones'
- (cd ocaml_interface; make all)
- make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/ocaml_interface'
- mkdir -p tmp
- cp /home/opam/.opam/default/lib/apron/manager.idl elina_poly.idl tmp/
- cd tmp && /home/opam/.opam/default/bin/camlidl -no-include -nocpp elina_poly.idl
- cp tmp/elina_poly_stubs.c elina_poly_caml.c
- /usr/bin/perl perlscript_caml_poly.pl < tmp/elina_poly.ml >elina_poly.ml
- /usr/bin/perl perlscript_caml_poly.pl < tmp/elina_poly.mli >elina_poly.mli
- /home/opam/.opam/default/bin/ocamlc.opt -g -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/apron -I /home/opam/.opam/default/lib/apron -c elina_poly.mli
- mkdir -p tmp
- cp elina_oct.idl /home/opam/.opam/default/lib/apron/*.idl tmp
- cd tmp && /home/opam/.opam/default/bin/camlidl -no-include -nocpp -I . elina_oct.idl
- /usr/bin/perl perlscript_c_oct.pl < tmp/elina_oct_stubs.c >elina_oct_caml.c
- /usr/bin/perl perlscript_caml_oct.pl < tmp/elina_oct.ml >elina_oct.ml
- /usr/bin/perl perlscript_caml_oct.pl < tmp/elina_oct.mli >elina_oct.mli
- /home/opam/.opam/default/bin/ocamlc.opt -g -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/apron -I /home/opam/.opam/default/lib/apron -c elina_oct.mli
- /home/opam/.opam/default/bin/ocamlopt.opt -inline 20 -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/apron -I /home/opam/.opam/default/lib/apron -c elina_poly.ml
- cc -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -I/home/opam/.opam/default/share/apron/include -I/home/opam/.opam/default/lib/apron -I/home/opam/.opam/default/share/apron/include -I/home/opam/.opam/default/share/apron/include -I/home/opam/.opam/default/lib/gmp -I/home/opam/.opam/default/lib/apron -I/home/opam/.opam/default/lib/camlidl -I/home/opam/.opam/default/lib/ocaml -I ../partitions_api -I ../elina_linearize -I ../elina_auxiliary -I ../elina_poly -I ../elina_oct -DNUMINT_MPQ -c -o elina_poly_caml.o elina_poly_caml.c
- elina_poly_caml.c: In function 'camlidl_elina_poly_elina_poly_manager_alloc_loose':
- elina_poly_caml.c:69:6: warning: assignment to 'ap_manager_ptr' {aka 'struct ap_manager_t *'} from incompatible pointer type 'elina_manager_t *' [-Wincompatible-pointer-types]
- 69 | _res = opt_pk_manager_alloc(false);
- | ^
- elina_poly_caml.c: In function 'camlidl_elina_poly_elina_poly_manager_alloc_strict':
- elina_poly_caml.c:89:6: warning: assignment to 'ap_manager_ptr' {aka 'struct ap_manager_t *'} from incompatible pointer type 'elina_manager_t *' [-Wincompatible-pointer-types]
- 89 | _res = opt_pk_manager_alloc(true);
- | ^
- /home/opam/.opam/default/bin/ocamlmklib -dllpath /home/opam/.opam/default/share/elina/lib -L/home/opam/.opam/default/share/elina/lib -o elina_poly_caml elina_poly_caml.o -L. -loptpoly -L/home/opam/.opam/default/share/apron/lib -L/home/opam/.opam/default/lib/apron -L../partitions_api -L../elina_linearize -L../elina_auxiliary -L../elina_poly -L../elina_oct -L. -lapron -lmpfr -lgmp -lm
- /home/opam/.opam/default/bin/ocamlmklib -dllpath /home/opam/.opam/default/share/elina/lib -L/home/opam/.opam/default/share/elina/lib -o elina_poly -oc elina_poly_caml elina_poly.cmx -loptpoly -lapron -lmpfr -lgmp -lm
- /home/opam/.opam/default/bin/ocamlc.opt -g -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/apron -I /home/opam/.opam/default/lib/apron -c elina_poly.ml
- /home/opam/.opam/default/bin/ocamlmklib -dllpath /home/opam/.opam/default/share/elina/lib -L/home/opam/.opam/default/share/elina/lib -o elina_poly -oc elina_poly_caml elina_poly.cmo -loptpoly -lapron -lmpfr -lgmp -lm
- /home/opam/.opam/default/bin/ocamlopt.opt -inline 20 -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/apron -I /home/opam/.opam/default/lib/apron -c elina_oct.ml
- cc -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -I/home/opam/.opam/default/share/apron/include -I/home/opam/.opam/default/lib/apron -I/home/opam/.opam/default/share/apron/include -I/home/opam/.opam/default/share/apron/include -I/home/opam/.opam/default/lib/gmp -I/home/opam/.opam/default/lib/apron -I/home/opam/.opam/default/lib/camlidl -I/home/opam/.opam/default/lib/ocaml -I ../partitions_api -I ../elina_linearize -I ../elina_auxiliary -I ../elina_poly -I ../elina_oct -DNUMINT_MPQ -c -o elina_oct_caml.o elina_oct_caml.c
- elina_oct_caml.c: In function 'camlidl_elina_oct_opt_oct_manager_alloc':
- elina_oct_caml.c:203:8: warning: assignment to 'ap_manager_ptr' {aka 'struct ap_manager_t *'} from incompatible pointer type 'elina_manager_t *' [-Wincompatible-pointer-types]
- 203 | _res = opt_oct_manager_alloc();
- | ^
- elina_oct_caml.c: In function 'camlidl_elina_oct_elina_abstract0_opt_oct_widening_thresholds':
- elina_oct_caml.c:247:52: warning: passing argument 1 of 'elina_abstract0_opt_oct_widening_thresholds' from incompatible pointer type [-Wincompatible-pointer-types]
- 247 | _res = elina_abstract0_opt_oct_widening_thresholds(man,a1,a2,(ap_scalar_t**)array.p,array.size);
- | ^~~
- | |
- | ap_manager_ptr {aka struct ap_manager_t *}
- In file included from elina_oct_caml.c:16:
- ../elina_oct/opt_oct.h:64:62: note: expected 'elina_manager_t *' but argument is of type 'ap_manager_ptr' {aka 'struct ap_manager_t *'}
- 64 | elina_abstract0_opt_oct_widening_thresholds(elina_manager_t* man,
- | ~~~~~~~~~~~~~~~~~^~~
- elina_oct_caml.c:247:56: warning: passing argument 2 of 'elina_abstract0_opt_oct_widening_thresholds' from incompatible pointer type [-Wincompatible-pointer-types]
- 247 | _res = elina_abstract0_opt_oct_widening_thresholds(man,a1,a2,(ap_scalar_t**)array.p,array.size);
- | ^~
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:65:57: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 65 | elina_abstract0_t* a1,
- | ~~~~~~~~~~~~~~~~~~~^~
- elina_oct_caml.c:247:59: warning: passing argument 3 of 'elina_abstract0_opt_oct_widening_thresholds' from incompatible pointer type [-Wincompatible-pointer-types]
- 247 | _res = elina_abstract0_opt_oct_widening_thresholds(man,a1,a2,(ap_scalar_t**)array.p,array.size);
- | ^~
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:66:57: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 66 | elina_abstract0_t* a2,
- | ~~~~~~~~~~~~~~~~~~~^~
- elina_oct_caml.c:247:62: warning: passing argument 4 of 'elina_abstract0_opt_oct_widening_thresholds' from incompatible pointer type [-Wincompatible-pointer-types]
- 247 | _res = elina_abstract0_opt_oct_widening_thresholds(man,a1,a2,(ap_scalar_t**)array.p,array.size);
- | ^~~~~~~~~~~~~~~~~~~~~~
- | |
- | ap_scalar_t **
- ../elina_oct/opt_oct.h:67:55: note: expected 'elina_scalar_t **' but argument is of type 'ap_scalar_t **'
- 67 | elina_scalar_t** arr,
- | ~~~~~~~~~~~~~~~~~^~~
- elina_oct_caml.c:247:6: warning: assignment to 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'} from incompatible pointer type 'elina_abstract0_t *' [-Wincompatible-pointer-types]
- 247 | _res = elina_abstract0_opt_oct_widening_thresholds(man,a1,a2,(ap_scalar_t**)array.p,array.size);
- | ^
- elina_oct_caml.c: In function 'camlidl_elina_oct_elina_abstract0_opt_oct_narrowing':
- elina_oct_caml.c:274:42: warning: passing argument 1 of 'elina_abstract0_opt_oct_narrowing' from incompatible pointer type [-Wincompatible-pointer-types]
- 274 | _res = elina_abstract0_opt_oct_narrowing(man,a1,a2);
- | ^~~
- | |
- | ap_manager_ptr {aka struct ap_manager_t *}
- ../elina_oct/opt_oct.h:73:52: note: expected 'elina_manager_t *' but argument is of type 'ap_manager_ptr' {aka 'struct ap_manager_t *'}
- 73 | elina_abstract0_opt_oct_narrowing(elina_manager_t* man,
- | ~~~~~~~~~~~~~~~~~^~~
- elina_oct_caml.c:274:46: warning: passing argument 2 of 'elina_abstract0_opt_oct_narrowing' from incompatible pointer type [-Wincompatible-pointer-types]
- 274 | _res = elina_abstract0_opt_oct_narrowing(man,a1,a2);
- | ^~
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:74:48: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 74 | elina_abstract0_t* a1,
- | ~~~~~~~~~~~~~~~~~~~^~
- elina_oct_caml.c:274:49: warning: passing argument 3 of 'elina_abstract0_opt_oct_narrowing' from incompatible pointer type [-Wincompatible-pointer-types]
- 274 | _res = elina_abstract0_opt_oct_narrowing(man,a1,a2);
- | ^~
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:75:48: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 75 | elina_abstract0_t* a2 );
- | ~~~~~~~~~~~~~~~~~~~^~
- elina_oct_caml.c:274:6: warning: assignment to 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'} from incompatible pointer type 'elina_abstract0_t *' [-Wincompatible-pointer-types]
- 274 | _res = elina_abstract0_opt_oct_narrowing(man,a1,a2);
- | ^
- elina_oct_caml.c: In function 'camlidl_elina_oct_elina_abstract0_opt_oct_add_epsilon':
- elina_oct_caml.c:300:46: warning: passing argument 1 of 'elina_abstract0_opt_oct_add_epsilon' from incompatible pointer type [-Wincompatible-pointer-types]
- 300 | _res = elina_abstract0_opt_oct_add_epsilon(man, a, epsilon);
- | ^~~
- | |
- | ap_manager_ptr {aka struct ap_manager_t *}
- ../elina_oct/opt_oct.h:46:54: note: expected 'elina_manager_t *' but argument is of type 'ap_manager_ptr' {aka 'struct ap_manager_t *'}
- 46 | elina_abstract0_opt_oct_add_epsilon(elina_manager_t* man,
- | ~~~~~~~~~~~~~~~~~^~~
- elina_oct_caml.c:300:51: warning: passing argument 2 of 'elina_abstract0_opt_oct_add_epsilon' from incompatible pointer type [-Wincompatible-pointer-types]
- 300 | _res = elina_abstract0_opt_oct_add_epsilon(man, a, epsilon);
- | ^
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:47:49: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 47 | elina_abstract0_t* a,
- | ~~~~~~~~~~~~~~~~~~~^
- elina_oct_caml.c:300:54: warning: passing argument 3 of 'elina_abstract0_opt_oct_add_epsilon' from incompatible pointer type [-Wincompatible-pointer-types]
- 300 | _res = elina_abstract0_opt_oct_add_epsilon(man, a, epsilon);
- | ^~~~~~~
- | |
- | ap_scalar_ptr {aka struct ap_scalar_t *}
- ../elina_oct/opt_oct.h:48:46: note: expected 'elina_scalar_t *' but argument is of type 'ap_scalar_ptr' {aka 'struct ap_scalar_t *'}
- 48 | elina_scalar_t* epsilon);
- | ~~~~~~~~~~~~~~~~^~~~~~~
- elina_oct_caml.c:300:8: warning: assignment to 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'} from incompatible pointer type 'elina_abstract0_t *' [-Wincompatible-pointer-types]
- 300 | _res = elina_abstract0_opt_oct_add_epsilon(man, a, epsilon);
- | ^
- elina_oct_caml.c: In function 'camlidl_elina_oct_elina_abstract0_opt_oct_add_epsilon_bin':
- elina_oct_caml.c:328:50: warning: passing argument 1 of 'elina_abstract0_opt_oct_add_epsilon_bin' from incompatible pointer type [-Wincompatible-pointer-types]
- 328 | _res = elina_abstract0_opt_oct_add_epsilon_bin(man, a1, a2, epsilon);
- | ^~~
- | |
- | ap_manager_ptr {aka struct ap_manager_t *}
- ../elina_oct/opt_oct.h:54:58: note: expected 'elina_manager_t *' but argument is of type 'ap_manager_ptr' {aka 'struct ap_manager_t *'}
- 54 | elina_abstract0_opt_oct_add_epsilon_bin(elina_manager_t* man,
- | ~~~~~~~~~~~~~~~~~^~~
- elina_oct_caml.c:328:55: warning: passing argument 2 of 'elina_abstract0_opt_oct_add_epsilon_bin' from incompatible pointer type [-Wincompatible-pointer-types]
- 328 | _res = elina_abstract0_opt_oct_add_epsilon_bin(man, a1, a2, epsilon);
- | ^~
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:55:53: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 55 | elina_abstract0_t* a1,
- | ~~~~~~~~~~~~~~~~~~~^~
- elina_oct_caml.c:328:59: warning: passing argument 3 of 'elina_abstract0_opt_oct_add_epsilon_bin' from incompatible pointer type [-Wincompatible-pointer-types]
- 328 | _res = elina_abstract0_opt_oct_add_epsilon_bin(man, a1, a2, epsilon);
- | ^~
- | |
- | ap_abstract0_ptr {aka ap_abstract0_t *}
- ../elina_oct/opt_oct.h:56:53: note: expected 'elina_abstract0_t *' but argument is of type 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'}
- 56 | elina_abstract0_t* a2,
- | ~~~~~~~~~~~~~~~~~~~^~
- elina_oct_caml.c:328:63: warning: passing argument 4 of 'elina_abstract0_opt_oct_add_epsilon_bin' from incompatible pointer type [-Wincompatible-pointer-types]
- 328 | _res = elina_abstract0_opt_oct_add_epsilon_bin(man, a1, a2, epsilon);
- | ^~~~~~~
- | |
- | ap_scalar_ptr {aka struct ap_scalar_t *}
- ../elina_oct/opt_oct.h:57:50: note: expected 'elina_scalar_t *' but argument is of type 'ap_scalar_ptr' {aka 'struct ap_scalar_t *'}
- 57 | elina_scalar_t* epsilon);
- | ~~~~~~~~~~~~~~~~^~~~~~~
- elina_oct_caml.c:328:8: warning: assignment to 'ap_abstract0_ptr' {aka 'ap_abstract0_t *'} from incompatible pointer type 'elina_abstract0_t *' [-Wincompatible-pointer-types]
- 328 | _res = elina_abstract0_opt_oct_add_epsilon_bin(man, a1, a2, epsilon);
- | ^
- /home/opam/.opam/default/bin/ocamlmklib -dllpath /home/opam/.opam/default/share/elina/lib -L/home/opam/.opam/default/share/elina/lib -o elina_oct_caml elina_oct_caml.o -L. -loptoct -L/home/opam/.opam/default/share/apron/lib -L/home/opam/.opam/default/lib/apron -L../partitions_api -L../elina_linearize -L../elina_auxiliary -L../elina_poly -L../elina_oct -L. -lapron -lmpfr -lgmp -lm
- /home/opam/.opam/default/bin/ocamlmklib -dllpath /home/opam/.opam/default/share/elina/lib -L/home/opam/.opam/default/share/elina/lib -o elina_oct -oc elina_oct_caml elina_oct.cmx -loptoct -lapron -lmpfr -lgmp -lm
- /home/opam/.opam/default/bin/ocamlc.opt -g -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/apron -I /home/opam/.opam/default/lib/apron -c elina_oct.ml
- /home/opam/.opam/default/bin/ocamlmklib -dllpath /home/opam/.opam/default/share/elina/lib -L/home/opam/.opam/default/share/elina/lib -o elina_oct -oc elina_oct_caml elina_oct.cmo -loptoct -lapron -lmpfr -lgmp -lm
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/ocaml_interface'
-> compiled elina.1.3
[elina: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.3)
- (cd elina_linearize; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_linearize'
- install -d /home/opam/.opam/default/share/elina/lib; \
- for i in libelinalinearize.so; do \
- install $i /home/opam/.opam/default/share/elina/lib; \
- done;
- install -d /home/opam/.opam/default/share/elina/include ; \
- for i in elina_generic.h elina_scalar_arith.h elina_interval_arith.h elina_coeff_arith.h elina_linexpr0_arith.h elina_linearize.h elina_linearize_texpr.h elina_rat.h elina_int.h; do \
- install $i /home/opam/.opam/default/share/elina/include ; \
- done;
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_linearize'
- (cd partitions_api; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/partitions_api'
- install -d /home/opam/.opam/default/share/elina/lib; \
- install libpartitions.so /home/opam/.opam/default/share/elina/lib;
- install -d /home/opam/.opam/default/share/elina/include; \
- for i in comp_list.h; do \
- install $i /home/opam/.opam/default/share/elina/include; \
- done;
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/partitions_api'
- (cd elina_oct; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_oct'
- install -d /home/opam/.opam/default/share/elina/lib; \
- for i in liboptoct.so; do \
- install $i /home/opam/.opam/default/share/elina/lib; \
- done;
- install -d /home/opam/.opam/default/share/elina/include; \
- for i in opt_oct.h opt_oct_internal.h opt_oct_hmat.h opt_oct_closure_comp_sparse.h opt_oct_incr_closure_comp_sparse.h opt_oct_closure_dense.h opt_oct_incr_closure_dense.h vector_intrin.h; do \
- install $i /home/opam/.opam/default/share/elina/include; \
- done;
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_oct'
- (cd elina_poly; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_poly'
- install -d /home/opam/.opam/default/share/elina/lib; \
- for i in liboptpoly.so; do \
- install $i /home/opam/.opam/default/share/elina/lib; \
- done;
- install -d /home/opam/.opam/default/share/elina/include ; \
- for i in opt_mf_qsort.h opt_pk_matrix.h opt_pk_internal.h opt_pk_test.h opt_pk_config.h opt_pk.h; do \
- install $i /home/opam/.opam/default/share/elina/include ; \
- done;
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_poly'
- (cd elina_zones; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_zones'
- /usr/bin/install -d /home/opam/.opam/default/share/elina/lib; \
- for i in liboptzones.so; do \
- /usr/bin/install $i /home/opam/.opam/default/share/elina/lib; \
- done;
- /usr/bin/install -d /home/opam/.opam/default/share/elina/include; \
- for i in opt_zones.h opt_zones_internal.h opt_mat.h; do \
- /usr/bin/install $i /home/opam/.opam/default/share/elina/include; \
- done;
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/elina_zones'
- (cd apron_interface; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/apron_interface'
- install -d /home/opam/.opam/default/share/elina/include ; \
- for i in apron_wrapper.h; do \
- install $i /home/opam/.opam/default/share/elina/include ; \
- done;
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/apron_interface'
- (cd ocaml_interface; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/ocaml_interface'
- /usr/bin/install -d /home/opam/.opam/default/share/elina/include /home/opam/.opam/default/share/elina/lib
- for i in elina_poly.idl elina_poly.mli elina_poly.ml elina_poly.cmi elina_poly.a elina_poly.cma elina_poly.cmx elina_poly.cmxa libelina_poly_caml.a dllelina_poly.so dllelina_poly_caml.so elina_oct.idl elina_oct.mli elina_oct.ml elina_oct.cmi elina_oct.a elina_oct.cma elina_oct.cmx elina_oct.cmxa libelina_oct_caml.a dllelina_oct.so dllelina_oct_caml.so ; do \
- if test -f $i; then /usr/bin/install $i /home/opam/.opam/default/share/elina/lib; fi; \
- done
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3/ocaml_interface'
- /home/opam/.opam/default/bin/ocamlfind remove elina
- ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/elina/META
- /home/opam/.opam/default/bin/ocamlfind install elina ocaml_interface/META ocaml_interface/dllelina_poly_caml.so ocaml_interface/elina_poly.a ocaml_interface/elina_poly.cma ocaml_interface/elina_poly.cmi ocaml_interface/elina_poly.cmo ocaml_interface/elina_poly.cmx ocaml_interface/elina_poly.cmxa ocaml_interface/elina_poly.idl ocaml_interface/elina_poly.ml ocaml_interface/elina_poly.mli ocaml_interface/elina_poly.o ocaml_interface/elina_poly_caml.c ocaml_interface/elina_poly_caml.o ocaml_interface/libelina_poly_caml.a
- Installed /home/opam/.opam/default/lib/elina/libelina_poly_caml.a
- Installed /home/opam/.opam/default/lib/elina/elina_poly_caml.o
- Installed /home/opam/.opam/default/lib/elina/elina_poly_caml.c
- Installed /home/opam/.opam/default/lib/elina/elina_poly.o
- Installed /home/opam/.opam/default/lib/elina/elina_poly.mli
- Installed /home/opam/.opam/default/lib/elina/elina_poly.ml
- Installed /home/opam/.opam/default/lib/elina/elina_poly.idl
- Installed /home/opam/.opam/default/lib/elina/elina_poly.cmxa
- Installed /home/opam/.opam/default/lib/elina/elina_poly.cmx
- Installed /home/opam/.opam/default/lib/elina/elina_poly.cmo
- Installed /home/opam/.opam/default/lib/elina/elina_poly.cmi
- Installed /home/opam/.opam/default/lib/elina/elina_poly.cma
- Installed /home/opam/.opam/default/lib/elina/elina_poly.a
- Installed /home/opam/.opam/default/lib/stublibs/dllelina_poly_caml.so
- Installed /home/opam/.opam/default/lib/stublibs/dllelina_poly_caml.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/default/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/default/lib/elina/META
-> installed elina.1.3
[WARNING] Opam package conf-mpfr-paths.1 depends on the following system package that can no longer be found: libmpfr-dev
=== STDERR ===
2026-06-24 16:55.01: OK: build elina.1.3 (runc: 75.2s, disk: 84KB)
2026-06-24 16:55.01: Job succeeded