-
Committer:
vlefevre
-
Date:
2020-10-23 10:58:51 UTC
-
Revision ID:
svn-v4:280ebfd0-de03-0410-8827-d642c229c3f4:trunk:14171
[src/invert_limb.h] Fixed potential issues introduced in 14170.
* The code isn't valid with 16-bit int (allowed by ISO C). So,
make sure with MPFR_STAT_STATIC_ASSERT that unsigned int is
large enough for invert_limb_table2.
Note: since the code is under "#if GMP_NUMB_BITS == 64",
this is unlikely to affect any system in practice, as
GMP_NUMB_BITS == 32 (or 16, if supported) should be better
on such a system.
* Make sure that the "<< 11" shifts do not overflow.