GNU bug report logs - #23233
25.0.92; Crash after doing much work in Proof General

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: John Wiegley <jwiegley <at> gmail.com>
Subject: bug#23233: closed (Re: bug#23233: 25.0.92; Crash after doing much
 work in Proof General)
Date: Wed, 07 Dec 2016 19:48:03 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#23233: 25.0.92; Crash after doing much work in Proof General

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 23233 <at> debbugs.gnu.org.

-- 
23233: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23233
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Glenn Morris <rgm <at> gnu.org>
To: 23233-done <at> debbugs.gnu.org
Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General
Date: Wed, 07 Dec 2016 14:47:32 -0500

John Wiegley wrote:

> I'm reporting this in case it's something that can be gleaned from
> reading the trace. Otherwise, feel free to close and I will keep
> looking for a pattern.

Exercising that freedom. :)

[Message part 3 (message/rfc822, inline)]

From: John Wiegley <jwiegley <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: 25.0.92; Crash after doing much work in Proof General
Date: Tue, 05 Apr 2016 22:08:53 -0700

I'm not sure how helpful this report is going to be, but:

These days I configure with the following flags:

           [ "--with-ns" "--disable-ns-self-contained"
             "--enable-checking=yes"
             "--enable-check-lisp-object-type=yes" ]

And pass -O0 -g3 to make.  I also run under lldb, to catch any exceptions.

After using Emacs (built just today) for many hours, I found myself needing to
kill a Coq buffer, which apparently prompted a GC.  It was during this GC that
it died.

Nothing that I was doing was out of the ordinary for me, and Emacs has been
running strong for weeks, so there's a subtle edge case here that I'm unable
to reduce into something smaller.

I'm reporting this in case it's something that can be gleaned from reading the
trace.  Otherwise, feel free to close and I will keep looking for a pattern.

    http://dl.dropbox.com/u/137615/info.txt

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.