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: Wed, 19 Jul 2017 20:00:19 +0300 Message-ID: <83wp74bbvg.fsf@gnu.org> References: 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 1500483681 24096 195.159.176.226 (19 Jul 2017 17:01:21 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 19 Jul 2017 17:01:21 +0000 (UTC) Cc: 27761@debbugs.gnu.org, denis.redozubov@gmail.com To: John Wiegley Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jul 19 19:01:14 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 1dXsLY-0005pm-6f for geb-bug-gnu-emacs@m.gmane.org; Wed, 19 Jul 2017 19:01:12 +0200 Original-Received: from localhost ([::1]:34312 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dXsLc-0002ao-Qd for geb-bug-gnu-emacs@m.gmane.org; Wed, 19 Jul 2017 13:01:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35484) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dXsLS-0002YJ-RD for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 13:01:11 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dXsLO-00086b-1N for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 13:01:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:45367) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dXsLN-00086W-UA for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 13:01:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dXsLN-0007TI-N5 for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 13:01: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: Wed, 19 Jul 2017 17:01: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.150048364228685 (code B ref 27761); Wed, 19 Jul 2017 17:01:01 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 19 Jul 2017 17:00:42 +0000 Original-Received: from localhost ([127.0.0.1]:48044 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dXsL4-0007Sa-Ce for submit@debbugs.gnu.org; Wed, 19 Jul 2017 13:00:42 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:44389) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dXsL2-0007SM-TK for 27761@debbugs.gnu.org; Wed, 19 Jul 2017 13:00:41 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dXsKt-0007qd-0M for 27761@debbugs.gnu.org; Wed, 19 Jul 2017 13:00:35 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:45238) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dXsKs-0007qN-TQ; Wed, 19 Jul 2017 13:00:30 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:2206 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1dXsKs-0005jM-Cs; Wed, 19 Jul 2017 13:00:30 -0400 In-reply-to: (message from John Wiegley on Wed, 19 Jul 2017 09:08:16 -0400) 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:134748 Archived-At: > From: John Wiegley > Date: Wed, 19 Jul 2017 09:08:16 -0400 > Cc: 27761@debbugs.gnu.org > > >>>>> "ДР" == Денис Редозубов writes: > > ДР> Sometimes when I try to open documentation for a coq tactic with a > ДР> C-h(company-coq), emacs crashes on OS X. I can reproduce it with both 25.1 > ДР> and GNU Emacs 25.2.1 (x86_64-apple-darwin15.0.0, NS appkit-1404.13 Version > ДР> 10.11.1 (Build 15B42) > > Eli, I was with Denis when this bug occurred, so if there any further steps we > can take to track it down further, let me know and we can work on it together. What I need is a reproducible recipe. The crash looks like some infinite recursion in the display engine, but it's hard to do anything with this without knowing more, like what exactly was in the buffer at the position where redisplay loops. Thanks.