integer overflow in mpn/get_d.c from GMP 5.1.2

Marc Glisse marc.glisse at inria.fr
Sat Sep 21 10:00:57 CEST 2013


On Sat, 21 Sep 2013, Niels Möller wrote:

> Hmm, or ar you saying that the compiler's assumption exp >= 0 comes from
> *local* inference? "If the caller provides a negative exp, then we get
> undefined behaviour in this expression. Hence, let's just pretend that
> the caller would never do such a thing".

Yes.

-- 
Marc Glisse


More information about the gmp-bugs mailing list