On 2018-05-04 23:20:57 +0200, Marco Bodrato wrote: > Should we add to the "as specified in the GMP manual, with a few > exceptions:" section also this line? > > When mpz_get_str allocates the string, it can be longer than needed.
If you say that, this means that the string is longer than needed. This does not make much sense. Don't you mean that the block of memory may be longer than needed? -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel