tree 3c9a979bfb2c77fce0113d01ff38d9787d9721e4
parent 3984e52f7f4bca4641b2c59ba2730f71263ad97d
author Tom Tromey <tromey@adacore.com> 1708972789 -0700
committer Tom Tromey <tromey@adacore.com> 1711045283 -0600

Don't use virtual destructor in addrmap

The addrmap polymorphism is sort of "phony" in that there isn't really
code in the tree that can be presented with either type.  I haven't
tried to fix this (though perhaps I may); but meanwhile it's handy for
the next patch if addrmap_fixed has a trivial destructor.  This patch
achieves this by making the addrmap destructor non-virtual, and also
making it protected so that objects of any of these types cannot be
destroyed when only the base class is known.