Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 852218 Details for
Bug 895118
sci-mathematics/cryptominisat-5.11.21 - /.../picosat.c: fatal error: sys/unistd.h: No such file or directory
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:cryptominisat-5.11.4:20230217-113309.log
sci-mathematics:cryptominisat-5.11.4:20230217-113309.log (text/plain), 71.82 KB, created by
Toralf Förster
on 2023-02-17 12:53:05 UTC
(
hide
)
Description:
sci-mathematics:cryptominisat-5.11.4:20230217-113309.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2023-02-17 12:53:05 UTC
Size:
71.82 KB
patch
obsolete
> * Package: sci-mathematics/cryptominisat-5.11.4:0/5.11.4 > * Repository: gentoo > * Maintainer: sci-mathematics@gentoo.org > * Upstream: https://github.com/msoos/cryptominisat/issues/ > * USE: abi_x86_64 amd64 elibc_musl kernel_linux userland_GNU > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox > >>>> Unpacking source... >>>> Unpacking cryptominisat-5.11.4.tar.gz to /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 ... > * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4" > * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build" >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 ... > * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4" > * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build" >cmake -C /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DNOBREAKID=ON -DNOM4RI=ON -DENABLE_TESTING=OFF -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 >loading initial cache file /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/gentoo_common_config.cmake >-- The CXX compiler identification is GNU 12.2.1 >-- Detecting CXX compiler ABI info >-- Detecting CXX compiler ABI info - done >-- Check for working CXX compiler: /usr/bin/x86_64-gentoo-linux-musl-g++ - skipped >-- Detecting CXX compile features >-- Detecting CXX compile features - done >-- LIB directory is 'lib' >-- BIN directory is '' >-- Doing a RelWithDebInfo build >-- The C compiler identification is GNU 12.2.1 >-- Detecting C compiler ABI info >-- Detecting C compiler ABI info - done >-- Check for working C compiler: /usr/bin/x86_64-gentoo-linux-musl-gcc - 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 - Success >-- Performing Test HAVE_FLAG_-msse4.2 >-- Performing Test HAVE_FLAG_-msse4.2 - Success >-- Performing Test HAVE_FLAG_-Wextra-semi-stmt >-- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed >-- Performing Test HAVE_FLAG_-Wnoweak-vtables >-- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed >-- Performing Test HAVE_FLAG_-ggdb3 >-- Performing Test HAVE_FLAG_-ggdb3 - Success >-- Compiling for dynamic library use >-- GIT hash found: GIT-notfound >-- PROJECT_VERSION: 5.11.4 >-- PROJECT_VERSION_MAJOR: 5 >-- PROJECT_VERSION_MINOR: 11 >-- PROJECT_VERSION_PATCH: 4 >-- Found Boost: /usr/lib/cmake/Boost-1.81.0/BoostConfig.cmake (found suitable version "1.81.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.13") >-- 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 > > >-- <<< Gentoo configuration >>> >Build type RelWithDebInfo >Install path /usr >Compiler flags: >C -pipe -march=native -fno-diagnostics-color -O2 >C++ -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 >Linker flags: >Executable -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -O2 -Wl,--discard-all -Wl,--build-id=sha1 >Module -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 >Shared -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -O2 > >-- Configuring done >-- Generating done >-- Build files have been written to: /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 ... > * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4" > * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build" >ninja -v -j4 -l0 >[1/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/frat.cpp >[2/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/clausecleaner.cpp >[3/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/propengine.cpp >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/propengine.cpp: In member function 'CMSat::lbool CMSat::PropEngine::bnn_prop(uint32_t, uint32_t, CMSat::Lit, CMSat::BNNPropType)': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/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) > | ~~~~^ >[4/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/cnf.cpp >In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/cnf.h:35, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/cnf.cpp:23: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/frat.h: In instantiation of 'CMSat::Drat& CMSat::DratFile<binfrat>::operator<<(const char*) [with bool binfrat = false]': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/frat.h:417:19: required from here >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/frat.h:417:42: warning: unused parameter 'str' [-Wunused-parameter] > 417 | virtual Drat& operator<<(const char* str) > | ~~~~~~~~~~~~^~~ >[5/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/varreplacer.cpp >[6/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/gatefinder.cpp >[7/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/clauseallocator.cpp >[8/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solverconf.cpp >[9/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/sccfinder.cpp >[10/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/subsumestrengthen.cpp >[11/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/distillerlitrem.cpp >[12/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/distillerbin.cpp >[13/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/distillerlong.cpp >[14/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/distillerlongwithimpl.cpp >[15/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/str_impl_w_impl.cpp >[16/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solutionextender.cpp >[17/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/completedetachreattacher.cpp >[18/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/hyperengine.cpp >[19/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::find_equiv_subformula(std::vector<unsigned int>&, std::vector<unsigned int>&, bool)': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:1909:70: warning: unused parameter 'mirror_empty' [-Wunused-parameter] > 1909 | vector<uint32_t>& sampl_vars, vector<uint32_t>& empty_vars, bool mirror_empty) > | ~~~~~^~~~~~~~~~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::subs_with_resolvent_clauses()': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:1149:47: warning: 'ID2' may be used uninitialized [-Wmaybe-uninitialized] > 1149 | if (ID3 == ID1 || ID3 == ID2 || sub.ws.red()) continue; > | ~~~~^~~~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:1096:17: note: 'ID2' was declared here > 1096 | int32_t ID2; > | ^~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:1149:33: warning: 'ID1' may be used uninitialized [-Wmaybe-uninitialized] > 1149 | if (ID3 == ID1 || ID3 == ID2 || sub.ws.red()) continue; > | ~~~~^~~~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:1095:17: note: 'ID1' was declared here > 1095 | int32_t ID1; > | ^~~ >In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:40: >In copy constructor 'CMSat::OccSimplifier::Tri::Tri(const CMSat::OccSimplifier::Tri&)', > inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = CMSat::OccSimplifier::Tri; _Args = {const CMSat::OccSimplifier::Tri&}; _Tp = CMSat::OccSimplifier::Tri]' at /usr/lib/gcc/x86_64-gentoo-linux-musl/12/include/g++-v12/bits/new_allocator.h:175:4, > inlined from 'static void std::allocator_traits<std::allocator<_CharT> >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = CMSat::OccSimplifier::Tri; _Args = {const CMSat::OccSimplifier::Tri&}; _Tp = CMSat::OccSimplifier::Tri]' at /usr/lib/gcc/x86_64-gentoo-linux-musl/12/include/g++-v12/bits/alloc_traits.h:516:17, > inlined from 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = CMSat::OccSimplifier::Tri; _Alloc = std::allocator<CMSat::OccSimplifier::Tri>]' at /usr/lib/gcc/x86_64-gentoo-linux-musl/12/include/g++-v12/bits/stl_vector.h:1281:30, > inlined from 'void CMSat::OccSimplifier::check_ternary_cl(CMSat::Clause*, CMSat::ClOffset, CMSat::watch_subarray)' at /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.cpp:2848:48: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.h:324:19: warning: writing 12 bytes into a region of size 4 [-Wstringop-overflow=] > 324 | memcpy(lits, other.lits, sizeof(Lit)*3); > | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ >In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solverconf.h:30, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/clause.h:33, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/occsimplifier.h:36: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solvertypesmini.h: In member function 'void CMSat::OccSimplifier::check_ternary_cl(CMSat::Clause*, CMSat::ClOffset, CMSat::watch_subarray)': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solvertypesmini.h:42:14: note: destination object 'CMSat::Lit::x' of size 4 > 42 | uint32_t x; > | ^ >[20/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/subsumeimplicit.cpp >[21/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/datasync.cpp >[22/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/reducedb.cpp >[23/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp: In member function 'void CMSat::Searcher::print_learning_debug_info(int32_t) const': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/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 > | ~~~~~~~~~~~~~~^~ >In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solverconf.h:30, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solvertypes.h:38, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/propby.h:27, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/propengine.h:34, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.h:28, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp:23: >In member function 'constexpr uint32_t CMSat::Lit::var() const', > inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp:3532:51: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] > 67 | return x >> 1; > | ^ >In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/heap.h:24, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/propengine.h:39: >In member function 'void CMSat::vec<T>::push(const T&) [with T = CMSat::Watched]', > inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp:3553:40: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/Vec.h:140:9: warning: 'offs' may be used uninitialized [-Wmaybe-uninitialized] > 140 | data[sz++] = elem; > | ^~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp:3498:18: note: 'offs' was declared here > 3498 | ClOffset offs; > | ^~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp: In member function 'bool CMSat::Searcher::handle_conflict(CMSat::PropBy)': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/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 | ); > | ~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp:1829:14: note: 'size_before_minim' declared here > 1829 | uint32_t size_before_minim; > | ^~~~~~~~~~~~~~~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/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 | ); > | ~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.cpp:1828:14: note: 'glue_before_minim' declared here > 1828 | uint32_t glue_before_minim; > | ^~~~~~~~~~~~~~~~~ >[24/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/intree.cpp >[25/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searchstats.cpp >[26/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/bva.cpp >[27/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/cryptominisat_c.cpp >[28/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/cardfinder.cpp >[29/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/sls.cpp >[30/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solver.cpp >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solver.cpp: In member function 'bool CMSat::Solver::add_clause_outer(std::vector<CMSat::Lit>&)': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/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 /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solver.h:37, > from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/solver.cpp:23: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/searcher.h:216:21: note: shadowed declaration is here > 216 | SearchStats stats; > | ^~~~~ >[31/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/sqlstats.cpp >[32/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/vardistgen.cpp >[33/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/ccnr.cpp >[34/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/xorfinder.cpp >[35/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/lucky.cpp >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/lucky.cpp: In member function 'void CMSat::Lucky::doit()': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/lucky.cpp:42:10: warning: unused variable 'ret' [-Wunused-variable] > 42 | bool ret = false; > | ^~~ >[36/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/ccnr_cms.cpp >[37/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/packedrow.cpp >[38/57] /usr/bin/x86_64-gentoo-linux-musl-gcc -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu99 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c >FAILED: cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o >/usr/bin/x86_64-gentoo-linux-musl-gcc -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu99 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c >In file included from /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c:26: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c: In function 'fixvar': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/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); > | ^~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/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)) > | ^ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' > 1943 | assert (VAR2LIT (v) != UNDEF); > | ^~~~~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c: At top level: >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c:8150:10: fatal error: sys/unistd.h: No such file or directory > 8150 | #include <sys/unistd.h> > | ^~~~~~~~~~~~~~ >compilation terminated. >[39/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/get_clause_query.cpp >[40/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/matrixfinder.cpp >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()': >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/matrixfinder.cpp:414:35: warning: 'ratio_sampling' may be used uninitialized [-Wmaybe-uninitialized] > 414 | << ratio_sampling*100.0 << " %"; > | ^~~~~ >/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/matrixfinder.cpp:296:16: note: 'ratio_sampling' was declared here > 296 | double ratio_sampling; > | ^~~~~~~~~~~~~~ >[41/57] /usr/bin/x86_64-gentoo-linux-musl-g++ -DBOOST_TEST_DYN_LINK -DRDB0_ONLY_FEATURES -DTRACE -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4 -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build/cmsat5-src -I/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src -pipe -march=native -fno-diagnostics-color -O2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -fno-diagnostics-color -g -pthread -O2 -fPIC -std=gnu++17 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -MF cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o.d -o cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/gaussian.cpp >ninja: build stopped: subcommand failed. > * ERROR: sci-mathematics/cryptominisat-5.11.4::gentoo failed (compile phase): > * ninja -v -j4 -l0 failed > * > * Call stack: > * ebuild.sh, line 136: Called src_compile > * environment, line 2238: Called cmake_src_compile > * environment, line 963: Called cmake_build > * environment, line 932: Called eninja > * environment, line 1387: Called die > * The specific snippet of code: > * "$@" || die -n "${*} failed" > * > * If you need support, post the output of `emerge --info '=sci-mathematics/cryptominisat-5.11.4::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/cryptominisat-5.11.4::gentoo'`. > * The complete build log is located at '/var/log/portage/sci-mathematics:cryptominisat-5.11.4:20230217-113309.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4_build' > * S: '/var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4' >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 895118
:
852208
|
852210
|
852212
|
852214
|
852216
| 852218 |
852220