Should we declare _itch functions __GMP_NOTHROW __GMP_ATTRIBUTE_PURE ?

[bodrato at mail.dm.unipi.it]

Ciao,

Looking at

https://gmplib.org/devel/lcov/shell/gmp/mpn/sec_powm.c.gcov.html

I saw that the function mpn_sec_powm_itch() is called twice for each
mpn_sec_powm(). This depends (I assume) because of the multiple evaluation
in the macro TMP_ALLOC_LIMBS (n + mpn_sec_powm_itch (bn, en, n));
in /mpz/powm_sec.c .

Of course we can heal the code by precomputing n+itch to use the macro on
a single variable, but, shouldn't we suggest the compiler that all the
_itch functions are pure anyway?

Regards,
m

-- 
http://bodrato.it/