https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/4ti2-1.6.7-r1 fails tests (HARDENED-SYSTEM). Discovered on: amd64 (internal ref: hardened_tinderbox) NOTE: (HARDENED-SYSTEM) in the summary means that the bug was found on a machine that runs an hardened profile with -D_FORTIFY_SOURCE=3 and -D_GLIBCXX_ASSERTIONS (https://www.gentoo.org/support/news-items/2023-01-01-hardening-fortify-assertions.html) but this bug MAY or MAY NOT BE related to the changes related to hardened.
Created attachment 854684 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: /usr/lib/gcc/x86_64-pc-linux-gnu/12/include/g++-v12/bits/stl_vector.h:1123: std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::operator[](size_type) [with _Tp = _4ti2_::Vector*; _Alloc = std::allocator<_4ti2_::Vector*>; reference = _4ti2_::Vector*&; size_type = long unsigned int]: Assertion '__n < this->size()' failed. src/groebner/groebner -q -afifo 333.2 ...src/groebner/groebner -q -aweighted 333.2 .../usr/lib/gcc/x86_64-pc-linux-gnu/12/include/g++-v12/bits/stl_vector.h:1123: std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::operator[](size_type) [with _Tp = _4ti2_::Vector*; _Alloc = std::allocator<_4ti2_::Vector*>; reference = _4ti2_::Vector*&; size_type = long unsigned int]: Assertion '__n < this->size()' failed. src/groebner/groebner -q -afifo 334 ...src/groebner/groebner -q -aweighted 334 .../usr/lib/gcc/x86_64-pc-linux-gnu/12/include/g++-v12/bits/stl_vector.h:1123: std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::operator[](size_type) [with _Tp = _4ti2_::Vector*; _Alloc = std::allocator<_4ti2_::Vector*>; reference = _4ti2_::Vector*&; size_type = long unsigned int]: Assertion '__n < this->size()' failed. src/groebner/walk -q grin ...src/groebner/markov -q -gsaturation cuww2 .../usr/lib/gcc/x86_64-pc-linux-gnu/12/include/g++-v12/bits/stl_vector.h:1123: std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::operator[](size_type) [with _Tp = _4ti2_::Vector*; _Alloc = std::allocator<_4ti2_::Vector*>; reference = _4ti2_::Vector*&; size_type = long unsigned int]: Assertion '__n < this->size()' failed. src/zsolve/graver -q hppi5 ...src/groebner/zbasis -q cuww4 ...src/zsolve/zsolve -q hppi6 .../usr/lib/gcc/x86_64-pc-linux-gnu/12/include/g++-v12/bits/stl_vector.h:1123: std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::operator[](size_type) [with _Tp = _4ti2_::Vector*; _Alloc = std::allocator<_4ti2_::Vector*>; reference = _4ti2_::Vector*&; size_type = long unsigned int]: Assertion '__n < this->size()' failed.
This is fixed upstream (in a newer release), but there are some overdue build fixes to the latest release, too. commit 0f67496a7e2085ffe0a2f8b9b4011da411bc203d Author: Matthias Koeppe <mkoeppe@math.ucdavis.edu> Date: Fri Aug 24 16:15:50 2018 +0200 Fix #15: Out of bounds vector access in circuits Reported by Jerry James for Fedora. src/groebner/CircuitMatrixAlgorithm.tpp | 2 +- src/groebner/CircuitSupportAlgorithm.tpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)
Got bored waiting for a response upstream and plopped my big build system patch on top of 1.6.10.
