Build:
- 0
2026-06-19 19:30.59: New job: build elina.1.1 (7cbfdf85dd83)
2026-06-19 19:30.59: Waiting for resource in pool day11-builds
2026-06-19 19:57.28: Got resource from pool day11-builds
2026-06-19 19:57.28: [profile full] build elina.1.1
2026-06-19 19:57.28: build elina.1.1 (7cbfdf85dd83)
=== DEPENDENCIES (17 transitive) ===
apron.v0.9.15 6b9d7998f175
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
bigarray-compat.1.1.0 f132a29a396b
camlidl.1.13-1 24d5ddbd7b9d
conf-findutils.1 a943cdd45084
conf-gmp-paths.1 e5f011fc8338
conf-mpfr-paths.1 f3975daad813
conf-perl.2 9ee1ae5f2bf1
dune.3.23.1 b9e31df96092
ez-conf-lib.2 b0713e4927ce
mlgmpidl.1.3.0 02e6a9876084
ocaml.5.5.0 7bdffd2f55d9
ocaml-base-compiler.5.5.0 88ac983b1a28
ocaml-compiler.5.5.0 8d77bbea3746
ocamlbuild.0.16.1 b61d8be21b8c
ocamlfind.1.9.8 1872268d1aec
=== STDOUT ===
Processing: [default: loading data]
[elina.1.1: dl]
[elina.1.1: extract]
-> retrieved elina.1.1 (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" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.1)
- 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
-
- installation path /home/opam/.opam/default/share/elina
-
[elina: make]
+ /usr/bin/make "-j39" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.1)
- (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.1/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 -DHAS_APRON -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 -DHAS_APRON -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 -DHAS_APRON -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 -DHAS_APRON -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 -DHAS_APRON -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 -DHAS_APRON -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 -DHAS_APRON -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 -DHAS_APRON -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.1/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.1/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 -DHAS_APRON -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -DHAS_APRON -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -DHAS_APRON -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -DHAS_APRON -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -DHAS_APRON -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -DHAS_APRON -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.1/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.1/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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_closure_dense_scalar.o opt_oct_closure_dense_scalar.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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_incr_closure_dense_scalar.o opt_oct_incr_closure_dense_scalar.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_scalar.o
- cc: warning: opt_oct_closure_dense_scalar.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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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
- opt_oct_nary.c: In function 'opt_oct_meet_array':
- opt_oct_nary.c:227:3: warning: this 'for' clause does not guard... [-Wmisleading-indentation]
- 227 | for (k=0;k<size;k++)
- | ^~~
- opt_oct_nary.c:230:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for'
- 230 | r->m = opt_hmat_copy(tab[0]->closed ? tab[0]->closed : tab[0]->m,r->dim);
- | ^
- 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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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:259:51: warning: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 259 | &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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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_add_lincons':
- opt_oct_hmat.c:2022: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]
- 2022 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2037: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]
- 2037 | incr_closure = &incremental_closure_opt_dense_scalar;
- | ^
- opt_oct_hmat.c: In function 'opt_hmat_assign':
- opt_oct_hmat.c:2928: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]
- 2928 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2942: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]
- 2942 | incr_closure = &incremental_closure_opt_dense_scalar;
- | ^
- 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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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_scalar.o opt_oct_incr_closure_dense_scalar.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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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.1/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.1/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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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
- 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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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 -DHAS_APRON -I../apron_interface -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.1/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.1/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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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:1178:44: warning: '*' in boolean context, suggest '&&' instead [-Wint-in-bool-context]
- 1178 | if((arr_map1[i1-1] * arr_map1[j1-1]) && arr_map1[i1-1]!=arr_map1[j1-1]){
- | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
- opt_mat.c:1182:44: warning: '*' in boolean context, suggest '&&' instead [-Wint-in-bool-context]
- 1182 | 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:1781:48: warning: comparison of integer expressions of different signedness: 'int' and 'ap_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 1781 | while((l < nb_pos) &&(i==pos[l])){
- | ^~
- opt_mat.c: In function 'opt_zones_mat_add_lincons':
- opt_mat.c:2191: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]
- 2191 | incr_closure = &incr_closure_comp_sparse;
- | ^
- opt_mat.c: In function 'is_equal_zones_mat':
- opt_mat.c:791:57: warning: pointer 'arr_map2' may be used after 'free' [-Wuse-after-free]
- 791 | free(arr_map2);
- | ^~~~~~~~~~~~~~
- opt_mat.c:764:25: note: call to 'free' here
- 764 | free(arr_map2);
- | ^~~~~~~~~~~~~~
- opt_mat.c:797:57: warning: pointer 'arr_map2' may be used after 'free' [-Wuse-after-free]
- 797 | free(arr_map2);
- | ^~~~~~~~~~~~~~
- opt_mat.c:764:25: note: call to 'free' here
- 764 | free(arr_map2);
- | ^~~~~~~~~~~~~~
- 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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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:152:51: warning: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 152 | &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 -DHAS_APRON -I/home/opam/.opam/default/share/apron/include -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.1/elina_zones'
- (cd elina_zonotope; 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.1/elina_zonotope'
- 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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_box_internal.o elina_box_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_box_representation.o elina_box_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_box_constructor.o elina_box_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_box_assign.o elina_box_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_box_meetjoin.o elina_box_meetjoin.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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o elina_box_resize.o elina_box_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_internal.o zonotope_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_representation.o zonotope_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_constructor.o zonotope_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_meetjoin.o zonotope_meetjoin.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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_assign.o zonotope_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_resize.o zonotope_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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o zonotope_otherops.o zonotope_otherops.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- 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 -DHAS_APRON -I../apron_interface -I/home/opam/.opam/default/share/apron/include -I../elina_linearize -I../partitions_api -o libzonotope.so elina_box_internal.o elina_box_representation.o elina_box_constructor.o elina_box_assign.o elina_box_meetjoin.o elina_box_resize.o zonotope_internal.o zonotope_representation.o zonotope_constructor.o zonotope_meetjoin.o zonotope_assign.o zonotope_resize.o zonotope_otherops.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.1/elina_zonotope'
- (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.1/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.pl < tmp/elina_poly.ml >elina_poly.ml
- /usr/bin/perl perlscript_caml.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
- /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
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/ocaml_interface'
-> compiled elina.1.1
[elina: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.1)
- (cd elina_linearize; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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.1/elina_linearize'
- (cd partitions_api; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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.1/partitions_api'
- (cd elina_oct; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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_scalar.h opt_oct_incr_closure_dense_scalar.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.1/elina_oct'
- (cd elina_poly; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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.1/elina_poly'
- (cd elina_zones; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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.1/elina_zones'
- (cd elina_zonotope; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/elina_zonotope'
- install -d /home/opam/.opam/default/share/elina/lib; \
- for i in libzonotope.so; do \
- install $i /home/opam/.opam/default/share/elina/lib; \
- done;
- install -d /home/opam/.opam/default/share/elina/include ; \
- for i in zonotope.h elina_box.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.1/elina_zonotope'
- (cd apron_interface; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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.1/apron_interface'
- (cd ocaml_interface; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.1/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 ; 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.1/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.1
[WARNING] Opam package conf-mpfr-paths.1 depends on the following system package that can no longer be found: libmpfr-dev
=== STDERR ===
2026-06-19 19:58.23: OK: build elina.1.1 (runc: 47.1s, disk: 75KB)
2026-06-19 19:58.23: Job succeeded