Re: Optimizing with gnat

[dewar@cs.nyu.edu (Robert Dewar)]

iRegarding Fernando's question regarding a mysterious error message
from the use of -gnatp to suppress checks. This is most certainly
a GNAT bug, since there is no legitimate circumstance in which use
of the -gnatp switch can cause an error message. So if that happens
you have found a bug (it comes from expanded code undoubtedly, you
can probably see what is happenning if you use the -gnatdg switch to
expand the generated code).

Anyway, what do you do when you find a GNAT bug?
YOU SEND IT TO report@gnat.com!
At least that's what you do if you want the folks who know most about
GNAT to look at it :-)

I also note that 3.03 is two versions out of date now, so it is possible
that this bug is already fixed in the latest released version.

Anyway, if you find a GNAT bug, or if you just have some mystery like this
where you are not sure if it is a bug or not, please send it along to
report@gnat.com. If you are an unsupported user, we can't promise any
immediate response, but all bugs get looked at eventually, and sometimes
we can indeed provide an immediate answer pointing out something that
you have done wrong.

Robert Dewar
Ada Core Technologies