==> Cloning cryptominisat ... Cloning into 'cryptominisat'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring cryptominisat tput: No value for $TERM and no -T specified :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 129k 100 129k 0 0 372k 0 --:--:-- --:--:-- --:--:-- 372k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 11 8509k 11 967k 0 0 2824k 0 0:00:03 --:--:-- 0:00:03 2820k 100 8509k 100 8509k 0 0 21.6M 0 --:--:-- --:--:-- --:--:-- 21.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 140k 100 140k 0 0 400k 0 --:--:-- --:--:-- --:--:-- 400k :: Starting full system upgrade... there is nothing to do ==> Making package: cryptominisat 5.11.21-1 (Sun Feb 11 00:29:24 2024) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (34) cppdap-1.58.0-1 gpm-1.20.7.r38.ge82d1a6-5 hicolor-icon-theme-0.17-3 jsoncpp-1.9.5-2 libuv-1.48.0-1 perl-locale-gettext-1.07-14 python-annotated-types-0.6.0-1 python-autocommand-2.2.2-4 python-fastjsonschema-2.19.1-1 python-inflect-7.0.0-2 python-jaraco.context-4.3.0-3 python-jaraco.functools-4.0.0-1 python-jaraco.text-3.12.0-1 python-more-itertools-10.1.0-1 python-ordered-set-4.1.0-4 python-packaging-23.2-1 python-platformdirs-4.1.0-1 python-pydantic-2.6.1-1 python-pydantic-core-1:2.16.2-1 python-pyproject-hooks-1.0.0-5 python-tomli-2.0.1-3 python-trove-classifiers-2024.1.31-1 python-typing_extensions-4.9.0-1 python-validate-pyproject-0.13-1 rhash-1.4.4-1 vim-runtime-9.1.0080-1 cmake-3.28.3-1 help2man-1.49.3-1 python-build-1.0.3-1 python-installer-0.7.0-3 python-setuptools-1:69.0.3-1 python-toml-0.10.2-9 python-wheel-0.42.0-1 vim-9.1.0080-1 Total Download Size: 25.77 MiB Total Installed Size: 138.18 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 10021 100 10021 0 0 1304k 0 --:--:-- --:--:-- --:--:-- 1398k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 151k 100 151k 0 0 65.7M 0 --:--:-- --:--:-- --:--:-- 73.9M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 242k 100 242k 0 0 32.2M 0 --:--:-- --:--:-- --:--:-- 33.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 172k 100 172k 0 0 19.4M 0 --:--:-- --:--:-- --:--:-- 21.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 335k 100 335k 0 0 29.5M 0 --:--:-- --:--:-- --:--:-- 29.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 11.2M 100 11.2M 0 0 168M 0 --:--:-- --:--:-- --:--:-- 170M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 41125 100 41125 0 0 2682k 0 --:--:-- --:--:-- --:--:-- 2868k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 193k 100 193k 0 0 12.8M 0 --:--:-- --:--:-- --:--:-- 13.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 104k 100 104k 0 0 33.6M 0 --:--:-- --:--:-- --:--:-- 50.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21380 100 21380 0 0 11.4M 0 --:--:-- --:--:-- --:--:-- 20.3M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 118k 100 118k 0 0 10.2M 0 --:--:-- --:--:-- --:--:-- 10.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 123k 100 123k 0 0 21.2M 0 --:--:-- --:--:-- --:--:-- 24.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 99813 100 99813 0 0 15.9M 0 --:--:-- --:--:-- --:--:-- 19.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 17501 100 17501 0 0 10.3M 0 --:--:-- --:--:-- --:--:-- 16.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 11682 100 11682 0 0 770k 0 --:--:-- --:--:-- --:--:-- 814k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22922 100 22922 0 0 2256k 0 --:--:-- --:--:-- --:--:-- 2487k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21709 100 21709 0 0 2870k 0 --:--:-- --:--:-- --:--:-- 3028k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 68504 100 68504 0 0 10.1M 0 --:--:-- --:--:-- --:--:-- 10.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1602k 100 1602k 0 0 143M 0 --:--:-- --:--:-- --:--:-- 156M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 735k 100 735k 0 0 98.1M 0 --:--:-- --:--:-- --:--:-- 102M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 78819 100 78819 0 0 11.5M 0 --:--:-- --:--:-- --:--:-- 12.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21029 100 21029 0 0 7941k 0 --:--:-- --:--:-- --:--:-- 10.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16181 100 16181 0 0 2724k 0 --:--:-- --:--:-- --:--:-- 3160k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32853 100 32853 0 0 3955k 0 --:--:-- --:--:-- --:--:-- 4010k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 28235 100 28235 0 0 4559k 0 --:--:-- --:--:-- --:--:-- 5514k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 51605 100 51605 0 0 3111k 0 --:--:-- --:--:-- --:--:-- 3149k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15390 100 15390 0 0 2738k 0 --:--:-- --:--:-- --:--:-- 3005k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 73796 100 73796 0 0 22.0M 0 --:--:-- --:--:-- --:--:-- 23.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 774k 100 774k 0 0 64.5M 0 --:--:-- --:--:-- --:--:-- 68.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 46523 100 46523 0 0 1149k 0 --:--:-- --:--:-- --:--:-- 1164k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 66801 100 66801 0 0 39.8M 0 --:--:-- --:--:-- --:--:-- 63.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7179k 100 7179k 0 0 69.9M 0 --:--:-- --:--:-- --:--:-- 70.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 139k 100 139k 0 0 44.1M 0 --:--:-- --:--:-- --:--:-- 45.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2236k 100 2236k 0 0 31.8M 0 --:--:-- --:--:-- --:--:-- 32.1M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing hicolor-icon-theme... installing jsoncpp... Optional dependencies for jsoncpp jsoncpp-doc: documentation installing libuv... installing rhash... installing cppdap... installing cmake... Optional dependencies for cmake make: for unix Makefile generator [installed] ninja: for ninja generator qt6-base: cmake-gui installing perl-locale-gettext... installing help2man... installing python-packaging... installing python-pyproject-hooks... installing python-build... Optional dependencies for python-build python-virtualenv: Use virtualenv for build isolation installing python-installer... installing python-more-itertools... installing python-jaraco.functools... installing python-jaraco.context... installing python-autocommand... installing python-annotated-types... installing python-typing_extensions... installing python-pydantic-core... installing python-pydantic... Optional dependencies for python-pydantic mypy: for type validation with mypy python-dotenv: for .env file support python-email-validator: for email validation python-hypothesis: for hypothesis plugin when using legacy v1 installing python-inflect... installing python-jaraco.text... installing python-ordered-set... installing python-platformdirs... installing python-tomli... installing python-fastjsonschema... installing python-trove-classifiers... installing python-validate-pyproject... installing python-setuptools... installing python-toml... installing python-wheel... Optional dependencies for python-wheel python-keyring: for wheel.signatures python-xdg: for wheel.signatures installing vim-runtime... Optional dependencies for vim-runtime sh: support for some tools and macros [installed] python: demoserver example tool [installed] gawk: mve tools upport [installed] installing gpm... installing vim... Optional dependencies for vim python: Python language support [installed] ruby: Ruby language support lua: Lua language support perl: Perl language support [installed] tcl: Tcl language support :: Running post-transaction hooks... (1/4) Reloading system manager configuration... Skipped: Running in chroot. (2/4) Arming ConditionNeedsUpdate... (3/4) Warn about old perl modules (4/4) Updating the info directory file... ==> Retrieving sources... -> Downloading cryptominisat-5.11.21.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 952k 0 952k 0 0 1826k 0 --:--:-- --:--:-- --:--:-- 1826k ==> Validating source files with sha256sums... cryptominisat-5.11.21.tar.gz ... Passed ==> Extracting sources... -> Extracting cryptominisat-5.11.21.tar.gz with bsdtar ==> Starting prepare()... ==> Starting build()... -- The CXX compiler identification is GNU 13.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/sbin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '' -- BIN directory is '' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 13.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/sbin/cc - 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_-fno-omit-frame-pointer -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - 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_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test HAVE_FLAG_-mpopcnt -- Performing Test HAVE_FLAG_-mpopcnt - Success -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - 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 -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- Compiling for dynamic library use -- GIT hash found: e6a2b8dcfb50dc5e6e06a57c553f51942ddd9c62 -- 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/lib/libz.so (found version "1.3.1") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Success -- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE -- All defines at startup: -DRDB0_ONLY_FEATURES -DUSE_ZLIB -DYALSAT_FPU -- 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:714 (message): Testing is disabled -- Configuring done (10.2s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: NOBOSPHORUS -- Build files have been written to: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/build [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o Copying cryptominisat_c.h to /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/build/include/cryptominisat5 [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o Copying cryptominisat.h to /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/build/include/cryptominisat5 [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o [ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o Copying solvertypesmini.h to /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/build/include/cryptominisat5 Copying dimacsparser.h to /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/build/include/cryptominisat5 Copying streambuffer.h to /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/build/include/cryptominisat5 [ 27%] Built target CopyPublicHeaders [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/solver.cpp: In member function 'bool CMSat::Solver::oracle_vivif(bool&)': /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/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 /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/solver.h:36, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/solver.cpp:23: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.h:213:21: note: shadowed declaration is here 213 | SearchStats stats; | ^~~~~ [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o [ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o [ 80%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o In file included from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:26: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c: In function 'fixvar': /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ [ 82%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o [ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::subs_with_resolvent_clauses()': /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/occsimplifier.cpp:1140:33: warning: 'ID1' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/occsimplifier.cpp:1080:17: note: 'ID1' was declared here 1080 | int32_t ID1; | ^~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/occsimplifier.cpp:1140:47: warning: 'ID2' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/occsimplifier.cpp:1081:17: note: 'ID2' was declared here 1081 | int32_t ID2; | ^~~ In file included from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/solverconf.h:30, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/solvertypes.h:38, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/propby.h:26, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/propengine.h:33, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.h:29, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp:23: In member function 'constexpr uint32_t CMSat::Lit::var() const', inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp:3522:51: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] 67 | return x >> 1; | ^ In file included from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/heap.h:25, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/propengine.h:38: 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 /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp:3543:40: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/Vec.h:143:9: warning: 'offs' may be used uninitialized [-Wmaybe-uninitialized] 143 | data[sz++] = elem; | ^~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp:3488:18: note: 'offs' was declared here 3488 | ClOffset offs; | ^~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()': /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/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 | ^~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/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/string.h:548, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:25: In function 'memset', inlined from 'picosat_mus_assumptions' at /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/picosat/picosat.c:7437:3: /usr/include/bits/string_fortified.h:59:10: warning: '__builtin_memset' specified size between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=] 59 | return __builtin___memset_chk (__dest, __ch, __len, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 60 | __glibc_objsize0 (__dest)); | ~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/string:51, from /usr/include/c++/13.2.1/bits/locale_classes.h:40, from /usr/include/c++/13.2.1/bits/ios_base.h:41, from /usr/include/c++/13.2.1/ios:44, from /usr/include/c++/13.2.1/ostream:40, from /usr/include/c++/13.2.1/iostream:41, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/oracle/oracle.h:25, from /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/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++/13.2.1/bits/stl_algobase.h:506:30, inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/13.2.1/bits/stl_algobase.h:533: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++/13.2.1/bits/stl_algobase.h:540:31, inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/13.2.1/bits/stl_algobase.h:633: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++/13.2.1/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++/13.2.1/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++/13.2.1/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++/13.2.1/bits/stl_vector.h:603:31, inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)' at /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/oracle/oracle.cpp:869:16: /usr/include/c++/13.2.1/bits/stl_algobase.h:437:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp: In member function 'bool CMSat::Searcher::handle_conflict(CMSat::PropBy)': /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/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 | ); | ~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp:1817:14: note: 'size_before_minim' declared here 1817 | uint32_t size_before_minim; | ^~~~~~~~~~~~~~~~~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/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 | ); | ~ /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/src/searcher.cpp:1816:14: note: 'glue_before_minim' declared here 1816 | uint32_t glue_before_minim; | ^~~~~~~~~~~~~~~~~ [ 90%] Linking CXX shared library ../lib/libcryptominisat5.so [ 90%] Built target cryptominisat5 [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [100%] Linking CXX executable ../cryptominisat5 [100%] Built target cryptominisat5-bin [100%] Built target man_cryptominisat5 * Getting build dependencies for wheel... validate_pyproject.api.load_builtin_plugin defines `tool.distutils` schema validate_pyproject.api.load_builtin_plugin defines `tool.setuptools` schema 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/picosat/' 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' * Building wheel... validate_pyproject.api.load_builtin_plugin defines `tool.distutils` schema validate_pyproject.api.load_builtin_plugin defines `tool.setuptools` schema 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/picosat/' 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-x86_64-cpython-311 creating build/lib.linux-x86_64-cpython-311/picosat copying src/picosat/pico_config.h -> build/lib.linux-x86_64-cpython-311/picosat copying src/picosat/picosat.c -> build/lib.linux-x86_64-cpython-311/picosat copying src/picosat/picosat.h -> build/lib.linux-x86_64-cpython-311/picosat copying src/picosat/version.c -> build/lib.linux-x86_64-cpython-311/picosat creating build/lib.linux-x86_64-cpython-311/oracle copying src/oracle/oracle.cpp -> build/lib.linux-x86_64-cpython-311/oracle copying src/oracle/oracle.h -> build/lib.linux-x86_64-cpython-311/oracle copying src/oracle/utils.h -> build/lib.linux-x86_64-cpython-311/oracle creating build/lib.linux-x86_64-cpython-311/msvc copying src/msvc/stdint.h -> build/lib.linux-x86_64-cpython-311/msvc running build_clib building 'picosatlib' library creating build/temp.linux-x86_64-cpython-311 creating build/temp.linux-x86_64-cpython-311/src creating build/temp.linux-x86_64-cpython-311/src/picosat gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -Isrc/picosat/ -c src/picosat/picosat.c -o build/temp.linux-x86_64-cpython-311/src/picosat/picosat.o gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -Isrc/picosat/ -c src/picosat/version.c -o build/temp.linux-x86_64-cpython-311/src/picosat/version.o ar rcs build/temp.linux-x86_64-cpython-311/libpicosatlib.a build/temp.linux-x86_64-cpython-311/src/picosat/picosat.o build/temp.linux-x86_64-cpython-311/src/picosat/version.o running build_ext building 'pycryptosat' extension creating build/temp.linux-x86_64-cpython-311/python creating build/temp.linux-x86_64-cpython-311/python/src creating build/temp.linux-x86_64-cpython-311/src/oracle gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c python/src/GitSHA1.cpp -o build/temp.linux-x86_64-cpython-311/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c python/src/pycryptosat.cpp -o build/temp.linux-x86_64-cpython-311/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) { | ^~~~~~~~~~~~~~~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/bva.cpp -o build/temp.linux-x86_64-cpython-311/src/bva.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/bva.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/bits/locale_classes.h:40, from /usr/include/c++/13.2.1/bits/ios_base.h:41, from /usr/include/c++/13.2.1/ios:44, from /usr/include/c++/13.2.1/ostream:40, from /usr/include/c++/13.2.1/iostream:41, from src/heap.h:24, from src/bva.h:26, from src/bva.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/bva.cpp: In member function ‘bool CMSat::BVA::add_longer_clause(CMSat::Lit, const CMSat::OccurClause&)’: src/bva.cpp:532:21: warning: unused variable ‘cl_check’ [-Wunused-variable] 532 | Clause* cl_check = solver->add_clause_int( | ^~~~~~~~ In file included from src/heap.h:25: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cardfinder.cpp -o build/temp.linux-x86_64-cpython-311/src/cardfinder.o -I../ -Isrc/ -std=c++17 In file included from src/cardfinder.cpp:25: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/cardfinder.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/cardfinder.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cardfinder.cpp: In member function ‘void CMSat::CardFinder::deal_with_clash(std::vector&)’: src/cardfinder.cpp:247:22: warning: variable ‘found’ set but not used [-Wunused-but-set-variable] 247 | bool found = false; | ^~~~~ In file included from src/watcharray.h:28, from src/cardfinder.h:35, from src/cardfinder.cpp:24: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/ccnr.cpp -o build/temp.linux-x86_64-cpython-311/src/ccnr.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/ccnr_cms.cpp -o build/temp.linux-x86_64-cpython-311/src/ccnr_cms.o -I../ -Isrc/ -std=c++17 In file included from src/ccnr_cms.cpp:23: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/time_mem.h:26: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/ccnr_cms.cpp:30: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/clauseallocator.cpp -o build/temp.linux-x86_64-cpython-311/src/clauseallocator.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/clauseallocator.cpp:33: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/clauseallocator.h:27, from src/clauseallocator.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/clauseallocator.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/clausecleaner.cpp -o build/temp.linux-x86_64-cpython-311/src/clausecleaner.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/clausecleaner.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/clausecleaner.h:26, from src/clausecleaner.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/clausecleaner.h:28: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cnf.cpp -o build/temp.linux-x86_64-cpython-311/src/cnf.o -I../ -Isrc/ -std=c++17 In file included from src/cnf.cpp:23: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/cnf.cpp:32: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/cnf.h:27: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/cnf.cpp: In member function ‘bool CMSat::CNF::no_marked_clauses() const’: src/cnf.cpp:763:17: warning: unused variable ‘cl’ [-Wunused-variable] 763 | Clause* cl = cl_alloc.ptr(offset); | ^~ src/cnf.cpp:769:21: warning: unused variable ‘cl’ [-Wunused-variable] 769 | Clause* cl = cl_alloc.ptr(offset); | ^~ In file included from src/watcharray.h:28, from src/cnf.h:34: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/Vec.h:215:15: required from ‘void CMSat::vec::insert(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/cnf.cpp:151:20: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/completedetachreattacher.cpp -o build/temp.linux-x86_64-cpython-311/src/completedetachreattacher.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/completedetachreattacher.cpp:24: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/completedetachreattacher.h:26, from src/completedetachreattacher.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/completedetachreattacher.h:28: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cryptominisat.cpp -o build/temp.linux-x86_64-cpython-311/src/cryptominisat.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/cryptominisat.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/cryptominisat.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/cryptominisat_c.cpp -o build/temp.linux-x86_64-cpython-311/src/cryptominisat_c.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/datasync.cpp -o build/temp.linux-x86_64-cpython-311/src/datasync.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/datasync.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/datasync.h:26, from src/datasync.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/datasync.h:29: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerbin.cpp -o build/temp.linux-x86_64-cpython-311/src/distillerbin.o -I../ -Isrc/ -std=c++17 In file included from src/distillerbin.cpp:29: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/bits/locale_classes.h:40, from /usr/include/c++/13.2.1/bits/ios_base.h:41, from /usr/include/c++/13.2.1/iomanip:42, from src/distillerbin.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerbin.cpp:30: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/distillerbin.h:31, from src/distillerbin.cpp:27: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerlitrem.cpp -o build/temp.linux-x86_64-cpython-311/src/distillerlitrem.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlitrem.cpp:25: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/distillerlitrem.h:26, from src/distillerlitrem.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerlitrem.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/distillerlitrem.cpp: In member function ‘CMSat::ClOffset CMSat::DistillerLitRem::try_distill_clause_and_return_new(CMSat::ClOffset, const CMSat::ClauseStats*, uint32_t)’: src/distillerlitrem.cpp:268:18: warning: unused variable ‘origTrailSize’ [-Wunused-variable] 268 | const size_t origTrailSize = solver->trail_size(); | ^~~~~~~~~~~~~ In file included from src/watcharray.h:28, from src/distillerlitrem.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerlong.cpp -o build/temp.linux-x86_64-cpython-311/src/distillerlong.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlong.cpp:26: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/distillerlong.h:26, from src/distillerlong.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerlong.cpp:27: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/distillerlong.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/distillerlongwithimpl.cpp -o build/temp.linux-x86_64-cpython-311/src/distillerlongwithimpl.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlongwithimpl.cpp:25: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/distillerlongwithimpl.h:26, from src/distillerlongwithimpl.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/distillerlongwithimpl.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/distillerlongwithimpl.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/frat.cpp -o build/temp.linux-x86_64-cpython-311/src/frat.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/gatefinder.cpp -o build/temp.linux-x86_64-cpython-311/src/gatefinder.o -I../ -Isrc/ -std=c++17 In file included from src/gatefinder.cpp:24: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/gatefinder.h:26, from src/gatefinder.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/gatefinder.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/gatefinder.h:29: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/gaussian.cpp -o build/temp.linux-x86_64-cpython-311/src/gaussian.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/gaussian.cpp:41: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/bits/locale_classes.h:40, from /usr/include/c++/13.2.1/bits/ios_base.h:41, from /usr/include/c++/13.2.1/iomanip:42, from src/gaussian.cpp:31: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/gaussian.cpp: In member function ‘void CMSat::EGaussian::delete_gausswatch(uint32_t)’: src/gaussian.cpp:697:10: warning: variable ‘debug_find’ set but not used [-Wunused-but-set-variable] 697 | bool debug_find = false; | ^~~~~~~~~~ In file included from src/packedrow.h:37, from src/packedmatrix.h:35, from src/gaussian.h:39, from src/gaussian.cpp:36: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/get_clause_query.cpp -o build/temp.linux-x86_64-cpython-311/src/get_clause_query.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/get_clause_query.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/get_clause_query.h:25, from src/get_clause_query.cpp:25: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/get_clause_query.cpp: In member function ‘void CMSat::GetClauseQuery::get_all_irred_clauses(std::vector&)’: src/get_clause_query.cpp:122:10: warning: unused variable ‘ret’ [-Wunused-variable] 122 | bool ret = get_next_small_clause(out, true); | ^~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/hyperengine.cpp -o build/temp.linux-x86_64-cpython-311/src/hyperengine.o -I../ -Isrc/ -std=c++17 In file included from src/hyperengine.h:26, from src/hyperengine.cpp:23: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/hyperengine.cpp: In member function ‘CMSat::PropResult CMSat::HyperEngine::prop_bin_with_ancestor_info(CMSat::Lit, const CMSat::Watched*, CMSat::PropBy&)’: src/hyperengine.cpp:586:23: warning: variable ‘origAnc’ set but not used [-Wunused-but-set-variable] 586 | const Lit origAnc = varData[lit.var()].reason.getAncestor(); | ^~~~~~~ In file included from src/watcharray.h:28, from src/cnf.h:34: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/intree.cpp -o build/temp.linux-x86_64-cpython-311/src/intree.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/intree.cpp:24: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/cloffset.h:26, from src/intree.h:23, from src/intree.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/lucky.cpp -o build/temp.linux-x86_64-cpython-311/src/lucky.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/lucky.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/solver.h:25: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/matrixfinder.cpp -o build/temp.linux-x86_64-cpython-311/src/matrixfinder.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/matrixfinder.cpp:24: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/matrixfinder.h:26, from src/matrixfinder.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/matrixfinder.cpp: In member function ‘CMSat::MatrixFinder::setMatrixes()’: src/matrixfinder.cpp:334:17: warning: ‘ratio_sampling’ may be used uninitialized [-Wmaybe-uninitialized] 334 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ src/matrixfinder.cpp:296:16: note: ‘ratio_sampling’ was declared here 296 | double ratio_sampling; | ^~~~~~~~~~~~~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/occsimplifier.cpp -o build/temp.linux-x86_64-cpython-311/src/occsimplifier.o -I../ -Isrc/ -std=c++17 In file included from src/occsimplifier.cpp:24: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/occsimplifier.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/occsimplifier.cpp:40: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/occsimplifier.cpp: In member function ‘void CMSat::OccSimplifier::extend_model(CMSat::SolutionExtender*)’: src/occsimplifier.cpp:238:24: warning: unused variable ‘outer’ [-Wunused-variable] 238 | const uint32_t outer = solver->map_inter_to_outer(i); | ^~~~~ src/occsimplifier.cpp: In member function ‘bool CMSat::OccSimplifier::elim_var_by_str(uint32_t, const std::vector >&)’: src/occsimplifier.cpp:1628:14: warning: variable ‘val’ set but not used [-Wunused-but-set-variable] 1628 | auto val = solver->value(w.lit2()); | ^~~ src/occsimplifier.cpp:1664:17: warning: unused variable ‘cl’ [-Wunused-variable] 1664 | Clause* cl = solver->cl_alloc.ptr(w.get_offset()); | ^~ src/occsimplifier.cpp:1671:17: warning: unused variable ‘cl’ [-Wunused-variable] 1671 | Clause* cl = solver->cl_alloc.ptr(w.get_offset()); | ^~ src/occsimplifier.cpp: In member function ‘std::vector CMSat::OccSimplifier::remove_definable_by_irreg_gate(const std::vector&)’: src/occsimplifier.cpp:1709:14: warning: variable ‘rem_val’ set but not used [-Wunused-but-set-variable] 1709 | auto rem_val = solver->varData[v].removed; | ^~~~~~~ src/occsimplifier.cpp: In member function ‘void CMSat::OccSimplifier::clean_sampl_and_get_empties(std::vector&, std::vector&)’: src/occsimplifier.cpp:1807:14: warning: unused variable ‘rem_val’ [-Wunused-variable] 1807 | auto rem_val = solver->varData[v].removed; | ^~~~~~~ src/occsimplifier.cpp: In member function ‘bool CMSat::OccSimplifier::cl_rem_with_or_gates()’: src/occsimplifier.cpp:1967:18: warning: variable ‘found’ set but not used [-Wunused-but-set-variable] 1967 | bool found = false; | ^~~~~ src/occsimplifier.cpp: In member function ‘bool CMSat::OccSimplifier::lit_rem_with_or_gates()’: src/occsimplifier.cpp:2160:25: warning: unused variable ‘newCl’ [-Wunused-variable] 2160 | Clause* newCl = full_add_clause(tmp_tern_res, finalLits_ternary, NULL, false); | ^~~~~ src/occsimplifier.cpp: In member function ‘bool CMSat::OccSimplifier::try_remove_lit_via_occurrence_simpl(const CMSat::OccurClause&)’: src/occsimplifier.cpp:4025:10: warning: variable ‘found_it’ set but not used [-Wunused-but-set-variable] 4025 | bool found_it = false; | ^~~~~~~~ In file included from src/heap.h:25, from src/occsimplifier.h:39, from src/occsimplifier.cpp:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/occsimplifier.cpp: In member function ‘CMSat::OccSimplifier::subs_with_resolvent_clauses()’: src/occsimplifier.cpp:1140:33: warning: ‘ID1’ may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ src/occsimplifier.cpp:1080:17: note: ‘ID1’ was declared here 1080 | int32_t ID1; | ^~~ src/occsimplifier.cpp:1140:47: warning: ‘ID2’ may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ src/occsimplifier.cpp:1081:17: note: ‘ID2’ was declared here 1081 | int32_t ID2; | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/oracle/oracle.cpp -o build/temp.linux-x86_64-cpython-311/src/oracle/oracle.o -I../ -Isrc/ -std=c++17 src/oracle/oracle.cpp: In member function ‘void sspp::oracle::Oracle::AddOrigClause(std::vector, bool)’: src/oracle/oracle.cpp:725:18: warning: unused variable ‘lit’ [-Wunused-variable] 725 | for (Lit lit : clause) assert(LitVal(lit) == 0); | ^~~ In file included from /usr/include/c++/13.2.1/string:51, from /usr/include/c++/13.2.1/bits/locale_classes.h:40, from /usr/include/c++/13.2.1/bits/ios_base.h:41, from /usr/include/c++/13.2.1/ios:44, from /usr/include/c++/13.2.1/ostream:40, from /usr/include/c++/13.2.1/iostream:41, from src/oracle/oracle.h:25, from src/oracle/oracle.cpp:23: In function ‘std::__copy_move::__copy_m(int const*, int const*, int*)int*’, inlined from ‘std::__copy_move_a2(int const*, int const*, int*)int*’ at /usr/include/c++/13.2.1/bits/stl_algobase.h:506:30, inlined from ‘std::__copy_move_a1(int const*, int const*, int*)int*’ at /usr/include/c++/13.2.1/bits/stl_algobase.h:533:42, inlined from ‘std::__copy_move_a > >, int*>(__gnu_cxx::__normal_iterator > >, __gnu_cxx::__normal_iterator > >, int*)int*’ at /usr/include/c++/13.2.1/bits/stl_algobase.h:540:31, inlined from ‘std::copy<__gnu_cxx::__normal_iterator > >, int*>(__gnu_cxx::__normal_iterator > >, __gnu_cxx::__normal_iterator > >, int*)int*’ at /usr/include/c++/13.2.1/bits/stl_algobase.h:633:7, inlined from ‘std::__uninitialized_copy::__uninit_copy<__gnu_cxx::__normal_iterator > >, int*>(__gnu_cxx::__normal_iterator > >, __gnu_cxx::__normal_iterator > >, int*)int*’ at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:147:27, inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator > >, int*>(__gnu_cxx::__normal_iterator > >, __gnu_cxx::__normal_iterator > >, int*)int*’ at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:185:15, inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator > >, int*, int>(__gnu_cxx::__normal_iterator > >, __gnu_cxx::__normal_iterator > >, int*, std::allocator&)int*’ at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37, inlined from ‘std::vector >::vector(std::vector > const&)’ at /usr/include/c++/13.2.1/bits/stl_vector.h:603:31, inlined from ‘sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector >, bool)’ at src/oracle/oracle.cpp:869:16: /usr/include/c++/13.2.1/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 437 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/packedrow.cpp -o build/temp.linux-x86_64-cpython-311/src/packedrow.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/propengine.cpp -o build/temp.linux-x86_64-cpython-311/src/propengine.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/propengine.cpp:23: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36, from src/propengine.cpp:32: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/deque:67, from /usr/include/c++/13.2.1/stack:62, from src/propengine.h:28: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/reducedb.cpp -o build/temp.linux-x86_64-cpython-311/src/reducedb.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/reducedb.cpp:24: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/clauseallocator.h:27, from src/reducedb.h:26, from src/reducedb.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/clauseallocator.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/sccfinder.cpp -o build/temp.linux-x86_64-cpython-311/src/sccfinder.o -I../ -Isrc/ -std=c++17 In file included from src/sccfinder.cpp:30: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/bits/locale_classes.h:40, from /usr/include/c++/13.2.1/bits/ios_base.h:41, from /usr/include/c++/13.2.1/ios:44, from /usr/include/c++/13.2.1/ostream:40, from /usr/include/c++/13.2.1/iostream:41, from src/sccfinder.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/sccfinder.cpp:31: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/varreplacer.h:38, from src/sccfinder.cpp:29: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/searcher.cpp -o build/temp.linux-x86_64-cpython-311/src/searcher.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/searcher.h:29, from src/searcher.cpp:23: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/searcher.h:28: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/searcher.cpp: In member function ‘void CMSat::Searcher::sls_if_needed()’: src/searcher.cpp:2456:21: warning: variable ‘ret’ set but not used [-Wunused-but-set-variable] 2456 | const lbool ret = sls.run(num_sls_called); | ^~~ src/searcher.cpp: In member function ‘void CMSat::Searcher::finish_up_solve(CMSat::lbool)’: src/searcher.cpp:2853:16: warning: variable ‘confl’ set but not used [-Wunused-but-set-variable] 2853 | PropBy confl = propagate(); | ^~~~~ src/searcher.cpp:2866:20: warning: variable ‘confl’ set but not used [-Wunused-but-set-variable] 2866 | PropBy confl = propagate(); | ^~~~~ src/searcher.cpp: In member function ‘std::pair CMSat::Searcher::remove_useless_bins(bool)’: src/searcher.cpp:3077:22: warning: unused variable ‘rem2’ [-Wunused-variable] 3077 | bool rem2 = removeWBin_except_marked( | ^~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ In member function ‘CMSat::vec::push(CMSat::Watched const&)’, inlined from ‘CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’ at src/searcher.cpp:3543:40: src/Vec.h:143:9: warning: ‘offs’ may be used uninitialized [-Wmaybe-uninitialized] 143 | data[sz++] = elem; | ^~~~ src/searcher.cpp: In member function ‘CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’: src/searcher.cpp:3488:18: note: ‘offs’ was declared here 3488 | ClOffset offs; | ^~~~ src/searcher.cpp: In member function ‘CMSat::Searcher::handle_conflict(CMSat::PropBy)’: 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 | ); | ~ src/searcher.cpp:1817:14: note: ‘size_before_minim’ declared here 1817 | uint32_t size_before_minim; | ^~~~~~~~~~~~~~~~~ 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 | ); | ~ src/searcher.cpp:1816:14: note: ‘glue_before_minim’ declared here 1816 | uint32_t glue_before_minim; | ^~~~~~~~~~~~~~~~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/searchstats.cpp -o build/temp.linux-x86_64-cpython-311/src/searchstats.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/sls.cpp -o build/temp.linux-x86_64-cpython-311/src/sls.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/sls.cpp:24: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/sls.h:26, from src/sls.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/solutionextender.cpp -o build/temp.linux-x86_64-cpython-311/src/solutionextender.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/solutionextender.cpp:24: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/solvertypes.h:27, from src/solutionextender.h:26, from src/solutionextender.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/watcharray.h:28, from src/solutionextender.h:28: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/solver.cpp -o build/temp.linux-x86_64-cpython-311/src/solver.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/solver.cpp:23: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/solver.h:25: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/solver.cpp: In member function ‘bool CMSat::Solver::bnn_to_cnf(CMSat::BNN&)’: src/solver.cpp:622:21: warning: unused variable ‘cl2’ [-Wunused-variable] 622 | Clause* cl2 = add_clause_int(lits); | ^~~ src/solver.cpp:642:21: warning: unused variable ‘cl2’ [-Wunused-variable] 642 | Clause* cl2 = add_clause_int(lits); | ^~~ src/solver.cpp: In member function ‘void CMSat::Solver::test_renumbering() const’: src/solver.cpp:950:10: warning: variable ‘problem’ set but not used [-Wunused-but-set-variable] 950 | bool problem = false; | ^~~~~~~ src/solver.cpp: In member function ‘std::vector CMSat::Solver::get_zero_assigned_lits(bool, bool) const’: src/solver.cpp:2788:23: warning: variable ‘lit’ set but not used [-Wunused-but-set-variable] 2788 | for(const Lit lit: lits) { | ^~~ src/solver.cpp: In member function ‘std::vector > CMSat::Solver::get_all_binary_xors() const’: src/solver.cpp:3443:21: warning: unused variable ‘val’ [-Wunused-variable] 3443 | for(const auto& val: ret) { | ^~~ src/solver.cpp: In member function ‘CMSat::lbool CMSat::Solver::bnn_eval(CMSat::BNN&)’: src/solver.cpp:4817:21: warning: unused variable ‘p’ [-Wunused-variable] 4817 | for(const auto& p: bnn) assert(value(p) == l_Undef); | ^ src/solver.cpp: In member function ‘void CMSat::Solver::dump_cls_oracle(std::string, const std::vector&)’: src/solver.cpp:5029:29: warning: unused variable ‘l’ [-Wunused-variable] 5029 | for(auto const& l: cl) assert(l.var() < nVars()); | ^ src/solver.cpp: In member function ‘bool CMSat::Solver::oracle_sparsify()’: src/solver.cpp:5152:29: warning: unused variable ‘l’ [-Wunused-variable] 5152 | for(auto const& l: cl) assert(l.var() < nVars()); | ^ src/solver.cpp: In member function ‘bool CMSat::Solver::backbone_simpl(int64_t, bool, bool&)’: src/solver.cpp:5552:21: warning: unused variable ‘ptr’ [-Wunused-variable] 5552 | Clause* ptr = add_clause_int(tmp_clause); | ^~~ In file included from src/heap.h:25, from src/propengine.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/solverconf.cpp -o build/temp.linux-x86_64-cpython-311/src/solverconf.o -I../ -Isrc/ -std=c++17 gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/str_impl_w_impl.cpp -o build/temp.linux-x86_64-cpython-311/src/str_impl_w_impl.o -I../ -Isrc/ -std=c++17 In file included from src/str_impl_w_impl.cpp:25: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/str_impl_w_impl.h:26, from src/str_impl_w_impl.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/str_impl_w_impl.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/str_impl_w_impl.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/subsumeimplicit.cpp -o build/temp.linux-x86_64-cpython-311/src/subsumeimplicit.o -I../ -Isrc/ -std=c++17 In file included from src/subsumeimplicit.cpp:25: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/subsumeimplicit.h:26, from src/subsumeimplicit.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/subsumeimplicit.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/subsumeimplicit.h:31: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/subsumestrengthen.cpp -o build/temp.linux-x86_64-cpython-311/src/subsumestrengthen.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/subsumestrengthen.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/string:49, from /usr/include/c++/13.2.1/random:42, from src/constants.h:29, from src/cloffset.h:26, from src/subsumestrengthen.h:26, from src/subsumestrengthen.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/subsumestrengthen.h:30: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/varreplacer.cpp -o build/temp.linux-x86_64-cpython-311/src/varreplacer.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:42, from src/solver.h:35, from src/varreplacer.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:31, from src/solver.h:36: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/stl_tree.h:65, from /usr/include/c++/13.2.1/map:62, from src/varreplacer.h:25, from src/varreplacer.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/varreplacer.cpp: In member function ‘void CMSat::VarReplacer::set_sub_var_during_solution_extension(uint32_t, uint32_t)’: src/varreplacer.cpp:789:20: warning: unused variable ‘sub_var_inter’ [-Wunused-variable] 789 | const uint32_t sub_var_inter = solver->map_outer_to_inter(sub_var); | ^~~~~~~~~~~~~ In file included from src/watcharray.h:28, from src/varreplacer.h:38: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ gcc -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -ffat-lto-objects -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug/python -flto=auto -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.11 -c src/xorfinder.cpp -o build/temp.linux-x86_64-cpython-311/src/xorfinder.o -I../ -Isrc/ -std=c++17 In file included from src/xorfinder.cpp:24: src/time_mem.h: In function ‘double cpuTime()’: src/time_mem.h:75:9: warning: unused variable ‘ret’ [-Wunused-variable] 75 | int ret = getrusage(RUSAGE_THREAD, &ru); | ^~~ src/time_mem.h: In function ‘double cpuTimeTotal()’: src/time_mem.h:87:9: warning: unused variable ‘ret’ [-Wunused-variable] 87 | int ret = getrusage(RUSAGE_SELF, &ru); | ^~~ src/time_mem.h: In function ‘uint64_t memUsedTotal(double&, std::string*)’: src/time_mem.h:183:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_function.h:1438, from /usr/include/c++/13.2.1/bits/refwrap.h:39, from /usr/include/c++/13.2.1/vector:68, from src/xorfinder.h:27, from src/xorfinder.cpp:23: /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: ‘std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]’ is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:42, from src/solver.h:35, from src/xorfinder.cpp:25: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:641:21: warning: unused variable ‘cl’ [-Wunused-variable] 641 | Clause& cl = *cl_alloc.ptr(w.get_offset()); | ^~ src/cnf.h: In member function ‘void CMSat::CNF::check_no_duplicate_lits_anywhere() const’: src/cnf.h:677:18: warning: unused variable ‘cl’ [-Wunused-variable] 677 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:682:22: warning: unused variable ‘cl’ [-Wunused-variable] 682 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/xorfinder.h:36: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:153:30: required from here 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)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:294:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:91:27: required from here 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) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:45:7: note: ‘class CMSat::vec’ declared here 45 | class vec { | ^~~ g++ -shared -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=auto -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=auto -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection build/temp.linux-x86_64-cpython-311/python/src/GitSHA1.o build/temp.linux-x86_64-cpython-311/python/src/pycryptosat.o build/temp.linux-x86_64-cpython-311/src/bva.o build/temp.linux-x86_64-cpython-311/src/cardfinder.o build/temp.linux-x86_64-cpython-311/src/ccnr.o build/temp.linux-x86_64-cpython-311/src/ccnr_cms.o build/temp.linux-x86_64-cpython-311/src/clauseallocator.o build/temp.linux-x86_64-cpython-311/src/clausecleaner.o build/temp.linux-x86_64-cpython-311/src/cnf.o build/temp.linux-x86_64-cpython-311/src/completedetachreattacher.o build/temp.linux-x86_64-cpython-311/src/cryptominisat.o build/temp.linux-x86_64-cpython-311/src/cryptominisat_c.o build/temp.linux-x86_64-cpython-311/src/datasync.o build/temp.linux-x86_64-cpython-311/src/distillerbin.o build/temp.linux-x86_64-cpython-311/src/distillerlitrem.o build/temp.linux-x86_64-cpython-311/src/distillerlong.o build/temp.linux-x86_64-cpython-311/src/distillerlongwithimpl.o build/temp.linux-x86_64-cpython-311/src/frat.o build/temp.linux-x86_64-cpython-311/src/gatefinder.o build/temp.linux-x86_64-cpython-311/src/gaussian.o build/temp.linux-x86_64-cpython-311/src/get_clause_query.o build/temp.linux-x86_64-cpython-311/src/hyperengine.o build/temp.linux-x86_64-cpython-311/src/intree.o build/temp.linux-x86_64-cpython-311/src/lucky.o build/temp.linux-x86_64-cpython-311/src/matrixfinder.o build/temp.linux-x86_64-cpython-311/src/occsimplifier.o build/temp.linux-x86_64-cpython-311/src/oracle/oracle.o build/temp.linux-x86_64-cpython-311/src/packedrow.o build/temp.linux-x86_64-cpython-311/src/propengine.o build/temp.linux-x86_64-cpython-311/src/reducedb.o build/temp.linux-x86_64-cpython-311/src/sccfinder.o build/temp.linux-x86_64-cpython-311/src/searcher.o build/temp.linux-x86_64-cpython-311/src/searchstats.o build/temp.linux-x86_64-cpython-311/src/sls.o build/temp.linux-x86_64-cpython-311/src/solutionextender.o build/temp.linux-x86_64-cpython-311/src/solver.o build/temp.linux-x86_64-cpython-311/src/solverconf.o build/temp.linux-x86_64-cpython-311/src/str_impl_w_impl.o build/temp.linux-x86_64-cpython-311/src/subsumeimplicit.o build/temp.linux-x86_64-cpython-311/src/subsumestrengthen.o build/temp.linux-x86_64-cpython-311/src/varreplacer.o build/temp.linux-x86_64-cpython-311/src/xorfinder.o -L/usr/lib -Lbuild/temp.linux-x86_64-cpython-311 -lpicosatlib -o build/lib.linux-x86_64-cpython-311/pycryptosat.cpython-311-x86_64-linux-gnu.so installing to build/bdist.linux-x86_64/wheel running install running install_lib creating build/bdist.linux-x86_64 creating build/bdist.linux-x86_64/wheel copying build/lib.linux-x86_64-cpython-311/pycryptosat.cpython-311-x86_64-linux-gnu.so -> build/bdist.linux-x86_64/wheel creating build/bdist.linux-x86_64/wheel/msvc copying build/lib.linux-x86_64-cpython-311/msvc/stdint.h -> build/bdist.linux-x86_64/wheel/msvc creating build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-311/oracle/utils.h -> build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-311/oracle/oracle.h -> build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-311/oracle/oracle.cpp -> build/bdist.linux-x86_64/wheel/oracle creating build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-311/picosat/version.c -> build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-311/picosat/picosat.h -> build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-311/picosat/picosat.c -> build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-311/picosat/pico_config.h -> build/bdist.linux-x86_64/wheel/picosat running install_egg_info Copying src/pycryptosat.egg-info to build/bdist.linux-x86_64/wheel/pycryptosat-5.11.21-py3.11.egg-info running install_scripts creating build/bdist.linux-x86_64/wheel/pycryptosat-5.11.21.dist-info/WHEEL creating '/tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/src/cryptominisat-5.11.21/dist/.tmp-wyhqky32/pycryptosat-5.11.21-cp311-cp311-linux_x86_64.whl' and adding 'build/bdist.linux-x86_64/wheel' to it adding 'pycryptosat.cpython-311-x86_64-linux-gnu.so' adding 'msvc/stdint.h' adding 'oracle/oracle.cpp' adding 'oracle/oracle.h' adding 'oracle/utils.h' adding 'picosat/pico_config.h' adding 'picosat/picosat.c' adding 'picosat/picosat.h' adding 'picosat/version.c' 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-x86_64/wheel Successfully built pycryptosat-5.11.21-cp311-cp311-linux_x86_64.whl ==> Entering fakeroot environment... ==> Starting package()... -- Install configuration: "RelWithDebInfo" -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/share/man/man1/cryptominisat5.1 -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/lib/libcryptominisat5.so.5.11 -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/lib/libcryptominisat5.so -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/cryptominisat.h -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/solvertypesmini.h -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/dimacsparser.h -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/streambuffer.h -- Installing: /tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/bin/cryptominisat5 -- Set non-toolchain portion of runtime path of "/tmp/archlinux-ci/cryptominisat-archlinuxrb-build-JhGnHdIY/cryptominisat/pkg/cryptominisat/usr/bin/cryptominisat5" to "" ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> WARNING: Package contains reference to $srcdir usr/bin/cryptominisat5 usr/lib/libcryptominisat5.so.5.11 ==> Creating package "cryptominisat"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: cryptominisat 5.11.21-1 (Sun Feb 11 00:36:37 2024)