bug#54295: 29.0.50; Assertion fails in bidi_resolve_brackets

bug#54295: 29.0.50; Assertion fails in bidi_resolve_brackets

[J.P.]

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

bidi.c:2924: Emacs fatal error: assertion failed:

 bidi_it->prev_for_neutral.type != UNKNOWN_BT

Steps to reproduce:

 1. ./src/emacs -Q
 2. M-: (push "[#]" mode-line-modes) RET


In GNU Emacs 29.0.50 (build 1, x86_64-redhat-linux-gnu, GTK+ Version 3.24.31, cairo version 1.17.4)
 of 2022-03-07 built on localhost
Repository revision: 8b66adfe065e0f21ec99c88e3cbb1cb16a94c6cd
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12014000
System Description: Fedora Linux 35 (Workstation Edition)

Configured using:
 'configure --enable-check-lisp-object-type --enable-checking=yes,glyphs
 --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu
 --program-prefix= --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin
 --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share
 --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec
 --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man
 --infodir=/usr/share/info --with-dbus --with-gif --with-jpeg --with-png
 --with-rsvg --with-tiff --with-xft --with-xpm --with-x-toolkit=gtk3
 --with-gpm=no --with-xwidgets --with-modules --with-harfbuzz
 --with-cairo --with-json build_alias=x86_64-redhat-linux-gnu
 host_alias=x86_64-redhat-linux-gnu CC=gcc 'CFLAGS=-O0 -g3'
 LDFLAGS=-Wl,-z,relro
 PKG_CONFIG_PATH=:/usr/lib64/pkgconfig:/usr/share/pkgconfig'

Configured features:
ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GSETTINGS HARFBUZZ JPEG JSON
LCMS2 LIBOTF LIBSELINUX LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY
INOTIFY PDUMPER PNG RSVG SECCOMP SOUND SQLITE3 THREADS TIFF
TOOLKIT_SCROLL_BARS WEBP X11 XDBE XIM XPM XWIDGETS GTK3 ZLIB

Important settings:
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: @im=ibus
  locale-coding-system: utf-8-unix

Major mode: Lisp Interaction

Minor modes in effect:
  tooltip-mode: t
  global-eldoc-mode: t
  eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  indent-tabs-mode: t
  transient-mark-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr emacsbug message mailcap yank-media rmc puny
dired dired-loaddefs rfc822 mml mml-sec password-cache epa derived epg
rfc6068 epg-config gnus-util text-property-search time-date seq gv
subr-x byte-opt bytecomp byte-compile cconv mm-decode mm-bodies
mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader cl-loaddefs
cl-lib sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils
iso-transl tooltip eldoc paren electric uniquify ediff-hook vc-hooks
lisp-float-type elisp-mode mwheel term/x-win x-win term/common-win x-dnd
tool-bar dnd fontset image regexp-opt fringe tabulated-list replace
newcomment text-mode lisp-mode prog-mode register page tab-bar menu-bar
rfn-eshadow isearch easymenu timer select scroll-bar mouse jit-lock
font-lock syntax font-core term/tty-colors frame minibuffer cl-generic
cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao
korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech
european ethiopic indian cyrillic chinese composite emoji-zwj charscript
charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray
cl-preloaded nadvice button loaddefs faces cus-face macroexp files
window text-properties overlay sha1 md5 base64 format env code-pages
mule custom widget keymap hashtable-print-readable backquote threads
xwidget-internal dbusbind inotify lcms2 dynamic-setting
system-font-setting font-render-setting cairo move-toolbar gtk x-toolkit
x multi-tty make-network-process emacs)

Memory information:
((conses 16 44924 8879)
 (symbols 48 5701 1)
 (strings 32 15790 1849)
 (string-bytes 1 525155)
 (vectors 16 12831)
 (vector-slots 8 174040 11395)
 (floats 8 20 31)
 (intervals 56 281 0)
 (buffers 992 11))

