Pragma Debug in GCC-Ada ?

Pragma Debug in GCC-Ada ?

[Bobby D. Bryant]

Are the precompiled Ada library units supposed to be compiled with
-gnata ?  My naive assumption is "yes", so that assertions will be
enforced, 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).

Surely that isn't the intended behavior?  But is the proper fix to
remove that line from the source, or to compile without -gnata ?


Background: This is seen in GNAT 3.4.1 as built for Gentoo Linux by
the gnat-3.41.ebuild.  It may have been present in earlier versions as
well; I don't remember when I first saw it.

-- 
Bobby Bryant
Austin, Texas

Re: Pragma Debug in GCC-Ada ?

[Matthew Heaney]

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.

Re: Pragma Debug in GCC-Ada ?

[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