From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,4eca860272d4832b
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.scarlet.biz!news.scarlet.biz.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 07 Feb 2007 04:05:16 -0600
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Static vs dynamic evaluation anomaly?
References: <12shen4qjhv41a7@corp.supernews.com>
	<1170792077.235994.10900@q2g2000cwa.googlegroups.com>
	<87wt2vgi00.fsf@ludovic-brenta.org>
	<12sipb529oilnab@corp.supernews.com>
Date: Wed, 07 Feb 2007 11:05:15 +0100
Message-ID: <878xfagu5g.fsf@ludovic-brenta.org>
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:dmAKZ5rLgl7dN7bjef+LfEnA+Qk=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 62.235.220.88
X-Trace: 
 sv3-2ZVXuqndtXbZNA8Q1iA2Zs1q0ojd1cu2oJo1SqwS221pDnn8juuECqep0bAdeoBB3X0jKc+2/pb/KIm!GWjNsCE8I6gKZvdGIifo+yaaYswfrQ3Hyunzd1VbloAWotv/GFT6nhGVjCf96qRSFtCDQizYrw==
X-Complaints-To: abuse@scarlet.be
X-DMCA-Complaints-To: abuse@scarlet.biz
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news2.google.com comp.lang.ada:9063
Date: 2007-02-07T11:05:15+01:00
List-Id: <comp.lang.ada>

Matt Jaffe writes:
> Ludovic Brenta wrote:
>> Confirmed on Debian gnat 4.1.1-22.

I take that back.  The bug is not present on Debian gnat 4.1.1-22.

> Is there a bug tracking system I should sent something in to?  The
> host machine is a Sun running Solaris.  I issued the shell command
> "gnatmake" (no arguments) but none of the resultant list of
> arguments and options seemed to indicate how to obtain precise
> version description information. Before I dig deeper, I need to know
> if its likely that someone is collecting bug reports for a gnat
> running on Solaris. If so, I will "do the right thing" and gather
> the necessary data and submit it.

It depends where you obtained this GNAT from.  If it is GNAT Pro, then
report it to AdaCore.  If it is from the FSF, report it to
http://gcc.gnu.org/bugzilla.  If it is from Blaswave, report it to
Blastwave.

You can obtain more information if you do:

$ locate gnat1
$ ..../gnat1 --version

You can also try gcc --version but then you'd have to make sure that
the gcc you're invoking is the one you use for Ada.

-- 
Ludovic Brenta.