trofi, Sometimes it takes more time to refute a
gcc
bug than confirm it. This week I spent most time on https://gcc.gnu.org/PR114872 wheresagemath
SIGSEGV
ed on some simple inputs.Bug updates are a bit hard to read and are missing a bit of compiler-unrelated context. I wrote something more coherent in https://trofi.github.io/posts/312-the-sagemath-saga.html
Add comment