==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: stp 2.3.4-4 (Fri May 2 21:30:15 2025)
==> Retrieving sources...
-> Found stp-2.3.4.tar.gz
-> Found mandir.patch
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
stp-2.3.4.tar.gz ... Passed
mandir.patch ... Passed
==> Making package: stp 2.3.4-4 (Fri 02 May 2025 09:30:21 PM MDT)
==> Checking runtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (3) boost-libs-1.88.0-2 cryptominisat-5.12.1-1
minisat-2.2.1.20201216-2
Total Download Size: 0.89 MiB
Total Installed Size: 15.64 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
cryptominisat-5.12.1-1-aarch64 downloading...
minisat-2.2.1.20201216-2-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing boost-libs...
Optional dependencies for boost-libs
openmpi: for mpi support
installing cryptominisat...
Optional dependencies for cryptominisat
python: python module [installed]
installing minisat...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
[?25h==> Checking buildtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (20) cppdap-1.58.0-2 hicolor-icon-theme-0.18-1 jsoncpp-1.9.6-3
libuv-1.51.0-1 perl-locale-gettext-1.07-15
python-autocommand-2.2.2-7 python-jaraco.collections-5.1.0-1
python-jaraco.context-6.0.1-1 python-jaraco.functools-4.1.0-1
python-jaraco.text-4.0.0-2 python-more-itertools-10.6.0-1
python-packaging-25.0-1 python-platformdirs-4.3.6-2
python-wheel-0.45.1-1 rhash-1.4.4-1 boost-1.88.0-2
cmake-4.0.1-2 help2man-1.49.3-2 ninja-1.12.1-2
python-setuptools-1:79.0.1-1
Total Download Size: 0.20 MiB
Total Installed Size: 296.40 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
help2man-1.49.3-2-aarch64 downloading...
perl-locale-gettext-1.07-15-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing boost...
Optional dependencies for boost
python: for python bindings [installed]
installing cppdap...
installing hicolor-icon-theme...
installing jsoncpp...
Optional dependencies for jsoncpp
jsoncpp-doc: documentation
installing libuv...
installing rhash...
installing cmake...
Optional dependencies for cmake
make: for unix Makefile generator [installed]
ninja: for ninja generator [pending]
qt6-base: cmake-gui
installing perl-locale-gettext...
installing help2man...
installing ninja...
installing python-more-itertools...
installing python-jaraco.functools...
installing python-jaraco.context...
installing python-autocommand...
installing python-jaraco.text...
Optional dependencies for python-jaraco.text
python-inflect: for show-newlines script
installing python-jaraco.collections...
installing python-packaging...
installing python-platformdirs...
installing python-wheel...
Optional dependencies for python-wheel
python-keyring: for wheel.signatures
python-xdg: for wheel.signatures
python-setuptools: for legacy bdist_wheel subcommand [pending]
installing python-setuptools...
:: Running post-transaction hooks...
(1/3) Arming ConditionNeedsUpdate...
(2/3) Checking for old perl modules...
(3/3) Updating the info directory file...
[?25h==> Retrieving sources...
-> Found stp-2.3.4.tar.gz
-> Found mandir.patch
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Extracting stp-2.3.4.tar.gz with bsdtar
==> Starting prepare()...
patching file CMakeLists.txt
Hunk #1 succeeded at 530 (offset 43 lines).
==> Starting build()...
-- The C compiler identification is GNU 14.2.1
-- The CXX compiler identification is GNU 14.2.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/lib/distcc/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/distcc/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Doing a None build
-- Performing Test HAVE_FLAG_STD_CPP11
-- Performing Test HAVE_FLAG_STD_CPP11 - 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_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Failed
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- PROJECT_VERSION: 2.3.3
-- PROJECT_VERSION_MAJOR: 2
-- PROJECT_VERSION_MINOR: 3
-- PROJECT_VERSION_PATCH: 3
-- Found Boost: /usr/lib/cmake/Boost-1.88.0/BoostConfig.cmake (found suitable version "1.88.0", minimum required is "1.46") found components: program_options
-- Found PkgConfig: /usr/bin/pkg-config (found version "2.4.3")
-- Checking for module 'gmp'
-- Found gmp, version 6.3.0
-- Found GMP: /usr/lib/libgmpxx.so
-- GMP includes: /usr/include
-- GMP libraries: /usr/lib/libgmpxx.so;/usr/lib/libgmp.so
-- CryptoMiniSat5 dynamic lib: cryptominisat5
-- CryptoMiniSat5 static lib: cryptominisat5
-- CryptoMiniSat5 static lib deps:
-- CryptoMiniSat5 include dirs: /usr/include
-- Found ZLIB: /usr/lib/libz.so (found version "1.3.1")
-- Manpage will be created and installed
-- Finding minisat headers...
-- looking at:
-- found: MINISAT_INCLUDE_DIR: /usr/include
-- Finding minisat libs...
-- looking at:
-- found: MINISAT_LIBRARY: /lib/libminisat.so
-- Found minisat: /lib/libminisat.so
-- OK, found Minisat library under /lib/libminisat.so and Minisat include dirs under /usr/include
-- Found BISON: /usr/bin/bison (found version "3.8.2")
-- Found FLEX: /usr/bin/flex (found version "2.6.4")
-- Found Perl: /usr/bin/perl (found version "5.40.2")
-- All defines at startup: -D__STDC_LIMIT_MACROS -DUSE_CRYPTOMINISAT
-- Found PythonInterp: /usr/bin/python (found version "3.13.3")
-- Final CXX flags -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -fno-omit-frame-pointer
-- Looking for unistd.h
-- Looking for unistd.h - found
-- Performing Test HAVE_C_FLAG_-fPIC
-- Performing Test HAVE_C_FLAG_-fPIC - Success
-- Detected python site package directory /usr/lib/python3.13/site-packages
-- The following features have been enabled:
* Assertions, Enables assertions
* ThreadLocal, Enables use of thread-local storage when available
* CryptoMiniSat, Enables CryptoMiniSat solver, allows --cryptominisat5 option
* PythonInterface, Enables Python interface
* Executables, Enables executables compilation
-- The following features have been disabled:
* Sanitizers, Enables Clang sanitizers, will force using clang++ as the compiler
* Static, Compiles static library and executable
* SimpleOptions, Simplifies command-line interface, only a few command-line options will be available
* Riss, Enables Riss solver
* Tests, Enables tests
-- Configuring done (7.6s)
-- Generating done (0.2s)
-- Build files have been written to: /build/stp/src/build
[ 1%] Generating ASTKind.cpp, ../../include/stp/AST/ASTKind.h
[ 2%] Building CXX object lib/extlib-constbv/CMakeFiles/constantbv.dir/constantbv.cpp.o
[ 3%] Building CXX object lib/Sat/CMakeFiles/sat.dir/MinisatCore.cpp.o
[ 4%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigDfs.c.o
[ 5%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMan.c.o
[ 5%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigFanout.c.o
[ 6%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigCheck.c.o
[ 7%] Generating ../../include/stp/c_interface.h
LEGACY: Copying c_interface.h to /build/stp/src/build/include/stp
[ 7%] Generating ../../include/stp/cpp_interface.h
[ 7%] Built target ASTKind_header
LEGACY: Copying cpp_interface.h to /build/stp/src/build/include/stp
[ 8%] Building CXX object lib/Sat/CMakeFiles/sat.dir/SimplifyingMinisat.cpp.o
[ 8%] Built target CopyPublicHeaders
[ 9%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMem.c.o
[ 9%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/HashingNodeFactory.cpp.o
[ 10%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMffc.c.o
[ 10%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigObj.c.o
[ 11%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOper.c.o
[ 12%] Building CXX object lib/Globals/CMakeFiles/stpglobals.dir/Globals.cpp.o
[ 13%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOrder.c.o
[ 14%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigPart.c.o
[ 15%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTKind.cpp.o
[ 15%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRepr.c.o
[ 16%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o
[ 17%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRet.c.o
[ 19%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/NodeFactory.cpp.o
[ 19%] Building CXX object lib/Sat/CMakeFiles/sat.dir/CryptoMinisat5.cpp.o
[ 19%] Built target constantbv
[ 20%] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/AbstractionRefinement.cpp.o
[ 21%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigScl.c.o
[ 21%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigSeq.c.o
[ 22%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/SimplifyingNodeFactory.cpp.o
[ 23%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigShow.c.o
[ 23%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTNode.cpp.o
[ 23%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/BVSolver.cpp.o
[ 24%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTable.c.o
[ 24%] Built target stpglobals
[ 25%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTime.c.o
[ 25%] Built target sat
[ 25%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTiming.c.o
[ 26%] Building CXX object lib/Printer/CMakeFiles/printer.dir/AssortedPrinters.cpp.o
[ 27%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTruth.c.o
[ 28%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/TypeChecker.cpp.o
[ 28%] Generating parsesmt.tab.cpp, parsesmt.tab.h, lexsmt.cpp
/build/stp/src/stp-2.3.4/lib/Parser/smt.y: warning: 72 shift/reduce conflicts [-Wconflicts-sr]
/build/stp/src/stp-2.3.4/lib/Parser/smt.y: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples
[ 29%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTsim.c.o
[ 30%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigUtil.c.o
[ 30%] Built target parser_headersmt
[ 31%] Generating parsecvc.tab.cpp, parsecvc.tab.h, lexcvc.cpp
/build/stp/src/stp-2.3.4/lib/Parser/cvc.y:1053.3-1058.1: warning: rule useless in parser due to conflicts [-Wother]
1053 | | Updates WITH_TOK '[' Expr ']' ASSIGN_TOK Expr
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 32%] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/CounterExample.cpp.o
/build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c: In function 'Aig_ManDump':
/build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c:663:24: warning: '.blif' directive writing 5 bytes into a region of size between 2 and 10 [-Wformat-overflow=]
In file included from /usr/include/stdio.h:970,
from /build/stp/src/stp-2.3.4/lib/extlib-abc/aig.h:50,
from /build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c:39:
In function 'sprintf',
inlined from 'Aig_ManDump' at /build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c:663:5:
/usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 16 and 24 bytes into a destination of size 20
30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
31 | __glibc_objsize (__s), __fmt,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
32 | __va_arg_pack ());
| ~~~~~~~~~~~~~~~~~~
[ 32%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigWin.c.o
[ 32%] Built target parser_headercvc
[ 33%] Generating parsesmt2.tab.cpp, parsesmt2.tab.h, lexsmt2.cpp
[ 34%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCore.c.o
[ 35%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCut.c.o
[ 36%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTUtil.cpp.o
[ 37%] Building CXX object lib/Printer/CMakeFiles/printer.dir/BenchPrinter.cpp.o
[ 38%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/consteval.cpp.o
[ 39%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfData.c.o
[ 39%] Built target parser_headersmt2
[ 40%] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/ArrayTransformer.cpp.o
[ 40%] Building CXX object lib/Interface/CMakeFiles/cinterface.dir/c_interface.cpp.o
[ 40%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfMan.c.o
[ 41%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfMap.c.o
[ 42%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfPost.c.o
[ 42%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfUtil.c.o
[ 43%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTBVConst.cpp.o
[ 44%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfWrite.c.o
[ 45%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darBalance.c.o
[ 46%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/PropagateEqualities.cpp.o
[ 47%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darCore.c.o
[ 47%] Built target nodefactories
[ 47%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darCut.c.o
[ 48%] Building CXX object lib/Interface/CMakeFiles/cppinterface.dir/cpp_interface.cpp.o
[ 49%] Building CXX object lib/STPManager/CMakeFiles/stpmgr.dir/STP.cpp.o
[ 50%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darData.c.o
[ 50%] Built target abstractionrefinement
[ 51%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/RemoveUnconstrained.cpp.o
[ 51%] Building CXX object lib/Printer/CMakeFiles/printer.dir/CPrinter.cpp.o
[ 52%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTmisc.cpp.o
[ 53%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darLib.c.o
[ 54%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darMan.c.o
[ 54%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darPrec.c.o
[ 55%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darRefact.c.o
[ 56%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darScript.c.o
[ 56%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitAig.c.o
[ 57%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitGraph.c.o
[ 57%] Built target cinterface
[ 58%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/BitBlaster.cpp.o
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp: In function 'void stp::log(std::string)':
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp:32:22: warning: unused parameter 's' [-Wunused-parameter]
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp: In member function 'void stp::PropagateEqualities::buildCandidateList(const stp::ASTNode&)':
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp:530:18: warning: unused variable 'old' [-Wunused-variable]
[ 59%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitIsop.c.o
[ 59%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o
/build/stp/src/stp-2.3.4/lib/AST/ASTmisc.cpp: In function 'bool stp::BVTypeCheck_term_kind(const ASTNode&, const Kind&)':
/build/stp/src/stp-2.3.4/lib/AST/ASTmisc.cpp:415:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
/build/stp/src/stp-2.3.4/lib/AST/ASTmisc.cpp:419:5: note: here
[ 60%] Building CXX object lib/Printer/CMakeFiles/printer.dir/dotPrinter.cpp.o
[ 61%] Building CXX object lib/Printer/CMakeFiles/printer.dir/GDLPrinter.cpp.o
[ 62%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitSop.c.o
[ 62%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitTruth.c.o
[ 62%] Built target cppinterface
[ 63%] Building CXX object lib/Util/CMakeFiles/util.dir/GitSHA1.cpp.o
[ 64%] Building CXX object lib/Util/CMakeFiles/util.dir/RunTimes.cpp.o
[ 64%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/Simplifier.cpp.o
[ 64%] Built target abc
[ 65%] Building CXX object lib/Parser/CMakeFiles/parser.dir/LetMgr.cpp.o
[ 66%] Building CXX object lib/AST/CMakeFiles/AST.dir/MutableASTNode.cpp.o
[ 67%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/SubstitutionMap.cpp.o
[ 67%] Building CXX object lib/STPManager/CMakeFiles/stpmgr.dir/STPManager.cpp.o
[ 68%] Building CXX object lib/Printer/CMakeFiles/printer.dir/LispPrinter.cpp.o
[ 68%] Built target util
[ 68%] Building CXX object lib/Printer/CMakeFiles/printer.dir/PLPrinter.cpp.o
[ 68%] Built target AST
[ 68%] Building CXX object lib/Parser/CMakeFiles/parser.dir/lexcvc.cpp.o
[ 69%] Building CXX object lib/Parser/CMakeFiles/parser.dir/parsecvc.tab.cpp.o
[ 70%] Building CXX object lib/Printer/CMakeFiles/printer.dir/SMTLIB1Printer.cpp.o
[ 71%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/VariablesInExpression.cpp.o
[ 72%] Building CXX object lib/Printer/CMakeFiles/printer.dir/SMTLIB2Printer.cpp.o
[ 73%] Building CXX object lib/Parser/CMakeFiles/parser.dir/lexsmt2.cpp.o
[ 73%] Built target stpmgr
[ 74%] Building CXX object lib/Parser/CMakeFiles/parser.dir/parsesmt2.tab.cpp.o
[ 74%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/DifficultyScore.cpp.o
[ 74%] Building CXX object lib/Printer/CMakeFiles/printer.dir/SMTLIBPrinter.cpp.o
In file included from /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:30:
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1685:32:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1685:32:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1685:32:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1692:41:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_allPairs(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, std::vector<std::__cxx11::list<BBNode> >&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:240:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBNeg(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1284:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBNeg(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getTrue()',
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::BBSub(std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1205:10:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' is used uninitialized [-Wuninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::BBSub(std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAddOneBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1219:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAddOneBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAddOneBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1219:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAddOneBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getTrue()',
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBInc(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1229:38:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' is used uninitialized [-Wuninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBInc(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getTrue()',
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBInc(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1229:38,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBUminus(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1294:20:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' is used uninitialized [-Wuninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBUminus(const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBEQ(const std::vector<BBNode>&, const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2913:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBEQ(const std::vector<BBNode>&, const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBEQ(const std::vector<BBNode>&, const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2917:28:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBEQ(const std::vector<BBNode>&, const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant2(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2776:43:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant2(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant2(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2776:43:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant2(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant2(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2776:43:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant2(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant1(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2730:43:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'BBNode stp::BitBlaster<BBNode, BBNodeManagerT>::BBBVLE_variant1(const std::vector<BBNode>&, const std::vector<BBNode>&, bool, bool) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:268:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBITE(const BBNode&, const std::vector<BBNode>&, const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2690:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBITE(const BBNode&, const std::vector<BBNode>&, const std::vector<BBNode>&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAndBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1313:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAndBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAndBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1313:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAndBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAndBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1313:36:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::BBAndBit(const std::vector<BBNode>&, BBNode) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::BBDivMod(const std::vector<BBNode>&, const std::vector<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, unsigned int, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2551:24:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' is used uninitialized [-Wuninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::BBDivMod(const std::vector<BBNode>&, const std::vector<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, unsigned int, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::pushP(std::vector<std::vector<BBNode> >&, int, const std::vector<BBNode>&, const BBNode&, BBNodeManagerT*) [with BBNode = BBNodeAIG; BBNodeManagerT = BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1392:30:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In function 'void stp::pushP(std::vector<std::vector<BBNode> >&, int, const std::vector<BBNode>&, const BBNode&, BBNodeManagerT*) [with BBNode = BBNodeAIG; BBNodeManagerT = BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::pushP(std::vector<std::vector<BBNode> >&, int, const std::vector<BBNode>&, const BBNode&, BBNodeManagerT*) [with BBNode = BBNodeAIG; BBNodeManagerT = BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1392:30:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In function 'void stp::pushP(std::vector<std::vector<BBNode> >&, int, const std::vector<BBNode>&, const BBNode&, BBNodeManagerT*) [with BBNode = BBNodeAIG; BBNodeManagerT = BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::pushP(std::vector<std::vector<BBNode> >&, int, const std::vector<BBNode>&, const BBNode&, BBNodeManagerT*) [with BBNode = BBNodeAIG; BBNodeManagerT = BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1392:30:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In function 'void stp::pushP(std::vector<std::vector<BBNode> >&, int, const std::vector<BBNode>&, const BBNode&, BBNodeManagerT*) [with BBNode = BBNodeAIG; BBNodeManagerT = BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getTrue()',
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_Booth(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, const stp::ASTNode&, const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1598:37:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_Booth(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, const stp::ASTNode&, const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:118:63: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_Booth(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, const stp::ASTNode&, const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1599:39:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_Booth(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, const stp::ASTNode&, const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1801:45:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' is used uninitialized [-Wuninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1816:29:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1816:29:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:253:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1816:29:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::mult_BubbleSorterWithBounds(BBNodeSet&, std::__cxx11::list<BBNode>&, std::vector<BBNode>&, std::vector<BBNode>&, int, int) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:240:22,
inlined from 'void stp::BitBlaster<BBNode, BBNodeManagerT>::setColumnsToZero(std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1932:38:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'void stp::BitBlaster<BBNode, BBNodeManagerT>::setColumnsToZero(std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:240:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::multWithBounds(const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1546:45:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::multWithBounds(const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::multWithBounds(const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1548:41:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::multWithBounds(const stp::ASTNode&, std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::getFalse()',
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::mult_normal(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:1777:12:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::mult_normal(const std::vector<BBNode>&, const std::vector<BBNode>&, BBNodeSet&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:120:64: note: '<anonymous>' declared here
In member function 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, std::vector<stp::BBNodeAIG>&)',
inlined from 'stp::BBNodeAIG stp::BBNodeManagerAIG::CreateNode(stp::Kind, const stp::BBNodeAIG&, const std::vector<stp::BBNodeAIG>&)' at /build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:240:22,
inlined from 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::v9(std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]' at /build/stp/src/stp-2.3.4/lib/ToSat/BitBlaster.cpp:2273:47:
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: warning: '<anonymous>.stp::BBNodeAIG::symbol_index' may be used uninitialized [-Wmaybe-uninitialized]
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h: In member function 'std::vector<BBNode> stp::BitBlaster<BBNode, BBNodeManagerT>::v9(std::vector<std::__cxx11::list<BBNode> >&, BBNodeSet&, const stp::ASTNode&) [with BBNode = stp::BBNodeAIG; BBNodeManagerT = stp::BBNodeManagerAIG]':
/build/stp/src/stp-2.3.4/include/stp/ToSat/BBNodeManagerAIG.h:228:27: note: '<anonymous>' declared here
[ 75%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/ToSATBase.cpp.o
[ 75%] Building CXX object lib/Parser/CMakeFiles/parser.dir/lexsmt.cpp.o
[ 76%] Building CXX object lib/Parser/CMakeFiles/parser.dir/parsesmt.tab.cpp.o
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp: In member function 'stp::ASTNodeMap stp::Simplifier::FindConsts_TopLevel(const stp::ASTNode&, bool, stp::ASTNodeMap*)':
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:298:19: warning: loop variable 'e' creates a copy from type 'const std::pair<const stp::ASTNode, stp::ASTNode>' [-Wrange-loop-construct]
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:298:19: note: use reference type to prevent copying
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp: In member function 'stp::ASTNode stp::Simplifier::simplify_term_switch(const stp::ASTNode&, stp::ASTNode&, stp::ASTNode&, stp::ASTNodeMap*, stp::Kind, unsigned int)':
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:2480:11: warning: this statement may fall through [-Wimplicit-fallthrough=]
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:2483:9: note: here
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:1965:5: warning: this statement may fall through [-Wimplicit-fallthrough=]
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:1969:5: note: here
[ 77%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/UseITEContext.cpp.o
[ 78%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/FindPureLiterals.cpp.o
[ 79%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/StrengthReduction.cpp.o
[ 80%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/BBNodeManagerAIG.cpp.o
[ 80%] Built target printer
[ 80%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/ToCNFAIG.cpp.o
[ 80%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/AIGSimplifyPropositionalCore.cpp.o
[ 81%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/ToSATAIG.cpp.o
[ 83%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/Flatten.cpp.o
[ 83%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/UnsignedIntervalAnalysis.cpp.o
[ 84%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/NodeDomainAnalysis.cpp.o
[ 86%] Built target parser
[ 86%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/SplitExtracts.cpp.o
[ 87%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/Rewriting.cpp.o
[ 88%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Arithmetic.cpp.o
[ 89%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Boolean.cpp.o
[ 89%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Comparison.cpp.o
[ 89%] Built target tosat
[ 90%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Division.cpp.o
[ 91%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_MaxPrecision.cpp.o
[ 91%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Multiplication.cpp.o
[ 92%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitPropagation.cpp.o
[ 93%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Shifting.cpp.o
[ 94%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_TransferFunctions.cpp.o
[ 94%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Utility.cpp.o
/build/stp/src/stp-2.3.4/lib/Simplifier/Rewriting.cpp: In member function 'stp::ASTNode stp::Rewriting::rewrite(const stp::ASTNode&)':
/build/stp/src/stp-2.3.4/lib/Simplifier/Rewriting.cpp:309:41: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
/build/stp/src/stp-2.3.4/lib/Simplifier/Rewriting.cpp:313:31: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
[ 95%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/FixedBits.cpp.o
[ 95%] Built target simplifier
[ 96%] Linking CXX shared library libstp.so
[ 96%] Built target stp
[ 97%] Building CXX object tools/stp/CMakeFiles/stp-bin.dir/main.cpp.o
[ 97%] Building CXX object tools/stp/CMakeFiles/stp-bin.dir/main_common.cpp.o
[ 98%] Building CXX object tools/stp_simple/CMakeFiles/stp_simple-bin.dir/main_simple.cpp.o
[ 98%] Building CXX object tools/stp_simple/CMakeFiles/stp_simple-bin.dir/__/stp/main_common.cpp.o
[ 99%] Linking CXX executable ../../stp_simple
[ 99%] Built target stp_simple-bin
[100%] Linking CXX executable ../../stp
[100%] Built target stp-bin
[100%] Built target man_stp
==> Entering fakeroot environment...
==> Starting package()...
-- Install configuration: "None"
-- Installing: /build/stp/pkg/stp/usr/share/man/man1/stp.1
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPConfig.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPConfigVersion.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPTargets.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPTargets-none.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/libstp.so.2.3
-- Installing: /build/stp/pkg/stp/usr/lib/libstp.so
-- Installing: /build/stp/pkg/stp/usr/include/stp/c_interface.h
-- Installing: /build/stp/pkg/stp/usr/bin/stp
-- Set non-toolchain portion of runtime path of "/build/stp/pkg/stp/usr/bin/stp" to ""
-- Installing: /build/stp/pkg/stp/usr/bin/stp_simple
-- Set non-toolchain portion of runtime path of "/build/stp/pkg/stp/usr/bin/stp_simple" to ""
-- Installing: /build/stp/pkg/stp/usr/lib/python3.13/site-packages/stp/stp.py
-- Installing: /build/stp/pkg/stp/usr/lib/python3.13/site-packages/stp/__init__.py
-- Installing: /build/stp/pkg/stp/usr/lib/python3.13/site-packages/stp/library_path.py
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Removing static library files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/lib/libstp.so.2.3
==> Creating package "stp"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: stp 2.3.4-4 (Fri 02 May 2025 09:31:42 PM MDT)
==> Cleaning up...