comp.lang.ada
 help / color / mirror / Atom feed
From: Brian May <bam@snoopy.apana.org.au>
Subject: Re: Tail Recursion (Why it appears that Gnat 3.15p does support it)
Date: Sat, 15 Jan 2005 16:08:35 +1100
Date: 2005-01-15T16:08:35+11:00	[thread overview]
Message-ID: <sa4zmzbi8j0.fsf@snoopy.apana.org.au> (raw)
In-Reply-To: 1105718811.554008.197490@z14g2000cwz.googlegroups.com

>>>>> "wojtek" == wojtek  <wojtek@power.com.pl> writes:

    wojtek> GNAT does not optimize tail calls, because, AFAIK, the
    wojtek> underlying GCC does not.

My copy of the *man* page (which may be wrong) has:

       -mtail-call
       -mno-tail-call
           Do (or do not) make additional attempts (beyond those of the
           machine-independent portions of the compiler) to optimize tail-
           recursive calls into branches.  You may not want to do this because
           the detection of cases where this is not valid is not totally com-
           plete.  The default is -mno-tail-call.

So, to the original poster, try -mtail-call, that might help.

The implication is that this might be buggy, but this documentation
might be wrong too. I don't have the info documentation currently
installed.
-- 
Brian May <bam@snoopy.apana.org.au>



  reply	other threads:[~2005-01-15  5:08 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-01-13 22:04 Tail Recursion (Why it appears that Gnat 3.15p does support it) Chad  R. Meiners
2005-01-14  8:32 ` Duncan Sands
2005-01-14  9:04 ` Jacob Sparre Andersen
2005-01-14 16:06 ` wojtek
2005-01-15  5:08   ` Brian May [this message]
2005-01-18 20:59 ` Chad  R. Meiners
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox