tree e6f53e71601aa423290414562482937792079ddc
parent 011dafb61cf25ff3337043315b2975986af226cf
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1413999757 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1413999757 +0000

Change VG_(allocEltDedupPA) to return a pointer to const. The reason is
that once an element has been allocated and added to the pool it must
not be modified afterwards. See the documentation in pub_tool_deduppoolalloc.h
The rest of the patch is ripple.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14654 a5019735-40e9-0310-863c-91ae7b9d1cf9