assertion failure in keyboard.c:adjust_point_for_property

assertion failure in keyboard.c:adjust_point_for_property

[Miles Bader]

[-- Attachment #1: Type: text/plain, Size: 1171 bytes --]

Hi, another questionable (I think) assertion failure, this time in
adjust_point_for_property (keyboard.c):

        ...
	  /* Move away from the inside area.  */
	  if (beg < PT && end > PT)
	    {
	      SET_PT ((orig_pt == PT && (last_pt < beg || last_pt > end))
                      /* ... */
		      ? (orig_pt = -1, PT < last_pt ? end : beg)
                      /* ... */
		      : (PT < last_pt ? beg : end));
	      check_composition = check_display = 1;
	    }
===>	  xassert (PT == beg || PT == end);

I'm not sure exactly what happened here (gdb sess attached below
though), but PT == 500, and end == 499.

The context is that I was trying out `line-move-ignore-invisible' (after
seeing Luc's post), setting it to `t', and viewing some messages in Gnus
where invisible text was used to elide citations.  At some point it
died (I think I was using C-n and C-p to move past the invisible area
seeing how the above variable affected things).

What I'm wondering is: is this assertion reasonable?  SET_PT can do
non-trivial things (calling hooks etc), so assuming that point ends up
being exactly what you set it too seems a bit questionable.

Thanks,

-Miles



