]> git.eshelyaron.com Git - emacs.git/commit
Fix core dump in substitute-object-in-subtree
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 9 Jul 2017 23:04:02 +0000 (16:04 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 9 Jul 2017 23:05:13 +0000 (16:05 -0700)
commit083940a93df17c6e50d6523e30d56ca3d179f688
tree7192d741b6d66943c4f4fd38436aaf8960e6299a
parentce6773aad5c71f6c486244a6fc9fcb69fc99784d
Fix core dump in substitute-object-in-subtree

Without this fix, (substitute-object-in-subtree #0=(#0# 'a) 'a)
would dump core, since the C code would recurse indefinitely through
the infinite structure.  This patch adds an argument to the function,
and renames it to lread--substitute-object-in-subtree as the function
is not general-purpose and should not be relied on by outside code.
See Bug#23660.
* src/intervals.c (traverse_intervals_noorder): ARG is now void *,
not Lisp_Object, so that callers need not cons unnecessarily.
All callers changed.  Also, remove related #if-0 code that was
“temporary” in the early 1990s and has not been compilable for
some time.
* src/lread.c (struct subst): New type, for substitution closure data.
(seen_list): Remove this static var, as this info is now part of
struct subst.  All uses removed.
(Flread__substitute_object_in_subtree): Rename from
Fsubstitute_object_in_subtree, and give it a 3rd arg so that it
doesn’t dump core when called from the top level with an
already-cyclic structure.  All callers changed.
(SUBSTITUTE): Remove.  All callers expanded and then simplified.
(substitute_object_recurse): Take a single argument SUBST rather
than a pair OBJECT and PLACEHOLDER, so that its address can be
passed around as part of a closure; this avoids the need for an
AUTO_CONS call.  All callers changed.  If the COMPLETED component
is t, treat every subobject as potentially circular.
(substitute_in_interval): Take a struct subst * rather than a
Lisp_Object, for the closure data.  All callers changed.
* test/src/lread-tests.el (lread-lread--substitute-object-in-subtree):
New test, to check that the core dump does not reoccur.
lisp/emacs-lisp/edebug.el
src/alloc.c
src/intervals.c
src/intervals.h
src/lread.c
src/print.c
test/src/lread-tests.el