[debbugs-tracker] bug#23233: closed (25.0.92; Crash after doing much work in Proof General)

[GNU bug Tracking System]

Your message dated Wed, 07 Dec 2016 14:47:32 -0500
with message-id <address@hidden>
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
address@hidden)


-- 
23233: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23233
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 25.0.92; Crash after doing much work in Proof General
>
>
>
>
> Date: 
>
> Tue, 05 Apr 2016 22:08:53 -0700
>
>
>
>
> User-agent: 
>
> Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.92 (darwin)
>
>
>
>
> 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#23233: 25.0.92; Crash after doing much work in Proof General
>
>
>
>
> Date: 
>
> Wed, 07 Dec 2016 14:47:32 -0500
>
>
>
>
> User-agent: 
>
> Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
>
>
>
>
> 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. :)
>
>
> --- End Message ---