integer overflow in mini-gmp due to integer promotion

[Torbjörn Granlund]

Vincent Lefevre <vincent at vinc17.net> writes:

  The goal is to try to find bugs in MPFR. With limbs of small size,
  particular cases (such as some limbs being 0 or -1) could occur
  more often.

Have you looked at GMP's asl.h?  It allows for tiny limbs, but GMP needs
work before any small limbs size fully works.

The idea with that is exactly what you write above.

-- 
Torbjörn
Please encrypt, key id 0xC8601622