commit | 1554fa55be1fb1a7c6633d11ea8ff95be78a9dc6 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Jun 30 20:58:32 2014 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Jun 30 20:58:32 2014 +0000 |
tree | f5b6e42bbc320a6275b0359c4a16f544a65fb40c | |
parent | 0b9d0646949bd382758763664d3bf2d6115993ae [diff] |
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 a5019735-40e9-0310-863c-91ae7b9d1cf9