Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

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


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


More information about the gmp-devel mailing list