If the latter, of course you could write pointer_map_delete yourself; it might be worthwhile since pointer maps are a tad faster than libiberty hashtabs. It's on my todo list, but I wrote pointer_map for my private work on gcc and it was not needed at the time.But didn't you say the need to remove entries (quite frequently, actually) makes pointer_map unsuitable?
No, it's just that the code isn't there. Paolo
