Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

bodrato at bodrato at
Sun Jan 5 15:33:53 UTC 2014


Il Dom, 5 Gennaio 2014 3:48 pm, Torbjorn Granlund ha scritto:
> bodrato at 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 ?



More information about the gmp-devel mailing list