*NULL in gcd_ui ?

[Torbjorn Granlund]

Marc Glisse <marc.glisse at normalesup.org> writes:

  taking a look at mpz_gcd_ui, this function supposedly can be given
  NULL as a first argument. However, when:
  BITS_PER_ULONG > GMP_NUMB_BITS
  it looks like it is dereferencing this first argument no matter what.
  
  I don't know if this matters, since nails are not currently supported...

You're right, but this bug is probably also present in GMP 4.2 where
nails where supported...

-- 
Torbjörn