bug#29269: 27.0.50; assertion failed: XTYPE (a) == type && XUNTAG (a, type) == ptr

bug#29269: 27.0.50; assertion failed: XTYPE (a) == type && XUNTAG (a, type) == ptr

[Stefan Monnier]

Package: Emacs
Version: 27.0.50


The recent changes w.r.t alignment seem to have introduced a regression
on my 32bit system:

    [...]
    ./temacs --batch  --load loadup bootstrap
    
    lisp.h:1068: Emacs fatal error: assertion failed: XTYPE (a) == type && XUNTAG (a, type) == ptr

The corresponding backtrace looks like:

    (gdb) bt
    #0  0x08196f56 in terminate_due_to_signal (sig=6, backtrace_limit=2147483647)
        at emacs.c:363
    #1  0x0821873e in die (msg=0x831ec24 "XTYPE (a) == type && XUNTAG (a, type) == ptr", file=0x831e36d "lisp.h", line=1068) at alloc.c:7431
    #2  0x0828102b in make_lisp_ptr (type=
        Lisp_Vectorlike, ptr=0x844328c <Sinternal_make_lisp_face>) at lisp.h:1068
    #3  0x0828102b in defsubr (sname=0x844328c <Sinternal_make_lisp_face>)
        at lread.c:4354
    #4  0x0814c4f0 in syms_of_xfaces () at xfaces.c:6460
    #5  0x08197c29 in main (argc=<optimized out>, argv=<optimized out>)
        at emacs.c:1220
    (gdb) 

So it looks like we're missing an alignment constraint on the Lisp_Subr
objects.


        Stefan



In GNU Emacs 27.0.50 (build 1, x86_64-unknown-linux-gnu, GTK+ Version 3.22.24)
 of 2017-11-05 built on alfajor
Repository revision: 7b20a85bf651debb66742d7ed8a55bdc883ded79
Windowing system distributor 'The X.Org Foundation', version 11.0.11905000
System Description:	Debian GNU/Linux testing (buster)

Recent messages:
Decrypting /home/monnier/share/misc/test2.gpg...done
Mark saved where search started [2 times]
delete-backward-char: Text is read-only [3 times]
Entering debugger...
Back to top level
Command: set annotate 1
Mark set
Mark saved where search started [3 times]
Mark set
Mark saved where search started [2 times]

Configured using:
 'configure -C --enable-checking --with-modules --enable-check-lisp-object-type
 'CFLAGS=-Wall -g3 -Og -Wno-pointer-sign'
 PKG_CONFIG_PATH=/home/monnier/lib/pkgconfig'

Configured features:
XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GSETTINGS NOTIFY
GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB TOOLKIT_SCROLL_BARS
GTK3 X11 MODULES LCMS2

Important settings:
  value of $LANG: fr_CH.UTF-8
  locale-coding-system: utf-8-unix

Major mode: InactiveMinibuffer

Minor modes in effect:
  shell-dirtrack-mode: t
  dired-omit-mode: t
  diff-auto-refine-mode: t
  electric-pair-mode: t
  global-reveal-mode: t
  reveal-mode: t
  auto-insert-mode: t
  savehist-mode: t
  minibuffer-electric-default-mode: t
  global-compact-docstrings-mode: t
  url-handler-mode: t
  global-eldoc-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  global-prettify-symbols-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t

Load-path shadows:
/home/monnier/src/emacs/elpa/packages/svg/svg hides /home/monnier/src/emacs/work/lisp/svg
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-mode hides /home/monnier/src/emacs/work/lisp/progmodes/ada-mode
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-stmt hides /home/monnier/src/emacs/work/lisp/progmodes/ada-stmt
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-prj hides /home/monnier/src/emacs/work/lisp/progmodes/ada-prj
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-xref hides /home/monnier/src/emacs/work/lisp/progmodes/ada-xref
/home/monnier/src/emacs/elpa/packages/hyperbole/set hides /home/monnier/src/emacs/work/lisp/emacs-lisp/set
/home/monnier/src/emacs/elpa/packages/landmark/landmark hides /home/monnier/src/emacs/work/lisp/obsolete/landmark
/home/monnier/src/emacs/elpa/packages/crisp/crisp hides /home/monnier/src/emacs/work/lisp/obsolete/crisp

