Re: Pragma Debug in GCC-Ada ?

[bdbryant@mail.utexas.edu (Bobby D. Bryant)]

On Wed, 13 Jul 2005, Matthew Heaney <matthewjheaney@earthlink.net> wrote:

> bdbryant@mail.utexas.edu (Bobby D. Bryant) writes:
> 
>> Are the precompiled Ada library units supposed to be compiled with
>> -gnata ?  
> 
> Probably not, no.  (But you'll have to ask the AdaCore staff for the
> definitive answer.)  The reason is that units that are part of the GNAT
> run-time are automatically compiled with checks off.
> 
> 
>> My naive assumption is "yes", so that assertions will be
>> enforced, 
> 
> If you're seeing pragma Assert or pragma Debug, it's most likely only
> for debugging.
> 
> 
>> but in recent versions of GCC-based GNAT it also turns on an
>> annoying -
>> 
>>    pragma Debug (Put_Line ("N =" & N'Img));
>> 
>> in the definition of 'Put' in a-tifiio.adb (Ada.Text_IO.Fixed_IO).
> 
> Are you seeing this?  You shouldn't be.  If you are seeing this output,
> then something is wrong.
> 
> 
>> Surely that isn't the intended behavior?  But is the proper fix to
>> remove that line from the source, or to compile without -gnata ?
> 
> You shouldn't have to do either of these things.

It may a be a bug in the Gentoo ebuild, or maybe it's a deliberate
property of the pre-stable build.  (I'm using the not-officially-stable
version because it doesn't give the frequent "internal compiler error"
problems that 3.15 gives me.)

Either way, I can hack the ebuild to suppress it, but I want to do the
right thing.

Thanks for your response.

-- 
Bobby Bryant
Austin, Texas