Re: Static vs dynamic evaluation anomaly?

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

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.