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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham 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!news3.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail Sender: mheaney@MHEANEYX200 Newsgroups: comp.lang.ada Subject: Re: Pragma Debug in GCC-Ada ? References: From: Matthew Heaney Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Wed, 13 Jul 2005 01:18:13 GMT NNTP-Posting-Host: 24.149.57.125 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.news.atl.earthlink.net 1121217493 24.149.57.125 (Tue, 12 Jul 2005 18:18:13 PDT) NNTP-Posting-Date: Tue, 12 Jul 2005 18:18:13 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: g2news1.google.com comp.lang.ada:12037 Date: 2005-07-13T01:18:13+00:00 List-Id: 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.