Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

bodrato at mail.dm.unipi.it bodrato at mail.dm.unipi.it
Sun Jan 5 15:33:53 UTC 2014


Ciao,

Il Dom, 5 Gennaio 2014 3:48 pm, Torbjorn Granlund ha scritto:
> bodrato at mail.dm.unipi.it writes:
>   shouldn't we suggest the compiler that all the
>   _itch functions are pure anyway?

> Indeed.  I pushed a fix.

Any comment about marking them also with __GMP_NOTHROW ?

Regards,
m

-- 
http://bodrato.it/



More information about the gmp-devel mailing list