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