From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.bugs Subject: bug#23233: 25.0.92; Crash after doing much work in Proof General Date: Tue, 05 Apr 2016 22:08:53 -0700 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1459971086 7527 80.91.229.3 (6 Apr 2016 19:31:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 6 Apr 2016 19:31:26 +0000 (UTC) To: 23233@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Apr 06 21:31:16 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1antAa-0007Qk-5l for geb-bug-gnu-emacs@m.gmane.org; Wed, 06 Apr 2016 21:31:16 +0200 Original-Received: from localhost ([::1]:45284 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1antAW-0006ci-BB for geb-bug-gnu-emacs@m.gmane.org; Wed, 06 Apr 2016 15:31:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50130) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1antAS-0006cB-3U for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:31:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1antAM-0004vy-PN for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:31:08 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:39767) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1antAM-0004vj-L8 for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:31:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1antAM-0000Ob-Gg for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:31:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: John Wiegley Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 06 Apr 2016 19:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 23233 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.14599710481496 (code B ref -1); Wed, 06 Apr 2016 19:31:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 6 Apr 2016 19:30:48 +0000 Original-Received: from localhost ([127.0.0.1]:52104 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1antA8-0000O2-0O for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:30:48 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:59107) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1antA6-0000Nr-BD for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:30:46 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1antA0-0004rZ-32 for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:30:41 -0400 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:49095) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ant9z-0004rV-VH for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:30:40 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50064) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ant9y-0006UA-L1 for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:30:39 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ant9u-0004qx-2d for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:30:38 -0400 Original-Received: from mail-ob0-x22f.google.com ([2607:f8b0:4003:c01::22f]:36471) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ant9t-0004qs-Tp for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:30:33 -0400 Original-Received: by mail-ob0-x22f.google.com with SMTP id j9so38075657obd.3 for ; Wed, 06 Apr 2016 12:30:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:user-agent:mail-followup-to :mime-version; bh=iv7RSHp710gu4L8PUN5QzZ0vUIbgbG2RHm5fyygdKbA=; b=fglI542H4+yutISso7m6ejCUKlV4Mfbycse/S31rM91CEIbJmEOiCp35m4ZCFkWy14 TpX9Afi28bGeetK3zP5f7lgJXH+drmPC19BJGU5+MywpqT3VdRHa0l7tjmMqGvcwRyCK DMu38q5hh9iy0KyB56B/rBgvpoBEvulsDtocpCra2xnDvDrPYse+FgmbvZW1VjC3fxHn KO4pw450yej0LquQ5kx1GsMUg8gV3Cp1Hz2FyAwIAEn+yyZK8oTD7aQhZBmEtHWnO4tw RWcN2tj0jrqY0/WI0H4IGk3QjXxfr9905lkuHP4QKRkA9hbgU90FNbdSiMOsANUdZ7vt b5eg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mail-followup-to:mime-version; bh=iv7RSHp710gu4L8PUN5QzZ0vUIbgbG2RHm5fyygdKbA=; b=KyO6d1Xi7OpEoe2/1+OdlHQNbpGEiNes7MeRaTgl3gaonIQC64QQnkgvzmIjYCNYcK VaK/d+AdnYxXO8OD1ZemgFZXOykBhc8vdqCGDv4hn3HF/l3k0zIpl5HRhYuBa7GHH561 /7qbXW9ioteFAEvhD98+TxVsL/Jn5hVkgSGEWAW5M7t+lJyWulXIOa9hRXmJypWzA8kx yBVA2p86fUKf13QsuLxuLKIDCTif/PZnEYcLRtcGiVwaSYYuctaEt3Y1aVJi0F0yPeTQ ft9AXsijozxp9osWz6Zfi2TX5nw2qhFFLXgCinkQ12pUmL//rjgISXu1pW4Mf80MALjr kMUA== X-Gm-Message-State: AD7BkJKFcTiS/c0LSADmBLOoXrP78KpZ4MKYy5zKLljfhtR0JuOyp1TsLsnI0TflYVi7Dw== X-Received: by 10.60.101.132 with SMTP id fg4mr10577823oeb.21.1459971033377; Wed, 06 Apr 2016 12:30:33 -0700 (PDT) Original-Received: from Vulcan.local (76-234-68-79.lightspeed.frokca.sbcglobal.net. [76.234.68.79]) by smtp.gmail.com with ESMTPSA id e20sm1256519oic.19.2016.04.06.12.30.32 for (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 06 Apr 2016 12:30:32 -0700 (PDT) X-Google-Original-From: "John Wiegley" Original-Received: by Vulcan.local (Postfix, from userid 501) id A18AD13EA040B; Wed, 6 Apr 2016 12:30:31 -0700 (PDT) User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.92 (darwin) Mail-Followup-To: bug-gnu-emacs@gnu.org X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:116135 Archived-At: 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