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: Thu, 03 Aug 2017 19:18:20 +0300 Message-ID: <83y3r0y69f.fsf@gnu.org> References: Reply-To: Eli Zaretskii NNTP-Posting-Host: blaine.gmane.org X-Trace: blaine.gmane.org 1501777167 8022 195.159.176.226 (3 Aug 2017 16:19:27 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 3 Aug 2017 16:19:27 +0000 (UTC) Cc: 27761@debbugs.gnu.org, charles@aurox.ch, denis.redozubov@gmail.com To: YAMAMOTO Mitsuharu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Aug 03 18:19:22 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 1ddIq9-0001L2-DQ for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 Aug 2017 18:19:13 +0200 Original-Received: from localhost ([::1]:57884 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ddIqF-000658-7G for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 Aug 2017 12:19:19 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54873) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ddIq3-00061e-1D for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2017 12:19:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ddIpy-0001PI-NI for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2017 12:19:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:37526) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ddIpy-0001Od-Iz for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2017 12:19:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ddIpy-00036z-9o for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2017 12:19:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 03 Aug 2017 16:19:02 +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.150177712811942 (code B ref 27761); Thu, 03 Aug 2017 16:19:02 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 3 Aug 2017 16:18:48 +0000 Original-Received: from localhost ([127.0.0.1]:40203 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ddIpk-00036Y-4c for submit@debbugs.gnu.org; Thu, 03 Aug 2017 12:18:48 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:35228) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ddIpi-00036K-52 for 27761@debbugs.gnu.org; Thu, 03 Aug 2017 12:18:46 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ddIpc-0000vG-0c for 27761@debbugs.gnu.org; Thu, 03 Aug 2017 12:18:40 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:33106) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ddIpW-0000pS-8k; Thu, 03 Aug 2017 12:18:34 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:3456 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ddIpV-0001Ye-Kl; Thu, 03 Aug 2017 12:18:34 -0400 In-reply-to: (message from YAMAMOTO Mitsuharu on Thu, 03 Aug 2017 17:36:49 +0900) 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:135281 Archived-At: > Date: Thu, 03 Aug 2017 17:36:49 +0900 > From: YAMAMOTO Mitsuharu > Cc: 27761@debbugs.gnu.org, "Charles A. Roelli" > > Finally, I could reproduce the crash by this example with my own > installation of Coq, Proof General, and Company-Coq on macOS 10.12. Great, thanks for trying. > The recent post on gdb session implies it has something to do with the > string " 163" and overlays. The key point to reproduce it was to turn > on linum-mode. Without linum-mode, the above procedure did not crash. Yes, I guess 163 is the line number? The problem has to do with something that prevents the display engine to pop the iterator state from the stack when it reaches the end of a Lisp string (" 163") which it needs to display. I'm trying to understand why this happens, my guess is that some condition somewhere is not working as expected, perhaps because the display of the string specifies padding with blanks (or so it seems).