Build:
- 0
2026-06-20 18:50.09: New job: build elina.1.0 (9dcf219e6ff0)
2026-06-20 18:50.09: Waiting for resource in pool day11-builds
2026-06-20 19:12.28: Got resource from pool day11-builds
2026-06-20 19:12.28: [profile full] build elina.1.0
2026-06-20 19:12.28: build elina.1.0 (9dcf219e6ff0)
=== DEPENDENCIES (18 transitive) ===
apron.v0.9.15 638629ba2d17
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
bigarray-compat.1.1.0 03fdddc1554e
camlidl.1.13-1 3987f09f9485
compiler-cloning.enabled 0d2606125f88
conf-findutils.1 a943cdd45084
conf-gmp-paths.1 02d30e5f4ce8
conf-mpfr-paths.1 b816f8da150d
conf-perl.2 9ee1ae5f2bf1
dune.3.23.1 dbfeecb5ca10
ez-conf-lib.2 47ffe857338d
mlgmpidl.1.3.0 e08a501b3d02
ocaml.5.5.0 1b4132bddf48
ocaml-base-compiler.5.5.0 1901c3a760c1
ocaml-compiler.5.5.0 5f593a0b4a8c
ocamlbuild.0.16.1 b485a4f69c01
ocamlfind.1.9.8 5b46f9d92bbd
=== 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]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- 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
- 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 -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
- 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);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 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
- 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]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- 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]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- 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]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
- 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
- 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_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_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 | }
- | ^
- 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_incr_closure_comp_sparse.o opt_oct_incr_closure_comp_sparse.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm opt_oct_closure_comp_sparse.o
- opt_oct_incr_closure_comp_sparse.c: In function 'incremental_closure_comp_sparse':
- opt_oct_incr_closure_comp_sparse.c:67:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 67 | for(unsigned i = 2*v; i < 2*v + 2; i++){
- | ^
- opt_oct_incr_closure_comp_sparse.c:70:39: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 70 | if(k1 <=i){
- | ^~
- opt_oct_incr_closure_comp_sparse.c:77:40: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 77 | if(kk1 <=i){
- | ^~
- opt_oct_incr_closure_comp_sparse.c:87:41: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 87 | if ( k1 <= i){
- | ^~
- opt_oct_incr_closure_comp_sparse.c:94:42: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 94 | if ( kk1 <= i){
- | ^~
- 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 -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
- 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 | }
- | ^
- 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_incr_closure_dense_scalar.o opt_oct_incr_closure_dense_scalar.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm opt_oct_closure_dense_scalar.o
- opt_oct_incr_closure_dense_scalar.c: In function 'incremental_closure_opt_dense_scalar':
- opt_oct_incr_closure_dense_scalar.c:36:31: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 36 | for(unsigned k = 0; k < n; k=k + 2){
- | ^
- opt_oct_incr_closure_dense_scalar.c:45:29: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 45 | int br1 = k < v1 ? k : v1;
- | ^
- opt_oct_incr_closure_dense_scalar.c:45:40: warning: operand of '?:' changes signedness from 'int' to 'unsigned int' due to unsignedness of other operand [-Wsign-compare]
- 45 | int br1 = k < v1 ? k : v1;
- | ^~
- opt_oct_incr_closure_dense_scalar.c:47:41: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 47 | for(unsigned i = 2*v; i < 2*v + 2; i++){
- | ^
- opt_oct_incr_closure_dense_scalar.c:57:31: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 57 | if(kk <=i){
- | ^~
- opt_oct_incr_closure_dense_scalar.c:74:33: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 74 | if ( kk <= i){
- | ^~
- opt_oct_incr_closure_dense_scalar.c:115:39: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 115 | for(j=v1+2; j < k; j++ ){
- | ^
- opt_oct_incr_closure_dense_scalar.c:184:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 184 | for(unsigned i = 0; i < v1; i++){
- | ^
- opt_oct_incr_closure_dense_scalar.c:212:45: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 212 | for(unsigned i = 2*v + 2; i < n; i++){
- | ^
- 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 -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
- 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++){
- | ^
- 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
- 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_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_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_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_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;
- | ^
- 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
- 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_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++) {
- | ^
- 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
- 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++)
- | ^
- 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
- 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: warning: 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){
- | ^~
- 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_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_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: 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]
- 2025 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2040: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]
- 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_hmat.c: In function 'opt_hmat_assign':
- opt_oct_hmat.c:2931: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]
- 2931 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2945:30: warning: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2945 | incr_closure = &incremental_closure_opt_dense_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) {
- | ^~
- 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 -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../elina_auxiliary -lelinaux -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 -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 elina_test_oct elina_test_oct.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm -L. -loptoct
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/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 -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_mf_qsort.o opt_mf_qsort.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_pk_internal.o opt_pk_internal.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_pk_matrix.o opt_pk_matrix.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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);
- | ^
- opt_pk_matrix.c: In function 'remove_common_gen':
- opt_pk_matrix.c:1243:26: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 1243 | for(i = start; i < nbrows; i++){
- | ^
- opt_pk_matrix.c:1246:30: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 1246 | for(j = 0; j < start; j++){
- | ^
- opt_pk_matrix.c:1254:30: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 1254 | for(j=i+1; j < nbrows; j++){
- | ^
- opt_pk_matrix.c:1264:20: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 1264 | for(i=start; i < nb; 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 -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_pk_user.o opt_pk_user.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_pk_assign.o opt_pk_assign.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_pk_test.o opt_pk_test.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_pk_vector.o opt_pk_vector.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_vector.c: In function 'opt_vector_print':
- opt_pk_vector.c:163:21: warning: format '%lld' expects argument of type 'long long int', but argument 2 has type 'long int' [-Wformat=]
- 163 | printf("vector %lld: ", (long)size);
- | ~~~^ ~~~~~~~~~~
- | | |
- | | long int
- | long long int
- | %ld
- 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_pk_representation.o opt_pk_representation.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_representation.c: In function 'quasi_removal':
- opt_pk_representation.c:307:22: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 307 | for(i = 0; i < nbcons; i++){
- | ^
- opt_pk_representation.c:309:32: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 309 | for(j = i+1; j < nbcons; j++){
- | ^
- opt_pk_representation.c:340:16: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
- 340 | for(i=0; i < nb; 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 -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_pk_project.o opt_pk_project.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_project.c: In function 'opt_poly_projectforget_array':
- opt_pk_project.c:408:41: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 408 | if(nbcons+nbadd > limit){
- | ^
- 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_pk_constructor.o opt_pk_constructor.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_pk_meetjoin.o opt_pk_meetjoin.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_meetjoin.c: In function 'opt_pk_meet_tcons_array':
- opt_pk_meetjoin.c:738:51: warning: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 738 | &opt_pk_meet_lincons_array);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~
- | |
- | opt_pk_array_t * (*)(elina_manager_t *, bool, opt_pk_array_t *, elina_lincons0_array_t *) {aka opt_pk_array_t * (*)(elina_manager_t *, char, opt_pk_array_t *, elina_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 * (*)(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_pk_array_t * (*)(elina_manager_t *, bool, opt_pk_array_t *, elina_lincons0_array_t *)' {aka 'opt_pk_array_t * (*)(elina_manager_t *, char, opt_pk_array_t *, elina_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 -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_pk_widening.o opt_pk_widening.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_pk_widening.c: In function 'opt_qsort_rows_compar':
- opt_pk_widening.c:79:31: warning: cast discards 'const' qualifier from pointer target type [-Wcast-qual]
- 79 | return (opt_bitstring_cmp( ((opt_satmat_row_t*)p1)->p,
- | ^
- opt_pk_widening.c:80:27: warning: cast discards 'const' qualifier from pointer target type [-Wcast-qual]
- 80 | ((opt_satmat_row_t*)p2)->p,
- | ^
- 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_pk_resize.o opt_pk_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_pk_expandfold.o opt_pk_expandfold.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_pk_extract.o opt_pk_extract.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_pk_bit.o opt_pk_bit.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_pk_satmat.o opt_pk_satmat.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_pk_cherni.o opt_pk_cherni.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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;
- | ^~~
- opt_pk_cherni.c: In function 'opt_cherni_minimize':
- opt_pk_cherni.c:570:20: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 570 | for (i=0; i<C->nbcolumns-1; i++){
- | ^
- 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 -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../elina_auxiliary -lelinaux -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 -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 elina_test_poly elina_test_poly.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm -L. -loptpoly
- elina_test_poly.c: In function 'test_substitute_array':
- elina_test_poly.c:413:1: warning: control reaches end of non-void function [-Wreturn-type]
- 413 | }
- | ^
- elina_test_poly.c: In function 'test_bound_linexpr':
- elina_test_poly.c:544:1: warning: control reaches end of non-void function [-Wreturn-type]
- 544 | }
- | ^
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/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 -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_zones_closure.o opt_zones_closure.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_zones_closure.c: In function 'strengthening_comp_zones':
- opt_zones_closure.c:56:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 56 | 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 -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_zones_incr_closure.o opt_zones_incr_closure.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_zones_representation.o opt_zones_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_mat.o opt_mat.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 'elina_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 -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_zones_predicate.o opt_zones_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_zones_nary.o opt_zones_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_zones_resize.o opt_zones_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_zones_transfer.o opt_zones_transfer.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -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 * (*)(elina_manager_t *, bool, opt_zones_t *, elina_lincons0_array_t *) {aka opt_zones_t * (*)(elina_manager_t *, char, opt_zones_t *, elina_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 * (*)(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_zones_t * (*)(elina_manager_t *, bool, opt_zones_t *, elina_lincons0_array_t *)' {aka 'opt_zones_t * (*)(elina_manager_t *, char, opt_zones_t *, elina_lincons0_array_t *)'}
- 112 | void* (*meet_lincons_array)(elina_manager_t*,
- | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 113 | bool, void*,
- | ~~~~~~~~~~~~
- 114 | elina_lincons0_array_t*));
- | ~~~~~~~~~~~~~~~~~~~~~~~~
- 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 -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../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/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 -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 elina_box_internal.o elina_box_internal.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 elina_box_representation.o elina_box_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 elina_box_constructor.o elina_box_constructor.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 elina_box_assign.o elina_box_assign.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 elina_box_meetjoin.o elina_box_meetjoin.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 elina_box_resize.o elina_box_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 zonotope_internal.o zonotope_internal.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 zonotope_representation.o zonotope_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 zonotope_constructor.o zonotope_constructor.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 zonotope_meetjoin.o zonotope_meetjoin.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 zonotope_assign.o zonotope_assign.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 zonotope_resize.o zonotope_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 zonotope_otherops.o zonotope_otherops.c -L../partitions_api -lpartitions -L../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- 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 -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../elina_auxiliary -lelinaux -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/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 -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.0/ocaml_interface'
-> compiled elina.1.0
[elina: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.0)
- (cd elina_auxiliary; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/elina_auxiliary'
- install -d /home/opam/.opam/default/share/elina/lib; \
- for i in libelinaux.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_config.h elina_scalar.h elina_interval.h elina_coeff.h elina_dimension.h elina_linexpr0.h elina_lincons0.h elina_manager.h elina_abstract0.h elina_texpr0.h elina_tcons0.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.0/elina_auxiliary'
- (cd elina_linearize; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/elina_linearize'
- (cd partitions_api; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/partitions_api'
- (cd elina_oct; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/elina_oct'
- (cd elina_poly; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/elina_poly'
- (cd elina_zones; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/elina_zones'
- (cd elina_zonotope; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/elina_zonotope'
- (cd apron_interface; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.0/apron_interface'
- (cd ocaml_interface; make install)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.0/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.cma 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.0/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.0
[WARNING] Opam package conf-mpfr-paths.1 depends on the following system package that can no longer be found: libmpfr-dev
=== STDERR ===
2026-06-20 19:13.21: OK: build elina.1.0 (runc: 42.6s, disk: 97KB)
2026-06-20 19:13.21: Job succeeded