[armedbear-devel] Compiling inline recursive function definition exhausts stack
Mark Evenson
evenson at panix.com
Fri Mar 28 07:35:35 UTC 2014
On 3/28/14, 4:49, Xiaofeng Yang wrote:
> Hi, all.
>
> It seems that cl-prime-maker compiles failed with ABCL because of the
> following bug. This bug can also be found in ABCL 1.1.1 (I don't know
> whether this bug can be found in 1.1.0 or earlier), not only 1.2.x and
> 1.3.x.
[…]
> (in-package :cl-user)
>
> (declaim (inline foo))
> (defun foo ()
> (foo))
>
> (defun bar ()
> (foo))
[…]
> After the stack overflow, if I returned to the top level, remove the line
> "(declaim (inline foo))" and COMPILE-FILE again, it also failed. Unless I
> restart ABCL and perform COMPILE-FILE with the file without the line
> "(declaim (inline foo))", it can be compiled now.
I have filed this as [ticket-353][].
When running the test with SBCL, it warns about the recursion, compiling
to code for which the definitions of FOO and BAR loop infinitely.
[ticket-353]: http://abcl.org/trac/ticket/353
--
"A screaming comes across the sky. It has happened before, but there
is nothing to compare to it now."
More information about the armedbear-devel
mailing list