From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 15:30:48 2016 Received: (at submit) by debbugs.gnu.org; 6 Apr 2016 19:30:48 +0000 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 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 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 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_40,DATE_IN_PAST_12_24, FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 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 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 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 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 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) 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) From: John Wiegley X-Google-Original-From: "John Wiegley" Received: by Vulcan.local (Postfix, from userid 501) id A18AD13EA040B; Wed, 6 Apr 2016 12:30:31 -0700 (PDT) To: bug-gnu-emacs@gnu.org Subject: 25.0.92; Crash after doing much work in Proof General Date: Tue, 05 Apr 2016 22:08:53 -0700 Message-ID: User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.92 (darwin) Mail-Followup-To: bug-gnu-emacs@gnu.org MIME-Version: 1.0 Content-Type: text/plain 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-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.2 (---) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.2 (---) 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 From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 15:49:18 2016 Received: (at submit) by debbugs.gnu.org; 6 Apr 2016 19:49:18 +0000 Received: from localhost ([127.0.0.1]:52110 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1antS2-0000qm-LO for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:49:18 -0400 Received: from eggs.gnu.org ([208.118.235.92]:33273) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1antS0-0000qV-Em for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:49:17 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1antRu-0000KS-HL for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:49:11 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.2 required=5.0 tests=BAYES_50,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:39447) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1antRu-0000KM-E9 for submit@debbugs.gnu.org; Wed, 06 Apr 2016 15:49:10 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:52471) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1antRt-00038y-Gp for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:49:10 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1antRp-0000Js-Cl for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 15:49:09 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:47665) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1antRp-0000Jn-9r; Wed, 06 Apr 2016 15:49:05 -0400 Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:2360 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1antRo-0007Ej-Kf; Wed, 06 Apr 2016 15:49:05 -0400 Date: Wed, 06 Apr 2016 22:48:45 +0300 Message-Id: <83twjeldr6.fsf@gnu.org> From: Eli Zaretskii To: John Wiegley In-reply-to: (message from John Wiegley on Tue, 05 Apr 2016 22:08:53 -0700) Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General References: 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-Received-From: 2001:4830:134:3::11 X-Spam-Score: -6.0 (------) X-Debbugs-Envelope-To: submit Cc: bug-gnu-emacs@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Eli Zaretskii Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) > From: John Wiegley > Date: Tue, 05 Apr 2016 22:08:53 -0700 > > 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 How much stack do you have there for the Emacs executable? The stack trace looks like infinite recursion to me, repeating this sequence ad nauseam: frame #27912: 0x0000000100330ae4 Emacs`call1 + 68 frame #27913: 0x000000010034d407 Emacs`mapcar1 + 1095 frame #27914: 0x0000000100350fc5 Emacs`Fmapcar + 15109 frame #27915: 0x000000010032fac8 Emacs`Ffuncall + 1432 frame #27916: 0x00000001003bf9bc Emacs`exec_byte_code + 5196 frame #27917: 0x00000001003319e3 Emacs`funcall_lambda + 2739 frame #27918: 0x000000010032fdeb Emacs`Ffuncall + 2235 frame #27919: 0x00000001003bf9bc Emacs`exec_byte_code + 5196 frame #27920: 0x00000001003319e3 Emacs`funcall_lambda + 2739 frame #27921: 0x000000010032fdeb Emacs`Ffuncall + 2235 with minor variations. This starts from running a hook: frame #28069: 0x000000010033072c Emacs`run_hook_with_args + 1308 frame #28070: 0x00000001003301f4 Emacs`Frun_hook_with_args + 36 frame #28071: 0x00000001003301bf Emacs`run_hook + 31 frame #28072: 0x0000000100330177 Emacs`Frun_hooks + 55 so maybe one of your hooks incurs infinite recursion? From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 16:45:24 2016 Received: (at control) by debbugs.gnu.org; 6 Apr 2016 20:45:24 +0000 Received: from localhost ([127.0.0.1]:52133 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anuKK-0002HQ-3D for submit@debbugs.gnu.org; Wed, 06 Apr 2016 16:45:24 -0400 Received: from eggs.gnu.org ([208.118.235.92]:44929) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anuKI-0002HA-Dn for control@debbugs.gnu.org; Wed, 06 Apr 2016 16:45:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anuKC-0004mo-Rd for control@debbugs.gnu.org; Wed, 06 Apr 2016 16:45:17 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:48570) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anuKC-0004mk-O8 for control@debbugs.gnu.org; Wed, 06 Apr 2016 16:45:16 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.82) (envelope-from ) id 1anuKC-0004Zy-EU for control@debbugs.gnu.org; Wed, 06 Apr 2016 16:45:16 -0400 Subject: control message for bug 23233 To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: From: Glenn Morris Date: Wed, 06 Apr 2016 16:45:16 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -6.0 (------) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) merge 23230 23233 From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 17:41:48 2016 Received: (at submit) by debbugs.gnu.org; 6 Apr 2016 21:41:48 +0000 Received: from localhost ([127.0.0.1]:52184 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anvCt-0005Nu-UR for submit@debbugs.gnu.org; Wed, 06 Apr 2016 17:41:48 -0400 Received: from eggs.gnu.org ([208.118.235.92]:56602) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anvCs-0005Nh-47 for submit@debbugs.gnu.org; Wed, 06 Apr 2016 17:41:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anvCl-0000yD-Vu for submit@debbugs.gnu.org; Wed, 06 Apr 2016 17:41:40 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:33557) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anvCl-0000y9-TD for submit@debbugs.gnu.org; Wed, 06 Apr 2016 17:41:39 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47568) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anvCk-0000N1-VJ for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 17:41:39 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anvCg-0000xd-Rx for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 17:41:38 -0400 Received: from mail-ob0-x22b.google.com ([2607:f8b0:4003:c01::22b]:33584) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anvCg-0000xZ-Mj; Wed, 06 Apr 2016 17:41:34 -0400 Received: by mail-ob0-x22b.google.com with SMTP id tz8so34817633obc.0; Wed, 06 Apr 2016 14:41:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:mail-followup-to:mime-version; bh=Lde4GpJmWhT+aPkvUzhDGep/+QlkUz6iIuH+WuvMF4I=; b=kBupxLHmWxvsLDeBTy3YNN89qun90T/cx7FGoEqS6dvCXxBF9zPr2Z+Kx78xiLK7UC PZd/Hqq6Bw9exP41u73L/t/10rRUC1fzMX2f77MQawDoJC5Hgjx0v+USxwUijMoQabUB xXKHoS9A3EK5A3e+BUCzYKb/6MQFiMpRuw9ThApIWC8s7HIRoTZ/e1aD40+xYWS2fgM6 HXV9B8luQ4mZhKNvo5Vl05dEjOZ1AfBEMcmaOnenp55p5QQ2u5z5OAa7f57ZgWHDzp6M 0bJ+YqrXgkS4OmqH5BgJtw7Zt9+I+H16uPmLuUfjfsQXQOTyw+SjlbDI2hmUTKu3KHe8 24Kw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:mail-followup-to:mime-version; bh=Lde4GpJmWhT+aPkvUzhDGep/+QlkUz6iIuH+WuvMF4I=; b=ByjYBstZ9XK25xS6RbFfswCOPsCCQB6QjsXJq2fNPqSKjIiUl9AwPHVuqQNA3G7H15 fB6yzPKEvEHr3bWK79c0EsEX55DSFdDfSOua8SRm39WKwCWTZnH0zdAE+cFEihSVHOIc w2+7n0syVMXoT8YRwc+mcTwQ4vj/boHyp0uCDxX6CjFgCLhpO3KKqAAYZLmkpL4VraQs /nf9PpOl39kdT1IQJaS/LqlEmlQepwkrIpFlou3XhASnQloZefqfnqv38FlX2yrSO5rd JAEd0aaY6I5VNzaT36pv7cf2Ya3XqKBUB7ZmL1y4ebppYFxJk58rqBpwwFr+O2cv6rtf PaXA== X-Gm-Message-State: AD7BkJIrsCDsmoUI1NWo2C13qnnisCy9nNJQRTkMiuDitD5WKJdogg9hhw1WzynmiIvICw== X-Received: by 10.60.54.8 with SMTP id f8mr2958433oep.31.1459978894062; Wed, 06 Apr 2016 14:41:34 -0700 (PDT) Received: from Vulcan.local (76-234-68-79.lightspeed.frokca.sbcglobal.net. [76.234.68.79]) by smtp.gmail.com with ESMTPSA id u9sm1418634otb.11.2016.04.06.14.41.31 (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 06 Apr 2016 14:41:31 -0700 (PDT) From: John Wiegley X-Google-Original-From: "John Wiegley" Received: by Vulcan.local (Postfix, from userid 501) id 6DAA813EA2FFD; Wed, 6 Apr 2016 14:41:30 -0700 (PDT) To: Eli Zaretskii Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General In-Reply-To: <83twjeldr6.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 06 Apr 2016 22:48:45 +0300") Date: Wed, 06 Apr 2016 14:41:22 -0700 Message-ID: References: <83twjeldr6.fsf@gnu.org> User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.92 (darwin) Mail-Followup-To: Eli Zaretskii , bug-gnu-emacs@gnu.org MIME-Version: 1.0 Content-Type: text/plain 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-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit Cc: bug-gnu-emacs@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) >>>>> Eli Zaretskii writes: > with minor variations. This starts from running a hook: > frame #28069: 0x000000010033072c Emacs`run_hook_with_args + 1308 > frame #28070: 0x00000001003301f4 Emacs`Frun_hook_with_args + 36 > frame #28071: 0x00000001003301bf Emacs`run_hook + 31 > frame #28072: 0x0000000100330177 Emacs`Frun_hooks + 55 > so maybe one of your hooks incurs infinite recursion? I suppose it's always possible, but I wonder then why I don't see this more often. I'll look for recursions the next time it happens. For now, I'll keep Emacs under lldb with full debugging (which does make it noticeably slower). -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 18:13:26 2016 Received: (at submit) by debbugs.gnu.org; 6 Apr 2016 22:13:26 +0000 Received: from localhost ([127.0.0.1]:52190 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anvhW-0006BP-Ie for submit@debbugs.gnu.org; Wed, 06 Apr 2016 18:13:26 -0400 Received: from eggs.gnu.org ([208.118.235.92]:34981) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anvhU-0006BC-Vc for submit@debbugs.gnu.org; Wed, 06 Apr 2016 18:13:25 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anvhO-0008Lg-TL for submit@debbugs.gnu.org; Wed, 06 Apr 2016 18:13:19 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_40 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:50052) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anvhO-0008Lb-Qa for submit@debbugs.gnu.org; Wed, 06 Apr 2016 18:13:18 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54181) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anvhN-0004Yv-GE for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 18:13:18 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anvhI-0008LK-Bs for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 18:13:17 -0400 Received: from hermes.netfonds.no ([80.91.224.195]:35994) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anvhI-0008LG-55 for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 18:13:12 -0400 Received: from cm-84.215.1.64.getinternet.no ([84.215.1.64] helo=stories) by hermes.netfonds.no with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.84_2) (envelope-from ) id 1anvhC-0000ey-1U for bug-gnu-emacs@gnu.org; Thu, 07 Apr 2016 00:13:10 +0200 From: Lars Magne Ingebrigtsen To: bug-gnu-emacs@gnu.org Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General References: <83twjeldr6.fsf@gnu.org> Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAGFBMVEU7OT22srUJBgcsJywX EhYODA1fWV4fGh+5SePpAAACHUlEQVQ4jW2TTWsbMRCGJwjW14iCfoBh7yqTRvdYrq7FeOlVS4Jy NdWG+ft9R1pvNyVzMF49eudLM1RKma115Z/N+vVGJQ/6lf2wkaEQMRHFl+k4TrBr7ObDeboS+WOz UX8u7a98TNNxA6tBGgX28h/AcYxVpP5BjHbRlfk8teNFhEU2YO28tMhJkjCHDcyu3IFUZlYwNpA7 wDkEHUyX43hFXQ2of3jSrEhLS9a1GElqqHeFFpweqSkSe2I2zD9WEOdV4Ysh/wUQX8goUFe/UWu0 7w1U7SzOaVPYXsdt0KbzpoixlNhD4J0y9xgJV5Fu7J4snjNTAyf0QFq2ifSZrUUcAO9r9VQcelGp qMLaTE8AxQt76I0+kLedKJhfb8VAX3JAyztxADR/Sz9zmyAKIkNu5F2Bk4eiipIPQW62EafAGsRs I2ck4d7DBl5PBiPGgUiqRt6Aq30cnwszHt/NHVj7qNk3YHh2Pj+XFbhHCDIZKMKQKwf+vioOdSAT wkCoEE+rLdACXajrqJsqodVPyMbf8pKY7qBZ9QeAGuLp6dSWhNt9zI/XXiUd2AZMP69cNxBvuG+6 H8ZAtLa3uUK4sOiUEPLAOOhDXUEwfUvUNUiaBYAqxhEjGnU71KDV+flQgGEfL8fpbhEvbboCm7kD ur6yKtb929llB8Y92K0z3H0NPjv7DHbOdjGQ3DSdN0IDscTzr3xNoe8sbJHl/BciLxJXXVnKwgAA AABJRU5ErkJggg== Date: Thu, 07 Apr 2016 00:13:05 +0200 In-Reply-To: (John Wiegley's message of "Wed, 06 Apr 2016 14:41:22 -0700") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) John Wiegley writes: >>>>>> Eli Zaretskii writes: > >> with minor variations. This starts from running a hook: > >> frame #28069: 0x000000010033072c Emacs`run_hook_with_args + 1308 >> frame #28070: 0x00000001003301f4 Emacs`Frun_hook_with_args + 36 >> frame #28071: 0x00000001003301bf Emacs`run_hook + 31 >> frame #28072: 0x0000000100330177 Emacs`Frun_hooks + 55 > >> so maybe one of your hooks incurs infinite recursion? > > I suppose it's always possible, but I wonder then why I don't see this more > often. I'll look for recursions the next time it happens. For now, I'll keep > Emacs under lldb with full debugging (which does make it noticeably slower). Well, an infinite hook recursion still shouldn't make Emacs crash. The backtrace reminded me a bit about the known gc recursion bug that I can't remember the recipe for right now -- it was something about if you (setcar foo foo), then Emacs will segfault when trying to gc? I forget the details, but it's in the debbugs somewhere. :-) -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 18:24:19 2016 Received: (at 23233) by debbugs.gnu.org; 6 Apr 2016 22:24:19 +0000 Received: from localhost ([127.0.0.1]:52200 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anvrz-0006RG-QD for submit@debbugs.gnu.org; Wed, 06 Apr 2016 18:24:19 -0400 Received: from mail-out.m-online.net ([212.18.0.9]:40643) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anvru-0006R4-7D for 23233@debbugs.gnu.org; Wed, 06 Apr 2016 18:24:13 -0400 Received: from frontend01.mail.m-online.net (unknown [192.168.8.182]) by mail-out.m-online.net (Postfix) with ESMTP id 3qgKyK0N2Nz3hj68; Thu, 7 Apr 2016 00:24:08 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.6.68]) by mail.m-online.net (Postfix) with ESMTP id 3qgKyJ6Nhlzvh2L; Thu, 7 Apr 2016 00:24:08 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.182]) by localhost (dynscan1.mail.m-online.net [192.168.6.68]) (amavisd-new, port 10024) with ESMTP id jhIZFMBypfyt; Thu, 7 Apr 2016 00:24:04 +0200 (CEST) X-Auth-Info: lxLS8CSESHcjmUZOOoClMBmwLJrjHQlsoDtiLpxd/QR7lwrKVFDJ+ruspjx3MKiM Received: from igel.home (ppp-88-217-12-230.dynamic.mnet-online.de [88.217.12.230]) by mail.mnet-online.de (Postfix) with ESMTPA; Thu, 7 Apr 2016 00:24:04 +0200 (CEST) Received: by igel.home (Postfix, from userid 1000) id 5623F2C4635; Thu, 7 Apr 2016 00:24:04 +0200 (CEST) From: Andreas Schwab To: Lars Magne Ingebrigtsen Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General References: <83twjeldr6.fsf@gnu.org> X-Yow: Maybe we could paint GOLDIE HAWN a rich PRUSSIAN BLUE-- Date: Thu, 07 Apr 2016 00:24:04 +0200 In-Reply-To: (Lars Magne Ingebrigtsen's message of "Thu, 07 Apr 2016 00:13:05 +0200") Message-ID: <877fga1im3.fsf@linux-m68k.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.92 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 23233 Cc: 23233@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Lars Magne Ingebrigtsen writes: > The backtrace reminded me a bit about the known gc recursion bug that I > can't remember the recipe for right now -- it was something about if you > (setcar foo foo), then Emacs will segfault when trying to gc? I forget > the details, but it's in the debbugs somewhere. :-) Circular structures are of course not a problem, since gc will never revisit an object it already saw. You need deeply nested structures. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 22:42:01 2016 Received: (at submit) by debbugs.gnu.org; 7 Apr 2016 02:42:01 +0000 Received: from localhost ([127.0.0.1]:52292 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anztR-0004Fw-Fw for submit@debbugs.gnu.org; Wed, 06 Apr 2016 22:42:01 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54344) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anztP-0004Fe-H5 for submit@debbugs.gnu.org; Wed, 06 Apr 2016 22:42:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anztJ-00014c-IY for submit@debbugs.gnu.org; Wed, 06 Apr 2016 22:41:54 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.5 required=5.0 tests=BAYES_05,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:46054) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anztJ-00014Q-Fr for submit@debbugs.gnu.org; Wed, 06 Apr 2016 22:41:53 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45303) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anztI-0001Hk-Ll for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 22:41:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anztF-00012D-Fw for bug-gnu-emacs@gnu.org; Wed, 06 Apr 2016 22:41:52 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:53621) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anztF-000124-DI; Wed, 06 Apr 2016 22:41:49 -0400 Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:2578 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1anztE-0004qW-OJ; Wed, 06 Apr 2016 22:41:49 -0400 Date: Thu, 07 Apr 2016 05:41:30 +0300 Message-Id: <83r3eikun9.fsf@gnu.org> From: Eli Zaretskii To: John Wiegley In-reply-to: (message from John Wiegley on Wed, 06 Apr 2016 14:41:22 -0700) Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General References: <83twjeldr6.fsf@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-Received-From: 2001:4830:134:3::11 X-Spam-Score: -6.0 (------) X-Debbugs-Envelope-To: submit Cc: bug-gnu-emacs@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Eli Zaretskii Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) > From: John Wiegley > Cc: bug-gnu-emacs@gnu.org > Date: Wed, 06 Apr 2016 14:41:22 -0700 > > For now, I'll keep Emacs under lldb with full debugging (which does > make it noticeably slower). Running under a debugger should never slow down Emacs, unless you set breakpoints with ignore conditions. From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 06 22:45:50 2016 Received: (at 23233) by debbugs.gnu.org; 7 Apr 2016 02:45:50 +0000 Received: from localhost ([127.0.0.1]:52299 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anzx5-0004LV-0f for submit@debbugs.gnu.org; Wed, 06 Apr 2016 22:45:50 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54848) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1anzwz-0004LF-Rs for 23233@debbugs.gnu.org; Wed, 06 Apr 2016 22:45:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1anzwp-0001dB-U0 for 23233@debbugs.gnu.org; Wed, 06 Apr 2016 22:45:36 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=BAYES_40,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:53673) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1anzwp-0001cs-Qh; Wed, 06 Apr 2016 22:45:31 -0400 Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:2581 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1anzwp-0005Bs-6x; Wed, 06 Apr 2016 22:45:31 -0400 Date: Thu, 07 Apr 2016 05:45:13 +0300 Message-Id: <83pou2kuh2.fsf@gnu.org> From: Eli Zaretskii To: Lars Magne Ingebrigtsen In-reply-to: (message from Lars Magne Ingebrigtsen on Thu, 07 Apr 2016 00:13:05 +0200) Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General References: <83twjeldr6.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -6.0 (------) X-Debbugs-Envelope-To: 23233 Cc: 23233@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Eli Zaretskii Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) > From: Lars Magne Ingebrigtsen > Date: Thu, 07 Apr 2016 00:13:05 +0200 > > Well, an infinite hook recursion still shouldn't make Emacs crash. Infinite recursion will crash any program due to stack overflow. > The backtrace reminded me a bit about the known gc recursion bug that I > can't remember the recipe for right now -- it was something about if you > (setcar foo foo), then Emacs will segfault when trying to gc? I forget > the details, but it's in the debbugs somewhere. :-) I don't think this is what happened in this case. If indeed the stack was exhausted (by having ~1000 call frames before GC started), the crash has nothing to do with GC itself, except that GC is inherently recursive. From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 07 11:13:04 2016 Received: (at submit) by debbugs.gnu.org; 7 Apr 2016 15:13:04 +0000 Received: from localhost ([127.0.0.1]:53041 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1aoBcG-0001hM-CW for submit@debbugs.gnu.org; Thu, 07 Apr 2016 11:13:04 -0400 Received: from eggs.gnu.org ([208.118.235.92]:50816) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1aoBcE-0001gs-NX for submit@debbugs.gnu.org; Thu, 07 Apr 2016 11:13:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aoBc5-0006zY-A0 for submit@debbugs.gnu.org; Thu, 07 Apr 2016 11:12:57 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:58286) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aoBc5-0006zU-7L for submit@debbugs.gnu.org; Thu, 07 Apr 2016 11:12:53 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:41757) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aoBbz-0005Qp-6X for bug-gnu-emacs@gnu.org; Thu, 07 Apr 2016 11:12:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aoBbu-0006ya-HR for bug-gnu-emacs@gnu.org; Thu, 07 Apr 2016 11:12:47 -0400 Received: from plane.gmane.org ([80.91.229.3]:55226) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aoBbu-0006yT-2S for bug-gnu-emacs@gnu.org; Thu, 07 Apr 2016 11:12:42 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1aoBbr-00063b-Ii for bug-gnu-emacs@gnu.org; Thu, 07 Apr 2016 17:12:39 +0200 Received: from metalevel.at ([78.46.218.83]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 07 Apr 2016 17:12:39 +0200 Received: from triska by metalevel.at with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 07 Apr 2016 17:12:39 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: bug-gnu-emacs@gnu.org From: Markus Triska Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General Date: Thu, 07 Apr 2016 17:12:33 +0200 Lines: 8 Message-ID: <877fg9zc4e.fsf@metalevel.at> References: <83twjeldr6.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: metalevel.at Cancel-Lock: sha1:mhT7A3vvrVvxEIg6LLVTCrJMlqY= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.1 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.1 (----) Lars Magne Ingebrigtsen writes: > The backtrace reminded me a bit about the known gc recursion bug that I > can't remember the recipe for right now -- it was something about if you > (setcar foo foo), then Emacs will segfault when trying to gc? I forget > the details, but it's in the debbugs somewhere. :-) Please see #2099. From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 07 14:47:47 2016 Received: (at control) by debbugs.gnu.org; 7 Dec 2016 19:47:47 +0000 Received: from localhost ([127.0.0.1]:59943 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cEiBu-0005BO-TH for submit@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:47 -0500 Received: from eggs.gnu.org ([208.118.235.92]:57073) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cEiBt-0005B3-Gp for control@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:45 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cEiBn-0002TV-R4 for control@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:40 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:55640) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cEiBn-0002TR-OH for control@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:39 -0500 Received: from rgm by fencepost.gnu.org with local (Exim 4.82) (envelope-from ) id 1cEiBn-0006fW-BL for control@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:39 -0500 Subject: control message for bug 23233 To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: From: Glenn Morris Date: Wed, 07 Dec 2016 14:47:39 -0500 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -8.0 (--------) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -8.0 (--------) tag 23233 + wontfix From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 07 14:47:40 2016 Received: (at 23233-done) by debbugs.gnu.org; 7 Dec 2016 19:47:40 +0000 Received: from localhost ([127.0.0.1]:59940 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cEiBo-0005B4-Nw for submit@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:40 -0500 Received: from eggs.gnu.org ([208.118.235.92]:57041) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cEiBn-0005An-EG for 23233-done@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:39 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cEiBh-0002S3-GF for 23233-done@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:34 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:55638) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cEiBh-0002Rz-DI for 23233-done@debbugs.gnu.org; Wed, 07 Dec 2016 14:47:33 -0500 Received: from rgm by fencepost.gnu.org with local (Exim 4.82) (envelope-from ) id 1cEiBg-0006f2-Rs; Wed, 07 Dec 2016 14:47:32 -0500 From: Glenn Morris To: 23233-done@debbugs.gnu.org Subject: Re: bug#23233: 25.0.92; Crash after doing much work in Proof General References: X-Spook: Crash Cartel Looting bce asset SP4 colonel Trafficking X-Ran: b@GS2gi,pt5MUiYi~Cx<>.#-%M\wh$7fNf_KCq-xF}Q+6vh[?*>;;Ov:HBUw0?]wBvE);| X-Hue: white X-Attribution: GM Date: Wed, 07 Dec 2016 14:47:32 -0500 In-Reply-To: (John Wiegley's message of "Tue, 05 Apr 2016 22:08:53 -0700") Message-ID: User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -8.0 (--------) X-Debbugs-Envelope-To: 23233-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -8.0 (--------) 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. :) From unknown Mon Jun 23 20:19:42 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 05 Jan 2017 12:24:07 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator