[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] non-termination with (declare (inline ...)
From: |
Peter Bex |
Subject: |
Re: [Chicken-hackers] [PATCH] non-termination with (declare (inline ...)) |
Date: |
Thu, 28 Mar 2013 19:58:43 +0100 |
User-agent: |
Mutt/1.4.2.3i |
On Sun, Mar 17, 2013 at 11:31:04PM +0100, Felix wrote:
> The attached patch changes the "inline" declaration, when used with an
> identifier, to merely mark that identifier as potentially inlinable by
> effectively giving it "local" semantics (the variable is externally
> visible but not expected to be changed from outside of this
> compilation unit). This leaves the decision to inline to the compiler
> and does not force inlining, as was previously done, and which could
> lead to non-termination in case the inlined procedure called itself
> recursively.
I'm trying to figure out how this relates to inline-global.
I noticed that inline-global calls
(cut mark-variable <> '##compiler#inline-global 'no) for
each identifier. Shouldn't that be 'yes? And can this cause
the same kind of infinite loop?
Cheers,
Peter
--
http://www.more-magic.net