==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_9a258a2e-deaf-4c42-9505-d42ebd2cac83]...done ==> Making package: cryptominisat 5.11.21-2.1 (Sat Apr 27 16:20:09 2024) ==> 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 113k 0 113k 0 0 124k 0 --:--:-- --:--:-- --:--:-- 124k 100 520k 0 520k 0 0 242k 0 --:--:-- 0:00:02 --:--:-- 329k 100 836k 0 836k 0 0 293k 0 --:--:-- 0:00:02 --:--:-- 372k 100 952k 0 952k 0 0 334k 0 --:--:-- 0:00:02 --:--:-- 432k -> Downloading 9e13b568.patch... % 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 818 100 818 0 0 2798 0 --:--:-- --:--:-- --:--:-- 2801 ==> Validating source files with sha256sums... cryptominisat-5.11.21.tar.gz ... Passed 9e13b568.patch ... Passed ==> Making package: cryptominisat 5.11.21-2.1 (Sat Apr 27 16:20:29 2024) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (35) New Version Net Change extra/cppdap 1.58.0-1 1.62 MiB core/gpm 1.20.7.r38.ge82d1a6-5 0.40 MiB extra/hicolor-icon-theme 0.17-3 0.05 MiB extra/jsoncpp 1.9.5-2 0.73 MiB extra/libuv 1.48.0-2 0.58 MiB core/mpdecimal 4.0.0-2 0.32 MiB extra/perl-locale-gettext 1.07-14 0.09 MiB core/procps-ng 4.0.4-3 2.28 MiB core/python 3.12.3-1 70.10 MiB extra/python-autocommand 2.2.2-6 0.08 MiB extra/python-fastjsonschema 2.19.1-3 0.26 MiB extra/python-inflect 7.2.1-2 0.36 MiB extra/python-jaraco.context 4.3.0-4 0.03 MiB extra/python-jaraco.functools 4.0.0-3 0.07 MiB extra/python-jaraco.text 3.12.0-3 0.08 MiB extra/python-more-itertools 10.2.0-2 0.61 MiB extra/python-ordered-set 4.1.0-5 0.06 MiB extra/python-packaging 23.2-3 0.50 MiB extra/python-platformdirs 4.2.0-3 0.23 MiB extra/python-pyproject-hooks 1.0.0-7 0.09 MiB extra/python-tomli 2.0.1-4 0.10 MiB extra/python-trove-classifiers 2024.4.10-1 0.12 MiB extra/python-typeguard 4.2.1-2 0.40 MiB extra/python-typing_extensions 4.11.0-1 0.38 MiB extra/python-validate-pyproject 0.13-3 0.27 MiB extra/rhash 1.4.4-1 0.32 MiB extra/vim-runtime 9.1.0346-2 36.27 MiB extra/cmake 3.29.2-1 72.94 MiB extra/help2man 1.49.3-1 0.38 MiB extra/python-build 1.2.1-3 0.19 MiB extra/python-installer 0.7.0-8 0.18 MiB extra/python-setuptools 1:69.0.3-6 4.39 MiB extra/python-toml 0.10.2-10 0.18 MiB extra/python-wheel 0.43.0-4 0.25 MiB extra/vim 9.1.0346-2 4.70 MiB Total Installed Size: 199.64 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: 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 mpdecimal... installing python... Optional dependencies for python python-setuptools: for building Python packages using tooling that is usually bundled with Python [pending] python-pip: for installing Python packages using tooling that is usually bundled with Python python-pipx: for installing Python software not packaged on Arch Linux sqlite: for a default database integration [installed] xz: for lzma [installed] tk: for tkinter installing python-packaging... installing python-pyproject-hooks... installing python-build... Optional dependencies for python-build python-pip: to use as the Python package installer (default) python-uv: to use as the Python package installer python-virtualenv: to 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-typing_extensions... installing python-typeguard... 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 procps-ng... 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/2) Warn about old perl modules (2/2) Updating the info directory file... [?25h==> Retrieving sources... -> Found cryptominisat-5.11.21.tar.gz -> Found 9e13b568.patch ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources... -> Extracting cryptominisat-5.11.21.tar.gz with bsdtar ==> Starting prepare()... patching file python/tests/test_pycryptosat.py ==> 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/bin/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/bin/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 -- 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 (66.9s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: NOBOSPHORUS -- Build files have been written to: /startdir/src/build [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o Copying cryptominisat_c.h to /startdir/src/build/include/cryptominisat5 [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o Copying cryptominisat.h to /startdir/src/build/include/cryptominisat5 Copying solvertypesmini.h to /startdir/src/build/include/cryptominisat5 Copying dimacsparser.h to /startdir/src/build/include/cryptominisat5 Copying streambuffer.h to /startdir/src/build/include/cryptominisat5 [ 21%] Built target CopyPublicHeaders [ 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 [ 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/datasync.cpp.o [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.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 [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o /startdir/src/cryptominisat-5.11.21/src/solver.cpp: In member function ‘bool CMSat::Solver::oracle_vivif(bool&)’: /startdir/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 /startdir/src/cryptominisat-5.11.21/src/solver.h:36, from /startdir/src/cryptominisat-5.11.21/src/solver.cpp:23: /startdir/src/cryptominisat-5.11.21/src/searcher.h:213:21: note: shadowed declaration is here 213 | SearchStats stats; | ^~~~~ [ 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 /startdir/src/cryptominisat-5.11.21/src/picosat/picosat.c:26: /startdir/src/cryptominisat-5.11.21/src/picosat/picosat.c: In function ‘fixvar’: /startdir/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); | ^~ /startdir/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)) | ^ /startdir/src/cryptominisat-5.11.21/src/picosat/picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /startdir/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); | ^~ /startdir/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)) | ^ /startdir/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 [ 90%] Linking CXX shared library ../lib/libcryptominisat5.so /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘propagate’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3125:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/matrixfinder.cpp: In member function ‘setMatrixes’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/matrixfinder.cpp:334:17: warning: ‘ratio_sampling’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/matrixfinder.cpp:296:16: note: ‘ratio_sampling’ was declared here /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/xorfinder.cpp: In member function ‘xor_together_xors’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/xorfinder.cpp:613:22: warning: ‘clash_var’ may be used uninitialized [-Wmaybe-uninitialized] In function ‘memset’, inlined from ‘picosat_mus_assumptions’ at /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/picosat/picosat.c:7437:3: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/occsimplifier.cpp: In member function ‘subs_with_resolvent_clauses’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/occsimplifier.cpp:1140:33: warning: ‘ID1’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/occsimplifier.cpp:1080:17: note: ‘ID1’ was declared here /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/occsimplifier.cpp:1140:47: warning: ‘ID2’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/occsimplifier.cpp:1081:17: note: ‘ID2’ was declared here /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, | ^ /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘propagate’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3125:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘propagate’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3125:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘propagate’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3125:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here In member function ‘var’, inlined from ‘find_conflict_level’ at /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3522:51: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] In member function ‘__ct ’, inlined from ‘find_conflict_level’ at /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3543:41: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/watched.h:62:15: warning: ‘offs’ may be used uninitialized [-Wmaybe-uninitialized] /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp: In member function ‘find_conflict_level’: /usr/src/debug/cryptominisat/cryptominisat-5.11.21/src/searcher.cpp:3488:18: note: ‘offs’ was declared here [ 90%] Built target cryptominisat5 [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.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-312 creating build/lib.linux-x86_64-cpython-312/picosat copying src/picosat/pico_config.h -> build/lib.linux-x86_64-cpython-312/picosat copying src/picosat/picosat.c -> build/lib.linux-x86_64-cpython-312/picosat copying src/picosat/picosat.h -> build/lib.linux-x86_64-cpython-312/picosat copying src/picosat/version.c -> build/lib.linux-x86_64-cpython-312/picosat creating build/lib.linux-x86_64-cpython-312/msvc copying src/msvc/stdint.h -> build/lib.linux-x86_64-cpython-312/msvc creating build/lib.linux-x86_64-cpython-312/oracle copying src/oracle/oracle.cpp -> build/lib.linux-x86_64-cpython-312/oracle copying src/oracle/oracle.h -> build/lib.linux-x86_64-cpython-312/oracle copying src/oracle/utils.h -> build/lib.linux-x86_64-cpython-312/oracle running build_clib building 'picosatlib' library creating build/temp.linux-x86_64-cpython-312 creating build/temp.linux-x86_64-cpython-312/src creating build/temp.linux-x86_64-cpython-312/src/picosat gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -Isrc/picosat/ -c src/picosat/picosat.c -o build/temp.linux-x86_64-cpython-312/src/picosat/picosat.o gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -Isrc/picosat/ -c src/picosat/version.c -o build/temp.linux-x86_64-cpython-312/src/picosat/version.o ar rcs build/temp.linux-x86_64-cpython-312/libpicosatlib.a build/temp.linux-x86_64-cpython-312/src/picosat/picosat.o build/temp.linux-x86_64-cpython-312/src/picosat/version.o running build_ext building 'pycryptosat' extension creating build/temp.linux-x86_64-cpython-312/python creating build/temp.linux-x86_64-cpython-312/python/src creating build/temp.linux-x86_64-cpython-312/src/oracle gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c python/src/GitSHA1.cpp -o build/temp.linux-x86_64-cpython-312/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c python/src/pycryptosat.cpp -o build/temp.linux-x86_64-cpython-312/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 python/src/pycryptosat.cpp:514:18: warning: ‘PyObject* get_raw_solution(CMSat::SATSolver*)’ defined but not used [-Wunused-function] 514 | static PyObject* get_raw_solution(SATSolver *cmsat) { | ^~~~~~~~~~~~~~~~ gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/bva.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cardfinder.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/ccnr.cpp -o build/temp.linux-x86_64-cpython-312/src/ccnr.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/ccnr_cms.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/clauseallocator.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/clausecleaner.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cnf.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/completedetachreattacher.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cryptominisat.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cryptominisat_c.cpp -o build/temp.linux-x86_64-cpython-312/src/cryptominisat_c.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/datasync.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerbin.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerlitrem.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerlong.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerlongwithimpl.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/frat.cpp -o build/temp.linux-x86_64-cpython-312/src/frat.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/gatefinder.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/gaussian.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/get_clause_query.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/hyperengine.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/intree.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/lucky.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/matrixfinder.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/occsimplifier.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/oracle/oracle.cpp -o build/temp.linux-x86_64-cpython-312/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:606: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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/packedrow.cpp -o build/temp.linux-x86_64-cpython-312/src/packedrow.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/propengine.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/reducedb.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/sccfinder.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/searcher.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/searchstats.cpp -o build/temp.linux-x86_64-cpython-312/src/searchstats.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/sls.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/solutionextender.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/solver.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/solverconf.cpp -o build/temp.linux-x86_64-cpython-312/src/solverconf.o -I../ -Isrc/ -std=c++17 gcc -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/str_impl_w_impl.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/subsumeimplicit.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/subsumestrengthen.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/varreplacer.cpp -o build/temp.linux-x86_64-cpython-312/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 -fno-strict-overflow -DNDEBUG -g -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-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/xorfinder.cpp -o build/temp.linux-x86_64-cpython-312/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 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-z,pack-relative-relocs -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-z,pack-relative-relocs -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-z,pack-relative-relocs -flto=auto -falign-functions=32 -march=x86-64-v2 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cryptominisat -flto=auto -falign-functions=32 build/temp.linux-x86_64-cpython-312/python/src/GitSHA1.o build/temp.linux-x86_64-cpython-312/python/src/pycryptosat.o build/temp.linux-x86_64-cpython-312/src/bva.o build/temp.linux-x86_64-cpython-312/src/cardfinder.o build/temp.linux-x86_64-cpython-312/src/ccnr.o build/temp.linux-x86_64-cpython-312/src/ccnr_cms.o build/temp.linux-x86_64-cpython-312/src/clauseallocator.o build/temp.linux-x86_64-cpython-312/src/clausecleaner.o build/temp.linux-x86_64-cpython-312/src/cnf.o build/temp.linux-x86_64-cpython-312/src/completedetachreattacher.o build/temp.linux-x86_64-cpython-312/src/cryptominisat.o build/temp.linux-x86_64-cpython-312/src/cryptominisat_c.o build/temp.linux-x86_64-cpython-312/src/datasync.o build/temp.linux-x86_64-cpython-312/src/distillerbin.o build/temp.linux-x86_64-cpython-312/src/distillerlitrem.o build/temp.linux-x86_64-cpython-312/src/distillerlong.o build/temp.linux-x86_64-cpython-312/src/distillerlongwithimpl.o build/temp.linux-x86_64-cpython-312/src/frat.o build/temp.linux-x86_64-cpython-312/src/gatefinder.o build/temp.linux-x86_64-cpython-312/src/gaussian.o build/temp.linux-x86_64-cpython-312/src/get_clause_query.o build/temp.linux-x86_64-cpython-312/src/hyperengine.o build/temp.linux-x86_64-cpython-312/src/intree.o build/temp.linux-x86_64-cpython-312/src/lucky.o build/temp.linux-x86_64-cpython-312/src/matrixfinder.o build/temp.linux-x86_64-cpython-312/src/occsimplifier.o build/temp.linux-x86_64-cpython-312/src/oracle/oracle.o build/temp.linux-x86_64-cpython-312/src/packedrow.o build/temp.linux-x86_64-cpython-312/src/propengine.o build/temp.linux-x86_64-cpython-312/src/reducedb.o build/temp.linux-x86_64-cpython-312/src/sccfinder.o build/temp.linux-x86_64-cpython-312/src/searcher.o build/temp.linux-x86_64-cpython-312/src/searchstats.o build/temp.linux-x86_64-cpython-312/src/sls.o build/temp.linux-x86_64-cpython-312/src/solutionextender.o build/temp.linux-x86_64-cpython-312/src/solver.o build/temp.linux-x86_64-cpython-312/src/solverconf.o build/temp.linux-x86_64-cpython-312/src/str_impl_w_impl.o build/temp.linux-x86_64-cpython-312/src/subsumeimplicit.o build/temp.linux-x86_64-cpython-312/src/subsumestrengthen.o build/temp.linux-x86_64-cpython-312/src/varreplacer.o build/temp.linux-x86_64-cpython-312/src/xorfinder.o -L/usr/lib -Lbuild/temp.linux-x86_64-cpython-312 -lpicosatlib -o build/lib.linux-x86_64-cpython-312/pycryptosat.cpython-312-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 creating build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-312/picosat/version.c -> build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-312/picosat/picosat.c -> build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-312/picosat/pico_config.h -> build/bdist.linux-x86_64/wheel/picosat copying build/lib.linux-x86_64-cpython-312/picosat/picosat.h -> build/bdist.linux-x86_64/wheel/picosat creating build/bdist.linux-x86_64/wheel/msvc copying build/lib.linux-x86_64-cpython-312/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-312/oracle/utils.h -> build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-312/oracle/oracle.cpp -> build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-312/oracle/oracle.h -> build/bdist.linux-x86_64/wheel/oracle copying build/lib.linux-x86_64-cpython-312/pycryptosat.cpython-312-x86_64-linux-gnu.so -> build/bdist.linux-x86_64/wheel running install_egg_info Copying src/pycryptosat.egg-info to build/bdist.linux-x86_64/wheel/pycryptosat-5.11.21-py3.12.egg-info running install_scripts creating build/bdist.linux-x86_64/wheel/pycryptosat-5.11.21.dist-info/WHEEL creating '/startdir/src/cryptominisat-5.11.21/dist/.tmp-x5hersth/pycryptosat-5.11.21-cp312-cp312-linux_x86_64.whl' and adding 'build/bdist.linux-x86_64/wheel' to it adding 'pycryptosat.cpython-312-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-cp312-cp312-linux_x86_64.whl ==> Starting check()... /startdir/src/cryptominisat-5.11.21/python/tests/test_pycryptosat.py:346: DeprecationWarning: unittest.makeSuite() is deprecated and will be removed in Python 3.13. Please use unittest.TestLoader.loadTestsFromTestCase() instead. suite.addTest(unittest.makeSuite(TestXor)) /startdir/src/cryptominisat-5.11.21/python/tests/test_pycryptosat.py:347: DeprecationWarning: unittest.makeSuite() is deprecated and will be removed in Python 3.13. Please use unittest.TestLoader.loadTestsFromTestCase() instead. suite.addTest(unittest.makeSuite(InitTester)) /startdir/src/cryptominisat-5.11.21/python/tests/test_pycryptosat.py:348: DeprecationWarning: unittest.makeSuite() is deprecated and will be removed in Python 3.13. Please use unittest.TestLoader.loadTestsFromTestCase() instead. suite.addTest(unittest.makeSuite(TestSolve)) /startdir/src/cryptominisat-5.11.21/python/tests/test_pycryptosat.py:349: DeprecationWarning: unittest.makeSuite() is deprecated and will be removed in Python 3.13. Please use unittest.TestLoader.loadTestsFromTestCase() instead. suite.addTest(unittest.makeSuite(TestDump)) /startdir/src/cryptominisat-5.11.21/python/tests/test_pycryptosat.py:350: DeprecationWarning: unittest.makeSuite() is deprecated and will be removed in Python 3.13. Please use unittest.TestLoader.loadTestsFromTestCase() instead. suite.addTest(unittest.makeSuite(TestSolveTimeLimit)) test_3_long (__main__.TestXor.test_3_long) ... ok test_3_long2 (__main__.TestXor.test_3_long2) ... ok test_binary (__main__.TestXor.test_binary) ... ok test_long (__main__.TestXor.test_long) ... ok test_unit (__main__.TestXor.test_unit) ... ok test_unit2 (__main__.TestXor.test_unit2) ... ok test_wrong_args (__main__.TestXor.test_wrong_args) ... ok test_wrong_args_to_solver (__main__.InitTester.test_wrong_args_to_solver) ... ok test_add_clauses (__main__.TestSolve.test_add_clauses) ... ok test_add_clauses_array_SAT (__main__.TestSolve.test_add_clauses_array_SAT) ... ok test_add_clauses_array_UNSAT (__main__.TestSolve.test_add_clauses_array_UNSAT) ... ok test_add_clauses_array_unterminated (__main__.TestSolve.test_add_clauses_array_unterminated) ... ok test_add_clauses_wrong_zero (__main__.TestSolve.test_add_clauses_wrong_zero) ... ok test_bad_iter (__main__.TestSolve.test_bad_iter) ... ok test_by_re_curse (__main__.TestSolve.test_by_re_curse) ... ok test_cnf1 (__main__.TestSolve.test_cnf1) ... ok test_cnf1_confl_limit (__main__.TestSolve.test_cnf1_confl_limit) ... ok test_cnf2 (__main__.TestSolve.test_cnf2) ... ok test_cnf3 (__main__.TestSolve.test_cnf3) ... ok test_get_conflict (__main__.TestSolve.test_get_conflict) ... ok test_no_clauses (__main__.TestSolve.test_no_clauses) ... ok test_wrong_args (__main__.TestSolve.test_wrong_args) ... ok test_max_glue_missing (__main__.TestDump.test_max_glue_missing) ... ok test_one_dump (__main__.TestDump.test_one_dump) ... ok test_time (__main__.TestSolveTimeLimit.test_time) ... FAIL ====================================================================== FAIL: test_time (__main__.TestSolveTimeLimit.test_time) ---------------------------------------------------------------------- Traceback (most recent call last): File "/startdir/src/cryptominisat-5.11.21/python/tests/test_pycryptosat.py", line 333, in test_time self.assertLess(took_time, 4) AssertionError: 7.536554336547852 not less than 4 ---------------------------------------------------------------------- Ran 25 tests in 7.892s FAILED (failures=1) sys.prefix: /usr sys.version: 3.12.3 (main, Apr 23 2024, 09:16:07) [GCC 13.2.1 20240417] pycryptosat version: '5.11.21' Summary: 0 errors and 1 failures reported ==> ERROR: A failure occurred in check(). Aborting... ==> ERROR: Build failed, check /home/alhp/workspace/chroot/build_9a258a2e-deaf-4c42-9505-d42ebd2cac83/build