out-of-bound write

Zimmermann Paul Paul.Zimmermann at inria.fr
Mon Dec 16 19:29:32 UTC 2013

       Hi Torbjörn,

> While the documentation is very imprecise about the space requirements,
> it seems to promise some maximum needs for normalised input strings (in
> the sense of absence of leading zeros) but using ambiguous wording.

the documentation is very precise:

   "If the most significant input byte is non-zero then the high limb at rp
    will be non-zero, and only that exact number of limbs will be required

If the output fits into rn limbs, this means that exactly rn limbs are
required (and no more) to be allocated. I don't see what is imprecise here.


More information about the gmp-bugs mailing list