Change registry to use less memory
authorTom Tromey <tom@tromey.com>
Sat, 28 May 2022 15:08:47 +0000 (09:08 -0600)
committerTom Tromey <tom@tromey.com>
Thu, 28 Jul 2022 20:16:50 +0000 (14:16 -0600)
commit8126c055e453a494a72a44c9cce39fa8ddf14607
tree646eea618bb784a1a74bfd8515976e078ff6503a
parent08b8a139c9e8adcb4ec12a8a17e5836b8b5acb63
Change registry to use less memory

The registry code creates "registry_data" objects that hold the free
function and the index; then the registry keys refer to this object.
However, only the index is really useful, and now that registries have
a private implementation, just the index can be stored and we can
reduce the memory use of registries a little bit.  This also
simplifies the code somewhat.
gdb/registry.h