[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#27761: Crash while using proof-general/company-coq on OS X
From: |
YAMAMOTO Mitsuharu |
Subject: |
bug#27761: Crash while using proof-general/company-coq on OS X |
Date: |
Fri, 04 Aug 2017 14:03:25 +0900 |
User-agent: |
Wanderlust/2.14.0 (Africa) SEMI/1.14.6 (Maruoka) FLIM/1.14.8 (Shijō) APEL/10.6 Emacs/22.3 (sparc-sun-solaris2.8) MULE/5.0 (SAKAKI) |
>>>>> On Fri, 04 Aug 2017 10:23:15 +0900, YAMAMOTO Mitsuharu
>>>>> <mituharu@math.s.chiba-u.ac.jp> said:
>> Thanks. The "charpos = 6" part puzzles me, because the string is
>> only 4 characters long. What does this produce:
> This would be the length of the string "forall", which is composed
> into "∀" by prettify-symbol-mode (see my another post containing
> screenshots).
I tried setting a breakpoint at the only recursive call to
get_next_display_element and print *it. The result is shown at the
end of this mail (the line number is slightly different because I used
the Mac port).
Notably, it->what == IT_EOB, it->method == GET_FROM_STRING,
it->stop_charpos == 4, it->current.string_pos.charpos (aka
IT_STRING_CHARPOS (*it)) == 6, it->string is a Lisp string " 164", and
it->face_box_p == false. Thus, GET_NEXT_DISPLAY_ELEMENT (it) at the
entry of get_next_display_element sets it->what to IT_EOB again in
next_element_from_string, all the top-level conditions in
get_next_display_element become false except the last one, and goes
directly to the recursive call again.
YAMAMOTO Mitsuharu
mituharu@math.s.chiba-u.ac.jp
* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 1.1
frame #0: 0x000000010003a886
Emacs`get_next_display_element(it=0x00007fff5fbd9290) at xdisp.c:7330
7327 if (!success_p && it->sp > 0)
7328 {
7329 set_iterator_to_next (it, false);
-> 7330 success_p = get_next_display_element (it);
7331 }
7332
7333 /* Value is false if end of buffer or string reached. */
(lldb) p *it
(it) $5 = {
window = (i = 4362542653)
w = 0x0000000104071e38
f = 0x0000000107849838
method = GET_FROM_STRING
stop_charpos = 4
prev_stop = 0
base_level_stop = 0
end_charpos = 4
s = 0x0000000000000000 <no value available>
string_nchars = 4
redisplay_end_trigger_charpos = 0
multibyte_p = false
header_line_p = false
string_from_display_prop_p = true
string_from_prefix_prop_p = false
from_disp_prop_p = true
ellipsis_p = false
avoid_cursor_p = false
dp = 0x00000001021c7488
dpvec = 0x0000000000000000
dpend = 0x0000000000000000
dpvec_char_len = 0
dpvec_face_id = 0
saved_face_id = 23
ctl_chars = {
[0] = (i = 0)
[1] = (i = 0)
[2] = (i = 0)
[3] = (i = 0)
[4] = (i = 0)
[5] = (i = 0)
[6] = (i = 0)
[7] = (i = 0)
[8] = (i = 0)
[9] = (i = 0)
[10] = (i = 0)
[11] = (i = 0)
[12] = (i = 0)
[13] = (i = 0)
[14] = (i = 0)
[15] = (i = 0)
}
start = {
pos = (charpos = 4096, bytepos = 4096)
overlay_string_index = -1
string_pos = (charpos = -1, bytepos = -1)
dpvec_index = -1
}
current = {
pos = (charpos = 4139, bytepos = 4139)
overlay_string_index = -1
string_pos = (charpos = 6, bytepos = 6)
dpvec_index = -1
}
n_overlay_strings = 1
overlay_strings_charpos = 4139
overlay_strings = {
[0] = (i = 4375117076)
[1] = (i = 0)
[2] = (i = 0)
[3] = (i = 0)
[4] = (i = 0)
[5] = (i = 0)
[6] = (i = 0)
[7] = (i = 0)
[8] = (i = 0)
[9] = (i = 0)
[10] = (i = 0)
[11] = (i = 0)
[12] = (i = 0)
[13] = (i = 0)
[14] = (i = 0)
[15] = (i = 0)
}
string_overlays = {
[0] = (i = 4308241377)
[1] = (i = 0)
[2] = (i = 0)
[3] = (i = 0)
[4] = (i = 0)
[5] = (i = 0)
[6] = (i = 0)
[7] = (i = 0)
[8] = (i = 0)
[9] = (i = 0)
[10] = (i = 0)
[11] = (i = 0)
[12] = (i = 0)
[13] = (i = 0)
[14] = (i = 0)
[15] = (i = 0)
}
string = (i = 4375117108)
from_overlay = (i = 0)
stack = {
[0] = {
string = (i = 0)
string_nchars = 0
end_charpos = 33115
stop_charpos = 4145
prev_stop = 0
base_level_stop = 0
cmp_it = {
stop_pos = 4136
id = 3
ch = -1
rule_idx = 0
lookback = 0
nglyphs = -1
reversed_p = false
charpos = 0
nchars = 6
nbytes = 0
from = 0
to = 0
width = 0
}
face_id = 22
u = {
image = {
object = (i = 0)
slice = {
x = (i = 0)
y = (i = 0)
width = (i = 0)
height = (i = 0)
}
image_id = 0
}
stretch = {
object = (i = 0)
}
xwidget = {
object = (i = 0)
}
}
position = (charpos = 4138, bytepos = 4138)
current = {
pos = (charpos = 4139, bytepos = 4139)
overlay_string_index = 0
string_pos = (charpos = -1, bytepos = -1)
dpvec_index = -1
}
from_overlay = (i = 0)
area = TEXT_AREA
method = GET_FROM_BUFFER
paragraph_embedding = L2R
multibyte_p = true
string_from_display_prop_p = false
string_from_prefix_prop_p = false
display_ellipsis_p = false
avoid_cursor_p = false
bidi_p = false
from_disp_prop_p = false
line_wrap = WINDOW_WRAP
voffset = 0
space_width = (i = 0)
font_height = (i = 0)
}
[1] = {
string = (i = 4375117076)
string_nchars = 0
end_charpos = 1
stop_charpos = 1
prev_stop = 0
base_level_stop = 0
cmp_it = {
stop_pos = 4136
id = 3
ch = -1
rule_idx = 0
lookback = 0
nglyphs = -1
reversed_p = false
charpos = 0
nchars = 6
nbytes = 0
from = 0
to = 0
width = 0
}
face_id = 23
u = {
image = {
object = (i = 0)
slice = {
x = (i = 0)
y = (i = 0)
width = (i = 0)
height = (i = 0)
}
image_id = 0
}
stretch = {
object = (i = 0)
}
xwidget = {
object = (i = 0)
}
}
position = (charpos = 1, bytepos = 1)
current = {
pos = (charpos = 4139, bytepos = 4139)
overlay_string_index = 0
string_pos = (charpos = 1, bytepos = 1)
dpvec_index = -1
}
from_overlay = (i = 0)
area = TEXT_AREA
method = GET_FROM_STRING
paragraph_embedding = L2R
multibyte_p = false
string_from_display_prop_p = false
string_from_prefix_prop_p = false
display_ellipsis_p = false
avoid_cursor_p = false
bidi_p = false
from_disp_prop_p = false
line_wrap = WINDOW_WRAP
voffset = 0
space_width = (i = 0)
font_height = (i = 0)
}
[2] = {
string = (i = 0)
string_nchars = 0
end_charpos = 0
stop_charpos = 0
prev_stop = 0
base_level_stop = 0
cmp_it = {
stop_pos = 0
id = 0
ch = 0
rule_idx = 0
lookback = 0
nglyphs = 0
reversed_p = false
charpos = 0
nchars = 0
nbytes = 0
from = 0
to = 0
width = 0
}
face_id = 0
u = {
image = {
object = (i = 0)
slice = {
x = (i = 0)
y = (i = 0)
width = (i = 0)
height = (i = 0)
}
image_id = 0
}
stretch = {
object = (i = 0)
}
xwidget = {
object = (i = 0)
}
}
position = (charpos = 0, bytepos = 0)
current = {
pos = (charpos = 0, bytepos = 0)
overlay_string_index = 0
string_pos = (charpos = 0, bytepos = 0)
dpvec_index = 0
}
from_overlay = (i = 0)
area = LEFT_MARGIN_AREA
method = GET_FROM_BUFFER
paragraph_embedding = NEUTRAL_DIR
multibyte_p = false
string_from_display_prop_p = false
string_from_prefix_prop_p = false
display_ellipsis_p = false
avoid_cursor_p = false
bidi_p = false
from_disp_prop_p = false
line_wrap = TRUNCATE
voffset = 0
space_width = (i = 0)
font_height = (i = 0)
}
[3] = {
string = (i = 0)
string_nchars = 0
end_charpos = 0
stop_charpos = 0
prev_stop = 0
base_level_stop = 0
cmp_it = {
stop_pos = 0
id = 0
ch = 0
rule_idx = 0
lookback = 0
nglyphs = 0
reversed_p = false
charpos = 0
nchars = 0
nbytes = 0
from = 0
to = 0
width = 0
}
face_id = 0
u = {
image = {
object = (i = 0)
slice = {
x = (i = 0)
y = (i = 0)
width = (i = 0)
height = (i = 0)
}
image_id = 0
}
stretch = {
object = (i = 0)
}
xwidget = {
object = (i = 0)
}
}
position = (charpos = 0, bytepos = 0)
current = {
pos = (charpos = 0, bytepos = 0)
overlay_string_index = 0
string_pos = (charpos = 0, bytepos = 0)
dpvec_index = 0
}
from_overlay = (i = 0)
area = LEFT_MARGIN_AREA
method = GET_FROM_BUFFER
paragraph_embedding = NEUTRAL_DIR
multibyte_p = false
string_from_display_prop_p = false
string_from_prefix_prop_p = false
display_ellipsis_p = false
avoid_cursor_p = false
bidi_p = false
from_disp_prop_p = false
line_wrap = TRUNCATE
voffset = 0
space_width = (i = 0)
font_height = (i = 0)
}
[4] = {
string = (i = 0)
string_nchars = 0
end_charpos = 0
stop_charpos = 0
prev_stop = 0
base_level_stop = 0
cmp_it = {
stop_pos = 0
id = 0
ch = 0
rule_idx = 0
lookback = 0
nglyphs = 0
reversed_p = false
charpos = 0
nchars = 0
nbytes = 0
from = 0
to = 0
width = 0
}
face_id = 0
u = {
image = {
object = (i = 0)
slice = {
x = (i = 0)
y = (i = 0)
width = (i = 0)
height = (i = 0)
}
image_id = 0
}
stretch = {
object = (i = 0)
}
xwidget = {
object = (i = 0)
}
}
position = (charpos = 0, bytepos = 0)
current = {
pos = (charpos = 0, bytepos = 0)
overlay_string_index = 0
string_pos = (charpos = 0, bytepos = 0)
dpvec_index = 0
}
from_overlay = (i = 0)
area = LEFT_MARGIN_AREA
method = GET_FROM_BUFFER
paragraph_embedding = NEUTRAL_DIR
multibyte_p = false
string_from_display_prop_p = false
string_from_prefix_prop_p = false
display_ellipsis_p = false
avoid_cursor_p = false
bidi_p = false
from_disp_prop_p = false
line_wrap = TRUNCATE
voffset = 0
space_width = (i = 0)
font_height = (i = 0)
}
}
sp = 2
selective = 0
what = IT_EOB
face_id = 17
selective_display_ellipsis_p = true
ctl_arrow_p = true
face_box_p = false
start_of_box_run_p = false
end_of_box_run_p = false
overlay_strings_at_end_processed_p = false
ignore_overlay_strings_at_pos_p = false
glyph_not_available_p = false
starts_in_middle_of_char_p = false
face_before_selective_p = false
constrain_row_ascent_descent_p = false
line_wrap = WINDOW_WRAP
base_face_id = 0
c = 8704
len = 0
cmp_it = {
stop_pos = 5
id = -1
ch = -2
rule_idx = 0
lookback = 0
nglyphs = -1
reversed_p = false
charpos = 0
nchars = 6
nbytes = 6
from = 0
to = -1
width = 2
}
char_to_display = 10
glyphless_method = GLYPHLESS_DISPLAY_THIN_SPACE
image_id = 0
xwidget = 0x0000000000000000
slice = {
x = (i = 0)
y = (i = 0)
width = (i = 0)
height = (i = 0)
}
space_width = (i = 0)
voffset = 0
tab_width = 8
font_height = (i = 0)
object = (i = 4375117108)
position = (charpos = 0, bytepos = 0)
truncation_pixel_width = 0
continuation_pixel_width = 7
first_visible_x = 0
last_visible_x = 532
last_visible_y = 255
extra_line_spacing = 0
max_extra_line_spacing = 0
override_ascent = -1
override_descent = 0
override_boff = 0
glyph_row = 0x0000000000000000
area = LEFT_MARGIN_AREA
nglyphs = 1
pixel_width = 7
ascent = 12
descent = 4
max_ascent = 12
max_descent = 4
phys_ascent = 12
phys_descent = 4
max_phys_ascent = 12
max_phys_descent = 4
current_x = 0
continuation_lines_width = 0
eol_pos = (charpos = 0, bytepos = 0)
current_y = 80
first_vpos = 0
vpos = 5
hpos = 0
left_user_fringe_bitmap = 0
right_user_fringe_bitmap = 0
left_user_fringe_face_id = 0
right_user_fringe_face_id = 0
bidi_p = false
bidi_it = {
bytepos = 0
charpos = 0
ch = 0
nchars = 0
ch_len = 0
type = UNKNOWN_BT
type_after_wn = UNKNOWN_BT
orig_type = UNKNOWN_BT
resolved_level = '\0'
isolate_level = '\0'
invalid_levels = 0
invalid_isolates = 0
prev = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
last_strong = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
next_for_neutral = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
prev_for_neutral = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
next_for_ws = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
bracket_pairing_pos = 0
bracket_enclosed_type = UNKNOWN_BT
next_en_pos = 0
next_en_type = UNKNOWN_BT
sos = NEUTRAL_DIR
scan_dir = 0
disp_pos = 0
disp_prop = 0
stack_idx = 0
level_stack = {
[0] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[1] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[2] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[3] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[4] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[5] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[6] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[7] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[8] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[9] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[10] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[11] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[12] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[13] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[14] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[15] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[16] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[17] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[18] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[19] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[20] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[21] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[22] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[23] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[24] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[25] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[26] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[27] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[28] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[29] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[30] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[31] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[32] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[33] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[34] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[35] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[36] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[37] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[38] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[39] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[40] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[41] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[42] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[43] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[44] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[45] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[46] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[47] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[48] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[49] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[50] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[51] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[52] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[53] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[54] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[55] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[56] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[57] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[58] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[59] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[60] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[61] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[62] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[63] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[64] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[65] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[66] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[67] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[68] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[69] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[70] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[71] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[72] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[73] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[74] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[75] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[76] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[77] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[78] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[79] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[80] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[81] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[82] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[83] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[84] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[85] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[86] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[87] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[88] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[89] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[90] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[91] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[92] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[93] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[94] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[95] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[96] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[97] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[98] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[99] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[100] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[101] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[102] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[103] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[104] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[105] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[106] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[107] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[108] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[109] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[110] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[111] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[112] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[113] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[114] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[115] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[116] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[117] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[118] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[119] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[120] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[121] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[122] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[123] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[124] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[125] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[126] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
[127] = {
next_for_neutral_pos = 0
next_for_neutral_type = 0
last_strong_type = 0
prev_for_neutral_type = 0
level = '\0'
flags = '\0'
}
}
string = {
lstring = (i = 0)
s = 0x0000000000000000 <no value available>
schars = 0
bufpos = 0
from_disp_str = false
unibyte = false
}
w = 0x0000000104071e38
paragraph_dir = NEUTRAL_DIR
separator_limit = 0
first_elt = false
new_paragraph = false
frame_window_p = false
}
paragraph_embedding = L2R
}
- bug#27761: Crash while using proof-general/company-coq on OS X, (continued)
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/01
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/01
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/01
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/01
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/02
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/02
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/02
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/03
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/03
- bug#27761: Crash while using proof-general/company-coq on OS X, YAMAMOTO Mitsuharu, 2017/08/03
- bug#27761: Crash while using proof-general/company-coq on OS X,
YAMAMOTO Mitsuharu <=
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/04
- bug#27761: Crash while using proof-general/company-coq on OS X, YAMAMOTO Mitsuharu, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/08
- bug#27761: Crash while using proof-general/company-coq on OS X, YAMAMOTO Mitsuharu, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07