gmp-6.1.2 test suite fails with core dump

[Torbjörn Granlund]

Your two reports seem to refer to the same issue.  I cannot make out
much relevant information from either report.

Both your reports quite this text:

  For bug reporting instructions, please see:
  <http://www.gnu.org/software/gdb/bugs/>.

If you want us to help you reslve your issue, please follow that quoted
text and read that page!

-- 
Torbjörn
Please encrypt, key id 0xC8601622