On Sun, Jun 06, 2010 at 11:03:15PM +0200, Aurelien Jarno wrote: > Unfortunately I am not able to reproduce it. Tried on an Athlon and on > Opteron CPU. > I am just wondering, what is the version of valgrind, and how exactly do you trigger the bug (valgrind command line, code, etc.) -- Aurelien Jarno GPG: 1024D/F1BCDB73 aurelien@aurel32.net http://www.aurel32.net