Possible bug affecting mpz_popcount() in GMP 5.0.1 on Intel Core2

[Roberto Bagnara]

On 04/15/11 14:49, Torbjorn Granlund wrote:
> we allow
> ourself to read beyond buffer ends as long as we don't cross a possible
> page boundary.  (We don't do this from C as this is invalid, but we do
> it in assembly since there we can make this type of assumptions about
> the hardware.)

Good to know: I did not find any mention of that in GMP's documentation.
Perhaps a note should be added to the Valgrind section in

     http://gmplib.org/manual/Debugging.html

Thanks,

    Roberto

-- 
Prof. Roberto Bagnara                     CEO & CTO
Applied Formal Methods Laboratory         BUGSENG srl
Department of Mathematics                 Parco Area delle Scienze 53/A
University of Parma, Italy                I-43124 Parma, Italy
http://www.cs.unipr.it/~bagnara/          http://bugseng.com/
mailto:bagnara at cs.unipr.it                mailto:roberto.bagnara at bugseng.com