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,6c7dea22b75ba442
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!ecngs!feeder2.ecngs.de!newsfeed.freenet.de!xlned.com!feeder1.xlned.com!transit4.hitnews.eu!feeder2.cambrium.nl!feed.tweaknews.nl!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: ada compiler?
References: <TYbZi.77377$kj1.12383@bgtnsc04-news.ops.worldnet.att.net>
	<QPednZmRA_Te8KjanZ2dnUVZ_jednZ2d@comcast.com>
	<IooZi.12685$if6.3756@bgtnsc05-news.ops.worldnet.att.net>
	<uklh05-6gt.ln1@newserver.thecreems.com>
	<lvsZi.13247$if6.1368@bgtnsc05-news.ops.worldnet.att.net>
	<1194747665.6151.31.camel@K72> <_evZi.177931$Xa3.50640@attbi_s22>
Date: Tue, 13 Nov 2007 14:24:23 +0100
Message-ID: <87hcjq46t4.fsf@ludovic-brenta.org>
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:jyX0dE1DJvmd4pq1WSn7OG7gncE=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tele2
X-Trace: 
 DXC=TS<8SG9BojdVgFdUFoS8Sa6`Y6aWje^Yj8>QLVS_Z_om12ZWDab>a`bT=WLSB4=I=oD6OOKKHng5`
Xref: g2news1.google.com comp.lang.ada:18345
Date: 2007-11-13T14:24:23+01:00
List-Id: <comp.lang.ada>

Jeffrey R. Carter writes:
> Georg Bauhaus wrote:
>>
>> Wouldn't this be even more evidence in favor of having
>> -gnato -fstack-check on by default? If someone begins
>> learning Ada and then notices that the promised overflow
>> checking doesn't take place, what will be the reaction?
>
> There have been a number of threads here dealing with just that:
> people asking why GNAT didn't give the expected behavior, generally
> because they didn't compile with -gnato.

I'm starting to consider such a change for Debian gnat.  Overflow
checks can be disabled explicitly with -gnatp or pragma Suppress.
However, some programs don't compile with -fstack-check because some
stack frames are "too big" (whatever that means).  Thoughts?

-- 
Ludovic Brenta.