[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#29066: 26.0.90; crash in gc involving buffer local symbols
From: |
Eli Zaretskii |
Subject: |
bug#29066: 26.0.90; crash in gc involving buffer local symbols |
Date: |
Tue, 31 Oct 2017 23:08:58 +0200 |
> From: Andreas Schwab <schwab@linux-m68k.org>
> Cc: vgatien-baron@janestreet.com, 29066@debbugs.gnu.org,
> mshinwell@janestreet.com
> Date: Tue, 31 Oct 2017 22:03:26 +0100
>
> >> A symbol on the symbol_free_list is a freed symbol, not available for
> >> use.
> >
> > I guess you are saying that sweep_symbols has a bug? Because it hits
> > this "freed" symbol every GC, AFAICT.
>
> Since GC is special, it needs to do special things.
But the crash due to double-free did happen as part of GC doing those
"special things". So we are talking about those special things, not
something else.
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, (continued)
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Andreas Schwab, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Valentin Gatien-Baron, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Eli Zaretskii, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Valentin Gatien-Baron, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Eli Zaretskii, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Valentin Gatien-Baron, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Eli Zaretskii, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Andreas Schwab, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Eli Zaretskii, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Andreas Schwab, 2017/10/31
- bug#29066: 26.0.90; crash in gc involving buffer local symbols,
Eli Zaretskii <=
- bug#29066: 26.0.90; crash in gc involving buffer local symbols, Andreas Schwab, 2017/10/31