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,a88e582de42cdc9b X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local02.nntp.dca.giganews.com!nntp.telenor.com!news.telenor.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 20 Feb 2008 06:41:38 -0600 From: Reinert Korsnes Subject: Re: Bug in Ada (SuSe 10.2) ? Newsgroups: comp.lang.ada Date: Wed, 20 Feb 2008 13:41:38 +0100 References: <0_mdna0iHpIsCifaRVnzvQA@telenor.com> <47ba9867$0$21892$4f793bc4@news.tdc.fi> User-Agent: KNode/0.10.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit Message-ID: X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 80.212.41.22 X-Trace: sv3-a1Ourapi6zp7mRxAPnV25jwWHh5iDWpLn4z8osIWRWTof+fFT6M3oDPlj0XEeenZtMoCGVAeYKQpejs!I80JEqH2klyJlxapckJeSdSpkUqVmAJ2bIYl9vAmFXLUgFlZIA9SiLkrky715snn3VqZkdtBcA0= X-Complaints-To: news-abuse@telenor.net X-DMCA-Complaints-To: news-abuse@telenor.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.37 Xref: g2news1.google.com comp.lang.ada:19908 Date: 2008-02-20T13:41:38+01:00 List-Id: Thanks alot, By the way: "safe mode" should be default according to the "spirit" of Ada ? reinert Ludovic Brenta wrote: > Reinert Korsnes wrote: >> I looked for a general "safe mode" under gnat. Did not find. Is there any >> ? > > gnatmake -gnatafo -gnatVa -fstack-check > > Also see http://gcc.gnu.org/PR34117 and http://gcc.gnu.org/PR34118. > > -- > Ludovic Brenta.