Philippe Waroquiers 4b8dc1d805 Add 'numbering identification' to the dedup pool.
The dedup pool can now be used to allocate elements and identify
them with a number rather than an address.

This new feature is not used (yet) but is intended to be used to
decrease the memory needed to store the CFSI information.




git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14123
2014-06-30 20:58:32 +00:00
..
2014-03-20 23:00:09 +00:00
2014-03-20 23:00:09 +00:00