Build:
- 0
2026-07-24 13:21.29: New job: build elina.1.0 (7527216db01d)
2026-07-24 13:21.29: Waiting for resource in pool day11-builds
2026-07-24 13:49.50: Got resource from pool day11-builds
2026-07-24 13:49.50: [profile full] build elina.1.0
2026-07-24 13:49.50: build elina.1.0 (7527216db01d)
=== DEPENDENCIES (18 transitive) ===
apron.v0.9.15 76ee94e3df0c
base-threads.base afe16a8e71c3
base-unix.base 73c0a5fdd34a
bigarray-compat.1.1.0 f41547b34a4a
camlidl.1.13-1 39f2d7499599
compiler-cloning.enabled 22a431860256
conf-findutils.1 aaa98bce768f
conf-gmp-paths.1 88124034e40d
conf-mpfr-paths.1 f09a09a22040
conf-perl.2 a8399df8a8e4
dune.3.24.1 0d2a3ba8bfb9
ez-conf-lib.2 03ce1f5853af
mlgmpidl.1.3.0 5544c9a57e6e
ocaml.5.5.0 af24caade1d3
ocaml-base-compiler.5.5.0 5f93989ce6d7
ocaml-compiler.5.5.0 15edcf5138e5
ocamlbuild.0.16.1 ae35ea2527bb
ocamlfind.1.9.8 86ca4a7260d8
=== STDOUT ===
Processing: [default: loading data]
[elina.1.0: dl]
[elina.1.0: extract]
-> retrieved elina.1.0 (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" "--no-java" "--use-opam" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.0)
- 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 -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.0)
- (cd elina_auxiliary; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/elina_auxiliary'
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_scalar.o elina_scalar.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_interval.o elina_interval.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_coeff.o elina_coeff.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_dimension.o elina_dimension.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_linexpr0.o elina_linexpr0.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_lincons0.o elina_lincons0.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_manager.o elina_manager.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_abstract0.o elina_abstract0.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_texpr0.o elina_texpr0.c -lmpfr -lgmp -lm -L../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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o elina_tcons0.o elina_tcons0.c -lmpfr -lgmp -lm -L../elina_linearize
- elina_abstract0.c: In function 'elina_abstract0_check_dim_array':
- elina_abstract0.c:221:84: warning: 'sprintf' may write a terminating nul past the end of the destination [-Wformat-overflow=]
- 221 | sprintf(str,"incompatible %luth dimension in the array for the abstract value",(unsigned long)i);
- | ^
- elina_abstract0.c:221:7: note: 'sprintf' output between 63 and 81 bytes into a destination of size 80
- 221 | sprintf(str,"incompatible %luth dimension in the array for the abstract value",(unsigned long)i);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- elina_lincons0.c: In function 'elina_lincons0_is_unsat':
- elina_lincons0.c:83:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
- 83 | switch(cons->constyp){
- | ^~~~~~
- elina_lincons0.c:94:5: note: here
- 94 | case ELINA_COEFF_INTERVAL:
- | ^~~~
- elina_lincons0.c:96:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
- 96 | switch(cons->constyp){
- | ^~~~~~
- elina_lincons0.c:111:5: note: here
- 111 | default:
- | ^~~~~~~
- elina_lincons0.c: In function 'elina_lincons0_is_sat':
- elina_lincons0.c:136:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
- 136 | switch(cons->constyp){
- | ^~~~~~
- elina_lincons0.c:147:5: note: here
- 147 | case ELINA_COEFF_INTERVAL:
- | ^~~~
- elina_lincons0.c:150:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
- 150 | switch(cons->constyp){
- | ^~~~~~
- elina_lincons0.c:167:5: note: here
- 167 | default:
- | ^~~~~~~
- cc -shared -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_linearize -o libelinaux.so elina_scalar.o elina_interval.o elina_coeff.o elina_dimension.o elina_linexpr0.o elina_lincons0.o elina_manager.o elina_abstract0.o elina_texpr0.o elina_tcons0.o -lmpfr -lgmp -lm -L../elina_linearize
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/elina_auxiliary'
- (cd elina_linearize; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_generic.o elina_generic.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_scalar_arith.o elina_scalar_arith.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_interval_arith.o elina_interval_arith.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_coeff_arith.o elina_coeff_arith.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_linexpr0_arith.o elina_linexpr0_arith.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_linearize.o elina_linearize.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -o elina_linearize_texpr.o elina_linearize_texpr.c -lmpfr -lgmp -lm -L../elina_auxiliary -lelinaux
- cc -shared -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -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../elina_auxiliary -lelinaux
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/elina_linearize'
- (cd partitions_api; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -o comp_list.o 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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -o extract.o extract.c
- cc -shared -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -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.0/partitions_api'
- (cd elina_oct; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_closure_comp_sparse.o opt_oct_closure_comp_sparse.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_closure_dense_scalar.o opt_oct_closure_dense_scalar.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_nary.o opt_oct_nary.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_resize.o opt_oct_resize.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_predicate.o opt_oct_predicate.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_representation.o opt_oct_representation.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_transfer.o opt_oct_transfer.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -I../elina_auxiliary -I../elina_linearize -I../partitions_api -o opt_oct_hmat.o opt_oct_hmat.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_oct_transfer.c: In function 'opt_oct_assign_linexpr':
- opt_oct_transfer.c:34:7: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 34 | if(d>=o->dim){
- | ^~
- opt_oct_transfer.c:47:32: warning: comparison of integer expressions of different signedness: 'int' and 'elina_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 47 | if ((u.type!=OPT_UNARY || u.i!=d) && pr->funopt->algorithm>=0)
- | ^~
- opt_oct_transfer.c: In function 'opt_oct_assign_linexpr_array':
- opt_oct_transfer.c:108:13: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 108 | for (i=0;i<o->dim;i++) {
- | ^
- opt_oct_transfer.c:112:16: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 112 | if(tdim[i] >= o->dim){
- | ^~
- opt_oct_transfer.c:167:13: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 167 | for (i=0;i<o->dim;i++) {
- | ^
- opt_oct_transfer.c: In function 'opt_oct_meet_tcons_array':
- opt_oct_transfer.c:260:51: error: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 260 | &opt_oct_meet_lincons_array);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~
- | |
- | opt_oct_t * (*)(elina_manager_t *, bool, opt_oct_t *, elina_lincons0_array_t *) {aka opt_oct_t * (*)(elina_manager_t *, char, opt_oct_t *, elina_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 * (*)(elina_manager_t *, bool, void *, elina_lincons0_array_t *)' {aka 'void * (*)(elina_manager_t *, char, void *, elina_lincons0_array_t *)'} but argument is of type 'opt_oct_t * (*)(elina_manager_t *, bool, opt_oct_t *, elina_lincons0_array_t *)' {aka 'opt_oct_t * (*)(elina_manager_t *, char, opt_oct_t *, elina_lincons0_array_t *)'}
- 112 | void* (*meet_lincons_array)(elina_manager_t*,
- | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 113 | bool, void*,
- | ~~~~~~~~~~~~
- 114 | elina_lincons0_array_t*));
- | ~~~~~~~~~~~~~~~~~~~~~~~~
- opt_oct_transfer.c: In function 'opt_hmat_subst':
- opt_oct_transfer.c:319:36: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 319 | else if (u.type==OPT_UNARY && u.i!=d) {
- | ^~
- opt_oct_transfer.c: In function 'opt_oct_substitute_linexpr':
- opt_oct_transfer.c:395:7: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 395 | if(d>=o->dim){
- | ^~
- opt_oct_transfer.c:410:32: warning: comparison of integer expressions of different signedness: 'int' and 'elina_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 410 | if ((u.type!=OPT_UNARY || u.i!=d) && pr->funopt->algorithm>=0)
- | ^~
- opt_oct_transfer.c: In function 'opt_oct_substitute_linexpr_array':
- opt_oct_transfer.c:480:13: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 480 | for (i=0;i<o->dim;i++) d[i] = 0;
- | ^
- opt_oct_transfer.c:482:15: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 482 | if(tdim[i]>=o->dim){
- | ^~
- opt_oct_closure_comp_sparse.c: In function 'strengthening_comp_list':
- opt_oct_closure_comp_sparse.c:55:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 55 | for(unsigned i = 0; i < 2*comp_size; i++){
- | ^
- opt_oct_closure_comp_sparse.c: In function 'strengthning_int_comp_sparse':
- opt_oct_closure_comp_sparse.c:147:31: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 147 | for(unsigned i = 0; i < n; i++){
- | ^
- opt_oct_closure_comp_sparse.c: In function 'strengthning_comp_sparse':
- opt_oct_closure_comp_sparse.c:291:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 291 | for(unsigned i = 0; i < 2*comp_size; i++){
- | ^
- 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);
- | ^
- opt_oct_nary.c: In function 'opt_oct_add_epsilon':
- opt_oct_nary.c:486:23: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 486 | for (i=0;i<size;i++) {
- | ^
- opt_oct_nary.c:510:27: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 510 | for (i=0;i<(size/v_length)*v_length;i++){
- | ^
- opt_oct_nary.c:514:52: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 514 | for(i = (size/v_length)*v_length;i < size; i++){
- | ^
- opt_oct_nary.c: In function 'opt_oct_add_epsilon_bin':
- opt_oct_nary.c:639:23: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 639 | for (i=0;i<size;i++) {
- | ^
- opt_oct_nary.c:655:23: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 655 | for (i=0;i<size;i++){
- | ^
- opt_oct_predicate.c: In function 'opt_oct_to_box':
- opt_oct_predicate.c:157:15: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 157 | for (i=0;i<o->dim;i++)
- | ^
- opt_oct_predicate.c:168:24: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 168 | for (i=0;i<o->dim;i++){
- | ^
- opt_oct_predicate.c:175:31: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 175 | for (i=0;i<comp_size;i++){
- | ^
- opt_oct_predicate.c:185:20: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 185 | for (i=0;i<o->dim;i++){
- | ^
- opt_oct_predicate.c: In function 'opt_oct_bound_dimension':
- opt_oct_predicate.c:214:9: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 214 | if(dim>=o->dim){
- | ^~
- opt_oct_predicate.c: In function 'opt_oct_sat_interval':
- opt_oct_predicate.c:344:10: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 344 | if(dim >= o->dim){
- | ^~
- opt_oct_predicate.c: In function 'opt_oct_is_dimension_unconstrained':
- opt_oct_predicate.c:396:9: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 396 | if(dim>=o->dim){
- | ^~
- opt_oct_closure_comp_sparse.c: In function 'floyd_warshall_comp_dense':
- opt_oct_closure_comp_sparse.c:581:1: warning: control reaches end of non-void function [-Wreturn-type]
- 581 | }
- | ^
- opt_oct_predicate.c:458:19: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 458 | for (i=0;i<2*o->dim;i++) {
- | ^
- make[1]: *** [Makefile:103: opt_oct_transfer.o] Error 1
- make[1]: *** Waiting for unfinished jobs....
- opt_oct_closure_comp_sparse.c: In function 'strong_closure_comp_sparse':
- opt_oct_closure_comp_sparse.c:967:1: warning: control reaches end of non-void function [-Wreturn-type]
- 967 | }
- | ^
- opt_oct_hmat.c: In function 'forget_array_half':
- opt_oct_hmat.c:1051:42: warning: comparison of integer expressions of different signedness: 'int' and 'elina_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 1051 | for(int j = 0; j < (d/v_length)*v_length;j++){
- | ^
- opt_oct_hmat.c:1057:54: warning: comparison of integer expressions of different signedness: 'int' and 'elina_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 1057 | for(int j = (d/v_length)*v_length; j < d; j++){
- | ^
- opt_oct_hmat.c: In function 'opt_hmat_addrem_dimensions':
- opt_oct_hmat.c:1240:48: warning: comparison of integer expressions of different signedness: 'int' and 'elina_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 1240 | while((l < nb_pos) &&(i==pos[l])){
- | ^~
- opt_oct_hmat.c:1271:46: warning: comparison of integer expressions of different signedness: 'int' and 'elina_dim_t' {aka 'unsigned int'} [-Wsign-compare]
- 1271 | if((l < nb_pos) && (i==pos[l])){
- | ^~
- opt_oct_hmat.c:1374:59: warning: operand of '?:' changes signedness from 'int' to 'elina_dim_t' {aka 'unsigned int'} due to unsignedness of other operand [-Wsign-compare]
- 1374 | int last_org_j = ((j<nb_pos-1) ? pos[j+1] : dim)*2;
- | ^~~
- opt_oct_closure_dense_scalar.c: In function 'floyd_warshall_dense_scalar':
- opt_oct_closure_dense_scalar.c:257:1: warning: control reaches end of non-void function [-Wreturn-type]
- 257 | }
- | ^
- opt_oct_hmat.c: In function 'opt_oct_uexpr_of_linexpr':
- opt_oct_hmat.c:1915:16: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 1915 | if(e->size > dim)return u;
- | ^
- opt_oct_hmat.c:1916:15: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 1916 | for (i=0;i<e->size;i++) {
- | ^
- opt_oct_hmat.c:1931:15: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 1931 | for (i=0;i<e->size;i++) {
- | ^
- opt_oct_hmat.c:1934:11: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 1934 | if(d>=dim)return u;
- | ^~
- opt_oct_hmat.c:1898:10: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 1898 | if (idx>=intdim) u.is_int = 0; \
- | ^~
- opt_oct_hmat.c:1936:7: note: in expansion of macro 'CLASS_VAR'
- 1936 | CLASS_VAR(d);
- | ^~~~~~~~~
- opt_oct_hmat.c: In function 'opt_hmat_add_lincons':
- opt_oct_hmat.c:2025:22: error: 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]
- 2025 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2040:30: error: 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]
- 2040 | incr_closure = &incremental_closure_opt_dense_scalar;
- | ^
- opt_oct_hmat.c:2044:13: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 2044 | for (i=0;i<ar->size;i++) {
- | ^
- opt_oct_resize.c: In function 'opt_oct_add_dimensions':
- opt_oct_resize.c:89:26: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 89 | if(dimchange->dim[i] > o->dim) return NULL;
- | ^
- opt_oct_representation.c: In function 'opt_oct_hash':
- opt_oct_representation.c:266:15: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 266 | for (i=0;i<2*o->dim;i++)
- | ^
- opt_oct_resize.c: In function 'opt_oct_remove_dimensions':
- opt_oct_resize.c:151:38: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 151 | if(dimchange->dim[i] >= o->dim) return NULL;
- | ^~
- opt_oct_resize.c: In function 'opt_oct_permute_dimensions':
- opt_oct_resize.c:203:23: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 203 | if(permutation->size!=o->dim)return NULL;
- | ^~
- opt_oct_resize.c:210:33: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 210 | if(permutation->dim[i]>=o->dim)return NULL;
- | ^~
- opt_oct_resize.c: In function 'opt_oct_expand':
- opt_oct_resize.c:250:26: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 250 | elina_dim_t pos = (dim < o->intdim) ? o->intdim : o->dim;
- | ^
- opt_oct_resize.c:398:10: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 398 | if (dim<o->intdim) r->intdim += n;
- | ^
- opt_oct_hmat.c: In function 'opt_hmat_assign':
- opt_oct_resize.c: In function 'opt_oct_fold':
- opt_oct_resize.c:431:21: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 431 | if(tdim[size-1] >= o->dim){
- | ^~
- opt_oct_hmat.c:2931:22: error: 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]
- 2931 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_resize.c:479:31: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 479 | for (j=tdim[0]+1;j<o->dim;j++) {
- | ^
- opt_oct_resize.c:559:36: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 559 | for (j=2*(tdim[0]+1);j<2*o->dim;j++) {
- | ^
- opt_oct_hmat.c:2945:30: error: 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_scalar;
- | ^
- opt_oct_hmat.c:3047:36: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 3047 | else if (u.type==OPT_UNARY && u.i!=d) {
- | ^~
- opt_oct_resize.c:637:14: warning: comparison of integer expressions of different signedness: 'elina_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 637 | if (tdim[0]<r->intdim) r->intdim -= size-1;
- | ^
- make[1]: *** [Makefile:88: opt_oct_hmat.o] Error 1
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/elina_oct'
- make: *** [Makefile:47: c] Error 2
[ERROR] The compilation of elina.1.0 failed at "make -j39".
build failed...
=== STDERR ===
2026-07-24 13:50.13: FAILED: build elina.1.0
2026-07-24 13:50.13: Job failed: build failed: elina.1.0