On February 6, 2019 2:59:21 PM GMT+01:00, Tom Tromey <t...@tromey.com> wrote: >Philippe Waroquiers found another splay-tree memory leak and sent this >patch to the gdb patch list. I'm forwarding it here, as splay-tree is >canonically maintained in gcc; if approved I will check it in for him. > >Note that the analysis from the previous splay-tree patch applies here >as well: there is a single user of the key-deletion functionality in >gcc, and I believe it remains safe with this patch. (In fact, if >duplicate keys were ever used, this would fix a leak in gcc. I am not >sure whether or not that can happen though.)
Didn't I approve the patch already? OK if not so. Richard. >thanks, >Tom