[PPL-devel] mpz_addmul_ui with ui = 1

[Vincent Lefevre]

On 2009-01-28 13:55:06 +0100, Roberto Bagnara wrote:
> I am glad you raised the issue here and I hope Torbjorn
> will correct me if I misinterpreted the GMP's policies
> in this respect.

Is GMP's policy documented somewhere? If not, I think this should
be documented, so that the user does not have to do useless checks
if they are done by GMP.

-- 
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)