On Tue, Oct 31, 2017 at 4:09 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> From: Valentin Gatien-Baron <vgatien-baron@janestreet.com>
> Date: Tue, 31 Oct 2017 15:58:45 -0400
> Cc: Andreas Schwab <schwab@linux-m68k.org>,
>       29066@debbugs.gnu.org,
>       Mark Shinwell <mshinwell@janestreet.com>
>
> ​The slight downside of your fix is that there are dangling pointers that point to valid-looking things in the
> debugger.

How is that different from any other symbol on symbol_free_list?

Ok, maybe it's no different.
 

> ​But I am not going to insist. There's nothing else to do, you can close the bug. Thanks!

Thanks, done.