From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,1bfef9ee46a994c7 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.glorb.com!logbridge.uoregon.edu!newsfeed.cs.utexas.edu!geraldo.cc.utexas.edu!not-for-mail From: bdbryant@mail.utexas.edu (Bobby D. Bryant) Newsgroups: comp.lang.ada Subject: Re: Pragma Debug in GCC-Ada ? Date: Wed, 13 Jul 2005 03:14:58 +0000 (UTC) Organization: dis- Message-ID: References: Reply-To: bdbryant@mail.utexas.edu NNTP-Posting-Host: dial-b-128-83-219-86.telesys.its.utexas.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: geraldo.cc.utexas.edu 1121224498 12651 128.83.219.86 (13 Jul 2005 03:14:58 GMT) X-Complaints-To: abuse@utexas.edu NNTP-Posting-Date: Wed, 13 Jul 2005 03:14:58 +0000 (UTC) X-Newsreader: knews 1.0b.1 Xref: g2news1.google.com comp.lang.ada:3611 Date: 2005-07-13T03:14:58+00:00 List-Id: On Wed, 13 Jul 2005, Matthew Heaney 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