>>> clingo: Building community/clingo 5.7.1-r1 (using abuild 3.13.0-r3) started Wed, 24 Apr 2024 19:04:32 +0000 >>> clingo: Checking sanity of /home/buildozer/aports/community/clingo/APKBUILD... >>> clingo: Analyzing dependencies... >>> clingo: Installing for build: build-base !clasp python3-dev cmake samurai (1/19) Installing libbz2 (1.0.8-r6) (2/19) Installing libffi (3.4.6-r0) (3/19) Installing gdbm (1.23-r1) (4/19) Installing xz-libs (5.6.1-r3) (5/19) Installing mpdecimal (4.0.0-r0) (6/19) Installing libpanelw (6.4_p20240330-r0) (7/19) Installing readline (8.2.10-r0) (8/19) Installing sqlite-libs (3.45.3-r0) (9/19) Installing python3 (3.12.3-r1) (10/19) Installing python3-pycache-pyc0 (3.12.3-r1) (11/19) Installing pyc (3.12.3-r1) (12/19) Installing python3-pyc (3.12.3-r1) (13/19) Installing python3-dev (3.12.3-r1) (14/19) Installing libarchive (3.7.3-r0) (15/19) Installing rhash-libs (1.4.4-r0) (16/19) Installing libuv (1.48.0-r0) (17/19) Installing cmake (3.29.2-r1) (18/19) Installing samurai (1.2-r5) (19/19) Installing .makedepends-clingo (20240424.190433) Executing busybox-1.36.1-r25.trigger OK: 489 MiB in 122 packages >>> clingo: Cleaning up srcdir >>> clingo: Cleaning up pkgdir >>> clingo: Cleaning up tmpdir >>> clingo: Fetching https://distfiles.alpinelinux.org/distfiles/v3.20/clingo-5.7.1.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) wget: server returned error: HTTP/1.1 404 Not Found >>> clingo: Fetching https://github.com/potassco/clingo/archive/v5.7.1/clingo-5.7.1.tar.gz Connecting to github.com (140.82.121.3:443) Connecting to codeload.github.com (140.82.121.10:443) saving to '/var/cache/distfiles/clingo-5.7.1.tar.gz.part' clingo-5.7.1.tar.gz. 100% |********************************| 5214k 0:00:00 ETA '/var/cache/distfiles/clingo-5.7.1.tar.gz.part' saved >>> clingo: Fetching https://distfiles.alpinelinux.org/distfiles/v3.20/clingo-5.7.1.tar.gz >>> clingo: Checking sha512sums... clingo-5.7.1.tar.gz: OK >>> clingo: Unpacking /var/cache/distfiles/clingo-5.7.1.tar.gz... CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is GNU 13.2.1 -- The CXX compiler identification is GNU 13.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - 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/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Python: /usr/bin/python3.12 (found suitable version "3.12.3", minimum required is "3.6") found components: Interpreter Development Development.Module Development.Embed -- Could NOT find Lua (missing: LUA_LIBRARIES LUA_INCLUDE_DIR) (Required is at least version "5.0") -- Could NOT find BISON (missing: BISON_EXECUTABLE) (Required is at least version "2.5") -- Could NOT find RE2C (missing: RE2C_EXECUTABLE) (Required is at least version "0.101") -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Performing Test CLINGO_USE_VERSION_SCRIPT -- Performing Test CLINGO_USE_VERSION_SCRIPT - Success CMake Deprecation Warning at clasp/CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- Potassco is not installed - using local copy CMake Deprecation Warning at clasp/libpotassco/CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done (0.9s) -- Generating done (0.0s) -- Build files have been written to: /home/buildozer/aports/community/clingo/src/clingo-5.7.1/build [1/102] Building C object app/pyclingo/CMakeFiles/pyclingo.dir/_clingo.c.o [2/102] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o [3/102] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o [4/102] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o [5/102] Building C object libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.c.o [6/102] Building C object libpyclingo/CMakeFiles/libpyclingo.dir/_clingo.c.o [7/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o [8/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o [9/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o [10/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o [11/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o [12/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o [13/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o [14/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o [15/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o [16/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o [17/102] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o [18/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o [19/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o [20/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o [21/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o [22/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o [23/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o [24/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o [25/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o [26/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o [27/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o [28/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o [29/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o [30/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o [31/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o [32/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o [33/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o [34/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o [35/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o [36/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o [37/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o [38/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o [39/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o [40/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o [41/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o [42/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o [43/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o [44/102] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o [45/102] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o [46/102] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o [47/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o [48/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o [49/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o [50/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o [51/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o [52/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o [53/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o [54/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o [55/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o [56/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o [57/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o [58/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o [59/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o [60/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o [61/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o [62/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o [63/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o [64/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o [65/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o [66/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o [67/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o [68/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o [69/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o [70/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o [71/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o [72/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o [73/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o [74/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o [75/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o [76/102] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o [77/102] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o [78/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o [79/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o [80/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o [81/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o [82/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o [83/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o [84/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o [85/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o [86/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o [87/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [88/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o [89/102] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o In file included from /usr/include/c++/13.2.1/memory:69, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/symbol.hh:31, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/term.hh:30, from /home/kaminski/Documents/git/potassco/clingo/libgringo/src/input/groundtermgrammar.yy:41: /usr/include/c++/13.2.1/bits/stl_uninitialized.h: In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*]': /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 163 | uninitialized_copy(_InputIterator __first, _InputIterator __last, | ^~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/symbol.hh:33: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Input::GroundTermGrammar::parser::stack_symbol_type}; _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector >::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*; _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*; _ForwardIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Input::GroundTermGrammar::parser::stack_symbol_type}; _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:493:3: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*; _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*; _ForwardIterator = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Input::GroundTermGrammar::parser::stack_symbol_type}; _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:500:3: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Input::GroundTermGrammar::parser::stack_symbol_type}; _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type; _Alloc = std::allocator]', inlined from 'void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1296:21, inlined from 'void Gringo::Input::GroundTermGrammar::parser::stack::push(T&&) [with T = Gringo::Input::GroundTermGrammar::parser::stack_symbol_type; S = std::vector >]' at /mnt/scratch/kaminski/build/clingo/debug/libgringo/src/input/groundtermgrammar/grammar.hh:595:24: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/statistics.cpp: In function 'void Clasp::ClaspStatistics::Impl::destroyIfWritable(std::unordered_set::iterator)': /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/statistics.cpp:154:14: note: parameter passing for argument of type 'std::unordered_set::iterator' {aka 'std::__detail::_Insert_base, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::iterator'} changed in GCC 7.1 154 | void destroyIfWritable(KeySet::iterator it) { | ^~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/unordered_map.h:33, from /usr/include/c++/13.2.1/unordered_map:41, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/statistics.cpp:29: /usr/include/c++/13.2.1/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(const_iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/13.2.1/bits/hashtable.h:2316:5: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 2316 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2317 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_set<_Value, _Hash, _Pred, _Alloc>::iterator std::unordered_set<_Value, _Hash, _Pred, _Alloc>::erase(iterator) [with _Value = long long unsigned int; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/unordered_set.h:536:26, inlined from 'bool Clasp::ClaspStatistics::Impl::remove(const Clasp::StatisticObject&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/statistics.cpp:190:18, inlined from 'bool Clasp::ClaspStatistics::removeStat(const Clasp::StatisticObject&, bool)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/statistics.cpp:318:26: /usr/include/c++/13.2.1/bits/hashtable.h:980:21: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 980 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/lexerstate.hh:33, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/input/groundtermparser.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/input/groundtermparser.cc:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Symbol&}; _Tp = Gringo::Symbol; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Symbol&}; _Tp = Gringo::Symbol; _Alloc = std::allocator]', inlined from 'unsigned int Gringo::Input::GroundTermParser::terms(unsigned int, Gringo::Symbol)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/input/groundtermparser.cc:79:29: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/terms.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/terms.cc:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::TheoryAtomDef}; _Tp = Gringo::TheoryAtomDef; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector >::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::TheoryAtomDef}; _Tp = Gringo::TheoryAtomDef; _Alloc = std::allocator]', inlined from 'std::pair::ordered_iterator, bool> tsl::detail_ordered_hash::ordered_hash::insert_impl(const K&, Args&& ...) [with K = Gringo::TheoryAtomDef; Args = {Gringo::TheoryAtomDef}; ValueType = Gringo::TheoryAtomDef; KeySelect = tsl::ordered_set > >, Gringo::EqualToKey, std::allocator, std::vector >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::HashKey > >; KeyEqual = Gringo::EqualToKey; Allocator = std::allocator; ValueTypeContainer = std::vector >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/third_party/ordered-map/include/tsl/ordered_hash.h:1402:26: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:66, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/symbol.hh:33, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/control.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/incmode.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/incmode.cc:25: /usr/include/c++/13.2.1/bits/stl_vector.h: In constructor 'std::vector<_Tp, _Alloc>::vector(std::initializer_list<_Tp>, const allocator_type&) [with _Tp = Gringo::Symbol; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/stl_vector.h:675:7: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 675 | vector(initializer_list __l, | ^~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/incmode.cc: In member function 'void Gringo::{anonymous}::Incmode::run()': /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/incmode.cc:80:28: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 80 | parts.push_back({"check", {Symbol::createNum(step)}}); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/incmode.cc:82:33: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 82 | assign_external_(Symbol::createFun("query", {Symbol::createNum(step - 1)}), Potassco::Value_t::Release); | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/incmode.cc:83:32: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 83 | parts.push_back({"step", {Symbol::createNum(step)}}); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/incmode.cc:89:29: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 89 | assign_external_(Symbol::createFun("query", {Symbol::createNum(step)}), Potassco::Value_t::True); | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/symbol.hh:33, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/symbol.cc:27: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Symbol}; _Tp = Gringo::Symbol; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Symbol}; _Tp = Gringo::Symbol; _Alloc = std::allocator]', inlined from 'Gringo::Symbol Gringo::Symbol::replace(const Gringo::IdSymMap&) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/symbol.cc:643:34: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/unordered_map.h:33, from /usr/include/c++/13.2.1/unordered_map:41, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/clasp/program_builder.h:36, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/clasp/clasp_facade.h:31, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/clasp/clingo.h:31, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/clingo.cpp:24: /usr/include/c++/13.2.1/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(const_iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/13.2.1/bits/hashtable.h:2316:5: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 2316 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2317 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::iterator std::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::erase(iterator) [with _Key = int; _Tp = long long unsigned int; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator >]' at /usr/include/c++/13.2.1/bits/unordered_map.h:753:26, inlined from 'void Clasp::ClingoPropagatorInit::History::add(const Clasp::ClingoPropagatorInit::Change&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/src/clingo.cpp:420:10: /usr/include/c++/13.2.1/bits/hashtable.h:980:21: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 980 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [90/102] Linking CXX static library lib/libpotassco.a [91/102] Linking CXX static library lib/libreify.a [92/102] Linking CXX executable bin/lpconvert [93/102] Linking CXX executable bin/reify In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/symbol.hh:33, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/term.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/base.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/domain.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/types.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/ground/types.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/ground/literal.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/ground/statement.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/ground/program.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/ground/program.cc:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Output::PredicateAtom}; _Tp = Gringo::Output::PredicateAtom; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector >::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Output::PredicateAtom}; _Tp = Gringo::Output::PredicateAtom; _Alloc = std::allocator]', inlined from 'std::pair::ordered_iterator, bool> tsl::detail_ordered_hash::ordered_hash::insert_impl(const K&, Args&& ...) [with K = Gringo::Output::PredicateAtom; Args = {Gringo::Output::PredicateAtom}; ValueType = Gringo::Output::PredicateAtom; KeySelect = tsl::ordered_set, Gringo::mix_hash > >, Gringo::EqualToKey, std::allocator, std::vector >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::HashKey, Gringo::mix_hash > >; KeyEqual = Gringo::EqualToKey; Allocator = std::allocator; ValueTypeContainer = std::vector >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/third_party/ordered-map/include/tsl/ordered_hash.h:1402:26: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_algo.h:61, from /usr/include/c++/13.2.1/algorithm:61, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:35, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/terms.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/aggregates.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/aggregates.cc:25: /usr/include/c++/13.2.1/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/13.2.1/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter >]': /usr/include/c++/13.2.1/bits/stl_algo.h:1792:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1792 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/stl_uninitialized.h:63, from /usr/include/c++/13.2.1/memory:69, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:28: /usr/include/c++/13.2.1/bits/stl_algobase.h: In function '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = const Gringo::Output::LiteralId*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/13.2.1/bits/stl_algobase.h:538:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 538 | __copy_move_a(_II __first, _II __last, _OI __result) | ^~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:29: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::Interval, std::allocator::Interval> >::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {const Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]', inlined from 'void Gringo::IntervalSet::add(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/intervals.hh:122:34: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_emplace_aux(const_iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]', inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::emplace(const_iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1344:25, inlined from 'void Gringo::IntervalSet::add(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/intervals.hh:127:33: /usr/include/c++/13.2.1/bits/vector.tcc:404:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 404 | _M_realloc_insert(begin() + __n, std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_uninitialized.h: In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]': /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 163 | uninitialized_copy(_InputIterator __first, _InputIterator __last, | ^~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/13.2.1/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/13.2.1/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/13.2.1/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/13.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/13.2.1/bits/stl_algo.h:1918:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1918 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algo.h:1918:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/13.2.1/bits/stl_algo.h:1911:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/13.2.1/bits/stl_algo.h:1926:27: /usr/include/c++/13.2.1/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/13.2.1/bits/stl_algo.h:1932:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1932 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/13.2.1/bits/stl_algo.h:1812:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1812 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algo.h:1812:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/13.2.1/bits/stl_algo.h:4894:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:323:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:329:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/literals.hh:1045:20: /usr/include/c++/13.2.1/bits/stl_algo.h:1947:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1947 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1948 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1949 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/13.2.1/bits/stl_algo.h:1950:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/13.2.1/bits/stl_algo.h:4894:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:323:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:329:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/literals.hh:1045:20: /usr/include/c++/13.2.1/bits/stl_algo.h:1859:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1859 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algo.h:1864:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1864 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]', inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:384:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:786:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:259:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:184:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:182:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/literals.hh:1046:31: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:811:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:259:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:184:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:182:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/literals.hh:1046:31: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:819:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:259:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:184:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/hash_set.hh:182:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/literals.hh:1046:31: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/terms.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/ground/literals.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/ground/literals.cc:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Output::PredicateAtom}; _Tp = Gringo::Output::PredicateAtom; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector >::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Output::PredicateAtom}; _Tp = Gringo::Output::PredicateAtom; _Alloc = std::allocator]', inlined from 'std::pair::ordered_iterator, bool> tsl::detail_ordered_hash::ordered_hash::insert_impl(const K&, Args&& ...) [with K = Gringo::Output::PredicateAtom; Args = {Gringo::Output::PredicateAtom}; ValueType = Gringo::Output::PredicateAtom; KeySelect = tsl::ordered_set, Gringo::mix_hash > >, Gringo::EqualToKey, std::allocator, std::vector >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::HashKey, Gringo::mix_hash > >; KeyEqual = Gringo::EqualToKey; Allocator = std::allocator; ValueTypeContainer = std::vector >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/third_party/ordered-map/include/tsl/ordered_hash.h:1402:26: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/string:51, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/libpotassco/potassco/program_opts/value.h:32, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/libpotassco/potassco/program_opts/typed_value.h:33, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/clasp/cli/clasp_app.h:30, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingo_app.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/src/clingo_app.cc:25: /usr/include/c++/13.2.1/bits/stl_algobase.h: In function '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = const Gringo::Symbol*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/13.2.1/bits/stl_algobase.h:538:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 538 | __copy_move_a(_II __first, _II __last, _OI __result) | ^~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/13.2.1/bits/stl_algobase.h:624:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 624 | copy(_II __first, _II __last, _OI __result) | ^~~~ /usr/include/c++/13.2.1/bits/stl_algobase.h:624:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/13.2.1/bits/stl_algobase.h:624:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/libpotassco/potassco/string_convert.h:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/clasp/libpotassco/potassco/program_opts/typed_value.h:34: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const char*, unsigned int&, bool&}; _Tp = Gringo::Sig; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {const char*, unsigned int&, bool&}; _Tp = Gringo::Sig; _Alloc = std::allocator]', inlined from 'bool Gringo::parseSigVec(const std::string&, ClingoOptions::SigVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:155:28: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:65: /usr/include/c++/13.2.1/bits/stl_uninitialized.h: In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = Gringo::Symbol*]': /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 163 | uninitialized_copy(_InputIterator __first, _InputIterator __last, | ^~~~~~~~~~~~~~~~~~ /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/13.2.1/bits/stl_uninitialized.h: In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]': /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/13.2.1/bits/stl_uninitialized.h:163:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:384:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:786:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::add(Potassco::Span)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:215:24, inlined from 'virtual void Gringo::ClingoModel::add(Potassco::Span)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:481:73: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:811:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::add(Potassco::Span)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:215:24, inlined from 'virtual void Gringo::ClingoModel::add(Potassco::Span)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:481:73: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:819:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::add(Potassco::Span)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:215:24, inlined from 'virtual void Gringo::ClingoModel::add(Potassco::Span)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:481:73: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator >; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:781:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::copy_symbols(std::vector&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:218:23, inlined from 'virtual Gringo::SymSpan Gringo::ClingoModel::atoms(unsigned int) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:427:38: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:384:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator >; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:786:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::copy_symbols(std::vector&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:218:23, inlined from 'virtual Gringo::SymSpan Gringo::ClingoModel::atoms(unsigned int) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:427:38: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator >; _Tp = Gringo::Symbol; _Alloc = std::allocator]', inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::copy_symbols(std::vector&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:218:23, inlined from 'virtual Gringo::SymSpan Gringo::ClingoModel::atoms(unsigned int) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:427:38: /usr/include/c++/13.2.1/bits/vector.tcc:792:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 792 | std::copy(__first, __mid, __position); | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator >; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:811:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::copy_symbols(std::vector&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:218:23, inlined from 'virtual Gringo::SymSpan Gringo::ClingoModel::atoms(unsigned int) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:427:38: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator >; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:814:38, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::copy_symbols(std::vector&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:218:23, inlined from 'virtual Gringo::SymSpan Gringo::ClingoModel::atoms(unsigned int) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:427:38: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]', inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/13.2.1/bits/stl_uninitialized.h:399:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = __gnu_cxx::__normal_iterator >; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/vector.tcc:819:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/stl_vector.h:1483:19, inlined from 'void Gringo::TheoryOutput::copy_symbols(std::vector&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:218:23, inlined from 'virtual Gringo::SymSpan Gringo::ClingoModel::atoms(unsigned int) const' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libclingo/clingo/clingocontrol.hh:427:38: /usr/include/c++/13.2.1/bits/stl_uninitialized.h:373:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 373 | return std::uninitialized_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/utility.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/theory.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/theory.cc:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Output::LiteralId}; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Output::LiteralId}; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]', inlined from 'Potassco::Id_t Gringo::Output::TheoryData::addElem(const Potassco::IdSpan&, const Potassco::LitSpan&)' at /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/theory.cc:591:26: /usr/include/c++/13.2.1/bits/vector.tcc:123:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [94/102] Linking CXX static library lib/libclasp.a [95/102] Linking CXX executable bin/clasp /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc: In lambda function: /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc:519:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 519 | auto rule = [&](auto it, auto jt) { | ^ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc:519:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/symbol.hh:33, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/term.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/base.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/domain.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/types.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/gringo/output/output.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Output::LiteralId&}; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc: In member function 'void Gringo::Output::OutputBase::endGround(Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc:527:58: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 527 | if (jt != pos->end() && jt->defined()) { rule(jt, it); } | ~~~~^~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.7.1/libgringo/src/output/output.cc:531:76: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 531 | if (jt != neg->end() && jt->defined() && jt < neg_begin) { rule(it, jt); } | ~~~~^~~~~~~~ /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {Gringo::Output::PredicateAtom}; _Tp = Gringo::Output::PredicateAtom; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector >::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {Gringo::Output::PredicateAtom}; _Tp = Gringo::Output::PredicateAtom; _Alloc = std::allocator]', inlined from 'std::pair::ordered_iterator, bool> tsl::detail_ordered_hash::ordered_hash::insert_impl(const K&, Args&& ...) [with K = Gringo::Output::PredicateAtom; Args = {Gringo::Output::PredicateAtom}; ValueType = Gringo::Output::PredicateAtom; KeySelect = tsl::ordered_set, Gringo::mix_hash > >, Gringo::EqualToKey, std::allocator, std::vector >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::HashKey, Gringo::mix_hash > >; KeyEqual = Gringo::EqualToKey