==> Building on ll ==> Checking for remote environment... ==> Syncing package to remote host... sending incremental file list ./ PKGBUILD 1,399 69% 0.00kB/s 0:00:00 2,011 100% 597.66kB/s 0:00:00 (xfr#1, to-chk=1/3) cryptominisat5-5.11.4-1.log 201 100% 196.29kB/s 0:00:00 201 100% 196.29kB/s 0:00:00 (xfr#2, to-chk=0/3) sent 765 bytes received 81 bytes 564.00 bytes/sec total size is 2,200 speedup is 2.60 ==> Patching arch to riscv64... ==> Running extra-riscv64-build -- -d /home/felix/packages/riscv64-pkg-cache:/var/cache/pacman/pkg -l felix3 on remote host... [?25l:: Synchronizing package databases... core downloading... extra downloading... community downloading... :: Starting full system upgrade... there is nothing to do [?25h==> Building in chroot for [extra] (riscv64)... ==> Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [felix3]...done ==> Making package: cryptominisat5 5.11.4-1 (Tue Oct 4 17:50:13 2022) ==> Retrieving sources...  -> Downloading cms5-5.11.4.tgz... % 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:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 100 39587 0 39587 0 0 10103 0 --:--:-- 0:00:03 --:--:-- 49237 100 635k 0 635k 0 0 128k 0 --:--:-- 0:00:04 --:--:-- 349k 100 1020k 0 1020k 0 0 193k 0 --:--:-- 0:00:05 --:--:-- 472k ==> Validating source files with md5sums... cms5-5.11.4.tgz ... Passed ==> Making package: cryptominisat5 5.11.4-1 (Tue Oct 4 17:54:22 2022) ==> Checking runtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (3) New Version Net Change extra/libpng 1.6.38-1 0.50 MiB extra/boost-libs 1.80.0-2 6.31 MiB community/m4ri 20200125-2 0.27 MiB Total Installed Size: 7.09 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing boost-libs... Optional dependencies for boost-libs openmpi: for mpi support installing libpng... installing m4ri... [?25h==> Checking buildtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (31) New Version Net Change Download Size community/cython 0.29.32-2 7.52 MiB core/gpm 1.20.7.r38.ge82d1a6-4 0.33 MiB extra/hicolor-icon-theme 0.17-2 0.05 MiB extra/jsoncpp 1.9.5-2 1.24 MiB core/libnsl 2.0.0-2 0.06 MiB extra/libuv 1.44.2-1 0.52 MiB extra/perl-locale-gettext 1.07-12 0.03 MiB core/procps-ng 3.3.17-1 1.43 MiB extra/python-appdirs 1.4.4-7 0.07 MiB community/python-autocommand 2.2.1-1 0.07 MiB community/python-inflect 6.0.0-1 0.28 MiB community/python-jaraco.context 4.1.2-1 0.02 MiB community/python-jaraco.functools 3.5.2-1 0.05 MiB community/python-jaraco.text 3.9.1-1 0.07 MiB community/python-more-itertools 8.13.0-2 0.48 MiB extra/python-ordered-set 4.1.0-1 0.06 MiB extra/python-packaging 21.3-1 0.26 MiB community/python-pydantic 1.10.2-1 5.79 MiB extra/python-pyparsing 3.0.9-1 0.96 MiB extra/python-tomli 2.0.1-1 0.08 MiB extra/python-trove-classifiers 2022.9.26-1 0.11 MiB community/python-typing_extensions 4.3.0-1 0.21 MiB extra/python-validate-pyproject 0.10.1-1 0.41 MiB extra/rhash 1.4.2-1 0.31 MiB extra/vim-runtime 9.0.0354-1 33.97 MiB 6.91 MiB extra/boost 1.80.0-2 201.16 MiB extra/cmake 3.24.2-1 57.80 MiB extra/help2man 1.49.2-1 0.36 MiB core/python 3.10.7-1 80.86 MiB extra/python-setuptools 1:63.0.0-1 3.22 MiB 0.56 MiB extra/vim 9.0.0354-1 3.89 MiB 2.00 MiB Total Download Size: 9.48 MiB Total Installed Size: 401.67 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... vim-runtime-9.0.0354-1-riscv64 downloading... vim-9.0.0354-1-riscv64 downloading... python-setuptools-1:63.0.0-1-any downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing libnsl... installing python... Optional dependencies for python python-setuptools [pending] python-pip sqlite [installed] mpdecimal: for decimal xz: for lzma [installed] tk: for tkinter installing boost... Optional dependencies for boost python: for python bindings [installed] installing hicolor-icon-theme... installing jsoncpp... Optional dependencies for jsoncpp jsoncpp-doc: documentation installing libuv... installing rhash... installing cmake... Optional dependencies for cmake qt6-base: cmake-gui 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 tcl: Tcl language support installing perl-locale-gettext... installing help2man... installing python-appdirs... installing python-more-itertools... installing python-jaraco.functools... installing python-jaraco.context... installing python-autocommand... installing cython... installing python-typing_extensions... installing python-pydantic... Optional dependencies for python-pydantic python-dotenv: for .env file support python-email-validator: for email validation installing python-inflect... installing python-jaraco.text... installing python-ordered-set... installing python-pyparsing... Optional dependencies for python-pyparsing python-railroad-diagrams: for generating Railroad Diagrams python-jinja: for generating Railroad Diagrams installing python-packaging... installing python-tomli... installing python-trove-classifiers... installing python-validate-pyproject... installing python-setuptools... :: Running post-transaction hooks... (1/2) Warn about old perl modules (2/2) Updating the info directory file... [?25h==> Retrieving sources...  -> Found cms5-5.11.4.tgz ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources...  -> Extracting cms5-5.11.4.tgz with bsdtar ==> Starting prepare()... ==> Starting build()... -- The CXX compiler identification is GNU 12.2.0 -- 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 12.2.0 -- 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 -- 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 - Failed -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - Failed -- 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.4 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 4 -- Found Boost: /usr/lib/cmake/Boost-1.80.0/BoostConfig.cmake (found suitable version "1.80.0", minimum required is "1.46") found components: program_options -- 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.2.12") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- Boost -- found at library: Boost::program_options -- All defines at startup: -DRDB0_ONLY_FEATURES -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -- 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 -- GIT Subprojects not initialized, not building drat-trim CMake Warning at CMakeLists.txt:786 (message): Testing is disabled -- Configuring done -- Generating done -- Build files have been written to: /build/cryptominisat5/src/cryptominisat-5.11.4/build [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o Copying cryptominisat_c.h to /build/cryptominisat5/src/cryptominisat-5.11.4/build/include/cryptominisat5 Copying cryptominisat.h to /build/cryptominisat5/src/cryptominisat-5.11.4/build/include/cryptominisat5 Copying solvertypesmini.h to /build/cryptominisat5/src/cryptominisat-5.11.4/build/include/cryptominisat5 Copying dimacsparser.h to /build/cryptominisat5/src/cryptominisat-5.11.4/build/include/cryptominisat5 Copying streambuffer.h to /build/cryptominisat5/src/cryptominisat-5.11.4/build/include/cryptominisat5 [ 5%] Built target CopyPublicHeaders [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/propengine.cpp: In member function ‘CMSat::lbool CMSat::PropEngine::bnn_prop(uint32_t, uint32_t, CMSat::Lit, CMSat::BNNPropType)’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/propengine.cpp:226:49: warning: unused parameter ‘l’ [-Wunused-parameter] 226 | const uint32_t bnn_idx, uint32_t level, Lit l, BNNPropType prop_t) | ~~~~^ In file included from /build/cryptominisat5/src/cryptominisat-5.11.4/src/cnf.h:35, from /build/cryptominisat5/src/cryptominisat-5.11.4/src/cnf.cpp:23: /build/cryptominisat5/src/cryptominisat-5.11.4/src/frat.h: In instantiation of ‘CMSat::Drat& CMSat::DratFile::operator<<(const char*) [with bool binfrat = false]’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/frat.h:417:19: required from here /build/cryptominisat5/src/cryptominisat-5.11.4/src/frat.h:417:42: warning: unused parameter ‘str’ [-Wunused-parameter] 417 | virtual Drat& operator<<(const char* str) | ~~~~~~~~~~~~^~~ [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp: In member function ‘void CMSat::OccSimplifier::find_equiv_subformula(std::vector&, std::vector&, bool)’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp:1909:70: warning: unused parameter ‘mirror_empty’ [-Wunused-parameter] 1909 | vector& sampl_vars, vector& empty_vars, bool mirror_empty) | ~~~~~^~~~~~~~~~~~ [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp: In member function ‘void CMSat::Searcher::print_learning_debug_info(int32_t) const’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:1518:56: warning: unused parameter ‘ID’ [-Wunused-parameter] 1518 | void Searcher::print_learning_debug_info(const int32_t ID) const | ~~~~~~~~~~~~~~^~ [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/solver.cpp: In member function ‘bool CMSat::Solver::add_clause_outer(std::vector&)’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/solver.cpp:900:17: warning: declaration of ‘stats’ shadows a member of ‘CMSat::Solver’ [-Wshadow] 900 | ClauseStats stats; | ^~~~~ In file included from /build/cryptominisat5/src/cryptominisat-5.11.4/src/solver.h:37, from /build/cryptominisat5/src/cryptominisat-5.11.4/src/solver.cpp:23: /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.h:216:21: note: shadowed declaration is here 216 | SearchStats stats; | ^~~~~ [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o [ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 46%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o [ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 51%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o [ 53%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o [ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o [ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 59%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o [ 61%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/lucky.cpp: In member function ‘void CMSat::Lucky::doit()’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/lucky.cpp:42:10: warning: unused variable ‘ret’ [-Wunused-variable] 42 | bool ret = false; | ^~~ [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o [ 75%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o [ 77%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o In file included from /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:26: /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c: In function ‘fixvar’: [ 79%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/picosat/picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ [ 81%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o [ 83%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o /build/cryptominisat5/src/cryptominisat-5.11.4/src/oracle/oracle.cpp: In member function ‘sspp::oracle::TriState sspp::oracle::Oracle::HardSolve(int64_t)’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/oracle/oracle.cpp:786:13: warning: variable ‘last_var_ass_size’ set but not used [-Wunused-but-set-variable] 786 | int last_var_ass_size = 0; | ^~~~~~~~~~~~~~~~~ [ 85%] Linking CXX shared library ../lib/libcryptominisat5.so /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp: In member function ‘subs_with_resolvent_clauses’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp:1155:40: warning: ‘ID2’ may be used uninitialized [-Wmaybe-uninitialized] 1155 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp:1096:17: note: ‘ID2’ was declared here 1096 | int32_t ID2; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp:1155:54: warning: ‘ID1’ may be used uninitialized [-Wmaybe-uninitialized] 1155 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/occsimplifier.cpp:1095:17: note: ‘ID1’ was declared here 1095 | int32_t ID1; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp: In member function ‘propagate’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:3135:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] 3135 | return ret; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here 647 | PropBy confl; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp: In member function ‘propagate’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:3135:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] 3135 | return ret; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here 647 | PropBy confl; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp: In member function ‘propagate’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:3135:12: warning: ‘confl.ID’ may be used uninitialized [-Wmaybe-uninitialized] 3135 | return ret; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/propengine.cpp:647:12: note: ‘confl.ID’ was declared here 647 | PropBy confl; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/xorfinder.cpp: In member function ‘xor_together_xors’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/xorfinder.cpp:613:22: warning: ‘clash_var’ may be used uninitialized [-Wmaybe-uninitialized] 613 | uint32_t clash_var; | ^ In member function ‘var’, inlined from ‘find_conflict_level’ at /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:3532:51: /build/cryptominisat5/src/cryptominisat-5.11.4/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] 67 | return x >> 1; | ^ In member function ‘__ct ’, inlined from ‘find_conflict_level’ at /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:3553:41: /build/cryptominisat5/src/cryptominisat-5.11.4/src/watched.h:61:15: warning: ‘offs’ may be used uninitialized [-Wmaybe-uninitialized] 61 | , type(static_cast(WatchType::watch_clause_t)) | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp: In member function ‘find_conflict_level’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/searcher.cpp:3498:18: note: ‘offs’ was declared here 3498 | ClOffset offs; | ^ In member function ‘setMatrixes’, inlined from ‘find_matrices’ at /build/cryptominisat5/src/cryptominisat-5.11.4/src/matrixfinder.cpp:204:39, inlined from ‘find_and_init_all_matrices’ at /build/cryptominisat5/src/cryptominisat-5.11.4/src/solver.cpp:3806:31: /build/cryptominisat5/src/cryptominisat-5.11.4/src/matrixfinder.cpp:414:35: warning: ‘ratio_sampling’ may be used uninitialized [-Wmaybe-uninitialized] 414 | << ratio_sampling*100.0 << " %"; | ^ /build/cryptominisat5/src/cryptominisat-5.11.4/src/matrixfinder.cpp: In member function ‘find_and_init_all_matrices’: /build/cryptominisat5/src/cryptominisat-5.11.4/src/matrixfinder.cpp:296:16: note: ‘ratio_sampling’ was declared here 296 | double ratio_sampling; | ^ [ 85%] Built target cryptominisat5 [ 90%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o [ 90%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [ 98%] Linking CXX executable ../cryptominisat5_simple [ 98%] Built target cryptominisat5_simple-bin [100%] Linking CXX executable ../cryptominisat5 [100%] Built target cryptominisat5-bin [100%] Built target man_cryptominisat5 validate_pyproject.api.load_builtin_plugin defines `tool.distutils` schema validate_pyproject.api.load_builtin_plugin defines `tool.setuptools` schema running build running build_py package init file 'src/msvc/__init__.py' not found (or not a regular file) package init file 'src/oracle/__init__.py' not found (or not a regular file) package init file 'src/picosat/__init__.py' not found (or not a regular file) 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 '*.h' under directory 'src/oracle/' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' creating build/lib.linux-riscv64-cpython-310 creating build/lib.linux-riscv64-cpython-310/msvc copying src/msvc/stdint.h -> build/lib.linux-riscv64-cpython-310/msvc creating build/lib.linux-riscv64-cpython-310/oracle copying src/oracle/bitset.hpp -> build/lib.linux-riscv64-cpython-310/oracle copying src/oracle/oracle.cpp -> build/lib.linux-riscv64-cpython-310/oracle copying src/oracle/oracle.hpp -> build/lib.linux-riscv64-cpython-310/oracle copying src/oracle/utils.hpp -> build/lib.linux-riscv64-cpython-310/oracle creating build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/config.h -> build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/picogcnf.c -> build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/picomcs.c -> build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/picomus.c -> build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/picosat.c -> build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/picosat.h -> build/lib.linux-riscv64-cpython-310/picosat copying src/picosat/version.c -> build/lib.linux-riscv64-cpython-310/picosat running build_clib building 'picosatlib' library creating build/temp.linux-riscv64-cpython-310 creating build/temp.linux-riscv64-cpython-310/src creating build/temp.linux-riscv64-cpython-310/src/picosat gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/picosat/ -c src/picosat/picogcnf.c -o build/temp.linux-riscv64-cpython-310/src/picosat/picogcnf.o gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/picosat/ -c src/picosat/picomcs.c -o build/temp.linux-riscv64-cpython-310/src/picosat/picomcs.o gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/picosat/ -c src/picosat/picomus.c -o build/temp.linux-riscv64-cpython-310/src/picosat/picomus.o gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/picosat/ -c src/picosat/picosat.c -o build/temp.linux-riscv64-cpython-310/src/picosat/picosat.o gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/picosat/ -c src/picosat/version.c -o build/temp.linux-riscv64-cpython-310/src/picosat/version.o ar rcs build/temp.linux-riscv64-cpython-310/libpicosatlib.a build/temp.linux-riscv64-cpython-310/src/picosat/picogcnf.o build/temp.linux-riscv64-cpython-310/src/picosat/picomcs.o build/temp.linux-riscv64-cpython-310/src/picosat/picomus.o build/temp.linux-riscv64-cpython-310/src/picosat/picosat.o build/temp.linux-riscv64-cpython-310/src/picosat/version.o running build_ext building 'pycryptosat' extension creating build/temp.linux-riscv64-cpython-310/python creating build/temp.linux-riscv64-cpython-310/python/src creating build/temp.linux-riscv64-cpython-310/src/oracle gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c python/src/GitSHA1.cpp -o build/temp.linux-riscv64-cpython-310/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c python/src/pycryptosat.cpp -o build/temp.linux-riscv64-cpython-310/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/bva.cpp -o build/temp.linux-riscv64-cpython-310/src/bva.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/ostream:38, from /usr/include/c++/12.2.0/iostream:39, from src/MersenneTwister.h:63, from src/heap.h:25, from src/bva.h:26, from src/bva.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:24: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/cardfinder.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/cardfinder.h:26, from src/cardfinder.cpp:24: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:34: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/ccnr.cpp -o build/temp.linux-riscv64-cpython-310/src/ccnr.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/ccnr_cms.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/ostream:38, from /usr/include/c++/12.2.0/iostream:39, from src/time_mem.h:30: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/clauseallocator.cpp -o build/temp.linux-riscv64-cpython-310/src/clauseallocator.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/watched.h:31, from src/clauseallocator.h:29, from src/clauseallocator.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/clausecleaner.cpp -o build/temp.linux-riscv64-cpython-310/src/clausecleaner.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/watched.h:31, from src/clausecleaner.h:27, from src/clausecleaner.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/cnf.cpp -o build/temp.linux-riscv64-cpython-310/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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/propby.h:27, from src/vardata.h:27, from src/cnf.h:30: /usr/include/c++/12.2.0/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++/12.2.0/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:762:17: warning: unused variable ‘cl’ [-Wunused-variable] 762 | Clause* cl = cl_alloc.ptr(offset); | ^~ src/cnf.cpp:768:21: warning: unused variable ‘cl’ [-Wunused-variable] 768 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/Vec.h:212: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:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/completedetachreattacher.cpp -o build/temp.linux-riscv64-cpython-310/src/completedetachreattacher.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/watched.h:31, from src/completedetachreattacher.h:27, from src/completedetachreattacher.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/cryptominisat.cpp -o build/temp.linux-riscv64-cpython-310/src/cryptominisat.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/cryptominisat.h:26, from src/cryptominisat.cpp:24: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/cryptominisat_c.cpp -o build/temp.linux-riscv64-cpython-310/src/cryptominisat_c.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/datasync.cpp -o build/temp.linux-riscv64-cpython-310/src/datasync.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/datasync.h:26, from src/datasync.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/distillerbin.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/iomanip:40, from src/distillerbin.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/distillerlitrem.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/distillerlitrem.h:26, from src/distillerlitrem.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:272:18: warning: unused variable ‘origTrailSize’ [-Wunused-variable] 272 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/distillerlong.cpp -o build/temp.linux-riscv64-cpython-310/src/distillerlong.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlong.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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/distillerlong.h:26, from src/distillerlong.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, from src/distillerlong.cpp:26: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/distillerlongwithimpl.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/distillerlongwithimpl.h:26, from src/distillerlongwithimpl.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/frat.cpp -o build/temp.linux-riscv64-cpython-310/src/frat.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/gatefinder.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/gatefinder.h:26, from src/gatefinder.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/gaussian.cpp -o build/temp.linux-riscv64-cpython-310/src/gaussian.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/iomanip:40, from src/gaussian.cpp:31: /usr/include/c++/12.2.0/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++/12.2.0/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:39, 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/get_clause_query.cpp -o build/temp.linux-riscv64-cpython-310/src/get_clause_query.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, from src/get_clause_query.cpp:28: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/get_clause_query.h:28, from src/get_clause_query.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:119:10: warning: unused variable ‘ret’ [-Wunused-variable] 119 | bool ret = get_next_small_clause(out, true); | ^~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/hyperengine.cpp -o build/temp.linux-riscv64-cpython-310/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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/intree.cpp -o build/temp.linux-riscv64-cpython-310/src/intree.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/intree.h:24, from src/intree.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/lucky.cpp -o build/temp.linux-riscv64-cpython-310/src/lucky.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/solver.h:27: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/lucky.cpp: In member function ‘void CMSat::Lucky::doit()’: src/lucky.cpp:42:10: warning: unused variable ‘ret’ [-Wunused-variable] 42 | bool ret = false; | ^~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/matrixfinder.cpp -o build/temp.linux-riscv64-cpython-310/src/matrixfinder.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/matrixfinder.h:26, from src/matrixfinder.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/matrixfinder.cpp: In member function ‘CMSat::MatrixFinder::setMatrixes()’: src/matrixfinder.cpp:414:35: warning: ‘ratio_sampling’ may be used uninitialized [-Wmaybe-uninitialized] 414 | << ratio_sampling*100.0 << " %"; | ^~~~~ src/matrixfinder.cpp:296:16: note: ‘ratio_sampling’ was declared here 296 | double ratio_sampling; | ^~~~~~~~~~~~~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/occsimplifier.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/ostream:38, from /usr/include/c++/12.2.0/iostream:39, from src/time_mem.h:30: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, from src/occsimplifier.cpp:42: src/cnf.h: In member function ‘void CMSat::CNF::check_no_removed_or_freed_cl_in_watch() const’: src/cnf.h:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/occsimplifier.cpp: In member function ‘void CMSat::OccSimplifier::extend_model(CMSat::SolutionExtender*)’: src/occsimplifier.cpp:254:24: warning: unused variable ‘outer’ [-Wunused-variable] 254 | 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:1749:14: warning: variable ‘val’ set but not used [-Wunused-but-set-variable] 1749 | auto val = solver->value(w.lit2()); | ^~~ src/occsimplifier.cpp:1785:17: warning: unused variable ‘cl’ [-Wunused-variable] 1785 | Clause* cl = solver->cl_alloc.ptr(w.get_offset()); | ^~ src/occsimplifier.cpp:1792:17: warning: unused variable ‘cl’ [-Wunused-variable] 1792 | 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:1830:14: warning: variable ‘rem_val’ set but not used [-Wunused-but-set-variable] 1830 | auto rem_val = solver->varData[v].removed; | ^~~~~~~ src/occsimplifier.cpp: In member function ‘void CMSat::OccSimplifier::find_equiv_subformula(std::vector&, std::vector&, bool)’: src/occsimplifier.cpp:1930:14: warning: variable ‘rem_val’ set but not used [-Wunused-but-set-variable] 1930 | auto rem_val = solver->varData[v].removed; | ^~~~~~~ src/occsimplifier.cpp: In member function ‘bool CMSat::OccSimplifier::cl_rem_with_or_gates()’: src/occsimplifier.cpp:2103:18: warning: variable ‘found’ set but not used [-Wunused-but-set-variable] 2103 | bool found = false; | ^~~~~ src/occsimplifier.cpp: In member function ‘bool CMSat::OccSimplifier::try_remove_lit_via_occurrence_simpl(const CMSat::OccurClause&)’: src/occsimplifier.cpp:4222:10: warning: variable ‘found_it’ set but not used [-Wunused-but-set-variable] 4222 | bool found_it = false; | ^~~~~~~~ In file included from src/heap.h:24, from src/occsimplifier.h:38, from src/occsimplifier.cpp:40: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/occsimplifier.cpp: In member function ‘CMSat::OccSimplifier::subs_with_resolvent_clauses()’: src/occsimplifier.cpp:1149:40: warning: ‘ID2’ may be used uninitialized [-Wmaybe-uninitialized] 1149 | if (ID3 == ID1 || ID3 == ID2 || sub.ws.red()) continue; | ~~~~~~~~~~~^~~~~~~~~~~~~ src/occsimplifier.cpp:1096:17: note: ‘ID2’ was declared here 1096 | int32_t ID2; | ^~~ src/occsimplifier.cpp:1149:54: warning: ‘ID1’ may be used uninitialized [-Wmaybe-uninitialized] 1149 | if (ID3 == ID1 || ID3 == ID2 || sub.ws.red()) continue; | ~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~ src/occsimplifier.cpp:1095:17: note: ‘ID1’ was declared here 1095 | int32_t ID1; | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/oracle/oracle.cpp -o build/temp.linux-riscv64-cpython-310/src/oracle/oracle.o -I../ -Isrc/ -std=c++17 src/oracle/oracle.cpp: In member function ‘void sspp::oracle::Oracle::ResizeClauseDb()’: src/oracle/oracle.cpp:259:36: warning: variable ‘w’ set but not used [-Wunused-but-set-variable] 259 | for (Watch w : watches[l]) { | ^ src/oracle/oracle.cpp: In member function ‘sspp::oracle::TriState sspp::oracle::Oracle::HardSolve(int64_t)’: src/oracle/oracle.cpp:786:13: warning: variable ‘last_var_ass_size’ set but not used [-Wunused-but-set-variable] 786 | int last_var_ass_size = 0; | ^~~~~~~~~~~~~~~~~ src/oracle/oracle.cpp: In member function ‘void sspp::oracle::Oracle::AddOrigClause(std::vector, bool)’: src/oracle/oracle.cpp:852:18: warning: unused variable ‘lit’ [-Wunused-variable] 852 | for (Lit lit : clause) { | ^~~ src/oracle/oracle.cpp: In member function ‘std::vector sspp::oracle::Oracle::InferUnits(const std::vector&)’: src/oracle/oracle.cpp:1055:18: warning: unused variable ‘lit’ [-Wunused-variable] 1055 | for (Lit lit : assumps) { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/packedrow.cpp -o build/temp.linux-riscv64-cpython-310/src/packedrow.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/propengine.cpp -o build/temp.linux-riscv64-cpython-310/src/propengine.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37, 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/deque:65, from /usr/include/c++/12.2.0/stack:60, from src/propengine.h:29: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/reducedb.cpp -o build/temp.linux-riscv64-cpython-310/src/reducedb.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/watched.h:31, from src/clauseallocator.h:29, from src/reducedb.h:26, from src/reducedb.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/sccfinder.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/ostream:38, from /usr/include/c++/12.2.0/iostream:39, from src/sccfinder.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/varreplacer.h:35, from src/sccfinder.cpp:29: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/searcher.cpp -o build/temp.linux-riscv64-cpython-310/src/searcher.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/searcher.h:28, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h: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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/deque:65, from /usr/include/c++/12.2.0/stack:60, from src/propengine.h:29: /usr/include/c++/12.2.0/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++/12.2.0/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:2467:21: warning: variable ‘ret’ set but not used [-Wunused-but-set-variable] 2467 | 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:2863:16: warning: variable ‘confl’ set but not used [-Wunused-but-set-variable] 2863 | PropBy confl = propagate(); | ^~~~~ src/searcher.cpp:2876:20: warning: variable ‘confl’ set but not used [-Wunused-but-set-variable] 2876 | PropBy confl = propagate(); | ^~~~~ src/searcher.cpp: In member function ‘std::pair CMSat::Searcher::remove_useless_bins(bool)’: src/searcher.cpp:3087:22: warning: unused variable ‘rem2’ [-Wunused-variable] 3087 | bool rem2 = removeWBin_except_marked( | ^~~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ In member function ‘CMSat::vec::push(CMSat::Watched const&)’, inlined from ‘CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’ at src/searcher.cpp:3553:40: src/Vec.h:140:9: warning: ‘offs’ may be used uninitialized [-Wmaybe-uninitialized] 140 | data[sz++] = elem; | ^~~~ src/searcher.cpp: In member function ‘CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’: src/searcher.cpp:3498:18: note: ‘offs’ was declared here 3498 | ClOffset offs; | ^~~~ src/searcher.cpp: In member function ‘CMSat::Searcher::handle_conflict(CMSat::PropBy)’: src/searcher.cpp:1887:35: warning: ‘glue_before_minim’ may be used uninitialized [-Wmaybe-uninitialized] 1887 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1888 | glue, | ~~~~~ 1889 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1890 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1891 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1892 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1893 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1894 | ID | ~~ 1895 | ); | ~ src/searcher.cpp:1828:14: note: ‘glue_before_minim’ declared here 1828 | uint32_t glue_before_minim; | ^~~~~~~~~~~~~~~~~ src/searcher.cpp:1887:35: warning: ‘size_before_minim’ may be used uninitialized [-Wmaybe-uninitialized] 1887 | Clause* cl = handle_last_confl( | ~~~~~~~~~~~~~~~~~^ 1888 | glue, | ~~~~~ 1889 | old_decision_level, | ~~~~~~~~~~~~~~~~~~~ 1890 | glue_before_minim, | ~~~~~~~~~~~~~~~~~~ 1891 | size_before_minim, | ~~~~~~~~~~~~~~~~~~ 1892 | false, // is decision? | ~~~~~~~~~~~~~~~~~~~~~~ 1893 | connects_num_communities, | ~~~~~~~~~~~~~~~~~~~~~~~~~ 1894 | ID | ~~ 1895 | ); | ~ src/searcher.cpp:1829:14: note: ‘size_before_minim’ declared here 1829 | uint32_t size_before_minim; | ^~~~~~~~~~~~~~~~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/searchstats.cpp -o build/temp.linux-riscv64-cpython-310/src/searchstats.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/sls.cpp -o build/temp.linux-riscv64-cpython-310/src/sls.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/sls.h:26, from src/sls.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/solutionextender.cpp -o build/temp.linux-riscv64-cpython-310/src/solutionextender.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/istream:38, from /usr/include/c++/12.2.0/sstream:38, from src/solvertypes.h:29, from src/solutionextender.h:26, from src/solutionextender.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/solver.cpp -o build/temp.linux-riscv64-cpython-310/src/solver.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/solver.h:27: /usr/include/c++/12.2.0/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++/12.2.0/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:617:21: warning: unused variable ‘cl2’ [-Wunused-variable] 617 | Clause* cl2 = add_clause_int(lits); | ^~~ src/solver.cpp:637:21: warning: unused variable ‘cl2’ [-Wunused-variable] 637 | Clause* cl2 = add_clause_int(lits); | ^~~ src/solver.cpp: In member function ‘void CMSat::Solver::test_renumbering() const’: src/solver.cpp:942:10: warning: variable ‘problem’ set but not used [-Wunused-but-set-variable] 942 | bool problem = false; | ^~~~~~~ src/solver.cpp: In member function ‘std::vector CMSat::Solver::get_zero_assigned_lits(bool, bool) const’: src/solver.cpp:2787:23: warning: variable ‘lit’ set but not used [-Wunused-but-set-variable] 2787 | 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:4810:21: warning: unused variable ‘p’ [-Wunused-variable] 4810 | 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:5085:29: warning: unused variable ‘l’ [-Wunused-variable] 5085 | for(auto const& l: cl) assert(l.var() < nVars()); | ^ src/solver.cpp: In member function ‘bool CMSat::Solver::sparsify()’: src/solver.cpp:5193:29: warning: unused variable ‘l’ [-Wunused-variable] 5193 | for(auto const& l: cl) assert(l.var() < nVars()); | ^ In file included from src/heap.h:24, from src/propengine.h:39: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/solverconf.cpp -o build/temp.linux-riscv64-cpython-310/src/solverconf.o -I../ -Isrc/ -std=c++17 gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/str_impl_w_impl.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/str_impl_w_impl.h:26, from src/str_impl_w_impl.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/subsumeimplicit.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/subsumeimplicit.h:26, from src/subsumeimplicit.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | 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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/subsumestrengthen.cpp -o build/temp.linux-riscv64-cpython-310/src/subsumestrengthen.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/string:48, from /usr/include/c++/12.2.0/bits/locale_classes.h:40, from /usr/include/c++/12.2.0/bits/ios_base.h:41, from /usr/include/c++/12.2.0/ios:42, from /usr/include/c++/12.2.0/ostream:38, from /usr/include/c++/12.2.0/iostream:39, from src/solvertypesmini.h:27, from src/subsumestrengthen.h:27, from src/subsumestrengthen.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/varreplacer.cpp -o build/temp.linux-riscv64-cpython-310/src/varreplacer.o -I../ -Isrc/ -std=c++17 In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/searcher.h:30, from src/solver.h:37: 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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/stl_tree.h:65, from /usr/include/c++/12.2.0/map:60, from src/varreplacer.h:26, from src/varreplacer.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/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:787:20: warning: unused variable ‘sub_var_inter’ [-Wunused-variable] 787 | 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:35: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -ffat-lto-objects -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O3 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -g -ffile-prefix-map=/build/python/src=/usr/src/debug -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto -fPIC -Isrc/ -I/usr/include/python3.10 -c src/xorfinder.cpp -o build/temp.linux-riscv64-cpython-310/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++/12.2.0/bits/stl_function.h:1438, from /usr/include/c++/12.2.0/bits/refwrap.h:39, from /usr/include/c++/12.2.0/vector:66, from src/xorfinder.h:26, from src/xorfinder.cpp:23: /usr/include/c++/12.2.0/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++/12.2.0/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from src/propengine.h:43, from src/solver.h:36, 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:618:21: warning: unused variable ‘cl’ [-Wunused-variable] 618 | 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:654:18: warning: unused variable ‘cl’ [-Wunused-variable] 654 | Clause * cl = cl_alloc.ptr(offs); | ^~ src/cnf.h:659:22: warning: unused variable ‘cl’ [-Wunused-variable] 659 | Clause * cl = cl_alloc.ptr(offs); | ^~ In file included from src/watcharray.h:28, from src/xorfinder.h:35: src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: src/watcharray.h:152:30: required from here src/Vec.h:229: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] 229 | T* data2 = (T*)realloc(data, sz*sizeof(T)); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: src/Vec.h:291:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ src/watcharray.h:90:27: required from here src/Vec.h:265: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] 265 | if (((data = (T*)::realloc(data, cap * sizeof(T))) == NULL) && errno == ENOMEM) { | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ src/Vec.h:42:7: note: ‘class CMSat::vec’ declared here 42 | class vec { | ^~~ g++ -shared -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=auto -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=auto -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -flto=auto -march=rv64gc -mabi=lp64d -O2 -pipe -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -flto=auto build/temp.linux-riscv64-cpython-310/python/src/GitSHA1.o build/temp.linux-riscv64-cpython-310/python/src/pycryptosat.o build/temp.linux-riscv64-cpython-310/src/bva.o build/temp.linux-riscv64-cpython-310/src/cardfinder.o build/temp.linux-riscv64-cpython-310/src/ccnr.o build/temp.linux-riscv64-cpython-310/src/ccnr_cms.o build/temp.linux-riscv64-cpython-310/src/clauseallocator.o build/temp.linux-riscv64-cpython-310/src/clausecleaner.o build/temp.linux-riscv64-cpython-310/src/cnf.o build/temp.linux-riscv64-cpython-310/src/completedetachreattacher.o build/temp.linux-riscv64-cpython-310/src/cryptominisat.o build/temp.linux-riscv64-cpython-310/src/cryptominisat_c.o build/temp.linux-riscv64-cpython-310/src/datasync.o build/temp.linux-riscv64-cpython-310/src/distillerbin.o build/temp.linux-riscv64-cpython-310/src/distillerlitrem.o build/temp.linux-riscv64-cpython-310/src/distillerlong.o build/temp.linux-riscv64-cpython-310/src/distillerlongwithimpl.o build/temp.linux-riscv64-cpython-310/src/frat.o build/temp.linux-riscv64-cpython-310/src/gatefinder.o build/temp.linux-riscv64-cpython-310/src/gaussian.o build/temp.linux-riscv64-cpython-310/src/get_clause_query.o build/temp.linux-riscv64-cpython-310/src/hyperengine.o build/temp.linux-riscv64-cpython-310/src/intree.o build/temp.linux-riscv64-cpython-310/src/lucky.o build/temp.linux-riscv64-cpython-310/src/matrixfinder.o build/temp.linux-riscv64-cpython-310/src/occsimplifier.o build/temp.linux-riscv64-cpython-310/src/oracle/oracle.o build/temp.linux-riscv64-cpython-310/src/packedrow.o build/temp.linux-riscv64-cpython-310/src/propengine.o build/temp.linux-riscv64-cpython-310/src/reducedb.o build/temp.linux-riscv64-cpython-310/src/sccfinder.o build/temp.linux-riscv64-cpython-310/src/searcher.o build/temp.linux-riscv64-cpython-310/src/searchstats.o build/temp.linux-riscv64-cpython-310/src/sls.o build/temp.linux-riscv64-cpython-310/src/solutionextender.o build/temp.linux-riscv64-cpython-310/src/solver.o build/temp.linux-riscv64-cpython-310/src/solverconf.o build/temp.linux-riscv64-cpython-310/src/str_impl_w_impl.o build/temp.linux-riscv64-cpython-310/src/subsumeimplicit.o build/temp.linux-riscv64-cpython-310/src/subsumestrengthen.o build/temp.linux-riscv64-cpython-310/src/varreplacer.o build/temp.linux-riscv64-cpython-310/src/xorfinder.o -L/usr/lib -Lbuild/temp.linux-riscv64-cpython-310 -lpicosatlib -o build/lib.linux-riscv64-cpython-310/pycryptosat.cpython-310-riscv64-linux-gnu.so ==> Starting check()... test_3_long (__main__.TestXor) ... ok test_3_long2 (__main__.TestXor) ... ok test_binary (__main__.TestXor) ... ok test_long (__main__.TestXor) ... ok test_unit (__main__.TestXor) ... ok test_unit2 (__main__.TestXor) ... ok test_wrong_args (__main__.TestXor) ... ok test_wrong_args_to_solver (__main__.InitTester) ... ok test_add_clauses (__main__.TestSolve) ... ok test_add_clauses_array_SAT (__main__.TestSolve) ... ok test_add_clauses_array_UNSAT (__main__.TestSolve) ... ok test_add_clauses_array_unterminated (__main__.TestSolve) ... ok test_add_clauses_wrong_zero (__main__.TestSolve) ... ok test_bad_iter (__main__.TestSolve) ... ok test_by_re_curse (__main__.TestSolve) ... ok test_cnf1 (__main__.TestSolve) ... ok test_cnf1_confl_limit (__main__.TestSolve) ... ok test_cnf2 (__main__.TestSolve) ... ok test_cnf3 (__main__.TestSolve) ... ok test_get_conflict (__main__.TestSolve) ... ok test_no_clauses (__main__.TestSolve) ... ok test_wrong_args (__main__.TestSolve) ... ok test_max_glue_missing (__main__.TestDump) ... ok test_one_dump (__main__.TestDump) ... /build/cryptominisat5/src/cryptominisat-5.11.4/python/tests/test_pycryptosat.py:179: DeprecationWarning: Please use assertNotEqual instead. self.assertNotEquals(x, None) ok test_time (__main__.TestSolveTimeLimit) ... FAIL ====================================================================== FAIL: test_time (__main__.TestSolveTimeLimit) ---------------------------------------------------------------------- Traceback (most recent call last): File "/build/cryptominisat5/src/cryptominisat-5.11.4/python/tests/test_pycryptosat.py", line 333, in test_time self.assertLess(took_time, 4) AssertionError: 5.039269208908081 not less than 4 ---------------------------------------------------------------------- Ran 25 tests in 7.358s FAILED (failures=1) sys.prefix: /usr sys.version: 3.10.7 (main, Sep 11 2022, 10:34:06) [GCC 12.1.1 20220730] pycryptosat version: '${CMS_FULL_VERSION}' Summary: 0 errors and 1 failures reported ==> ERROR: A failure occurred in check().  Aborting... ==> ERROR: Build failed, check /var/lib/archbuild/extra-riscv64/felix3/build receiving incremental file list cryptominisat5-5.11.4-1-riscv64-build.log cryptominisat5-5.11.4-1-riscv64-check.log cryptominisat5-5.11.4-1-riscv64-prepare.log sent 81 bytes received 13,135 bytes 8,810.67 bytes/sec total size is 232,261 speedup is 17.57