From: YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
To: Eli Zaretskii <eliz@gnu.org>
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: Fri, 04 Aug 2017 14:03:25 +0900 [thread overview]
Message-ID: <wl7eyj7wma.wl%mituharu@math.s.chiba-u.ac.jp> (raw)
In-Reply-To: <wlh8xorurg.wl%mituharu@math.s.chiba-u.ac.jp>
>>>>> 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
}
next prev parent reply other threads:[~2017-08-04 5:03 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 [this message]
2017-08-04 8:24 ` Eli Zaretskii
2017-08-07 6:16 ` YAMAMOTO Mitsuharu
2017-08-07 17:51 ` Eli Zaretskii
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=wl7eyj7wma.wl%mituharu@math.s.chiba-u.ac.jp \
--to=mituharu@math.s.chiba-u.ac.jp \
--cc=27761@debbugs.gnu.org \
--cc=charles@aurox.ch \
--cc=denis.redozubov@gmail.com \
--cc=eliz@gnu.org \
--cc=jwiegley@gmail.com \
/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.