[-- Attachment #2: gud_mi.log --]
[-- Type: text/plain, Size: 9964 bytes --]

Current directory is /home/me/emacs/src/
GNU gdb (GDB) Fedora 11.2-1.fc35
Copyright (C) 2022 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "x86_64-redhat-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
    <http://www.gnu.org/software/gdb/documentation/>.

For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from /home/me/emacs/src/emacs...
warning: File "/home/me/emacs/src/.gdbinit" auto-loading has been declined by your `auto-load safe-path' set to "$debugdir:$datadir/auto-load".
To enable execution of this file add
	add-auto-load-safe-path /home/me/emacs/src/.gdbinit
line to your configuration file "/home/me/.gdbinit".
To completely disable this security protection add
	set auto-load safe-path /
line to your configuration file "/home/me/.gdbinit".
For more information about this security protection see the
"Auto-loading safe path" section in the GDB manual.  E.g., run from the shell:
	info "(gdb)Auto-loading safe path"
SIGINT is used by the debugger.
Are you sure you want to change it? (y or n) [answered Y; input not from terminal]
DISPLAY = :1
TERM = xterm-256color
Breakpoint 2 at 0x5ba44e: file xterm.c, line 14184.
(gdb) Warning: 'set target-async', an alias for the command 'set mi-async', is deprecated.
Use 'set mi-async'.


(gdb) run
Starting program: /home/me/emacs/src/emacs --module-assertions --no-init-file --no-site-file --no-site-lisp -L /home/me/emacs/src/
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib64/libthread_db.so.1".
[New Thread 0x7fffdea85640 (LWP 1579110)]
[New Thread 0x7fffde07c640 (LWP 1579111)]
[New Thread 0x7fffdd5e9640 (LWP 1579112)]
[Thread 0x7fffdd5e9640 (LWP 1579112) exited]
Invalid cast.
warning: Probes-based dynamic linker interface failed.
Reverting to original interface.[New Thread 0x7fffdd5e9640 (LWP 1579113)]
[New Thread 0x7fffdca9a640 (LWP 1579114)]
[New Thread 0x7fffcffff640 (LWP 1579115)]
[New Thread 0x7fffcf66f640 (LWP 1579116)]
[Thread 0x7fffcffff640 (LWP 1579115) exited]
[Thread 0x7fffcf66f640 (LWP 1579116) exited]
[Thread 0x7fffdca9a640 (LWP 1579114) exited]
[New Thread 0x7fffcec55080 (LWP 1579216)]
[Thread 0x7fffcec55080 (LWP 1579216) exited]
[New Thread 0x7fffcec55080 (LWP 1579217)]
[Thread 0x7fffcec55080 (LWP 1579217) exited]
[New Thread 0x7fffcec55080 (LWP 1579218)]
[Thread 0x7fffcec55080 (LWP 1579218) exited]
[New Thread 0x7fffcec55080 (LWP 1580528)]
[Thread 0x7fffcec55080 (LWP 1580528) exited]

Thread 1 "emacs" hit Breakpoint 1, terminate_due_to_signal (sig=6, backtrace_limit=2147483647) at emacs.c:409
409	  signal (sig, SIG_DFL);
(gdb) bt
#0  terminate_due_to_signal (sig=6, backtrace_limit=2147483647) at emacs.c:409
#1  0x00000000006ad9be in die (msg=0x80b738 "bidi_it->prev_for_neutral.type != UNKNOWN_BT", file=0x80b2ac "bidi.c", line=2924) at alloc.c:7547
#2  0x000000000057cc7a in bidi_resolve_brackets (bidi_it=0x7fffffff35f0) at bidi.c:2924
#3  0x000000000057d0e6 in bidi_resolve_neutral (bidi_it=0x7fffffff35f0) at bidi.c:3073
#4  0x000000000057d3f7 in bidi_type_of_next_char (bidi_it=0x7fffffff35f0) at bidi.c:3179
#5  0x000000000057d657 in bidi_level_of_next_char (bidi_it=0x7fffffff35f0) at bidi.c:3246
#6  0x000000000057dd1c in bidi_move_to_visually_next (bidi_it=0x7fffffff35f0) at bidi.c:3439
#7  0x000000000049aa48 in face_before_or_after_it_pos (it=0x7fffffff4740, before_p=false) at xdisp.c:4645
#8  0x00000000004a6b12 in get_next_display_element (it=0x7fffffff4740) at xdisp.c:8137
#9  0x00000000004e6836 in display_string (string=0x0, lisp_string=XIL(0x1bc9304), face_string=XIL(0), face_string_pos=0, start=0, it=0x7fffffff4740, field_width=0, precision=-38, max_x=672, multibyte=0) at xdisp.c:27873
#10 0x00000000004e2af3 in display_mode_element (it=0x7fffffff4740, depth=6, field_width=0, precision=-38, elt=XIL(0x1bc9304), props=XIL(0), risky=false) at xdisp.c:26375
#11 0x00000000004e3bd8 in display_mode_element (it=0x7fffffff4740, depth=3, field_width=0, precision=-38, elt=XIL(0x15d55d3), props=XIL(0), risky=false) at xdisp.c:26684
#12 0x00000000004e3bd8 in display_mode_element (it=0x7fffffff4740, depth=1, field_width=0, precision=0, elt=XIL(0x7fffec97594b), props=XIL(0), risky=false) at xdisp.c:26684
#13 0x00000000004e1c97 in display_mode_line (w=0x11c8490, face_id=MODE_LINE_ACTIVE_FACE_ID, format=XIL(0x7fffec9758bb)) at xdisp.c:26120
#14 0x00000000004e1996 in display_mode_lines (w=0x11c8490) at xdisp.c:26033
#15 0x00000000004c9bff in redisplay_window (window=XIL(0x11c8495), just_this_one_p=false) at xdisp.c:19815
#16 0x00000000004bf69e in redisplay_window_0 (window=XIL(0x11c8495)) at xdisp.c:17069
#17 0x00000000006e350b in internal_condition_case_1 (bfun=0x4bf65c <redisplay_window_0>, arg=XIL(0x11c8495), handlers=XIL(0x7fffecd19e4b), hfun=0x4bf624 <redisplay_window_error>) at eval.c:1471
#18 0x00000000004bf5f6 in redisplay_windows (window=XIL(0x11c8495)) at xdisp.c:17049
#19 0x00000000004be0aa in redisplay_internal () at xdisp.c:16517
#20 0x00000000004bedc7 in redisplay_preserve_echo_area (from_where=12) at xdisp.c:16866
#21 0x0000000000757289 in wait_reading_process_output (time_limit=0, nsecs=0, read_kbd=-1, do_display=true, wait_for_cell=XIL(0), wait_proc=0x0, just_wait_proc=0) at process.c:5821
#22 0x000000000060cdea in kbd_buffer_get_event (kbp=0x7fffffff9e98, used_mouse_menu=0x7fffffffa53f, end_time=0x0) at keyboard.c:3956
#23 0x00000000006079c9 in read_event_from_main_queue (end_time=0x0, local_getcjmp=0x7fffffffa310, used_mouse_menu=0x7fffffffa53f) at keyboard.c:2230
#24 0x0000000000607d5b in read_decoded_event_from_main_queue (end_time=0x0, local_getcjmp=0x7fffffffa310, prev_event=XIL(0), used_mouse_menu=0x7fffffffa53f) at keyboard.c:2294
#25 0x0000000000609e06 in read_char (commandflag=1, map=XIL(0x1cb7d33), prev_event=XIL(0), used_mouse_menu=0x7fffffffa53f, end_time=0x0) at keyboard.c:2923
#26 0x000000000061d27f in read_key_sequence (keybuf=0x7fffffffa6d0, prompt=XIL(0), dont_downcase_last=false, can_return_switch_frame=true, fix_current_buffer=true, prevent_redisplay=false) at keyboard.c:9863
#27 0x00000000006050c9 in command_loop_1 () at keyboard.c:1396
#28 0x00000000006e3434 in internal_condition_case (bfun=0x604c68 <command_loop_1>, handlers=XIL(0x90), hfun=0x60414c <cmd_error>) at eval.c:1447
#29 0x0000000000604878 in command_loop_2 (handlers=XIL(0x90)) at keyboard.c:1137
#30 0x00000000006e2712 in internal_catch (tag=XIL(0xf150), func=0x604855 <command_loop_2>, arg=XIL(0x90)) at eval.c:1178
#31 0x0000000000604821 in command_loop () at keyboard.c:1115
#32 0x0000000000603c3a in recursive_edit_1 () at keyboard.c:724
#33 0x0000000000603e41 in Frecursive_edit () at keyboard.c:807
#34 0x00000000005ffb47 in main (argc=7, argv=0x7fffffffabf8) at emacs.c:2430

Lisp Backtrace:
"redisplay_internal (C function)" (0x0)
(gdb) up
#1  0x00000000006ad9be in die (msg=0x80b738 "bidi_it->prev_for_neutral.type != UNKNOWN_BT", file=0x80b2ac "bidi.c", line=2924) at alloc.c:7547
7547	  terminate_due_to_signal (SIGABRT, INT_MAX);
(gdb) up
#2  0x000000000057cc7a in bidi_resolve_brackets (bidi_it=0x7fffffff35f0) at bidi.c:2924
2924	      eassert (bidi_it->prev_for_neutral.type != UNKNOWN_BT);
(gdb) p bidi_it->prev_for_neutral.type
$1 = UNKNOWN_BT
(gdb) p bidi_it->prev_for_neutral
$2 = {
  charpos = -1,
  type = UNKNOWN_BT,
  orig_type = UNKNOWN_BT
}
(gdb) p bidi_it
$3 = (struct bidi_it *) 0x7fffffff35f0
(gdb) p *bidi_it
$4 = {
  bytepos = 1,
  charpos = 1,
  ch = 91,
  nchars = 1,
  ch_len = 1,
  type = NEUTRAL_ON,
  type_after_wn = NEUTRAL_ON,
  orig_type = NEUTRAL_ON,
  resolved_level = -1 '\377',
  isolate_level = 0 '\000',
  invalid_levels = 0,
  invalid_isolates = 0,
  prev = {
    charpos = 0,
    type = NEUTRAL_WS,
    orig_type = NEUTRAL_WS
  },
  last_strong = {
    charpos = 1,
    type = UNKNOWN_BT,
    orig_type = UNKNOWN_BT
  },
  next_for_neutral = {
    charpos = -1,
    type = UNKNOWN_BT,
    orig_type = UNKNOWN_BT
  },
  prev_for_neutral = {
    charpos = -1,
    type = UNKNOWN_BT,
    orig_type = UNKNOWN_BT
  },
  next_for_ws = {
    charpos = -1,
    type = UNKNOWN_BT,
    orig_type = UNKNOWN_BT
  },
  bracket_pairing_pos = 3,
  bracket_enclosed_type = UNKNOWN_BT,
  next_en_pos = 0,
  next_en_type = UNKNOWN_BT,
  sos = L2R,
  scan_dir = 1,
  disp_pos = 5,
  disp_prop = 0,
  stack_idx = 0,
  level_stack = {{
      next_for_neutral_pos = 0,
      next_for_neutral_type = 0,
      last_strong_type = 0,
      prev_for_neutral_type = 0,
      level = 0 '\000',
      flags = 0 '\000'
    } <repeats 128 times>},
  string = {
    lstring = XIL(0x1bc9304),
    s = 0x0,
    schars = 5,
    bufpos = 0,
    from_disp_str = false,
    unibyte = true
  },
  w = 0x11c8490,
  paragraph_dir = L2R,
  separator_limit = -1,
  first_elt = false,
  new_paragraph = true,
  frame_window_p = true
}
(gdb) p bidi_it->string
$5 = {
  lstring = XIL(0x1bc9304),
  s = 0x0,
  schars = 5,
  bufpos = 0,
  from_disp_str = false,
  unibyte = true
}
(gdb) p bidi_it->string.lstring
$6 = XIL(0x1bc9304)
(gdb) pr
(gdb) xpr
Lisp_String
$7 = (struct Lisp_String *) 0x1bc9300
" [#] "
(gdb) down
#1  0x00000000006ad9be in die (msg=0x80b738 "bidi_it->prev_for_neutral.type != UNKNOWN_BT", file=0x80b2ac "bidi.c", line=2924) at alloc.c:7547
7547	  terminate_due_to_signal (SIGABRT, INT_MAX);
(gdb) 
#0  terminate_due_to_signal (sig=6, backtrace_limit=2147483647) at emacs.c:409
409	  signal (sig, SIG_DFL);
(gdb) c
Continuing.

Thread 1 "emacs" received signal SIGABRT, Aborted.
0x00007ffff13ae88c in __pthread_kill_implementation () from /lib64/libc.so.6
(gdb) 

[-- Attachment #3: input_output.log --]
[-- Type: text/plain, Size: 2559 bytes --]


bidi.c:2924: Emacs fatal error: assertion failed: bidi_it->prev_for_neutral.type != UNKNOWN_BT
#(" [#] " 2 3 (face erc-nick-default-face mouse-face mode-line-highlight help-echo "mouse-2: switch to buffer, mouse-3: switch to buffer in other window" local-map (keymap (mode-line keymap (mouse-3 . #[257 "Á rÂÃ\x02\"ŽÄÅ\x03!‰@²\x01!ˆÆÀ!*‡" [#<buffer #chan/foonet> internal--before-save-selected-window make-closure #[0 "ÁÀ!‡" [V0 internal--after-save-selected-window] 2] select-window event-start switch-to-buffer-other-window] 5 "

(fn E)" "e"]) (mouse-2 . #[257 "Á rÂÃ\x02\"ŽÄÅ\x03!‰@²\x01!ˆÆÀ!*‡" [#<buffer #chan/foonet> internal--before-save-selected-window make-closure #[0 "ÁÀ!‡" [V0 internal--after-save-selected-window] 2] select-window event-start switch-to-buffer] 5 "

(fn E)" "e"])))))
Fatal error 6: Aborted
Backtrace:
/home/me/emacs/src/emacs(emacs_backtrace+0x79)[0x63475a]
/home/me/emacs/src/emacs(terminate_due_to_signal+0xd2)[0x5fcce7]
/home/me/emacs/src/emacs[0x6ad9be]
/home/me/emacs/src/emacs[0x57cc7a]
/home/me/emacs/src/emacs[0x57d0e6]
/home/me/emacs/src/emacs[0x57d3f7]
/home/me/emacs/src/emacs[0x57d657]
/home/me/emacs/src/emacs(bidi_move_to_visually_next+0x15f)[0x57dd1c]
/home/me/emacs/src/emacs[0x49aa48]
/home/me/emacs/src/emacs[0x4a6b12]
/home/me/emacs/src/emacs[0x4e6836]
/home/me/emacs/src/emacs[0x4e2af3]
/home/me/emacs/src/emacs[0x4e3bd8]
/home/me/emacs/src/emacs[0x4e3bd8]
/home/me/emacs/src/emacs[0x4e1c97]
/home/me/emacs/src/emacs[0x4e1996]
/home/me/emacs/src/emacs[0x4c9bff]
/home/me/emacs/src/emacs[0x4bf69e]
/home/me/emacs/src/emacs(internal_condition_case_1+0x8a)[0x6e350b]
/home/me/emacs/src/emacs[0x4bf5f6]
/home/me/emacs/src/emacs[0x4be0aa]
/home/me/emacs/src/emacs(redisplay_preserve_echo_area+0x67)[0x4bedc7]
/home/me/emacs/src/emacs(wait_reading_process_output+0x1a50)[0x757289]
/home/me/emacs/src/emacs[0x60cdea]
/home/me/emacs/src/emacs[0x6079c9]
/home/me/emacs/src/emacs[0x607d5b]
/home/me/emacs/src/emacs(read_char+0x1c3f)[0x609e06]
/home/me/emacs/src/emacs[0x61d27f]
/home/me/emacs/src/emacs[0x6050c9]
/home/me/emacs/src/emacs(internal_condition_case+0x7f)[0x6e3434]
/home/me/emacs/src/emacs(command_loop_2+0x23)[0x604878]
/home/me/emacs/src/emacs(internal_catch+0x4a)[0x6e2712]
/home/me/emacs/src/emacs[0x604821]
/home/me/emacs/src/emacs(recursive_edit_1+0xff)[0x603c3a]
/home/me/emacs/src/emacs(Frecursive_edit+0x15f)[0x603e41]
/home/me/emacs/src/emacs(main+0x1754)[0x5ffb47]
/lib64/libc.so.6(+0x2d560)[0x7ffff134c560]
/lib64/libc.so.6(__libc_start_main+0x7c)[0x7ffff134c60c]
/home/me/emacs/src/emacs(_start+0x25)[0x45c265]

bug#54295: 29.0.50; Assertion fails in bidi_resolve_brackets

[Eli Zaretskii]

> From: "J.P." <jp@neverwas.me>
> Date: Mon, 07 Mar 2022 14:10:42 -0800
> 
> bidi.c:2924: Emacs fatal error: assertion failed:
> 
>  bidi_it->prev_for_neutral.type != UNKNOWN_BT
> 
> Steps to reproduce:
> 
>  1. ./src/emacs -Q
>  2. M-: (push "[#]" mode-line-modes) RET

Sorry about that, should be fixed now.

bug#54295: 29.0.50; Assertion fails in bidi_resolve_brackets

[J.P.]

Eli Zaretskii <eliz@gnu.org> writes:

> Sorry about that, should be fixed now.

Great, thanks. Closing.