|
From: Bart V. A. <bar...@gm...> - 2006-11-01 13:47:06
Attachments:
mutex-voidp-to-addr.patch.txt
|
Hello,
Can the attached patch please be considered for inclusion in
Valgrind ? It's nothing spectacular -- all the patch does is changing
the representation of a client mutex pointer from void* into the
datatype Addr. Including this patch would help me because it minimizes
the diffs between the official Valgrind distribution and Valgrind+drd
tool. The patch has been created for Valgrind SVN version 6341.
--
Regards,
Bart Van Assche.
|
|
Re: [Valgrind-developers] Valgrind patch: modification of client
mutex datatype from void* into Addr
From: Dirk M. <dm...@gm...> - 2006-11-02 13:36:12
|
On Wednesday 01 November 2006 14:47, Bart Van Assche wrote: > Can the attached patch please be considered for inclusion in > Valgrind ? I think it would be a good idea as well. I've asked Julian already about it at akademy, and unless somebody screams within the next two days, I'll commit it. Dirk |