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: Glenn Morris <rgm <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#23233: closed (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 message dated Wed, 07 Dec 2016 14:47:32 -0500
with message-id <jkvauva5d7.fsf <at> fencepost.gnu.org>
and subject line Re: bug#23233: 25.0.92; Crash after doing much work in Proof General
has caused the debbugs.gnu.org bug report #23233,
regarding 25.0.92; Crash after doing much work in Proof General
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> 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: 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

[Message part 3 (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. :)

Previous Next

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