mpq_cmp_z

Torbjörn Granlund tg at gmplib.org
Fri Aug 28 16:29:03 UTC 2015


"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes:

  The code with this signature is attached.
  
LGTM.
  
  But it is in some sense asymmetric, if you call mpq_cmp(A,B) and B happens
  to be an integer, the code exploits it. If only A is an integer, the code
  will not detect nor exploit the information.
  
We presumably don't detect "integrity" in other mpq functions where this
could streamline things.  I think we can live with the slight asymetry
in this function...

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


More information about the gmp-devel mailing list