Mock Version: 5.0 Mock Version: 5.0 Mock Version: 5.0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.spec'], chrootPath='/var/lib/mock/f40-build-781344-131566/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=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '3404d22a5cda4f8381da6c04004b0250', '-D', '/var/lib/mock/f40-build-781344-131566/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1707436800 Wrote: /builddir/build/SRPMS/cryptominisat-5.11.21-1.fc40.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.spec'], chrootPath='/var/lib/mock/f40-build-781344-131566/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=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=TrueraiseExc=FalseprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '8cf0faa00187458c91a7651e30fe4d14', '-D', '/var/lib/mock/f40-build-781344-131566/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1707436800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.hdKIkp + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cryptominisat-5.11.21 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cryptominisat-5.11.21.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cryptominisat-5.11.21 + rm -rf /builddir/build/BUILD/cryptominisat-5.11.21-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/cryptominisat-5.11.21-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cryptominisat-cmake.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cryptominisat-picosat.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cryptominisat-python-library.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + '[' lib64 '!=' lib ']' + sed -i 's,${dir}/lib,&64,g' cmake/FindPkgMacros.cmake + sed -i s,lib/cmake,lib64/cmake, CMakeLists.txt + rm -fr src/picosat + sed -i 's/, "pathlib"//' pyproject.toml + RPM_EC=0 ++ jobs -p + exit 0 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.gX1YyS + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(pip) >= 19' + echo 'python3dist(packaging)' + '[' -f pyproject.toml ']' + echo '(python3dist(tomli) if python3-devel < 3.11)' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + echo -n + 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 ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 ' + TMPDIR=/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + RPM_TOXENV=py312 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir --output /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-buildrequires Handling setuptools>=42 from build-system.requires Requirement not satisfied: setuptools>=42 Handling wheel from build-system.requires Requirement not satisfied: wheel Handling toml from build-system.requires Requirement not satisfied: toml Exiting dependency generation pass: build backend + cat /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-buildrequires + rm -rfv '*.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/cryptominisat-5.11.21-1.fc40.buildreqs.nosrc.rpm Child return code was: 11 Dynamic buildrequires detected Going to install missing buildrequires. See root.log for details. ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.spec'], chrootPath='/var/lib/mock/f40-build-781344-131566/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=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=TrueraiseExc=FalseprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '08ad678521954a0a8ef9bae6e99f24e8', '-D', '/var/lib/mock/f40-build-781344-131566/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1707436800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.OODv2v + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cryptominisat-5.11.21 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cryptominisat-5.11.21.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cryptominisat-5.11.21 + rm -rf /builddir/build/BUILD/cryptominisat-5.11.21-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/cryptominisat-5.11.21-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cryptominisat-cmake.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cryptominisat-picosat.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cryptominisat-python-library.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + '[' lib64 '!=' lib ']' + sed -i 's,${dir}/lib,&64,g' cmake/FindPkgMacros.cmake + sed -i s,lib/cmake,lib64/cmake, CMakeLists.txt + rm -fr src/picosat + sed -i 's/, "pathlib"//' pyproject.toml + RPM_EC=0 ++ jobs -p + exit 0 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.uAZxsM + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(pip) >= 19' + echo 'python3dist(packaging)' + '[' -f pyproject.toml ']' + echo '(python3dist(tomli) if python3-devel < 3.11)' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + echo -n + 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 ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 ' + TMPDIR=/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + RPM_TOXENV=py312 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir --output /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-buildrequires Handling setuptools>=42 from build-system.requires Requirement satisfied: setuptools>=42 (installed: setuptools 68.2.2) Handling wheel from build-system.requires Requirement satisfied: wheel (installed: wheel 0.41.2) Handling toml from build-system.requires Requirement satisfied: toml (installed: toml 0.10.2) running egg_info creating src/pycryptosat.egg-info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.41.2) running dist_info creating pycryptosat.egg-info writing pycryptosat.egg-info/PKG-INFO writing dependency_links to pycryptosat.egg-info/dependency_links.txt writing top-level names to pycryptosat.egg-info/top_level.txt writing manifest file 'pycryptosat.egg-info/SOURCES.txt' reading manifest file 'pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'pycryptosat.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/cryptominisat-5.11.21/pycryptosat-5.11.21.dist-info' + cat /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-buildrequires + rm -rfv pycryptosat-5.11.21.dist-info/ removed 'pycryptosat-5.11.21.dist-info/LICENSE.txt' removed 'pycryptosat-5.11.21.dist-info/top_level.txt' removed 'pycryptosat-5.11.21.dist-info/AUTHORS' removed 'pycryptosat-5.11.21.dist-info/METADATA' removed directory 'pycryptosat-5.11.21.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/cryptominisat-5.11.21-1.fc40.buildreqs.nosrc.rpm Child return code was: 11 Dynamic buildrequires detected Going to install missing buildrequires. See root.log for details. ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -ba --noprep --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.spec'], chrootPath='/var/lib/mock/f40-build-781344-131566/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=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '36f8e732fd5c4567a60b71c725bf418f', '-D', '/var/lib/mock/f40-build-781344-131566/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p7zvq_3u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -ba --noprep --noclean --target riscv64 --nodeps /builddir/build/SPECS/cryptominisat.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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1707436800 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.wHFxFE + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(pip) >= 19' + echo 'python3dist(packaging)' + '[' -f pyproject.toml ']' + echo '(python3dist(tomli) if python3-devel < 3.11)' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + echo -n + 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 ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 ' + TMPDIR=/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + RPM_TOXENV=py312 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir --output /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-buildrequires Handling setuptools>=42 from build-system.requires Requirement satisfied: setuptools>=42 (installed: setuptools 68.2.2) Handling wheel from build-system.requires Requirement satisfied: wheel (installed: wheel 0.41.2) Handling toml from build-system.requires Requirement satisfied: toml (installed: toml 0.10.2) running egg_info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.41.2) running dist_info writing pycryptosat.egg-info/PKG-INFO writing dependency_links to pycryptosat.egg-info/dependency_links.txt writing top-level names to pycryptosat.egg-info/top_level.txt reading manifest file 'pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'pycryptosat.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/cryptominisat-5.11.21/pycryptosat-5.11.21.dist-info' + cat /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-buildrequires + rm -rfv pycryptosat-5.11.21.dist-info/ removed 'pycryptosat-5.11.21.dist-info/LICENSE.txt' removed 'pycryptosat-5.11.21.dist-info/top_level.txt' removed 'pycryptosat-5.11.21.dist-info/AUTHORS' removed 'pycryptosat-5.11.21.dist-info/METADATA' removed directory 'pycryptosat-5.11.21.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.6Ssrh6 + umask 022 + cd /builddir/build/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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 cryptominisat-5.11.21 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 + /usr/bin/cmake -S . -B redhat-linux-build -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_SUFFIX=64 -DBUILD_SHARED_LIBS:BOOL=ON -DARJUN_SERIALIZE:BOOL=ON -DCMAKE_INSTALL_BINDIR=bin -DCMAKE_INSTALL_LIBDIR=lib64 -DEXTFEAT:BOOL=ON -DNOBREAKID:BOOL=OFF -- The CXX compiler identification is GNU 14.0.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is 'lib64' -- BIN directory is 'bin' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 14.0.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Could NOT find tbuddy (missing: tbuddy_DIR) -- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- build type is RelWithDebInfo -- Performing Test HAVE_FLAG_-fvisibility=hidden -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Performing Test HAVE_FLAG_-g -- Performing Test HAVE_FLAG_-g - Success -- Performing Test HAVE_FLAG_-Wextra-semi-stmt -- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed -- Performing Test HAVE_FLAG_-Wnoweak-vtables -- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed -- Compiling for dynamic library use -- PROJECT_VERSION: 5.11.21 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 21 -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib64/libz.so (found version "1.3.0") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- BreakID -- found version 3.1 -- BreakID -- libraries: breakid -- BreakID -- include dirs: /usr/include -- All defines at startup: -DRDB0_ONLY_FEATURES -DEXTENDED_FEATURES -DUSE_ZLIB -DUSE_BREAKID -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:701 (message): Testing is disabled -- Configuring done (21.2s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: ARJUN_SERIALIZE CMAKE_Fortran_FLAGS_RELEASE CMAKE_INSTALL_DO_STRIP INCLUDE_INSTALL_DIR LIB_INSTALL_DIR LIB_SUFFIX SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build + /usr/bin/cmake --build redhat-linux-build -j64 --verbose Change Dir: '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' Run Build Command(s): /usr/bin/cmake -E env VERBOSE=1 /usr/bin/gmake -f Makefile -j64 /usr/bin/cmake -S/builddir/build/BUILD/cryptominisat-5.11.21 -B/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/CMakeFiles /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build//CMakeFiles/progress.marks /usr/bin/gmake -f CMakeFiles/Makefile2 all gmake[1]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' /usr/bin/gmake -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend /usr/bin/gmake -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.11.21 /builddir/build/BUILD/cryptominisat-5.11.21/src /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake "--color=" gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.11.21 /builddir/build/BUILD/cryptominisat-5.11.21/src /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' /usr/bin/gmake -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build /usr/bin/gmake -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 [ 4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -MF CMakeFiles/cryptominisat5.dir/cnf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/cnf.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o -MF CMakeFiles/cryptominisat5.dir/frat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/frat.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/frat.cpp [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -MF CMakeFiles/cryptominisat5.dir/propengine.cpp.o.d -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -MF CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o.d -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/varreplacer.cpp [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -MF CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/clausecleaner.cpp [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -MF CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o.d -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/gatefinder.cpp [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -MF CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o.d -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/subsumestrengthen.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -MF CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/clauseallocator.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/sccfinder.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -MF CMakeFiles/cryptominisat5.dir/solverconf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/solverconf.cpp [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o [ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlong.cpp [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlitrem.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerbin.cpp [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlongwithimpl.cpp Copying cryptominisat_c.h to /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -MF CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o.d -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/str_impl_w_impl.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -MF CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/solutionextender.cpp [ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -MF CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o.d -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/completedetachreattacher.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.11.21/src/cryptominisat_c.h /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -MF CMakeFiles/cryptominisat5.dir/searcher.cpp.o.d -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp [ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -MF CMakeFiles/cryptominisat5.dir/solver.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.cpp [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -MF CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o.d -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/hyperengine.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -MF CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o.d -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/subsumeimplicit.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -MF CMakeFiles/cryptominisat5.dir/bva.cpp.o.d -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/bva.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -MF CMakeFiles/cryptominisat5.dir/reducedb.cpp.o.d -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/reducedb.cpp [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -MF CMakeFiles/cryptominisat5.dir/datasync.cpp.o.d -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/datasync.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -MF CMakeFiles/cryptominisat5.dir/intree.cpp.o.d -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/intree.cpp [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -MF CMakeFiles/cryptominisat5.dir/searchstats.cpp.o.d -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/searchstats.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/xorfinder.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/cardfinder.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -MF CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/cryptominisat_c.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -MF CMakeFiles/cryptominisat5.dir/sls.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/sls.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -MF CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/sqlstats.cpp [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -MF CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o.d -o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/vardistgen.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -MF CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o.d -o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/ccnr_cms.cpp [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 [ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -MF CMakeFiles/cryptominisat5.dir/ccnr.cpp.o.d -o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/ccnr.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -MF CMakeFiles/cryptominisat5.dir/lucky.cpp.o.d -o CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/lucky.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -MF CMakeFiles/cryptominisat5.dir/gaussian.cpp.o.d -o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/gaussian.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -MF CMakeFiles/cryptominisat5.dir/packedrow.cpp.o.d -o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/packedrow.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o -MF CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o.d -o CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/oracle/oracle.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -MF CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o.d -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src/GitSHA1.cpp [ 82%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cms_breakid.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/matrixfinder.cpp Copying cryptominisat.h to /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.11.21/src/cryptominisat.h /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cms_breakid.cpp.o -MF CMakeFiles/cryptominisat5.dir/cms_breakid.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cms_breakid.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/cms_breakid.cpp [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -MF CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o.d -o CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/get_clause_query.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 [ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -fPIC -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -MF CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/cryptominisat.cpp Copying solvertypesmini.h to /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.11.21/src/solvertypesmini.h /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 Copying dimacsparser.h to /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.11.21/src/dimacsparser.h /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 Copying streambuffer.h to /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E copy_if_different /builddir/build/BUILD/cryptominisat-5.11.21/src/streambuffer.h /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/include/cryptominisat5 gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' [ 88%] Built target CopyPublicHeaders In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlong.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlong.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/sls.cpp:24: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/str_impl_w_impl.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/str_impl_w_impl.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlongwithimpl.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlongwithimpl.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cnf.h:34, from /builddir/build/BUILD/cryptominisat-5.11.21/src/hyperengine.h:26, from /builddir/build/BUILD/cryptominisat-5.11.21/src/hyperengine.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cardfinder.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cardfinder.cpp:24: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/vardistgen.cpp:25: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/clausecleaner.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/clausecleaner.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/clauseallocator.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/reducedb.h:26, from /builddir/build/BUILD/cryptominisat-5.11.21/src/reducedb.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/xorfinder.h:36, from /builddir/build/BUILD/cryptominisat-5.11.21/src/xorfinder.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cnf.h:34, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cnf.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/ccnr_cms.cpp:30: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/intree.cpp:24: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/gatefinder.h:29, from /builddir/build/BUILD/cryptominisat-5.11.21/src/gatefinder.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/clauseallocator.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/clauseallocator.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/lucky.cpp:25: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlitrem.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerlitrem.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/datasync.h:29, from /builddir/build/BUILD/cryptominisat-5.11.21/src/datasync.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/varreplacer.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/sccfinder.cpp:29: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/subsumeimplicit.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/subsumeimplicit.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/varreplacer.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/varreplacer.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerbin.h:31, from /builddir/build/BUILD/cryptominisat-5.11.21/src/distillerbin.cpp:27: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/completedetachreattacher.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/completedetachreattacher.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solutionextender.h:28, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solutionextender.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/subsumestrengthen.h:30, from /builddir/build/BUILD/cryptominisat-5.11.21/src/subsumestrengthen.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:215:15: required from ‘void CMSat::vec::insert(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 215 | growTo(sz+num); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~^~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/cnf.cpp:151:20: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 151 | gwatches.insert(2*n); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~~^~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/matrixfinder.cpp:24: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cms_breakid.cpp:25: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/bva.h:26, from /builddir/build/BUILD/cryptominisat-5.11.21/src/bva.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/get_clause_query.cpp:26: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/packedrow.h:37, from /builddir/build/BUILD/cryptominisat-5.11.21/src/packedmatrix.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/gaussian.h:39, from /builddir/build/BUILD/cryptominisat-5.11.21/src/gaussian.cpp:36: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35, from /builddir/build/BUILD/cryptominisat-5.11.21/src/cryptominisat.cpp:25: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.h:39, from /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp:38: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.h:29, from /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here 153 | watches.shrink_to_fit(); | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.cpp: In member function ‘bool CMSat::Solver::oracle_vivif(bool&)’: /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.cpp:5000:25: warning: declaration of ‘stats’ shadows a member of ‘CMSat::Solver’ [-Wshadow] 5000 | ClauseStats stats; | ^~~~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:36, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.cpp:23: /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.h:213:21: note: shadowed declaration is here 213 | SearchStats stats; | ^~~~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/heap.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solver.h:35: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:153:30: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.h:213:21: note: 153 | watches.shrink_to_fit(); /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.h:213:21: note: | ~~~~~~~~~~~~~~~~~~~~~^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:232:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 232 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 294 | capacity(size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~^~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/watcharray.h:91:27: required from here /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: 91 | watches.growTo(new_size); /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: | ~~~~~~~~~~~~~~^~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:268:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 268 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/matrixfinder.cpp: In member function ‘uint32_t CMSat::MatrixFinder::setMatrixes()’: /builddir/build/BUILD/cryptominisat-5.11.21/src/matrixfinder.cpp:334:17: warning: ‘ratio_sampling’ may be used uninitialized [-Wmaybe-uninitialized] 334 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ /builddir/build/BUILD/cryptominisat-5.11.21/src/matrixfinder.cpp:296:16: note: ‘ratio_sampling’ was declared here 296 | double ratio_sampling; | ^~~~~~~~~~~~~~ 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 /builddir/build/BUILD/cryptominisat-5.11.21/src/oracle/oracle.h:25, from /builddir/build/BUILD/cryptominisat-5.11.21/src/oracle/oracle.cpp:23: In static member function ‘static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]’, inlined from ‘_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]’ 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 int*; _OI = int*]’ 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 = int*]’ 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 = int*]’ 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 = int*]’ 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 = int*]’ 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 = int*; _Tp = int]’ 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 = int; _Alloc = std::allocator]’ at /usr/include/c++/14/bits/stl_vector.h:603:31, inlined from ‘bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)’ at /builddir/build/BUILD/cryptominisat-5.11.21/src/oracle/oracle.cpp:869:16: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: ‘void* __builtin_memmove(void*, const void*, long unsigned int)’ forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /builddir/build/BUILD/cryptominisat-5.11.21/src/solverconf.h:30, from /builddir/build/BUILD/cryptominisat-5.11.21/src/solvertypes.h:38, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propby.h:26, from /builddir/build/BUILD/cryptominisat-5.11.21/src/propengine.h:33: In member function ‘constexpr uint32_t CMSat::Lit::var() const’, inlined from ‘CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’ at /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:3522:51: /builddir/build/BUILD/cryptominisat-5.11.21/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] 67 | return x >> 1; | ^ In member function ‘void CMSat::vec::push(const T&) [with T = CMSat::Watched]’, inlined from ‘CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’ at /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:3543:40: /builddir/build/BUILD/cryptominisat-5.11.21/src/Vec.h:143:9: warning: ‘offs’ may be used uninitialized [-Wmaybe-uninitialized] 143 | data[sz++] = elem; | ^~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’: /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:3488:18: note: ‘offs’ was declared here 3488 | ClOffset offs; | ^~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘bool CMSat::Searcher::handle_conflict(CMSat::PropBy)’: /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:1875:35: warning: ‘glue_before_minim’ may be used uninitialized [-Wmaybe-uninitialized] 1875 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1876 | glue, | ~~~~~ 1877 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1878 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1879 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1880 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1881 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1882 | ID | ~~ 1883 | ); | ~ /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:1816:14: note: ‘glue_before_minim’ declared here 1816 | uint32_t glue_before_minim; | ^~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:1875:35: warning: ‘size_before_minim’ may be used uninitialized [-Wmaybe-uninitialized] 1875 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1876 | glue, | ~~~~~ 1877 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1878 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1879 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1880 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1881 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1882 | ID | ~~ 1883 | ); | ~ /builddir/build/BUILD/cryptominisat-5.11.21/src/searcher.cpp:1817:14: note: ‘size_before_minim’ declared here 1817 | uint32_t size_before_minim; | ^~~~~~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp: In member function ‘void CMSat::OccSimplifier::subs_with_resolvent_clauses()’: /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp:1140:54: warning: ‘ID1’ may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp:1080:17: note: ‘ID1’ was declared here 1080 | int32_t ID1; | ^~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp:1140:40: warning: ‘ID2’ may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~~~~~~~~^~~~~~~~~~~~~ /builddir/build/BUILD/cryptominisat-5.11.21/src/occsimplifier.cpp:1081:17: note: ‘ID2’ was declared here 1081 | int32_t ID2; | ^~~ [ 90%] Linking CXX shared library ../lib/libcryptominisat5.so cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/g++ -fPIC -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -O2 -shared -Wl,-soname,libcryptominisat5.so.5.11 -o ../lib/libcryptominisat5.so.5.11 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/frat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/cms_breakid.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -lpicosat-trace /usr/lib64/libbreakid.so.3.1 -lbliss cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.11 ../lib/libcryptominisat5.so.5.11 ../lib/libcryptominisat5.so gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' [ 90%] Built target cryptominisat5 /usr/bin/gmake -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.11.21 /builddir/build/BUILD/cryptominisat-5.11.21/src /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' /usr/bin/gmake -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/main.cpp [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/main_exe.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/main_common.cpp cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/g++ -DEXTENDED_FEATURES -DRDB0_ONLY_FEATURES -DTRACE -DUSE_BREAKID -DUSE_ZLIB -I/builddir/build/BUILD/cryptominisat-5.11.21 -I/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src -I/builddir/build/BUILD/cryptominisat-5.11.21/src -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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -std=gnu++17 -g -pthread -O2 -fPIC -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /builddir/build/BUILD/cryptominisat-5.11.21/src/signalcode.cpp [100%] Linking CXX executable ../cryptominisat5 cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/link.txt --verbose=1 /usr/bin/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 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -O2 -g -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -O2 "CMakeFiles/cryptominisat5-bin.dir/main.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o" "CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o" -o ../cryptominisat5 -Wl,-rpath,/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/lib: ../lib/libcryptominisat5.so.5.11 /usr/lib64/libz.so gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' [100%] Built target cryptominisat5-bin /usr/bin/gmake -f CMakeFiles/man_cryptominisat5.dir/build.make CMakeFiles/man_cryptominisat5.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' cd /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/cryptominisat-5.11.21 /builddir/build/BUILD/cryptominisat-5.11.21 /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/CMakeFiles/man_cryptominisat5.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' /usr/bin/gmake -f CMakeFiles/man_cryptominisat5.dir/build.make CMakeFiles/man_cryptominisat5.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' help2man --version-string=5.11.21 --help-option="-h" /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cryptominisat5 -o /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/cryptominisat5.1 gmake[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' [100%] Built target man_cryptominisat5 gmake[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/cryptominisat-5.11.21/redhat-linux-build/CMakeFiles 0 + mkdir -p /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + 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 ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 ' + TMPDIR=/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_wheel.py /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir Processing /builddir/build/BUILD/cryptominisat-5.11.21 Preparing metadata (pyproject.toml): started Running command Preparing metadata (pyproject.toml) running dist_info creating /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info writing /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info/PKG-INFO writing dependency_links to /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info/dependency_links.txt writing top-level names to /builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info/top_level.txt writing manifest file '/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info/SOURCES.txt' reading manifest file '/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no previously-included files matching '*.txt' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file '/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-modern-metadata-fa2b38z8/pycryptosat-5.11.21.dist-info' Preparing metadata (pyproject.toml): finished with status 'done' Building wheels for collected packages: pycryptosat Building wheel for pycryptosat (pyproject.toml): started Running command Building wheel for pycryptosat (pyproject.toml) running bdist_wheel running build running build_py running egg_info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' creating build creating build/lib.linux-riscv64-cpython-312 creating build/lib.linux-riscv64-cpython-312/oracle copying src/oracle/oracle.h -> build/lib.linux-riscv64-cpython-312/oracle copying src/oracle/utils.h -> build/lib.linux-riscv64-cpython-312/oracle creating build/lib.linux-riscv64-cpython-312/msvc copying src/msvc/stdint.h -> build/lib.linux-riscv64-cpython-312/msvc running build_ext building 'pycryptosat' extension creating build/temp.linux-riscv64-cpython-312 creating build/temp.linux-riscv64-cpython-312/python creating build/temp.linux-riscv64-cpython-312/python/src gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -fexceptions -fexceptions -fexceptions -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 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c python/src/GitSHA1.cpp -o build/temp.linux-riscv64-cpython-312/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -fexceptions -fexceptions -fexceptions -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 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c python/src/pycryptosat.cpp -o build/temp.linux-riscv64-cpython-312/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 python/src/pycryptosat.cpp:514:18: warning: ‘PyObject* get_raw_solution(CMSat::SATSolver*)’ defined but not used [-Wunused-function] 514 | static PyObject* get_raw_solution(SATSolver *cmsat) { | ^~~~~~~~~~~~~~~~ g++ -shared -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -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 build/temp.linux-riscv64-cpython-312/python/src/GitSHA1.o build/temp.linux-riscv64-cpython-312/python/src/pycryptosat.o -Lredhat-linux-build/lib -L/usr/lib64 -lcryptominisat5 -o build/lib.linux-riscv64-cpython-312/pycryptosat.cpython-312-riscv64-linux-gnu.so installing to build/bdist.linux-riscv64/wheel running install running install_lib creating build/bdist.linux-riscv64 creating build/bdist.linux-riscv64/wheel creating build/bdist.linux-riscv64/wheel/oracle copying build/lib.linux-riscv64-cpython-312/oracle/utils.h -> build/bdist.linux-riscv64/wheel/oracle copying build/lib.linux-riscv64-cpython-312/oracle/oracle.h -> build/bdist.linux-riscv64/wheel/oracle copying build/lib.linux-riscv64-cpython-312/pycryptosat.cpython-312-riscv64-linux-gnu.so -> build/bdist.linux-riscv64/wheel creating build/bdist.linux-riscv64/wheel/msvc copying build/lib.linux-riscv64-cpython-312/msvc/stdint.h -> build/bdist.linux-riscv64/wheel/msvc running install_egg_info Copying src/pycryptosat.egg-info to build/bdist.linux-riscv64/wheel/pycryptosat-5.11.21-py3.12.egg-info running install_scripts creating build/bdist.linux-riscv64/wheel/pycryptosat-5.11.21.dist-info/WHEEL creating '/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir/pip-wheel-m488mqtc/.tmp-j4sdzvm7/pycryptosat-5.11.21-cp312-cp312-linux_riscv64.whl' and adding 'build/bdist.linux-riscv64/wheel' to it adding 'pycryptosat.cpython-312-riscv64-linux-gnu.so' adding 'msvc/stdint.h' adding 'oracle/oracle.h' adding 'oracle/utils.h' adding 'pycryptosat-5.11.21.dist-info/AUTHORS' adding 'pycryptosat-5.11.21.dist-info/LICENSE.txt' adding 'pycryptosat-5.11.21.dist-info/METADATA' adding 'pycryptosat-5.11.21.dist-info/WHEEL' adding 'pycryptosat-5.11.21.dist-info/top_level.txt' adding 'pycryptosat-5.11.21.dist-info/RECORD' removing build/bdist.linux-riscv64/wheel Building wheel for pycryptosat (pyproject.toml): finished with status 'done' Created wheel for pycryptosat: filename=pycryptosat-5.11.21-cp312-cp312-linux_riscv64.whl size=100611 sha256=eac900141e8713c6c5bbbd4d615d91a256a7f1454a2ec79279a09c1f0d7c5595 Stored in directory: /builddir/.cache/pip/wheels/c9/2a/e4/ba43078760c4a3aa171ff018130a472783ae318c5e551c8e43 Successfully built pycryptosat + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.M8WeuS + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 ++ dirname /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 cryptominisat-5.11.21 + DESTDIR=/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 + /usr/bin/cmake --install redhat-linux-build -- Install configuration: "RelWithDebInfo" -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/man/man1/cryptominisat5.1 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/libcryptominisat5.so.5.11 -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/libcryptominisat5.so -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/include/cryptominisat5/cryptominisat.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/include/cryptominisat5/solvertypesmini.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/include/cryptominisat5/dimacsparser.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/include/cryptominisat5/streambuffer.h -- Installing: /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/bin/cryptominisat5 -- Set runtime path of "/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/bin/cryptominisat5" to "" ++ ls /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir/pycryptosat-5.11.21-cp312-cp312-linux_riscv64.whl ++ xargs basename --multiple ++ sed -E 's/([^-]+)-([^-]+)-.+\.whl/\1==\2/' + specifier=pycryptosat==5.11.21 + '[' -z pycryptosat==5.11.21 ']' + TMPDIR=/builddir/build/BUILD/cryptominisat-5.11.21/.pyproject-builddir + /usr/bin/python3 -m pip install --root /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 --prefix /usr --no-deps --disable-pip-version-check --progress-bar off --verbose --ignore-installed --no-warn-script-location --no-index --no-cache-dir --find-links /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir pycryptosat==5.11.21 Using pip 23.3.1 from /usr/lib/python3.12/site-packages/pip (python 3.12) Looking in links: /builddir/build/BUILD/cryptominisat-5.11.21/pyproject-wheeldir Processing ./pyproject-wheeldir/pycryptosat-5.11.21-cp312-cp312-linux_riscv64.whl Installing collected packages: pycryptosat Successfully installed pycryptosat-5.11.21 + '[' -d /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/bin ']' + '[' -z sP ']' + shebang_flags=-kasP + /usr/bin/python3 -B /usr/lib/rpm/redhat/pathfix.py -pni /usr/bin/python3 -kasP /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/bin/cryptominisat5 /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/bin/cryptominisat5: no change + rm -rfv /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/bin/__pycache__ + rm -f /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-ghost-distinfo + site_dirs=() + '[' -d /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib/python3.12/site-packages ']' + '[' /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages '!=' /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib/python3.12/site-packages ']' + '[' -d /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages ']' + site_dirs+=("/usr/lib64/python3.12/site-packages") + for site_dir in ${site_dirs[@]} + for distinfo in /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64$site_dir/*.dist-info + echo '%ghost /usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info' + sed -i s/pip/rpm/ /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/INSTALLER + PYTHONPATH=/usr/lib/rpm/redhat + /usr/bin/python3 -B /usr/lib/rpm/redhat/pyproject_preprocess_record.py --buildroot /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 --record /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/RECORD --output /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-record + rm -fv /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/RECORD removed '/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/RECORD' + rm -fv /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/REQUESTED removed '/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/REQUESTED' ++ wc -l /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-ghost-distinfo ++ cut -f1 '-d ' + lines=1 + '[' 1 -ne 1 ']' + RPM_PERCENTAGES_COUNT=2 + /usr/bin/python3 /usr/lib/rpm/redhat/pyproject_save_files.py --output-files /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-files --output-modules /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-modules --buildroot /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 --sitelib /usr/lib/python3.12/site-packages --sitearch /usr/lib64/python3.12/site-packages --python-version 3.12 --pyproject-record /builddir/build/BUILD/cryptominisat-5.11.21-1.fc40.riscv64-pyproject-record --prefix /usr pycryptosat + sed -i '/msvc/d;/oracle/d' /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12/site-packages/pycryptosat-5.11.21.dist-info/top_level.txt + /usr/bin/find-debuginfo -j64 --strict-build-id -m -i --build-id-seed 5.11.21-1.fc40 --unique-debug-suffix -5.11.21-1.fc40.riscv64 --unique-debug-src-base cryptominisat-5.11.21-1.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cryptominisat-5.11.21 find-debuginfo: starting Extracting debug info from 3 files DWARF-compressing 3 files sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/cryptominisat-5.11.21-1.fc40.riscv64 3616 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 -j64 Bytecompiling .py files below /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib64/python3.12 using python3.12 Bytecompiling .py files below /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/lib/debug/usr/lib64/python3.12 using python3.12 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: cryptominisat-5.11.21-1.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.NI4vSx + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/cryptominisat + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/cryptominisat + cp -pr /builddir/build/BUILD/cryptominisat-5.11.21/README.markdown /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/cryptominisat + RPM_EC=0 ++ jobs -p + exit 0 Provides: cryptominisat = 5.11.21-1.fc40 cryptominisat(riscv-64) = 5.11.21-1.fc40 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) libcryptominisat5.so.5.11()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.5)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: cryptominisat-devel-5.11.21-1.fc40.riscv64 Provides: cmake(cryptominisat5) = 5.11.21 cryptominisat-devel = 5.11.21-1.fc40 cryptominisat-devel(riscv-64) = 5.11.21-1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: cmake-filesystem(riscv-64) libcryptominisat5.so.5.11()(64bit) Processing files: cryptominisat-libs-5.11.21-1.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.8O3zHH + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/cryptominisat-libs + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/cryptominisat-libs + cp -pr /builddir/build/BUILD/cryptominisat-5.11.21/AUTHORS /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/cryptominisat-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.MVc5hZ + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + LICENSEDIR=/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/licenses/cryptominisat-libs + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/licenses/cryptominisat-libs + cp -pr /builddir/build/BUILD/cryptominisat-5.11.21/LICENSE.txt /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/licenses/cryptominisat-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: cryptominisat-libs = 5.11.21-1.fc40 cryptominisat-libs(riscv-64) = 5.11.21-1.fc40 libcryptominisat5.so.5.11()(64bit) 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) libbreakid.so.3.1()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpicosat-trace.so.0()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(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.22)(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: python3-pycryptosat-5.11.21-1.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.iwn9e2 + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-5.11.21 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/python3-pycryptosat + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/python3-pycryptosat + cp -pr /builddir/build/BUILD/cryptominisat-5.11.21/python/README.md /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64/usr/share/doc/python3-pycryptosat + RPM_EC=0 ++ jobs -p + exit 0 Provides: python-pycryptosat = 5.11.21-1.fc40 python3-cryptominisat = 5.11.21-1.fc40 python3-pycryptosat = 5.11.21-1.fc40 python3-pycryptosat(riscv-64) = 5.11.21-1.fc40 python3.12-pycryptosat = 5.11.21-1.fc40 python3.12dist(pycryptosat) = 5.11.21 python3dist(pycryptosat) = 5.11.21 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) libcryptominisat5.so.5.11()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) python(abi) = 3.12 rtld(GNU_HASH) Obsoletes: python3-cryptominisat < 5.11.15 Processing files: cryptominisat-debugsource-5.11.21-1.fc40.riscv64 Provides: cryptominisat-debugsource = 5.11.21-1.fc40 cryptominisat-debugsource(riscv-64) = 5.11.21-1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cryptominisat-debuginfo-5.11.21-1.fc40.riscv64 Provides: cryptominisat-debuginfo = 5.11.21-1.fc40 cryptominisat-debuginfo(riscv-64) = 5.11.21-1.fc40 debuginfo(build-id) = d7c973cb6c1990152616103d8e26dd9052d5c5f6 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(riscv-64) = 5.11.21-1.fc40 Processing files: cryptominisat-libs-debuginfo-5.11.21-1.fc40.riscv64 Provides: cryptominisat-libs-debuginfo = 5.11.21-1.fc40 cryptominisat-libs-debuginfo(riscv-64) = 5.11.21-1.fc40 debuginfo(build-id) = eff7c80e5993dda6a5e488d1b97ae6c100a42a53 libcryptominisat5.so.5.11-5.11.21-1.fc40.riscv64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(riscv-64) = 5.11.21-1.fc40 Processing files: python3-pycryptosat-debuginfo-5.11.21-1.fc40.riscv64 Provides: debuginfo(build-id) = 70b754a421c41fce53b5996e2ed1edac358cace2 python-pycryptosat-debuginfo = 5.11.21-1.fc40 python3-pycryptosat-debuginfo = 5.11.21-1.fc40 python3-pycryptosat-debuginfo(riscv-64) = 5.11.21-1.fc40 python3.12-pycryptosat-debuginfo = 5.11.21-1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cryptominisat-debugsource(riscv-64) = 5.11.21-1.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cryptominisat-5.11.21-1.fc40.riscv64 Wrote: /builddir/build/SRPMS/cryptominisat-5.11.21-1.fc40.src.rpm Wrote: /builddir/build/RPMS/python3-pycryptosat-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/cryptominisat-devel-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/python3-pycryptosat-debuginfo-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/cryptominisat-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/cryptominisat-libs-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/cryptominisat-debugsource-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/cryptominisat-debuginfo-5.11.21-1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/cryptominisat-libs-debuginfo-5.11.21-1.fc40.riscv64.rpm Child return code was: 0