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

6.0 KiB

Raw Blame History

View Raw