Build Log: apron.v0.9.12

Processing: [default: loading data] [apron.v0.9.12: http] [apron.v0.9.12: extract] -> retrieved apron.v0.9.12 (https://github.com/antoinemine/apron/archive/v0.9.12.tar.gz) [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 "-j255" (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 - 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__ -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 - 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__ -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_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 - 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 - 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 - 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_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 - 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 - 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_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 */ - | ^ - 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 */ - | ^ - /usr/bin/ar rcs libitvMPQ_debug.a itvMPQ_debug.o itv_linexprMPQ_debug.o itv_linearizeMPQ_debug.o - 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]' - /usr/bin/ranlib libitvMPQ_debug.a - 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, - | ^~~~~~~~~~~~~~~~~~~~~~~ - /usr/bin/ar rcs libitvD_debug.a itvD_debug.o itv_linexprD_debug.o itv_linearizeD_debug.o - 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: - /usr/bin/ranlib libitvD_debug.a - 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, - | ^~~~~~~~~~~~~~~~~~~~~~~ - /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 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_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); - | ^~~~~~ - 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, - | ^~~~~~~~~~~~~~~~~~~~~~~ - 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 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 - 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/ranlib libitv_debug.a - 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: - 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, - | ^~~~~~~~ - 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 libitvD.a itvD.o itv_linexprD.o itv_linearizeD.o - /usr/bin/ranlib libitvD.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/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 libitvRll.a - /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' - 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 [ERROR] The compilation of apron.v0.9.12 failed at "make -j255". build failed...