https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106862
--- Comment #1 from David Binderman <dcb314 at hotmail dot com> --- I have a cvise reduction running. The code is in C++, which cvise isn't very efficient at reducing, so I expect it will be some hours before I have any finished reduction.
