Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

[bodrato at mail.dm.unipi.it]

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/