Features:
(gud epa-file perl-mode descr-text ediff-merg ediff-wind ediff-diff
ediff-mult ediff-help ediff-init ediff-util ediff autorevert filenotify
reftex-dcr reftex reftex-loaddefs reftex-vars latexenc imenu prolog
align autoload rect srecode/document semantic/doc srecode/semantic
semantic/senator semantic/decorate semantic/ctxt semantic/format
srecode/extract srecode/insert srecode/filters srecode/find srecode/map
srecode/ctxt semantic/tag-ls semantic/find srecode/compile
semantic/util-modes semantic/util semantic semantic/tag semantic/lex
semantic/fw srecode/args ede/speedbar ede/files ede ede/detect ede/base
ede/auto ede/source eieio-speedbar eieio-custom cedet srecode/dictionary
srecode/table eieio-base srecode mode-local informat texinfo tex-mode
shell pulse wdired ls-lisp find-dired dired-aux dired-x view cal-china
lunar solar cal-dst cal-bahai cal-islam cal-hebrew holidays hol-loaddefs
cal-french diary-lib diary-loaddefs cal-move sm-c-mode dabbrev battery
eieio-opt speedbar sb-image ezimage dframe log-edit bug-reference vc-bzr
vc-src vc-sccs vc-svn vc-cvs vc-rcs vc-dir misearch multi-isearch ox-odt
rng-loc rng-uri rng-parse rng-match rng-dt rng-util rng-pttrn nxml-parse
nxml-ns nxml-enc xmltok nxml-util ox-latex ox-icalendar ox-html table
ox-ascii ox-publish ox org-protocol org-mouse org-mobile org-agenda
org-indent org-feed org-crypt org-capture org-attach org-id beancount
ido org-rmail org-mhe org-irc org-info org-gnus org-docview doc-view
jka-compr image-mode org-bibtex bibtex org-bbdb org-w3m org-element
avl-tree generator org org-macro org-footnote org-pcomplete pcomplete
org-list org-faces org-entities org-version ob-emacs-lisp ob ob-tangle
org-src ob-ref ob-lob ob-table ob-keys ob-exp ob-comint ob-core ob-eval
org-compat org-macs org-loaddefs cal-menu calendar cal-loaddefs cl-print
sort mail-extr emacsbug message rmc puny dired dired-loaddefs
format-spec rfc822 mml mml-sec epa derived epg gnus-util rmail
rmail-loaddefs mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util
mail-prsvr mail-utils add-log log-view pcvs-util sh-script smie
make-mode executable copyright whitespace vc vc-dispatcher smerge-mode
lisp-mnt xscheme unsafep trace testcover shadow scheme re-builder
profiler inf-lisp ielm gmm-utils ert pp find-func ewoc debug elp edebug
cl-indent cus-edit cus-start cus-load wid-edit vc-git diff-mode
filecache map cl-extra help-fns radix-tree server time-date flymake-proc
flymake compile comint ansi-color ring warnings noutline outline
easy-mmode flyspell ispell checkdoc thingatpt help-mode load-dir
elec-pair reveal autoinsert proof-site proof-autoloads cl pg-vars
savehist minibuf-eldef disp-table compact-docstrings cl-seq inline
kotl-loaddefs advice info realgud-recursive-autoloads finder-inf
url-auth package easymenu epg-config url-handlers url-parse auth-source
eieio eieio-core cl-macs eieio-loaddefs password-cache url-vars seq
byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib bbdb-loaddefs
mule-util tooltip eldoc electric uniquify ediff-hook vc-hooks
lisp-float-type 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 elisp-mode lisp-mode prog-mode register page menu-bar
rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock
syntax font-core term/tty-colors frame 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 charscript charprop
case-table epa-hook jka-cmpr-hook help simple abbrev obarray minibuffer
cl-preloaded nadvice loaddefs button faces cus-face macroexp files
text-properties overlay sha1 md5 base64 format env code-pages mule
custom widget hashtable-print-readable backquote dbusbind inotify lcms2
dynamic-setting system-font-setting font-render-setting move-toolbar gtk
x-toolkit x multi-tty make-network-process emacs)

Memory information:
((conses 8 608518 161871)
 (symbols 24 56889 1) (miscs 20 11008 2257) (strings 16 196540 11360)
 (string-bytes 1 5388769)
 (vectors 8 84622) (vector-slots 4 2887622 174516) (floats 8 922 780)
 (intervals 28 42970 258)
 (buffers 528 110))

bug#29269: 27.0.50; assertion failed: XTYPE (a) == type && XUNTAG (a, type) == ptr

[Paul Eggert]

I installed some alignment-related patches into emacs-26 and just now 
merged them into master. They are supposed fix the Lisp_Subr alignment 
problem. Please give them a try.

bug#29269: 27.0.50; assertion failed: XTYPE (a) == type && XUNTAG (a, type) == ptr

[Stefan Monnier]

> I installed some alignment-related patches into emacs-26 and just now merged
> them into master. They are supposed fix the Lisp_Subr alignment
> problem. Please give them a try.

Works for me, thanks,


        Stefan