overflow in mpz type with a simple mpz_add_ui

Torbjörn Granlund tg at gmplib.org
Mon Sep 21 16:16:15 UTC 2020


Vincent Lefevre <vincent at vinc17.net> writes:

  So the overflow occurs in "mpz_add_ui (z, z, 1);", though this
  operation doesn't need a larger mpz_t and could even be done
  in place: no carry occurs here, and note that a carry for a
  huge number is very unlikely to occur.

No bug.  You're (presumably deliberately) dancing on the edge of mpz
overflow.  The overflow detection flags some false positives, which is
by design.

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


More information about the gmp-bugs mailing list