unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Valentin Gatien-Baron <vgatien-baron@janestreet.com>
Cc: 29066@debbugs.gnu.org, mshinwell@janestreet.com
Subject: bug#29066: 26.0.90; crash in gc involving buffer local symbols
Date: Tue, 31 Oct 2017 05:39:56 +0200	[thread overview]
Message-ID: <838tfst27n.fsf@gnu.org> (raw)
In-Reply-To: <CAFd54qOEYm2UAG+cFjcEmRR0pHZJzy=1eyfonQTnYsRVE=NCfQ@mail.gmail.com> (message from Valentin Gatien-Baron on Mon, 30 Oct 2017 18:04:14 -0400)

> From: Valentin Gatien-Baron <vgatien-baron@janestreet.com>
> Date: Mon, 30 Oct 2017 18:04:14 -0400
> Cc: 29066@debbugs.gnu.org,
> 	Mark Shinwell <mshinwell@janestreet.com>
> 
> Yes, it fixes the problem.

Thanks.

> I also checked the following works, and seems better to me (stop having dangling pointers, instead of being
> careful with them):
> 
> diff --git a/src/alloc.c b/src/alloc.c
> index da0c3ad4b3..44dfa95cf5 100644
> --- a/src/alloc.c
> +++ b/src/alloc.c
> @@ -7030,8 +7030,10 @@ sweep_symbols (void)
>          {
>            if (!sym->s.gcmarkbit)
>              {
> -              if (sym->s.redirect == SYMBOL_LOCALIZED)
> +              if (sym->s.redirect == SYMBOL_LOCALIZED) {
>                  xfree (SYMBOL_BLV (&sym->s));
> +                sym->s.val.blv = NULL;
> +              }

That was my first attempt, but various macros like SYMBOL_BLV and
SET_SYMBOL_BLV insist on val.blv being non-NULL.  I guess you've built
Emacs without --enable-checking, so you don't see the effect of that,
but if you do, you will have assertion violations with your patch.





  reply	other threads:[~2017-10-31  3:39 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-10-30 14:36 bug#29066: 26.0.90; crash in gc involving buffer local symbols Valentin Gatien-Baron
2017-10-30 20:38 ` Eli Zaretskii
2017-10-30 22:04   ` Valentin Gatien-Baron
2017-10-31  3:39     ` Eli Zaretskii [this message]
2017-10-31  6:32       ` Andreas Schwab
2017-10-31 14:52         ` Valentin Gatien-Baron
2017-10-31 19:10           ` Eli Zaretskii
2017-10-31 19:58             ` Valentin Gatien-Baron
2017-10-31 20:09               ` Eli Zaretskii
2017-10-31 20:13                 ` Valentin Gatien-Baron
2017-10-31 18:59         ` Eli Zaretskii
2017-10-31 20:23           ` Andreas Schwab
2017-10-31 20:34             ` Eli Zaretskii
2017-10-31 21:03               ` Andreas Schwab
2017-10-31 21:08                 ` Eli Zaretskii
2017-10-31 22:00                   ` Andreas Schwab

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=838tfst27n.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=29066@debbugs.gnu.org \
    --cc=mshinwell@janestreet.com \
    --cc=vgatien-baron@janestreet.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).