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: Денис Редозубов
 <denis.redozubov <at> gmail.com>
To: John Wiegley <jwiegley <at> gmail.com>
Cc: 27761 <at> debbugs.gnu.org, Eli Zaretskii <eliz <at> gnu.org>, "Charles A. Roelli" <charles <at> aurox.ch>
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Wed, 2 Aug 2017 10:53:20 +0300

[Message part 1 (text/plain, inline)]

(gdb) source /Users/dr/workspace/emacs/src/.gdbinit
Warning: /Users/dr/workspace/emacs/../lwlib: No such file or directory.
SIGINT is used by the debugger.
Are you sure you want to change it? (y or n) [answered Y; input not from
terminal]
Redefine command "xgetptr"? (y or n) [answered Y; input not from terminal]
...
TERM = xterm-256color
Breakpoint 8 at 0x10017a032: file emacs.c, line 354.
Temporary breakpoint 9 at 0x1001b648f: file sysdep.c, line 915.
(gdb) frame 10437
#10437 0x00000001000393d4 in get_next_display_element (it=0x7fff5fbd5bb0)
    at xdisp.c:7324
warning: Source file is more recent than executable.
7324      success_p = get_next_display_element (it);
(gdb) p it->current
$7 = {
  pos = {
    charpos = 4138,
    bytepos = 4138
  },
  overlay_string_index = -1,
  string_pos = {
    charpos = 6,
    bytepos = 6
  },
  dpvec_index = -1
}
(gdb) p it->sp
$8 = 2
(gdb) p it->object
$9 = Python Exception <type 'exceptions.AttributeError'> 'NoneType' object
has no attribute 'value':

(gdb) xtype
Lisp_String
(gdb) p it->position
$10 = {
  charpos = 0,
  bytepos = 0
}
(gdb)  p it->string
$11 = Python Exception <type 'exceptions.AttributeError'> 'NoneType' object
has no attribute 'value':

(gdb) xstring
$12 = (struct Lisp_String *) 0x10da1ee10
" 163"

[Message part 2 (text/html, inline)]

Previous Next

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