Build:
- 0
2026-07-26 11:22.52: New job: build apron.v0.9.12 (4de5c2672cb4)
2026-07-26 11:22.52: Waiting for resource in pool day11-builds
2026-07-26 13:00.40: Got resource from pool day11-builds
2026-07-26 13:00.40: [profile full] build apron.v0.9.12
2026-07-26 13:00.40: build apron.v0.9.12 (4de5c2672cb4)
=== DEPENDENCIES (16 transitive) ===
base-threads.base afe16a8e71c3
base-unix.base 73c0a5fdd34a
bigarray-compat.1.1.0 e700f0d1d4e1
camlidl.1.13-1 09ad7194dae5
conf-findutils.1 aaa98bce768f
conf-gmp-paths.1 09ce43161454
conf-mpfr-paths.1 887e079e3cb7
conf-perl.2 a8399df8a8e4
dune.3.24.1 b9e5a15ad12e
ez-conf-lib.2 18d6060f9040
mlgmpidl.1.3.0 986bd516625a
ocaml.4.14.4 ff640eef2ca4
ocaml-base-compiler.4.14.4 0ab775b44d12
ocaml-config.2 3a0479a5d208
ocamlbuild.0.16.1 00e8b44ad27e
ocamlfind.1.9.8 aea9878e34cf
=== STDOUT ===
Processing: [default: loading data]
[apron.v0.9.12: dl]
[apron.v0.9.12: extract]
-> retrieved apron.v0.9.12 (https://opam.ocaml.org/cache)
[apron: sh]
+ /usr/bin/sh "./configure" "--prefix" "/home/opam/.opam/default/share/apron" "--no-ppl" (CWD=/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12)
- 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 -Wno-unused-parameter: working
- checking compilation with cc -Wno-unused-function: working
- checking compilation with cc -fPIC: 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
- checking compilation with c++ : working
- checking compilation with c++ -Wcast-qual: working
- checking compilation with c++ -Wswitch: working
- checking compilation with c++ -Wall: working
- checking compilation with c++ -Wextra: working
- checking compilation with c++ -Wundef: working
- checking compilation with c++ -Wcast-align: working
- checking compilation with c++ -Wno-unused: working
- checking compilation with c++ -Wno-unused-parameter:
- working
- checking compilation with c++ -Wno-unused-function: working
- checking compilation with c++ -fPIC: working
- binary ar: found in /usr/bin
- binary ranlib: found in /usr/bin
- binary sed: 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
- checking support for native plugins: working
- include caml/mlvalues.h: found
- include caml/camlidlruntime.h: found
- include gmp_caml.h: found
- binary java: not found
-
- detected configuration:
-
- optional OCaml support 1
- optional OCamlFind support 1
- optional plugins support 1
- optional C++ support 1
- optional Java support 0 ()
- optional PPL support 0
-
- installation path /home/opam/.opam/default/share/apron
- dynamic libraries extension so
-
[apron: make]
+ /usr/bin/make "-j39" (CWD=/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12)
- (cd num; /usr/bin/make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12/num'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12/num'
- (cd itv; /usr/bin/make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12/itv'
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPQ -c -o itvMPQ.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPQ -c -o itv_linexprMPQ.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPQ -c -o itv_linearizeMPQ.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPQ -c -o itvMPQ_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPQ -c -o itv_linexprMPQ_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPQ -c -o itv_linearizeMPQ_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGRAT -c -o itvRll.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGRAT -c -o itv_linexprRll.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGRAT -c -o itv_linearizeRll.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGRAT -c -o itvRll_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGRAT -c -o itv_linexprRll_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGRAT -c -o itv_linearizeRll_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_DOUBLE -c -o itvD.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_DOUBLE -c -o itv_linexprD.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_DOUBLE -c -o itv_linearizeD.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_DOUBLE -c -o itvD_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_DOUBLE -c -o itv_linexprD_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_DOUBLE -c -o itv_linearizeD_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPFR -c -o itvMPFR.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPFR -c -o itv_linexprMPFR.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPFR -c -o itv_linearizeMPFR.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPFR -c -o itvMPFR_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPFR -c -o itv_linexprMPFR_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPFR -c -o itv_linearizeMPFR_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGINT -c -o itvIl.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGINT -c -o itv_linexprIl.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGINT -c -o itv_linearizeIl.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGINT -c -o itvIll.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGINT -c -o itv_linexprIll.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGINT -c -o itv_linearizeIll.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGRAT -c -o itvRl.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGRAT -c -o itv_linexprRl.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGRAT -c -o itv_linearizeRl.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPZ -c -o itvMPZ.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPZ -c -o itv_linexprMPZ.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPZ -c -o itv_linearizeMPZ.o itv_linearize.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGDOUBLE -c -o itvDl.o itv.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGDOUBLE -c -o itv_linexprDl.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -DNDEBUG -O3 -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGDOUBLE -c -o itv_linearizeDl.o itv_linearize.c
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linexpr.h:8,
- from itv_linexpr.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linexpr.h:8,
- from itv_linexpr.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linexpr.h:8,
- from itv_linexpr.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGINT -c -o itvIl_debug.o itv.c
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGINT -c -o itv_linexprIl_debug.o itv_linexpr.c
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGINT -c -o itv_linearizeIl_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGINT -c -o itvIll_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGINT -c -o itv_linexprIll_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGLONGINT -c -o itv_linearizeIll_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGRAT -c -o itvRl_debug.o itv.c
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGRAT -c -o itv_linexprRl_debug.o itv_linexpr.c
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linexpr.h:8,
- from itv_linexpr.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGRAT -c -o itv_linearizeRl_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPZ -c -o itvMPZ_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPZ -c -o itv_linexprMPZ_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_MPZ -c -o itv_linearizeMPZ_debug.o itv_linearize.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGDOUBLE -c -o itvDl_debug.o itv.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGDOUBLE -c -o itv_linexprDl_debug.o itv_linexpr.c
- cc -U__STRICT_ANSI__ -UNDEBUG -O0 -g -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -Wno-unused-parameter -Wno-unused-function -fPIC -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -std=c99 -I../num -I../apron -DNUM_LONGDOUBLE -c -o itv_linearizeDl_debug.o itv_linearize.c
- In file included from ../num/numrat.h:22,
- from ../num/num_numrat.h:27,
- from ../num/num.h:27,
- from itv.h:9,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- ../num/numrat_native.h: In function 'numrat_canonicalize':
- ../num/numrat_native.h:44:7: warning: the comparison will always evaluate as 'true' for the address of 'd' will never be NULL [-Waddress]
- 44 | if (r->d){
- | ^
- ../num/numrat_native.h:35:12: note: 'd' declared here
- 35 | numint_t d; /* denominator, >=0 */
- | ^
- In file included from itv_fun.h:5,
- from itv.h:14,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- In function 'itv_set_ap_coeff',
- inlined from 'itv_expr_build.isra' at itv_linearize.c:1698:5:
- itv.h:314:17: warning: 'itv_set_ap_coeff_MPFR' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:314:10: note: in expansion of macro 'ITVFUN'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^~~~~~
- itv.h:314:17: note: referencing argument 2 of type '__itv_struct[1]'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:314:10: note: in expansion of macro 'ITVFUN'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^~~~~~
- itv.h: In function 'itv_expr_build.isra':
- itv.h:245:13: note: in a call to function 'itv_set_ap_coeff_MPFR'
- 245 | bool ITVFUN(itv_set_ap_coeff)(itv_internal_t* intern, itv_t itv, ap_coeff_t* coeff);
- | ^~~~~~~~~~~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:245:6: note: in expansion of macro 'ITVFUN'
- 245 | bool ITVFUN(itv_set_ap_coeff)(itv_internal_t* intern, itv_t itv, ap_coeff_t* coeff);
- | ^~~~~~
- itv_linearize.c:1723:9: warning: 'itv_eval_ap_texpr0_node' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 1723 | itv_eval_ap_texpr0_node(intern, narg, res->val, a->val, b?b->val:a->val);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv_linearize.c:1723:9: note: referencing argument 3 of type '__itv_struct[1]'
- itv_linearize.c:1723:9: note: referencing argument 4 of type '__itv_struct[1]'
- itv_linearize.c:1723:9: note: referencing argument 5 of type '__itv_struct[1]'
- itv_linearize.c:799:1: note: in a call to function 'itv_eval_ap_texpr0_node'
- 799 | itv_eval_ap_texpr0_node(itv_internal_t* intern,
- | ^~~~~~~~~~~~~~~~~~~~~~~
- In file included from itv_fun.h:5,
- from itv.h:14,
- from itv_linexpr.h:8,
- from itv_linexpr.c:5:
- In function 'itv_mul_num',
- inlined from 'itv_lincons_reduce_integer_MPQ' at itv_linexpr.c:729:5,
- inlined from 'itv_lincons_reduce_integer_MPQ' at itv_linexpr.c:672:6:
- itv.h:276:10: warning: 'itv_mul_num_MPQ' accessing 32 bytes in a region of size 16 [-Wstringop-overflow=]
- 276 | { ITVFUN(itv_mul_num)(a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:276:3: note: in expansion of macro 'ITVFUN'
- 276 | { ITVFUN(itv_mul_num)(a,b,c); }
- | ^~~~~~
- itv.h:276:10: note: referencing argument 3 of type '__mpq_struct[1]'
- 276 | { ITVFUN(itv_mul_num)(a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:276:3: note: in expansion of macro 'ITVFUN'
- 276 | { ITVFUN(itv_mul_num)(a,b,c); }
- | ^~~~~~
- itv.h: In function 'itv_lincons_reduce_integer_MPQ':
- itv.h:227:13: note: in a call to function 'itv_mul_num_MPQ'
- 227 | void ITVFUN(itv_mul_num)(itv_t a, itv_t b, num_t c);
- | ^~~~~~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:227:6: note: in expansion of macro 'ITVFUN'
- 227 | void ITVFUN(itv_mul_num)(itv_t a, itv_t b, num_t c);
- | ^~~~~~
- /usr/bin/ar rcs libitvD_debug.a itvD_debug.o itv_linexprD_debug.o itv_linearizeD_debug.o
- /usr/bin/ranlib libitvD_debug.a
- In function 'itv_mul_MPQ',
- inlined from 'itv_mul_MPQ' at itv.c:392:6:
- itv.c:414:5: warning: 'itv_muln' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 414 | itv_muln(intern,intern->mul_itv2,b,intern->mul_itv);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv.c:414:5: note: referencing argument 4 of type '__itv_struct[1]'
- itv.c: In function 'itv_mul_MPQ':
- itv.c:369:6: note: in a call to function 'itv_muln'
- 369 | void itv_muln(itv_internal_t* intern,
- | ^~~~~~~~
- In function 'itv_mul_MPQ',
- inlined from 'itv_mul_MPQ' at itv.c:392:6:
- itv.c:418:5: warning: 'itv_mulp' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 418 | itv_mulp(intern,a,b,intern->mul_itv);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv.c:418:5: note: referencing argument 4 of type '__itv_struct[1]'
- itv.c: In function 'itv_mul_MPQ':
- itv.c:346:6: note: in a call to function 'itv_mulp'
- 346 | void itv_mulp(itv_internal_t* intern,
- | ^~~~~~~~
- /usr/bin/ar rcs libitvMPFR_debug.a itvMPFR_debug.o itv_linexprMPFR_debug.o itv_linearizeMPFR_debug.o
- /usr/bin/ranlib libitvMPFR_debug.a
- /usr/bin/ar rcs libitvMPQ_debug.a itvMPQ_debug.o itv_linexprMPQ_debug.o itv_linearizeMPQ_debug.o
- /usr/bin/ranlib libitvMPQ_debug.a
- /usr/bin/ar rcs libitvRll_debug.a itvRll_debug.o itv_linexprRll_debug.o itv_linearizeRll_debug.o
- /usr/bin/ranlib libitvRll_debug.a
- In file included from itv_fun.h:5,
- from itv.h:14,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- In function 'itv_set_ap_coeff',
- inlined from 'itv_expr_build.isra' at itv_linearize.c:1698:5:
- itv.h:314:17: warning: 'itv_set_ap_coeff_MPZ' accessing 48 bytes in a region of size 16 [-Wstringop-overflow=]
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:314:10: note: in expansion of macro 'ITVFUN'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^~~~~~
- itv.h:314:17: note: referencing argument 2 of type '__itv_struct[1]'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:314:10: note: in expansion of macro 'ITVFUN'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^~~~~~
- itv.h: In function 'itv_expr_build.isra':
- itv.h:245:13: note: in a call to function 'itv_set_ap_coeff_MPZ'
- 245 | bool ITVFUN(itv_set_ap_coeff)(itv_internal_t* intern, itv_t itv, ap_coeff_t* coeff);
- | ^~~~~~~~~~~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:245:6: note: in expansion of macro 'ITVFUN'
- 245 | bool ITVFUN(itv_set_ap_coeff)(itv_internal_t* intern, itv_t itv, ap_coeff_t* coeff);
- | ^~~~~~
- itv_linearize.c:1723:9: warning: 'itv_eval_ap_texpr0_node' accessing 48 bytes in a region of size 16 [-Wstringop-overflow=]
- 1723 | itv_eval_ap_texpr0_node(intern, narg, res->val, a->val, b?b->val:a->val);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv_linearize.c:1723:9: note: referencing argument 3 of type '__itv_struct[1]'
- itv_linearize.c:1723:9: note: referencing argument 4 of type '__itv_struct[1]'
- itv_linearize.c:1723:9: note: referencing argument 5 of type '__itv_struct[1]'
- itv_linearize.c:799:1: note: in a call to function 'itv_eval_ap_texpr0_node'
- 799 | itv_eval_ap_texpr0_node(itv_internal_t* intern,
- | ^~~~~~~~~~~~~~~~~~~~~~~
- In function 'itv_mul_MPZ',
- inlined from 'itv_mul_MPZ' at itv.c:392:6:
- itv.c:414:5: warning: 'itv_muln' accessing 48 bytes in a region of size 16 [-Wstringop-overflow=]
- 414 | itv_muln(intern,intern->mul_itv2,b,intern->mul_itv);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv.c:414:5: note: referencing argument 4 of type '__itv_struct[1]'
- itv.c: In function 'itv_mul_MPZ':
- itv.c:369:6: note: in a call to function 'itv_muln'
- 369 | void itv_muln(itv_internal_t* intern,
- | ^~~~~~~~
- In function 'itv_mul_MPZ',
- inlined from 'itv_mul_MPZ' at itv.c:392:6:
- In file included from itv_fun.h:5,
- from itv.h:14,
- from itv_linearize.h:8,
- from itv_linearize.c:5:
- In function 'itv_set_ap_coeff',
- inlined from 'itv_expr_build.isra' at itv_linearize.c:1698:5:
- itv.h:314:17: warning: 'itv_set_ap_coeff_MPQ' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:314:10: note: in expansion of macro 'ITVFUN'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^~~~~~
- itv.h:314:17: note: referencing argument 2 of type '__itv_struct[1]'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:314:10: note: in expansion of macro 'ITVFUN'
- 314 | { return ITVFUN(itv_set_ap_coeff)(intern,itv,coeff); }
- | ^~~~~~
- itv.h: In function 'itv_expr_build.isra':
- itv.h:245:13: note: in a call to function 'itv_set_ap_coeff_MPQ'
- 245 | bool ITVFUN(itv_set_ap_coeff)(itv_internal_t* intern, itv_t itv, ap_coeff_t* coeff);
- | ^~~~~~~~~~~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:245:6: note: in expansion of macro 'ITVFUN'
- 245 | bool ITVFUN(itv_set_ap_coeff)(itv_internal_t* intern, itv_t itv, ap_coeff_t* coeff);
- | ^~~~~~
- itv_linearize.c:1723:9: warning: 'itv_eval_ap_texpr0_node' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 1723 | itv_eval_ap_texpr0_node(intern, narg, res->val, a->val, b?b->val:a->val);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv_linearize.c:1723:9: note: referencing argument 3 of type '__itv_struct[1]'
- itv_linearize.c:1723:9: note: referencing argument 4 of type '__itv_struct[1]'
- itv_linearize.c:1723:9: note: referencing argument 5 of type '__itv_struct[1]'
- itv.c:418:5: warning: 'itv_mulp' accessing 48 bytes in a region of size 16 [-Wstringop-overflow=]
- 418 | itv_mulp(intern,a,b,intern->mul_itv);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv.c:418:5: note: referencing argument 4 of type '__itv_struct[1]'
- itv.c: In function 'itv_mul_MPZ':
- itv.c:346:6: note: in a call to function 'itv_mulp'
- 346 | void itv_mulp(itv_internal_t* intern,
- | ^~~~~~~~
- itv_linearize.c:799:1: note: in a call to function 'itv_eval_ap_texpr0_node'
- 799 | itv_eval_ap_texpr0_node(itv_internal_t* intern,
- | ^~~~~~~~~~~~~~~~~~~~~~~
- itv.c: In function 'itv_mul_MPFR':
- itv.c:414:5: warning: 'itv_muln' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 414 | itv_muln(intern,intern->mul_itv2,b,intern->mul_itv);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv.c:414:5: note: referencing argument 4 of type '__itv_struct[1]'
- itv.c:369:6: note: in a call to function 'itv_muln'
- 369 | void itv_muln(itv_internal_t* intern,
- | ^~~~~~~~
- itv.c:418:5: warning: 'itv_mulp' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 418 | itv_mulp(intern,a,b,intern->mul_itv);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- itv.c:418:5: note: referencing argument 4 of type '__itv_struct[1]'
- itv.c:346:6: note: in a call to function 'itv_mulp'
- 346 | void itv_mulp(itv_internal_t* intern,
- | ^~~~~~~~
- /usr/bin/ar rcs libitvD.a itvD.o itv_linexprD.o itv_linearizeD.o
- /usr/bin/ranlib libitvD.a
- In function 'itv_mul',
- inlined from 'itv_quasilinearize_linexpr_MPFR' at itv_linearize.c:558:2:
- itv.h:294:10: warning: 'itv_mul_MPFR' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 3 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 4 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h: In function 'itv_quasilinearize_linexpr_MPFR':
- itv.h:234:13: note: in a call to function 'itv_mul_MPFR'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:234:6: note: in expansion of macro 'ITVFUN'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~
- In function 'itv_mul',
- inlined from 'itv_quasilinearize_linexpr_MPFR' at itv_linearize.c:558:2:
- itv.h:294:10: warning: 'itv_mul_MPFR' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 3 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 4 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h: In function 'itv_quasilinearize_linexpr_MPFR':
- itv.h:234:13: note: in a call to function 'itv_mul_MPFR'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:234:6: note: in expansion of macro 'ITVFUN'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~
- /usr/bin/ar rcs libitv_debug.a itvIl_debug.o itv_linexprIl_debug.o itv_linearizeIl_debug.o itvIll_debug.o itv_linexprIll_debug.o itv_linearizeIll_debug.o itvRl_debug.o itv_linexprRl_debug.o itv_linearizeRl_debug.o itvRll_debug.o itv_linexprRll_debug.o itv_linearizeRll_debug.o itvMPZ_debug.o itv_linexprMPZ_debug.o itv_linearizeMPZ_debug.o itvMPQ_debug.o itv_linexprMPQ_debug.o itv_linearizeMPQ_debug.o itvD_debug.o itv_linexprD_debug.o itv_linearizeD_debug.o itvMPFR_debug.o itv_linexprMPFR_debug.o itv_linearizeMPFR_debug.o itvDl_debug.o itv_linexprDl_debug.o itv_linearizeDl_debug.o
- /usr/bin/ranlib libitv_debug.a
- /usr/bin/ar rcs libitvMPFR.a itvMPFR.o itv_linexprMPFR.o itv_linearizeMPFR.o
- /usr/bin/ranlib libitvMPFR.a
- In function 'itv_mul',
- inlined from 'itv_quasilinearize_linexpr_MPQ' at itv_linearize.c:558:2:
- itv.h:294:10: warning: 'itv_mul_MPQ' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 3 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 4 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h: In function 'itv_quasilinearize_linexpr_MPQ':
- itv.h:234:13: note: in a call to function 'itv_mul_MPQ'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:234:6: note: in expansion of macro 'ITVFUN'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~
- In function 'itv_mul',
- inlined from 'itv_quasilinearize_linexpr_MPQ' at itv_linearize.c:558:2:
- itv.h:294:10: warning: 'itv_mul_MPQ' accessing 64 bytes in a region of size 32 [-Wstringop-overflow=]
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 3 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h:294:10: note: referencing argument 4 of type '__itv_struct[1]'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:294:3: note: in expansion of macro 'ITVFUN'
- 294 | { ITVFUN(itv_mul)(intern,a,b,c); }
- | ^~~~~~
- itv.h: In function 'itv_quasilinearize_linexpr_MPQ':
- itv.h:234:13: note: in a call to function 'itv_mul_MPQ'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~~
- ../num/num_name.h:15:30: note: in definition of macro 'NUMFUN3'
- 15 | #define NUMFUN3(NAME,SUFFIX) NAME ## _ ## SUFFIX
- | ^~~~
- ../num/num_name.h:17:19: note: in expansion of macro 'NUMFUN2'
- 17 | #define NUMFUN(x) NUMFUN2(x,NUM_SUFFIX)
- | ^~~~~~~
- itv_fun.h:6:19: note: in expansion of macro 'NUMFUN'
- 6 | #define ITVFUN(x) NUMFUN(x)
- | ^~~~~~
- itv.h:234:6: note: in expansion of macro 'ITVFUN'
- 234 | void ITVFUN(itv_mul)(itv_internal_t* intern, itv_t a, itv_t b, itv_t c);
- | ^~~~~~
- /usr/bin/ar rcs libitvMPQ.a itvMPQ.o itv_linexprMPQ.o itv_linearizeMPQ.o
- /usr/bin/ranlib libitvMPQ.a
- /usr/bin/ar rcs libitvRll.a itvRll.o itv_linexprRll.o itv_linearizeRll.o
- /usr/bin/ranlib libitvRll.a
- /usr/bin/ar rcs libitv.a itvIl.o itv_linexprIl.o itv_linearizeIl.o itvIll.o itv_linexprIll.o itv_linearizeIll.o itvRl.o itv_linexprRl.o itv_linearizeRl.o itvRll.o itv_linexprRll.o itv_linearizeRll.o itvMPZ.o itv_linexprMPZ.o itv_linearizeMPZ.o itvMPQ.o itv_linexprMPQ.o itv_linearizeMPQ.o itvD.o itv_linexprD.o itv_linearizeD.o itvMPFR.o itv_linexprMPFR.o itv_linearizeMPFR.o itvDl.o itv_linexprDl.o itv_linearizeDl.o
- /usr/bin/ranlib libitv.a
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12/itv'
- (cd apron; /usr/bin/make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12/apron'
[ERROR] The compilation of apron.v0.9.12 failed at "make -j39".
- Makefile:4: depend: No such file or directory
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/apron.v0.9.12/apron'
- make: *** [Makefile:21: c] Error 2
build failed...
=== STDERR ===
2026-07-26 13:02.19: FAILED: build apron.v0.9.12
2026-07-26 13:02.19: Job failed: build failed: apron.v0.9.12