Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

[Torbjorn Granlund]

bodrato at mail.dm.unipi.it writes:

  > Indeed.  I pushed a fix.
  
  Any comment about marking them also with __GMP_NOTHROW ?
  
Perhaps that too.  I suppose __GMP_ATTRIBUTE_PURE should really be the
stronger ATTRIBUTE_CONST, except that we don't yet have any name space
clean way of doing that for gmp.h.


Torbjörn
Please encrypt, key id 0xC8601622