From: Eli Zaretskii <eliz@gnu.org>
To: YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
Cc: 27761@debbugs.gnu.org, jwiegley@gmail.com, charles@aurox.ch,
denis.redozubov@gmail.com
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Mon, 07 Aug 2017 20:51:53 +0300 [thread overview]
Message-ID: <83a83btgee.fsf@gnu.org> (raw)
In-Reply-To: <wltw1juclz.wl%mituharu@math.s.chiba-u.ac.jp> (message from YAMAMOTO Mitsuharu on Mon, 07 Aug 2017 15:16:08 +0900)
> Date: Mon, 07 Aug 2017 15:16:08 +0900
> From: YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
> 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. */
next prev parent reply other threads:[~2017-08-07 17:51 UTC|newest]
Thread overview: 63+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-19 2:50 bug#27761: Crash while using proof-general/company-coq on OS X Денис Редозубов
2017-07-19 13:08 ` John Wiegley
2017-07-19 17:00 ` Eli Zaretskii
2017-07-19 17:47 ` John Wiegley
2017-07-19 18:07 ` Eli Zaretskii
2017-07-19 18:34 ` John Wiegley
2017-07-19 18:40 ` Eli Zaretskii
2017-07-19 19:03 ` Денис Редозубов
2017-07-19 19:08 ` Charles A. Roelli
2017-07-19 19:12 ` Charles A. Roelli
2017-07-19 19:20 ` Денис Редозубов
2017-07-20 5:43 ` Eli Zaretskii
2017-07-20 6:20 ` Charles A. Roelli
2017-07-20 18:54 ` Charles A. Roelli
2017-07-20 19:11 ` Eli Zaretskii
2017-07-20 20:06 ` Денис Редозубов
2017-07-21 2:17 ` Денис Редозубов
2017-07-21 4:58 ` Charles A. Roelli
2017-07-21 18:43 ` Charles A. Roelli
2017-07-21 19:12 ` Eli Zaretskii
2017-07-24 16:58 ` Glenn Morris
2017-07-24 17:02 ` Eli Zaretskii
2017-07-26 19:42 ` Charles A. Roelli
2017-07-27 13:12 ` Денис Редозубов
2017-07-28 18:48 ` Charles A. Roelli
2017-07-28 19:11 ` Eli Zaretskii
2017-07-29 20:03 ` Денис Редозубов
2017-07-30 2:30 ` Eli Zaretskii
2017-07-30 15:13 ` Денис Редозубов
2017-07-30 15:16 ` Eli Zaretskii
2017-07-31 19:10 ` Charles A. Roelli
2017-07-31 19:12 ` Charles A. Roelli
2017-08-01 18:22 ` Денис Редозубов
2017-08-01 19:12 ` Eli Zaretskii
2017-08-01 21:05 ` Денис Редозубов
2017-08-01 22:27 ` John Wiegley
2017-08-01 22:48 ` Денис Редозубов
2017-08-02 3:25 ` Eli Zaretskii
2017-08-02 7:29 ` John Wiegley
2017-08-02 7:53 ` Денис Редозубов
2017-08-02 17:32 ` Eli Zaretskii
2017-08-03 8:10 ` Денис Редозубов
2017-08-03 16:14 ` Eli Zaretskii
2017-08-04 1:23 ` YAMAMOTO Mitsuharu
2017-08-04 5:03 ` YAMAMOTO Mitsuharu
2017-08-04 8:24 ` Eli Zaretskii
2017-08-07 6:16 ` YAMAMOTO Mitsuharu
2017-08-07 17:51 ` Eli Zaretskii [this message]
2017-08-07 21:27 ` Денис Редозубов
2017-08-08 2:28 ` Eli Zaretskii
2017-08-07 23:06 ` John Wiegley
2017-08-08 2:33 ` Eli Zaretskii
2017-08-08 7:24 ` John Wiegley
2017-08-08 0:23 ` YAMAMOTO Mitsuharu
2017-08-08 2:31 ` Eli Zaretskii
2017-08-04 8:17 ` Eli Zaretskii
2017-08-02 3:22 ` Eli Zaretskii
2017-07-25 1:15 ` John Wiegley
2017-07-21 5:52 ` Eli Zaretskii
2017-08-03 8:36 ` YAMAMOTO Mitsuharu
2017-08-03 16:18 ` Eli Zaretskii
2017-08-03 21:16 ` Денис Редозубов
2017-08-04 0:16 ` YAMAMOTO Mitsuharu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=83a83btgee.fsf@gnu.org \
--to=eliz@gnu.org \
--cc=27761@debbugs.gnu.org \
--cc=charles@aurox.ch \
--cc=denis.redozubov@gmail.com \
--cc=jwiegley@gmail.com \
--cc=mituharu@math.s.chiba-u.ac.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.