GNU bug report logs - #27761
Crash while using proof-general/company-coq on OS X

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Денис Редозубов <denis.redozubov <at> gmail.com>
Cc: 27761 <at> debbugs.gnu.org, rgm <at> gnu.org, charles <at> aurox.ch
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Wed, 02 Aug 2017 06:22:00 +0300

> From: Денис Редозубов <denis.redozubov <at> gmail.com>
> Date: Wed, 2 Aug 2017 00:05:49 +0300
> Cc: "Charles A. Roelli" <charles <at> aurox.ch>, 27761 <at> debbugs.gnu.org, Glenn Morris <rgm <at> gnu.org>
> 
> (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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.