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: Mon, 07 Aug 2017 20:51:53 +0300 Message-ID: <83a83btgee.fsf@gnu.org> References: <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> <83mv7jyuek.fsf@gnu.org> <83efstzxhu.fsf@gnu.org> <83bmnvyc2s.fsf@gnu.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: blaine.gmane.org X-Trace: blaine.gmane.org 1502128412 11319 195.159.176.226 (7 Aug 2017 17:53:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 7 Aug 2017 17:53:32 +0000 (UTC) Cc: 27761@debbugs.gnu.org, jwiegley@gmail.com, 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 Mon Aug 07 19:53:17 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 1demDG-0001yG-F7 for geb-bug-gnu-emacs@m.gmane.org; Mon, 07 Aug 2017 19:53:10 +0200 Original-Received: from localhost ([::1]:38735 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1demDM-0007Ac-Nl for geb-bug-gnu-emacs@m.gmane.org; Mon, 07 Aug 2017 13:53:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57207) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1demDD-0007AB-DY for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 13:53:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1demD8-0002y4-JP for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 13:53:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:42000) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1demD8-0002xy-Eq for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 13:53:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1demD8-0002Hf-55 for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 13:53: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: Mon, 07 Aug 2017 17:53: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.15021283708762 (code B ref 27761); Mon, 07 Aug 2017 17:53:02 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 7 Aug 2017 17:52:50 +0000 Original-Received: from localhost ([127.0.0.1]:50681 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1demCw-0002HF-1t for submit@debbugs.gnu.org; Mon, 07 Aug 2017 13:52:50 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:37897) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1demCt-0002H0-HG for 27761@debbugs.gnu.org; Mon, 07 Aug 2017 13:52:48 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1demCj-0002pB-Ew for 27761@debbugs.gnu.org; Mon, 07 Aug 2017 13:52:42 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:42239) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1demCB-0002bY-Dl; Mon, 07 Aug 2017 13:52:03 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:4390 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1demCA-0007NP-7v; Mon, 07 Aug 2017 13:52:03 -0400 In-reply-to: (message from YAMAMOTO Mitsuharu on Mon, 07 Aug 2017 15:16:08 +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:135543 Archived-At: > Date: Mon, 07 Aug 2017 15:16:08 +0900 > From: YAMAMOTO Mitsuharu > Cc: 27761@debbugs.gnu.org, > jwiegley@gmail.com, > charles@aurox.ch, > denis.redozubov@gmail.com > > 1. % emacs -Q > 2. (setq bidi-redisplay-reordering nil) C-j > 3. (prettify-symbols-mode) C-j > 4. (linum-mode) C-j > 5. Type "lambda" (without quotations). > > I hope this is also reproducible on your environment. Thanks, it is. The bug should now be fixed on master. For the benefit of those who are still using Emacs 25, the patch is below (it will probably apply with some offset and/or fuzz to the Emacs 25 codebase). diff --git a/src/xdisp.c b/src/xdisp.c index 422912e..ad9b298 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -5248,6 +5248,7 @@ handle_single_display_spec (struct it *it, Lisp_Object spec, Lisp_Object object, it->prev_stop = 0; it->base_level_stop = 0; it->string_from_display_prop_p = true; + it->cmp_it.id = -1; /* Say that we haven't consumed the characters with `display' property yet. The call to pop_it in set_iterator_to_next will clean this up. */ @@ -5966,6 +5967,7 @@ get_overlay_strings_1 (struct it *it, ptrdiff_t charpos, bool compute_stop_p) it->multibyte_p = STRING_MULTIBYTE (it->string); it->method = GET_FROM_STRING; it->from_disp_prop_p = 0; + it->cmp_it.id = -1; /* Force paragraph direction to be that of the parent buffer. */ @@ -20506,6 +20508,7 @@ push_prefix_prop (struct it *it, Lisp_Object prop) it->stop_charpos = 0; it->prev_stop = 0; it->base_level_stop = 0; + it->cmp_it.id = -1; /* Force paragraph direction to be that of the parent buffer/string. */