Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/fedora-rawhide-i686-1672242847.065319/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 0x7fc7f63be1d0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.0qnz05kl:/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.0qnz05kl:/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', '7fe8c1bd28c24f9fb25e90be31a0707f', '-D', '/var/lib/mock/fedora-rawhide-i686-1672242847.065319/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.0qnz05kl:/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 i686 --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: i686 Building for target i686 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 i686 --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/fedora-rawhide-i686-1672242847.065319/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 0x7fc7f63be1d0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.0qnz05kl:/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.0qnz05kl:/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', '89d44effe20d4149913cff2ffb802fe4', '-D', '/var/lib/mock/fedora-rawhide-i686-1672242847.065319/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.0qnz05kl:/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 i686 --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: i686 Building for target i686 setting SOURCE_DATE_EPOCH=1660089600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Hw9GeQ + 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.mXW81R + 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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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=i686-redhat-linux-gnu --host=i686-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/lib --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 i686-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/ccbDNytp.o: in function `main': remake.cpp:(.text.startup+0xd44): 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 -j2 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 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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/arithmetic/fixed.o.d -I src -c -o src/arithmetic/fixed.o src/arithmetic/fixed.cpp ./remake -r < src/arithmetic/fixed.o.d rm src/arithmetic/fixed.o.d Finished src/arithmetic/fixed.o Building src/arithmetic/homogen.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/arithmetic/homogen.o.d -I src -c -o src/arithmetic/homogen.o src/arithmetic/homogen.cpp ./remake -r < src/arithmetic/float.o.d rm src/arithmetic/float.o.d Finished src/arithmetic/float.o Building src/arithmetic/relative.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/arithmetic/relative.o.d -I src -c -o src/arithmetic/relative.o src/arithmetic/relative.cpp ./remake -r < src/arithmetic/homogen.o.d rm src/arithmetic/homogen.o.d Finished src/arithmetic/homogen.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/relative.o.d rm src/arithmetic/relative.o.d Finished src/arithmetic/relative.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/backends/coq.o.d rm src/backends/coq.o.d Finished src/backends/coq.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/backends/coq_lambda.o.d rm src/backends/coq_lambda.o.d Finished src/backends/coq_lambda.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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_common.o.d rm src/backends/coq_common.o.d Finished src/backends/coq_common.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/backends/holl.o.d rm src/backends/holl.o.d Finished src/backends/holl.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/numbers/interval.o.d -I src -c -o src/numbers/interval.o src/numbers/interval.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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' here 33 | void destroy() const { if (ref_counter.decr()) delete this; } | ^~~~ ./remake -r < src/backends/latex.o.d rm src/backends/latex.o.d Finished src/backends/latex.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/numbers/io.o.d -I src -c -o src/numbers/io.o src/numbers/io.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::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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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 int)' [-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 int)' 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:252:41: src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned int)' [-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 int)' 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 int)' [-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 int)' 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/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/numbers/real.o.d -I src -c -o src/numbers/real.o src/numbers/real.cpp ./remake -r < src/numbers/real.o.d rm src/numbers/real.o.d Finished src/numbers/real.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/io.o.d rm src/numbers/io.o.d Finished src/numbers/io.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/numbers/round.o.d rm src/numbers/round.o.d Finished src/numbers/round.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/parser/lexer.o.d rm src/parser/lexer.o.d Finished src/parser/lexer.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/parser/ast.o.d rm src/parser/ast.o.d Finished src/parser/ast.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/parser/parser.o.d -I src -c -o src/parser/parser.o src/parser/parser.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 '_134->_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 + 8]' 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/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/parser.o.d rm src/parser/parser.o.d Finished src/parser/parser.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/parser/ring.o.d -I src -c -o src/parser/ring.o src/parser/ring.cpp ./remake -r < src/parser/pattern.o.d rm src/parser/pattern.o.d Finished src/parser/pattern.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/ring.o.d rm src/parser/ring.o.d Finished src/parser/ring.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/proofs/dichotomy.o.d -I src -c -o src/proofs/dichotomy.o src/proofs/dichotomy.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 int, ast_number const*)' at src/proofs/dichotomy.cpp:529:1: src/numbers/real.hpp:22:26: warning: pointer used after 'operator delete(void*, unsigned int)' [-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 int, ast_number const*)' at src/proofs/dichotomy.cpp:529:1: src/numbers/real.hpp:33:57: note: call to 'operator delete(void*, unsigned int)' here 33 | void destroy() const { if (ref_counter.decr()) delete this; } | ^~~~ ./remake -r < src/proofs/dichotomy.o.d rm src/proofs/dichotomy.o.d ./remake -r < src/proofs/basic_proof.o.d Finished src/proofs/dichotomy.o Building src/proofs/proof_graph.o rm src/proofs/basic_proof.o.d 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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 Finished src/proofs/basic_proof.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/proofs/property.o.d rm src/proofs/property.o.d Finished src/proofs/property.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/proofs/rewriting.o.d -I src -c -o src/proofs/rewriting.o src/proofs/rewriting.cpp ./remake -r < src/proofs/proof_graph.o.d rm src/proofs/proof_graph.o.d Finished src/proofs/proof_graph.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/rewriting.o.d rm src/proofs/rewriting.o.d Finished src/proofs/rewriting.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/schemes.o.d rm src/proofs/schemes.o.d Finished src/proofs/schemes.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/main.o.d -I src -c -o src/main.o src/main.cpp ./remake -r < src/proofs/updater.o.d rm src/proofs/updater.o.d Finished src/proofs/updater.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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -MMD -MT dummy -MF src/parameters.o.d -I src -c -o src/parameters.o src/parameters.cpp ./remake -r < src/main.o.d rm src/main.o.d Finished src/main.o ./remake -r < src/parameters.o.d rm src/parameters.o.d Finished src/parameters.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.XTMt5K + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386 ++ dirname /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386 + 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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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.i386 + remake install Building install Finished install + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.4.1-1.fc38 --unique-debug-suffix -1.4.1-1.fc38.i386 --unique-debug-src-base gappa-1.4.1-1.fc38.i386 --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.i386/usr/bin/gappa original debug info size: 10512kB, size after compression: 9500kB /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.z3iN5Z + 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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.jdCd9P + umask 022 + cd /builddir/build/BUILD + cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f + DOCDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/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.i386/usr/share/doc/gappa + cp -pr README.md /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/usr/share/doc/gappa + cp -pr NEWS.md /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/usr/share/doc/gappa + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.d0IJ7d + umask 022 + cd /builddir/build/BUILD + cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f + LICENSEDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/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.i386/usr/share/licenses/gappa + cp -pr COPYING /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/usr/share/licenses/gappa + cp -pr COPYING.GPL /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/usr/share/licenses/gappa + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappa = 1.4.1-1.fc38 gappa(x86-32) = 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 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.34) libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libgcc_s.so.1(GCC_3.3.1) libgmp.so.10 libmpfr.so.6 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_1.3.9) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.10) libstdc++.so.6(GLIBCXX_3.4.11) libstdc++.so.6(GLIBCXX_3.4.15) libstdc++.so.6(GLIBCXX_3.4.20) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.26) libstdc++.so.6(GLIBCXX_3.4.29) libstdc++.so.6(GLIBCXX_3.4.30) libstdc++.so.6(GLIBCXX_3.4.9) rtld(GNU_HASH) Processing files: gappa-doc-1.4.1-1.fc38.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Chwsuw + umask 022 + cd /builddir/build/BUILD + cd gappa-gappa-1.4.1-edac95d7f6cb65ca676c59d3c5a5d69cbe27345f + DOCDIR=/builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/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.i386/usr/share/doc/gappa + cp -pr AUTHORS /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/usr/share/doc/gappa + cp -pr doc/html /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386/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.i686 Provides: gappa-debugsource = 1.4.1-1.fc38 gappa-debugsource(x86-32) = 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.i686 Provides: debuginfo(build-id) = 2cbb901c89708ac164234a2498e3eaf6ce175d28 gappa-debuginfo = 1.4.1-1.fc38 gappa-debuginfo(x86-32) = 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(x86-32) = 1.4.1-1.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappa-1.4.1-1.fc38.i386 Wrote: /builddir/build/RPMS/gappa-doc-1.4.1-1.fc38.noarch.rpm Wrote: /builddir/build/RPMS/gappa-1.4.1-1.fc38.i686.rpm Wrote: /builddir/build/RPMS/gappa-debugsource-1.4.1-1.fc38.i686.rpm Wrote: /builddir/build/RPMS/gappa-debuginfo-1.4.1-1.fc38.i686.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.3pmscC + 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.i386 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.hA27m2 + 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