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!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Newsgroups: comp.lang.ada Subject: Re: ada compiler? From: Georg Bauhaus In-Reply-To: References: Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1194747665.6151.31.camel@K72> Mime-Version: 1.0 X-Mailer: Evolution 2.12.0 Date: Sun, 11 Nov 2007 03:21:05 +0100 Organization: Arcor NNTP-Posting-Date: 11 Nov 2007 03:21:07 CET NNTP-Posting-Host: 2faf6024.newsspool1.arcor-online.net X-Trace: DXC=kc?fgY4;@_>eoCI^f\Y]E1ic==]BZ:af>4Fo<]lROoR1Fl8W>\BH3Y296DUE5PE;F2A:ho7QcPOV3]C[OE]njPQ3bgUV5E`l:;; X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:18266 Date: 2007-11-11T03:21:07+01:00 List-Id: On Sun, 2007-11-11 at 01:01 +0000, anon wrote: > how many beginners first downloads a GNAT version that requires: > > gnatmake -gnato -fstack-check .adb > > to compile a simple program! 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? Also, what is the effect of an Ada compiler on the perception of the language if, by default, stack overflow (e.g. due to massive recursion without TCE) causes segmentation violations rather than Storage_Error? What if we are told that this or that is an operating system issue and that we should learn how to adjust OS resources (ulimit etc.) so that GNAT's produce works according to expectations? OTOH, -gnato renders the speed race among languages more promising, and -fstack-check is a common gcc option. What should the default choices of gnatmake be then?