https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94297
Jens Seifert <jens.seifert at de dot ibm.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |CLOSED --- Comment #9 from Jens Seifert <jens.seifert at de dot ibm.com> --- Too old libgmp got picked up. Setting LD_LIBRARY_PATH=/lib64 solved the issue.