Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target ppc64le --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/fedora-rawhide-ppc64le-1672236579.164371/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fff8af916d0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9xigqy7a:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9xigqy7a:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd1e6f6157cae4c09b3ccdd759345a26d', '-D', '/var/lib/mock/fedora-rawhide-ppc64le-1672236579.164371/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9xigqy7a:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target ppc64le --nodeps /builddir/build/SPECS/gappa.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1660089600
Wrote: /builddir/build/SRPMS/gappa-1.4.1-1.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target ppc64le --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/fedora-rawhide-ppc64le-1672236579.164371/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fff8af916d0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9xigqy7a:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9xigqy7a:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'fc0437143f2c4f6caebe65602e37aa15', '-D', '/var/lib/mock/fedora-rawhide-ppc64le-1672236579.164371/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9xigqy7a:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target ppc64le --nodeps /builddir/build/SPECS/gappa.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1660089600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.UTjOOi
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappa-1.4.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/timeout 5/&0/' Remakefile.in
+ ./autogen.sh
autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in'
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
configure.in:8: warning: AC_PROG_LEX without either yywrap or noyywrap is obsolete
./lib/autoconf/programs.m4:716: _AC_PROG_LEX is expanded from...
./lib/autoconf/programs.m4:709: AC_PROG_LEX is expanded from...
configure.in:8: the top level
configure.in:22: warning: The macro `AC_TRY_COMPILE' is obsolete.
configure.in:22: You should run autoupdate.
./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from...
configure.in:22: the top level
configure.in:30: warning: The macro `AC_TRY_COMPILE' is obsolete.
configure.in:30: You should run autoupdate.
./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from...
configure.in:30: the top level
autoheader: warning: autoconf input should be named 'configure.ac', not 'configure.in'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Hw2sQQ
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']'
++ find . -type f -name configure -print
+ for file in $(find . -type f -name configure -print)
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ '[' 1 = 1 ']'
+++ dirname ./configure
++ find . -name config.guess -o -name config.sub
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
++ find . -name ltmain.sh
++ grep -q runstatedir=DIR ./configure
++ echo --runstatedir=/run
+ ./configure --build=powerpc64le-redhat-linux-gnu --host=powerpc64le-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info
configure: WARNING: unrecognized options: --disable-dependency-tracking
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
checking for powerpc64le-redhat-linux-gnu-gcc... gcc
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking for flex... flex
checking for lex output file root... lex.yy
checking for lex library... none needed
checking for library containing yywrap... no
checking whether yytext is a pointer... yes
checking for bison... bison -y
checking how to run the C preprocessor... gcc -E
checking for gcc... gcc
checking whether the compiler supports GNU C... (cached) yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... (cached) none needed
checking how to run the C preprocessor... gcc -E
checking how to run the C++ preprocessor... g++ -E
checking for g++... g++
checking whether the compiler supports GNU C++... (cached) yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... (cached) none needed
checking how to run the C++ preprocessor... g++ -E
checking for __gmpz_init in -lgmp... yes
checking for mpfr_snprintf in -lmpfr... yes
checking for Boost (>=1.32)... yes
checking for tr1/unordered_map... yes
configure: building remake...
/usr/bin/ld: /tmp/ccVgWL86.o: in function `main':
remake.cpp:(.text.startup+0xc6c): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating stamp-config_h
config.status: creating Remakefile
config.status: creating config.h
configure: WARNING: unrecognized options: --disable-dependency-tracking
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j5
Building src/parser/parser.cpp src/parser/parser.hpp
Building src/parser/lexer.cpp
bison -y -d -o src/parser/parser.cpp src/parser/parser.ypp
flex -o src/parser/lexer.cpp src/parser/lexer.lpp
src/parser/parser.ypp:89.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
   89 | %define parse.error verbose
      | ^~~~~~~
src/parser/parser.ypp:90.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
   90 | %define api.pure
      | ^~~~~~~
Finished src/parser/lexer.cpp
Finished src/parser/parser.cpp src/parser/parser.hpp
Building src/arithmetic/fixed.o
Building src/arithmetic/float.o
Building src/arithmetic/homogen.o
Building src/arithmetic/relative.o
Building src/backends/backend.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/arithmetic/fixed.o.d -I src -c -o src/arithmetic/fixed.o src/arithmetic/fixed.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/arithmetic/float.o.d -I src -c -o src/arithmetic/float.o src/arithmetic/float.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/arithmetic/homogen.o.d -I src -c -o src/arithmetic/homogen.o src/arithmetic/homogen.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/arithmetic/relative.o.d -I src -c -o src/arithmetic/relative.o src/arithmetic/relative.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/backends/backend.o.d -I src -c -o src/backends/backend.o src/backends/backend.cpp
./remake -r < src/backends/backend.o.d
rm src/backends/backend.o.d
Finished src/backends/backend.o
Building src/backends/coq.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/backends/coq.o.d -I src -c -o src/backends/coq.o src/backends/coq.cpp
./remake -r < src/arithmetic/homogen.o.d
rm src/arithmetic/homogen.o.d
Finished src/arithmetic/homogen.o
Building src/backends/coq_common.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/backends/coq_common.o.d -I src -c -o src/backends/coq_common.o src/backends/coq_common.cpp
./remake -r < src/arithmetic/relative.o.d
rm src/arithmetic/relative.o.d
Finished src/arithmetic/relative.o
Building src/backends/coq_lambda.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/backends/coq_lambda.o.d -I src -c -o src/backends/coq_lambda.o src/backends/coq_lambda.cpp
./remake -r < src/arithmetic/fixed.o.d
rm src/arithmetic/fixed.o.d
Finished src/arithmetic/fixed.o
Building src/backends/holl.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/backends/holl.o.d -I src -c -o src/backends/holl.o src/backends/holl.cpp
./remake -r < src/backends/coq.o.d
rm src/backends/coq.o.d
Finished src/backends/coq.o
Building src/backends/latex.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/backends/latex.o.d -I src -c -o src/backends/latex.o src/backends/latex.cpp
./remake -r < src/arithmetic/float.o.d
rm src/arithmetic/float.o.d
Finished src/arithmetic/float.o
Building src/numbers/interval.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/numbers/interval.o.d -I src -c -o src/numbers/interval.o src/numbers/interval.cpp
./remake -r < src/backends/coq_lambda.o.d
rm src/backends/coq_lambda.o.d
Finished src/backends/coq_lambda.o
Building src/numbers/io.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/numbers/io.o.d -I src -c -o src/numbers/io.o src/numbers/io.cpp
In file included from src/numbers/interval.cpp:24:
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::hull<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:186:52,
    inlined from 'hull(interval const&, interval const&)' at src/numbers/interval.cpp:144:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::hull<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:186:52,
    inlined from 'hull(interval const&, interval const&)' at src/numbers/interval.cpp:144:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::intersect<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:170:41,
    inlined from 'intersect(interval const&, interval const&)' at src/numbers/interval.cpp:149:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::intersect<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:170:41,
    inlined from 'intersect(interval const&, interval const&)' at src/numbers/interval.cpp:149:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::intersect<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:174:51,
    inlined from 'intersect(interval const&, interval const&)' at src/numbers/interval.cpp:149:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::intersect<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:174:51,
    inlined from 'intersect(interval const&, interval const&)' at src/numbers/interval.cpp:149:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator-<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:38:41,
    inlined from 'operator-(interval const&)' at src/numbers/interval.cpp:207:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator-<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:38:41,
    inlined from 'operator-(interval const&)' at src/numbers/interval.cpp:207:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator-<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:144:41,
    inlined from 'operator-(interval const&, interval const&)' at src/numbers/interval.cpp:217:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator-<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:144:41,
    inlined from 'operator-(interval const&, interval const&)' at src/numbers/interval.cpp:217:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::abs<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:263:21,
    inlined from 'abs(interval const&)' at src/numbers/interval.cpp:232:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::abs<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:263:21,
    inlined from 'abs(interval const&)' at src/numbers/interval.cpp:232:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator-<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:38:41,
    inlined from 'boost::numeric::abs<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:265:55,
    inlined from 'abs(interval const&)' at src/numbers/interval.cpp:232:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator-<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:38:41,
    inlined from 'boost::numeric::abs<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:265:55,
    inlined from 'abs(interval const&)' at src/numbers/interval.cpp:232:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator+<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:119:41:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator+<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:119:41:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator*<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:178:21:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator*<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:178:21:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::square<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith2.hpp:213:21:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::square<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith2.hpp:213:21:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::sqrt<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith2.hpp:202:21:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::sqrt<number, real_policies>(boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith2.hpp:202:21:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator*<number, real_policies>(number const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:230:21:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator*<number, real_policies>(number const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:230:21:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::interval_lib::sub<boost::numeric::interval<number, real_policies> >(boost::numeric::interval<number, real_policies>::base_type const&, boost::numeric::interval<number, real_policies>::base_type const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith3.hpp:40:21,
    inlined from 'add_relative(interval const&, interval const&, interval const&)' at src/numbers/interval.cpp:314:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::interval_lib::sub<boost::numeric::interval<number, real_policies> >(boost::numeric::interval<number, real_policies>::base_type const&, boost::numeric::interval<number, real_policies>::base_type const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith3.hpp:40:21,
    inlined from 'add_relative(interval const&, interval const&, interval const&)' at src/numbers/interval.cpp:314:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::interval_lib::sub<boost::numeric::interval<number, real_policies> >(boost::numeric::interval<number, real_policies>::base_type const&, boost::numeric::interval<number, real_policies>::base_type const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith3.hpp:40:21,
    inlined from 'add_relative(interval const&, interval const&, interval const&)' at src/numbers/interval.cpp:314:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::interval_lib::sub<boost::numeric::interval<number, real_policies> >(boost::numeric::interval<number, real_policies>::base_type const&, boost::numeric::interval<number, real_policies>::base_type const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith3.hpp:40:21,
    inlined from 'add_relative(interval const&, interval const&, interval const&)' at src/numbers/interval.cpp:314:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::hull<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:186:52,
    inlined from 'add_relative(interval const&, interval const&, interval const&)' at src/numbers/interval.cpp:314:10:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::hull<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/utility.hpp:186:52,
    inlined from 'add_relative(interval const&, interval const&, interval const&)' at src/numbers/interval.cpp:314:10:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
./remake -r < src/numbers/io.o.d
rm src/numbers/io.o.d
Finished src/numbers/io.o
Building src/numbers/real.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/numbers/real.o.d -I src -c -o src/numbers/real.o src/numbers/real.cpp
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator/<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:252:41:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator/<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:252:41:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator/<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:263:45:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'boost::numeric::interval<number, real_policies>::empty()' at /usr/include/boost/numeric/interval/interval.hpp:298:61,
    inlined from 'boost::numeric::operator/<number, real_policies>(boost::numeric::interval<number, real_policies> const&, boost::numeric::interval<number, real_policies> const&)boost::numeric::interval<number, real_policies>' at /usr/include/boost/numeric/interval/arith.hpp:263:45:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
./remake -r < src/numbers/interval.o.d
rm src/numbers/interval.o.d
Finished src/numbers/interval.o
Building src/numbers/round.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/numbers/round.o.d -I src -c -o src/numbers/round.o src/numbers/round.cpp
./remake -r < src/numbers/real.o.d
rm src/numbers/real.o.d
Finished src/numbers/real.o
Building src/parser/ast.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parser/ast.o.d -I src -c -o src/parser/ast.o src/parser/ast.cpp
./remake -r < src/backends/latex.o.d
rm src/backends/latex.o.d
Finished src/backends/latex.o
Building src/parser/lexer.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parser/lexer.o.d -I src -c -o src/parser/lexer.o src/parser/lexer.cpp
./remake -r < src/backends/holl.o.d
rm src/backends/holl.o.d
Finished src/backends/holl.o
Building src/parser/parser_aux.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parser/parser_aux.o.d -I src -c -o src/parser/parser_aux.o src/parser/parser_aux.cpp
./remake -r < src/numbers/round.o.d
rm src/numbers/round.o.d
Finished src/numbers/round.o
Building src/parser/parser.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parser/parser.o.d -I src -c -o src/parser/parser.o src/parser/parser.cpp
./remake -r < src/backends/coq_common.o.d
rm src/backends/coq_common.o.d
Finished src/backends/coq_common.o
Building src/parser/pattern.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parser/pattern.o.d -I src -c -o src/parser/pattern.o src/parser/pattern.cpp
./remake -r < src/parser/lexer.o.d
rm src/parser/lexer.o.d
Finished src/parser/lexer.o
Building src/parser/ring.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parser/ring.o.d -I src -c -o src/parser/ring.o src/parser/ring.cpp
In file included from /usr/include/c++/13/map:62,
                 from src/parser/ast_real.hpp:15,
                 from src/parser/ast.hpp:18,
                 from src/parser/parser_aux.cpp:18:
In member function 'std::_Rb_tree<ast_real const*, ast_real const*, std::_Identity<ast_real const*>, std::less<ast_real const*>, std::allocator<ast_real const*> >::swap(std::_Rb_tree<ast_real const*, ast_real const*, std::_Identity<ast_real const*>, std::less<ast_real const*>, std::allocator<ast_real const*> >&)',
    inlined from 'std::set<ast_real const*, std::less<ast_real const*>, std::allocator<ast_real const*> >::swap(std::set<ast_real const*, std::less<ast_real const*>, std::allocator<ast_real const*> >&)' at /usr/include/c++/13/bits/stl_set.h:443:18,
    inlined from 'check_unbound()' at src/parser/parser_aux.cpp:164:22,
    inlined from 'generate_graph(ast_prop const*)' at src/parser/parser_aux.cpp:185:18:
/usr/include/c++/13/bits/stl_tree.h:2091:36: warning: storing the address of local variable 's' in '_132->_M_parent' [-Wdangling-pointer=]
 2091 |           __t._M_root()->_M_parent = __t._M_end();
      |           ~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~
src/parser/parser_aux.cpp: In function 'generate_graph(ast_prop const*)':
src/parser/parser_aux.cpp:160:12: note: 's' declared here
  160 |   real_set s;
      |            ^
src/parser/parser_aux.cpp:160:12: note: 'MEM[(struct _Rb_tree_node_base * &)&s + 16]' declared here
./remake -r < src/parser/parser_aux.o.d
rm src/parser/parser_aux.o.d
Finished src/parser/parser_aux.o
Building src/proofs/basic_proof.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/basic_proof.o.d -I src -c -o src/proofs/basic_proof.o src/proofs/basic_proof.cpp
./remake -r < src/parser/ast.o.d
rm src/parser/ast.o.d
Finished src/parser/ast.o
Building src/proofs/dichotomy.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/dichotomy.o.d -I src -c -o src/proofs/dichotomy.o src/proofs/dichotomy.cpp
./remake -r < src/parser/pattern.o.d
rm src/parser/pattern.o.d
Finished src/parser/pattern.o
Building src/proofs/proof_graph.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/proof_graph.o.d -I src -c -o src/proofs/proof_graph.o src/proofs/proof_graph.cpp
./remake -r < src/parser/ring.o.d
rm src/parser/ring.o.d
Finished src/parser/ring.o
Building src/proofs/property.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/property.o.d -I src -c -o src/proofs/property.o src/proofs/property.cpp
./remake -r < src/parser/parser.o.d
rm src/parser/parser.o.d
Finished src/parser/parser.o
Building src/proofs/rewriting.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/rewriting.o.d -I src -c -o src/proofs/rewriting.o src/proofs/rewriting.cpp
In file included from src/proofs/dichotomy.cpp:16:
In member function 'ref_counter_t::decr()',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:46,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'fill_splitter(unsigned long, ast_number const*)' at src/proofs/dichotomy.cpp:529:1:
src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned long)' [-Wuse-after-free]
   22 |   bool decr() { return --nb == 0; }
      |                          ^~
In member function 'number_base::destroy() const',
    inlined from 'number_base::destroy() const' at src/numbers/real.hpp:33:8,
    inlined from 'number::~number()' at src/numbers/real.hpp:48:28,
    inlined from 'split_point::~split_point()' at src/numbers/real.hpp:72:8,
    inlined from 'fill_splitter(unsigned long, ast_number const*)' at src/proofs/dichotomy.cpp:529:1:
src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned long)' here
   33 |   void destroy() const { if (ref_counter.decr()) delete this; }
      |                                                         ^~~~
./remake -r < src/proofs/dichotomy.o.d
rm src/proofs/dichotomy.o.d
Finished src/proofs/dichotomy.o
Building src/proofs/schemes.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/schemes.o.d -I src -c -o src/proofs/schemes.o src/proofs/schemes.cpp
./remake -r < src/proofs/property.o.d
rm src/proofs/property.o.d
Finished src/proofs/property.o
Building src/proofs/updater.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/proofs/updater.o.d -I src -c -o src/proofs/updater.o src/proofs/updater.cpp
./remake -r < src/proofs/basic_proof.o.d
rm src/proofs/basic_proof.o.d
Finished src/proofs/basic_proof.o
Building src/main.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/main.o.d -I src -c -o src/main.o src/main.cpp
./remake -r < src/proofs/proof_graph.o.d
rm src/proofs/proof_graph.o.d
Finished src/proofs/proof_graph.o
Building src/parameters.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -MMD -MT dummy -MF src/parameters.o.d -I src -c -o src/parameters.o src/parameters.cpp
./remake -r < src/proofs/updater.o.d
rm src/proofs/updater.o.d
Finished src/proofs/updater.o
./remake -r < src/proofs/rewriting.o.d
rm src/proofs/rewriting.o.d
Finished src/proofs/rewriting.o
./remake -r < src/parameters.o.d
rm src/parameters.o.d
Finished src/parameters.o
./remake -r < src/main.o.d
rm src/main.o.d
Finished src/main.o
./remake -r < src/proofs/schemes.o.d
rm src/proofs/schemes.o.d
Finished src/proofs/schemes.o
Building src/gappa
g++ -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o src/gappa src/arithmetic/fixed.o src/arithmetic/float.o src/arithmetic/homogen.o src/arithmetic/relative.o src/backends/backend.o src/backends/coq.o src/backends/coq_common.o src/backends/coq_lambda.o src/backends/holl.o src/backends/latex.o src/numbers/interval.o src/numbers/io.o src/numbers/real.o src/numbers/round.o src/parser/ast.o src/parser/lexer.o src/parser/parser_aux.o src/parser/parser.o src/parser/pattern.o src/parser/ring.o src/proofs/basic_proof.o src/proofs/dichotomy.o src/proofs/proof_graph.o src/proofs/property.o src/proofs/rewriting.o src/proofs/schemes.o src/proofs/updater.o src/main.o src/parameters.o -lmpfr -lgmp 
Finished src/gappa
Building all
Finished all
+ remake -d doc/html/index.html
Building doc/generated/news.rst
mkdir -p doc/generated
cat > doc/generated/news.rst <<EOF
Changelog
=========
EOF
sed -e 's/`/``/g' NEWS.md >> doc/generated/news.rst
Finished doc/generated/news.rst
Building doc/html/index.html
sphinx-build -b html -d doc/.doctrees doc doc/html
Running Sphinx v5.3.0
making output directory... done
WARNING: html_static_path entry '_static' does not exist
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 13 source files that are out of date
updating environment: [new config] 13 added, 0 changed, 0 removed
reading sources... [  7%] arithmetic
reading sources... [ 15%] bibliography
reading sources... [ 23%] customizing
reading sources... [ 30%] errors
reading sources... [ 38%] examples
reading sources... [ 46%] formalizing
reading sources... [ 53%] generated/news
reading sources... [ 61%] genindex
reading sources... [ 69%] index
reading sources... [ 76%] invoking
reading sources... [ 84%] language
reading sources... [ 92%] theorems
reading sources... [100%] tools
looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
writing output... [  7%] arithmetic
writing output... [ 15%] bibliography
writing output... [ 23%] customizing
writing output... [ 30%] errors
writing output... [ 38%] examples
writing output... [ 46%] formalizing
writing output... [ 53%] generated/news
writing output... [ 61%] genindex
writing output... [ 69%] index
writing output... [ 76%] invoking
writing output... [ 84%] language
writing output... [ 92%] theorems
writing output... [100%] tools
generating indices... genindex done
writing additional pages... search done
copying images... [100%] images/gwhy-sqrt.png
copying static files... done
copying extra files... done
dumping search index in English (code: en)... done
dumping object inventory... done
build succeeded, 1 warning.
The HTML pages are in doc/html.
Finished doc/html/index.html
+ rm doc/html/.buildinfo
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.o4Wlsb
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le
++ dirname /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ DESTDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le
+ remake install
Building install
Finished install
+ /usr/bin/find-debuginfo -j5 --strict-build-id -m -i --build-id-seed 1.4.1-1.fc38 --unique-debug-suffix -1.4.1-1.fc38.ppc64le --unique-debug-src-base gappa-1.4.1-1.fc38.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
extracting debug info from /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/bin/gappa
original debug info size: 11264kB, size after compression: 10176kB
/usr/bin/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
1029 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.g7lXtI
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ remake check
Building testsuite/check-null
Finished testsuite/check-null
Building testsuite/check-coq
Finished testsuite/check-coq
Building testsuite/check-latex
Finished testsuite/check-latex
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappa-1.4.1-1.fc38.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.k9rvEk
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ DOCDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ cp -pr README.md /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ cp -pr NEWS.md /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.E65Yc6
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ LICENSEDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/licenses/gappa
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/licenses/gappa
+ cp -pr COPYING /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/licenses/gappa
+ cp -pr COPYING.GPL /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/licenses/gappa
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappa = 1.4.1-1.fc38 gappa(ppc-64) = 1.4.1-1.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.34)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libgmp.so.10()(64bit) libmpfr.so.6()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.10)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: gappa-doc-1.4.1-1.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.KjZHxP
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ DOCDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ cp -pr AUTHORS /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ cp -pr doc/html /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le/usr/share/doc/gappa
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappa-doc = 1.4.1-1.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappa-debugsource-1.4.1-1.fc38.ppc64le
Provides: gappa-debugsource = 1.4.1-1.fc38 gappa-debugsource(ppc-64) = 1.4.1-1.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappa-debuginfo-1.4.1-1.fc38.ppc64le
Provides: debuginfo(build-id) = c67e5cd9411ada54da65886eda46fff487053b26 gappa-debuginfo = 1.4.1-1.fc38 gappa-debuginfo(ppc-64) = 1.4.1-1.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappa-debugsource(ppc-64) = 1.4.1-1.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le
Wrote: /builddir/build/RPMS/gappa-debugsource-1.4.1-1.fc38.ppc64le.rpm
Wrote: /builddir/build/RPMS/gappa-1.4.1-1.fc38.ppc64le.rpm
Wrote: /builddir/build/RPMS/gappa-doc-1.4.1-1.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/gappa-debuginfo-1.4.1-1.fc38.ppc64le.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.bwzvaP
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.ppc64le
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.XHFrbC
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0