Mock Version: 2.15 Mock Version: 2.15 Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/f41-build-820060-152060/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappa-1.4.2-4.fc41.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/f41-build-820060-152060/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.T8HRMB + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + test -d /builddir/build/BUILD/gappa-1.4.2-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappa-1.4.2-build + /usr/bin/rm -rf /builddir/build/BUILD/gappa-1.4.2-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappa-1.4.2-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappa-1.4.2-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WTmwBz + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + cd /builddir/build/BUILD/gappa-1.4.2-build + rm -rf gappa-1.4.2 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappa-1.4.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd gappa-1.4.2 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i 's/timeout 5/&0/' Remakefile.in + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.wU7zRx + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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-1.4.2 + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 + '[' x '!=' x ']' + '[' 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=riscv64-redhat-linux-gnu --host=riscv64-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 riscv64-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 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 stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for gmp.h... yes checking for __gmpz_init in -lgmp... yes checking for mpfr.h... yes checking for mpfr_snprintf in -lmpfr... yes checking for boost/numeric/interval.hpp... yes configure: building remake... /usr/bin/ld: /tmp/ccbg6Uxa.o: in function `main': remake.cpp:(.text.startup+0x970): 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 -j4 Building src/arithmetic/fixed.o Building src/arithmetic/float.o Building src/arithmetic/homogen.o Building src/arithmetic/relative.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/arithmetic/fixed.o.d -I src -c -o src/arithmetic/fixed.o src/arithmetic/fixed.cpp g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/arithmetic/float.o.d -I src -c -o src/arithmetic/float.o src/arithmetic/float.cpp g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/arithmetic/homogen.o.d -I src -c -o src/arithmetic/homogen.o src/arithmetic/homogen.cpp g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/backends/backend.o.d -I src -c -o src/backends/backend.o src/backends/backend.cpp ./remake -r < src/arithmetic/relative.o.d rm src/arithmetic/relative.o.d Finished src/arithmetic/relative.o Building src/backends/coq.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/backends/coq.o.d -I src -c -o src/backends/coq.o src/backends/coq.cpp ./remake -r < src/backends/backend.o.d rm src/backends/backend.o.d Finished src/backends/backend.o Building src/backends/coq_common.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/fixed.o.d rm src/arithmetic/fixed.o.d Finished src/arithmetic/fixed.o Building src/backends/coq_lambda.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/float.o.d rm src/arithmetic/float.o.d Finished src/arithmetic/float.o Building src/backends/holl.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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_lambda.o.d rm src/backends/coq_lambda.o.d Finished src/backends/coq_lambda.o Building src/backends/latex.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/coq.o.d rm src/backends/coq.o.d Finished src/backends/coq.o Building src/numbers/interval.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/latex.o.d rm src/backends/latex.o.d Finished src/backends/latex.o Building src/numbers/io.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/numbers/io.o.d -I src -c -o src/numbers/io.o src/numbers/io.cpp ./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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/numbers/round.o.d -I src -c -o src/numbers/round.o src/numbers/round.cpp ./remake -r < src/backends/holl.o.d rm src/backends/holl.o.d Finished src/backends/holl.o Building src/parser/ast.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/coq_common.o.d rm src/backends/coq_common.o.d Finished src/backends/coq_common.o Building src/parser/lexer.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/parser/lexer.o.d -I src -c -o src/parser/lexer.o src/parser/lexer.cpp ./remake -r < src/numbers/io.o.d rm src/numbers/io.o.d Finished src/numbers/io.o Building src/parser/parser_aux.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/parser/parser.o.d -I src -c -o src/parser/parser.o src/parser/parser.cpp ./remake -r < src/parser/lexer.o.d rm src/parser/lexer.o.d Finished src/parser/lexer.o Building src/parser/pattern.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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_aux.o.d rm src/parser/parser_aux.o.d Finished src/parser/parser_aux.o Building src/parser/ring.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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++/14/string:51, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/ios:44, from /usr/include/c++/14/ostream:40, from /usr/include/c++/14/iostream:41, from src/parser/parser.ypp:15: In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘const ast_real* rnd_normalize(const ast_real&)’ at src/parser/parser.ypp:66:54: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘int yyparse()’ at src/parser/parser.ypp:290:95: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘int yyparse()’ at src/parser/parser.ypp:291:100: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘int yyparse()’ at src/parser/parser.ypp:301:94: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_tree.h:63, from /usr/include/c++/14/map:62, from src/parser/pattern.cpp:12: In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘pattern pattern::operator-() const’ at src/parser/pattern.cpp:261:75: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘static pattern pattern::abs(const pattern&)’ at src/parser/pattern.cpp:262:81: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘static pattern pattern::sqrt(const pattern&)’ at src/parser/pattern.cpp:263:83: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./remake -r < src/parser/ast.o.d rm src/parser/ast.o.d Finished src/parser/ast.o Building src/proofs/basic_proof.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/pattern.o.d rm src/parser/pattern.o.d Finished src/parser/pattern.o Building src/proofs/dichotomy.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/parser.o.d rm src/parser/parser.o.d Finished src/parser/parser.o Building src/proofs/proof_graph.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/dichotomy.o.d rm src/proofs/dichotomy.o.d Finished src/proofs/dichotomy.o Building src/proofs/rewriting.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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/property.o.d rm src/proofs/property.o.d Finished src/proofs/property.o Building src/proofs/schemes.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -MMD -MT dummy -MF src/proofs/schemes.o.d -I src -c -o src/proofs/schemes.o src/proofs/schemes.cpp In file included from /usr/include/c++/14/algorithm:60, from src/numbers/interval_utility.hpp:15, from src/proofs/basic_proof.cpp:13: In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const ast_real* const; _Up = const ast_real*; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from ‘_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const ast_real* const*; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from ‘_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from ‘_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = const ast_real**]’ at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from ‘static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**]’ at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = const ast_real**; _Tp = const ast_real*]’ at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = const ast_real*; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from ‘real_op::real_op(const real_op&)’ at src/parser/ast_real.hpp:71:8, inlined from ‘static int boost::detail::variant::make_initializer_node::apply::initializer_node::initialize(void*, param_T) [with BaseIndexPair = boost::mpl::pair >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter > >::initializer_node, mpl_::int_<3> >; Iterator = boost::mpl::l_iter >]’ at /usr/include/boost/variant/detail/initializer.hpp:110:17, inlined from ‘void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1556:23, inlined from ‘boost::variant::variant(const T&, typename boost::enable_if > >, boost::detail::variant::is_variant_constructible_from >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type, boost::mpl::protect > > >, boost::mpl::identity >::type, boost::detail::variant::make_variant_list >::type, TN ...> >::type> >::type, boost::mpl::protect > >::type> >, boost::is_same >, bool>::type) [with T = real_op; T0_ = boost::blank; TN = {const ast_number*, hidden_real, real_op, placeholder}]’ at /usr/include/boost/variant/variant.hpp:1720:26, inlined from ‘ast_real::ast_real(const real_op&)’ at src/parser/ast_real.hpp:129:52, inlined from ‘static proof_scheme* abs_of_uabs_scheme::factory(const predicated_real&, const ast_real_vect&)’ at src/proofs/basic_proof.cpp:643:62: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./remake -r < src/proofs/proof_graph.o.d rm src/proofs/proof_graph.o.d Finished src/proofs/proof_graph.o Building src/proofs/updater.o g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 ./remake -r < src/proofs/schemes.o.d rm src/proofs/schemes.o.d Finished src/proofs/schemes.o ./remake -r < src/proofs/rewriting.o.d rm src/proofs/rewriting.o.d Finished src/proofs/rewriting.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 <> 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 v7.2.6 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 writing output... building [html]: targets for 13 source files that are out of date updating environment: [new config] 13 added, 0 changed, 0 removed reading sources... [ 8%] arithmetic reading sources... [ 15%] bibliography reading sources... [ 23%] customizing reading sources... [ 31%] errors reading sources... [ 38%] examples reading sources... [ 46%] formalizing reading sources... [ 54%] generated/news reading sources... [ 62%] genindex reading sources... [ 69%] index reading sources... [ 77%] invoking reading sources... [ 85%] 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 copying assets... copying static files... done copying extra files... done done writing output... [ 8%] arithmetic writing output... [ 15%] bibliography writing output... [ 23%] customizing writing output... [ 31%] errors writing output... [ 38%] examples writing output... [ 46%] formalizing writing output... [ 54%] generated/news writing output... [ 62%] genindex writing output... [ 69%] index writing output... [ 77%] invoking writing output... [ 85%] 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 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.d7B6me + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + '[' /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT ++ dirname /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT + mkdir -p /builddir/build/BUILD/gappa-1.4.2-build + mkdir /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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-1.4.2 + DESTDIR=/builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT + remake install Building install Finished install + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.4.2-4.fc41 --unique-debug-suffix -1.4.2-4.fc41.riscv64 --unique-debug-src-base gappa-1.4.2-4.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/gappa-1.4.2-4.fc41.riscv64 1020 blocks find-debuginfo: done + /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 + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT Scanned 16 directories and 52 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/gappa-1.4.2-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.hCcU3V + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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-1.4.2 + 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.2-4.fc41.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.XH8iHf + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + cd gappa-1.4.2 + DOCDIR=/builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + cp -pr /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2/README.md /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + cp -pr /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2/NEWS.md /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.DLcI94 + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + cd gappa-1.4.2 + LICENSEDIR=/builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/licenses/gappa + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/licenses/gappa + cp -pr /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2/COPYING /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/licenses/gappa + cp -pr /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2/COPYING.GPL /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/licenses/gappa + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappa = 1.4.2-4.fc41 gappa(riscv-64) = 1.4.2-4.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(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.15)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: gappa-doc-1.4.2-4.fc41.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.gDljzs + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + cd gappa-1.4.2 + DOCDIR=/builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + cp -pr /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2/AUTHORS /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + cp -pr /builddir/build/BUILD/gappa-1.4.2-build/gappa-1.4.2/doc/html /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT/usr/share/doc/gappa + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappa-doc = 1.4.2-4.fc41 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.2-4.fc41.riscv64 Provides: gappa-debugsource = 1.4.2-4.fc41 gappa-debugsource(riscv-64) = 1.4.2-4.fc41 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.2-4.fc41.riscv64 Provides: debuginfo(build-id) = dd7c081db39a7be6a7494ae3a3738aa45a7000d8 gappa-debuginfo = 1.4.2-4.fc41 gappa-debuginfo(riscv-64) = 1.4.2-4.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: gappa-debugsource(riscv-64) = 1.4.2-4.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappa-1.4.2-build/BUILDROOT Wrote: /builddir/build/RPMS/gappa-1.4.2-4.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/gappa-debugsource-1.4.2-4.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/gappa-doc-1.4.2-4.fc41.noarch.rpm Wrote: /builddir/build/RPMS/gappa-debuginfo-1.4.2-4.fc41.riscv64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.mMwDod + umask 022 + cd /builddir/build/BUILD/gappa-1.4.2-build + test -d /builddir/build/BUILD/gappa-1.4.2-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappa-1.4.2-build + rm -rf /builddir/build/BUILD/gappa-1.4.2-build + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0