Re: Pragma Debug in GCC-Ada ?

[Matthew Heaney <matthewjheaney@earthlink.net>]

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.