From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#27761: Crash while using proof-general/company-coq on OS X Date: Tue, 01 Aug 2017 22:12:19 +0300 Message-ID: <83mv7jyuek.fsf@gnu.org> References: <83y3riapq2.fsf@gnu.org> <94196959-2ede-273d-6bc3-a8f214b128e0@aurox.ch> <83lgnha9kv.fsf@gnu.org> <83pocp7ope.fsf@gnu.org> <127db243-cb9b-c89b-ad40-35feb7a513bf@aurox.ch> <68f0bd6c-1ad8-3c52-c5cc-2655600cef4d@aurox.ch> <83379g4bso.fsf@gnu.org> <837eyq3bch.fsf@gnu.org> <5ddb802a-7c0c-bf0b-ec85-6ed19e5ea7df@aurox.ch> Reply-To: Eli Zaretskii NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1501614793 7308 195.159.176.226 (1 Aug 2017 19:13:13 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 1 Aug 2017 19:13:13 +0000 (UTC) Cc: 27761@debbugs.gnu.org, charles@aurox.ch To: =?UTF-8?Q?=D0=94=D0=B5=D0=BD=D0=B8=D1=81_?= =?UTF-8?Q?=D0=A0=D0=B5=D0=B4=D0=BE=D0=B7=D1=83=D0=B1=D0=BE=D0=B2?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Aug 01 21:13:09 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dccbJ-0001P8-F8 for geb-bug-gnu-emacs@m.gmane.org; Tue, 01 Aug 2017 21:13:05 +0200 Original-Received: from localhost ([::1]:44133 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dccbP-0006hc-2m for geb-bug-gnu-emacs@m.gmane.org; Tue, 01 Aug 2017 15:13:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54607) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dccbJ-0006hX-IH for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 15:13:06 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dccbG-0001zX-94 for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 15:13:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:34584) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dccbG-0001zQ-5X for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 15:13:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dccbF-0000NO-SA for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 15:13:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 01 Aug 2017 19:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 27761 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 27761-submit@debbugs.gnu.org id=B27761.15016147731432 (code B ref 27761); Tue, 01 Aug 2017 19:13:01 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 1 Aug 2017 19:12:53 +0000 Original-Received: from localhost ([127.0.0.1]:37261 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dccb7-0000N2-Ex for submit@debbugs.gnu.org; Tue, 01 Aug 2017 15:12:53 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:35361) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dccb5-0000Mo-89 for 27761@debbugs.gnu.org; Tue, 01 Aug 2017 15:12:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dccaw-0001p9-GG for 27761@debbugs.gnu.org; Tue, 01 Aug 2017 15:12:45 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:34018) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dccaw-0001oy-D6; Tue, 01 Aug 2017 15:12:42 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:1037 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1dccat-0003Ko-Hv; Tue, 01 Aug 2017 15:12:42 -0400 In-reply-to: (message from =?UTF-8?Q?=D0=94=D0=B5=D0=BD=D0=B8=D1=81_?= =?UTF-8?Q?=D0=A0=D0=B5=D0=B4=D0=BE=D0=B7=D1=83=D0=B1=D0=BE=D0=B2?= on Tue, 1 Aug 2017 21:22:55 +0300) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] 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" Xref: news.gmane.org gmane.emacs.bugs:135230 Archived-At: > From: Денис Редозубов > Date: Tue, 1 Aug 2017 21:22:55 +0300 > Cc: Eli Zaretskii , 27761@debbugs.gnu.org, Glenn Morris > > I'm finally ready to continue with this. I've installed the gdb on os x(with nix) and built emacs as described in > etc/DEBUG document. Thank you. Please start Emacs under GDB, using the "run" command, then perform your reproduction recipe and see that Emacs crashes and GDB takes control. Then type (gdb) bt and show here the results.