Subject: Re: bug#27761: Crash while using proof-general/company-coq on OS X

From: Eli Zaretskii <[email-masked]>
Date: Wed, 02 Aug 2017 06:22:00 +0300

> From: Денис Редозубов <[email-masked]>
> Date: Wed, 2 Aug 2017 00:05:49 +0300
> Cc: "Charles A. Roelli" <[email-masked]>, [email-masked], Glenn Morris <[email-masked]>
> 
> (gdb) bt
> #0  0x00000001000377c5 in get_next_display_element (it=0x7fff5fbd5bb0) at xdisp.c:6922
> #1  0x00000001000393d4 in get_next_display_element (it=0x7fff5fbd5bb0) at xdisp.c:7324
[...]
> #10438 0x00000001000393d4 in get_next_display_element (it=0x7fff5fbd5bb0) at xdisp.c:7324
> #10439 0x000000010003b0fb in move_it_in_display_line_to (it=0x7fff5fbd5bb0,
> to_charpos=33110, to_x=0, op=(MOVE_TO_X | MOVE_TO_POS)) at xdisp.c:8663
> #10440 0x0000000100036d7a in move_it_to (it=0x7fff5fbd5bb0,
> to_charpos=33110, to_x=-1, to_y=808, to_vpos=-1, op=10) at xdisp.c:9272
> #10441 0x000000010004cc2b in move_it_vertically (it=0x7fff5fbd5bb0, dy=808)
> at xdisp.c:9675
> #10442 0x00000001000cda10 in Fwindow_end (window=..., update=...) at window.c:1619

Thanks.  Please do this and post the results here:

  (gdb) source /path/to/emacs/src/.gdbinit
  (gdb) frame 10437
  (gdb) p it->current
  (gdb) p it->sp
  (gdb) p it->object
  (gdb) xtype
  (gdb) p it->position
  (gdb) p it->string
  (gdb) xstring

Please replace "/path/to/emacs" with the directory where you have the
Emacs sources.