[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