Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

Torbjorn Granlund tg at
Sun Jan 5 16:06:37 UTC 2014

bodrato at 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.

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list