[-- Attachment #2: GDB session for emacs assertion failure --]
[-- Type: text/plain, Size: 6714 bytes --]

Current directory is /usr/local/bin/
GNU gdb 6.0
Copyright 2003 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i386-linux"...
(gdb) run
Starting program: /usr/local/bin/emacs 

Program received signal SIGABRT, Aborted.
0x405ea081 in kill () from /lib/tls/libc.so.6
(gdb) ba
#0  0x405ea081 in kill () from /lib/tls/libc.so.6
#1  0x08145e01 in abort () at /usr/local/src/emacs/tiling/src/emacs.c:424
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
#3  0x0814a71e in command_loop_1 () at /usr/local/src/emacs/tiling/src/keyboard.c:1813
#4  0x081c0cd0 in internal_condition_case (bfun=0x81490e6 <command_loop_1>, handlers=675777032, hfun=0x8148c7b <cmd_error>) at /usr/local/src/emacs/tiling/src/eval.c:1333
#5  0x08148fb3 in command_loop_2 () at /usr/local/src/emacs/tiling/src/keyboard.c:1264
#6  0x081c079d in internal_catch (tag=675774360, func=0x8148f8f <command_loop_2>, arg=675717136) at /usr/local/src/emacs/tiling/src/eval.c:1094
#7  0x08148f68 in command_loop () at /usr/local/src/emacs/tiling/src/keyboard.c:1243
#8  0x08148a25 in recursive_edit_1 () at /usr/local/src/emacs/tiling/src/keyboard.c:959
#9  0x08148b58 in Frecursive_edit () at /usr/local/src/emacs/tiling/src/keyboard.c:1015
#10 0x08147569 in main (argc=1, argv=0xbfffefb4) at /usr/local/src/emacs/tiling/src/emacs.c:1682
(gdb) up
#1  0x08145e01 in abort () at /usr/local/src/emacs/tiling/src/emacs.c:424
(gdb) 
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
(gdb) p beg
$1 = 252
(gdb) p end
$2 = 499
(gdb) fr
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
(gdb) i loc
inv = 1
ellipsis = 0
beg = 252
end = 499
val = 675717136
overlay = 675717136
tmp = 252
check_composition = 1
check_display = 1
check_invisible = 1
orig_pt = -1
(gdb) fr
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
(gdb) p PT
No symbol "PT" in current context.
(gdb) p current_pos
No symbol "current_pos" in current context.
(gdb) p current_buffer 
$3 = (struct buffer *) 0x8c94e20
(gdb) p current_buffer->pt
$4 = 500
(gdb) p end
$5 = 499
(gdb) fr
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
(gdb) p *current_buffer
$6 = {size = 1073873011, next = 0x8c8b008, own_text = {
    beg = 0x919d408 "Date: 25 Feb 2004 14:24:31 -0500\nFrom: wdstarr@panix.com (William December Starr)\nNewsgroups: rec.arts.sf.written\nSubject: Re: Prey, by Michael Chrichton\n\nIn article <87bro6o4sg.fsf@tc-1-100.kawasaki."..., 
    gpt = 252, z = 645, gpt_byte = 252, z_byte = 645, gap_size = 64, 
    modiff = 9561, save_modiff = 0, overlay_modiff = 11413, 
    beg_unchanged = 251, end_unchanged = 393, unchanged_modified = 9561, 
    overlay_unchanged_modified = 11413, intervals = 0x9166ed4, 
    markers = 0x8b98f68}, text = 0x8c94e28, pt = 500, pt_byte = 500, begv = 1, 
  begv_byte = 1, zv = 645, zv_byte = 645, base_buffer = 0x0, 
  local_flags = "\000\001", '\0' <repeats 13 times>, "\001\000\000\000\001", '\0' <repeats 14 times>, "\r\n\000\016\n\000\002\005break\r1", modtime = 0, 
  auto_save_modified = 0, display_error_modiff = 0, 
  auto_save_failure_time = -1, last_window_start = 1, clip_changed = 0, 
  newline_cache = 0x0, width_run_cache = 0x0, 
  prevent_redisplay_optimizations_p = 0, overlays_before = 0x88fce60, 
  overlays_after = 0x88bc194, overlay_center = 499, name = 1759798424, 
  filename = 675717136, directory = 1753089624, backed_up = 675717136, 
  save_length = 0, auto_save_file_name = 675717136, read_only = 675717184, 
  mark = 1223092736, local_var_alist = -1459760448, major_mode = 679346336, 
  mode_name = 1758120592, mode_line_format = -1461293976, 
  undo_list = 675717184, header_line_format = 675717136, keymap = -1466958048, 
  abbrev_table = -2008537688, syntax_table = -1998896512, 
  category_table = -2008599296, case_fold_search = 675717184, tab_width = 8, 
  fill_column = 72, left_margin = 0, auto_fill_function = 675717136, 
  buffer_file_type = 675717136, downcase_table = -2008597200, 
  upcase_table = -2007082296, case_canon_table = -2006996624, 
  case_eqv_table = -2006975136, truncate_lines = 675717136, 
  ctl_arrow = 675717184, direction_reversed = 675717136, 
  selective_display = 675717136, selective_display_ellipses = 675717184, 
  minor_modes = 675717136, overwrite_mode = 675717136, 
  abbrev_mode = 675717136, display_table = 675717136, mark_active = 675717136, 
  enable_multibyte_characters = 675717184, 
  buffer_file_coding_system = 675831928, file_format = 675717136, 
  cache_long_line_scans = 675717136, width_table = 675717136, 
  pt_marker = 675717136, begv_marker = 675717136, zv_marker = 675717136, 
  point_before_scroll = 675717136, file_truename = 675717136, 
  invisibility_spec = 675717184, last_selected_window = -1997022920, 
  display_count = 20, left_margin_cols = 0, right_margin_cols = 0, 
  left_fringe_width = 675717136, right_fringe_width = 675717136, 
  fringes_outside_margins = 675717136, scroll_bar_width = 675717136, 
  vertical_scroll_bar_type = 675717184, indicate_empty_lines = 675717136, 
  indicate_buffer_boundaries = 675717136, display_time = -1457128080, 
  scroll_up_aggressively = 675717136, scroll_down_aggressively = 675717136, 
  cursor_type = 675717184, extra_line_spacing = 675717136}
(gdb) fr
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
(gdb) p end
$7 = 499
(gdb) p val
$8 = 675717136
(gdb) xtype
Undefined command: "xtype".  Try "help".
(gdb) source /usr/local/build/emacs/tiling/src/.gdbinit
Warning: /usr/local/bin/../lwlib: そのようなファイルやディレクトリはありません.
DISPLAY = :0.0
TERM = dumb
Breakpoint 1 at 0x8145dec: file /usr/local/src/emacs/tiling/src/emacs.c, line 424.
Breakpoint 2 at 0x8119c3e: file /usr/local/src/emacs/tiling/src/xterm.c, line 8024.
(gdb) p val
$9 = 675717136
(gdb) xtype
Lisp_Symbol
0
(gdb) xsym
$10 = (struct Lisp_Symbol *) 0x846a010
"nil"
(gdb) fr
#2  0x0814afeb in adjust_point_for_property (last_pt=533, modified=0) at /usr/local/src/emacs/tiling/src/keyboard.c:1931
(gdb) 

[-- Attachment #3: Type: text/plain, Size: 258 bytes --]




-- 
In New York, most people don't have cars, so if you want to kill a person, you
have to take the subway to their house.  And sometimes on the way, the train
is delayed and you get impatient, so you have to kill someone on the subway.
  [George Carlin]

[-- Attachment #4: Type: text/plain, Size: 141 bytes --]

_______________________________________________
Emacs-devel mailing list
Emacs-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/emacs-devel