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,a88e582de42cdc9b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feeder2.cambrium.nl!feed.tweaknews.nl!193.201.147.68.MISMATCH!feeder.news-service.com!newsfeed.freenet.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <amosteo@unizar.es>
Newsgroups: comp.lang.ada
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Thu, 21 Feb 2008 10:11:38 +0100
Message-ID: <624tidF21i3nvU2@mid.individual.net>
References: 
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
 <U6GdnQdR3_lkViHanZ2dnUVZ_ramnZ2d@comcast.com>
Reply-To: alejandro@mosteo.com
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Trace: individual.net ziMhygkxdfYkbVUCu2Pjlg8kTBO6MbpAUcwDAgS5PNUFfIevs=
Cancel-Lock: sha1:XkfV1MAC+dLe4ytJEXapj3yWETA=
User-Agent: Thunderbird 2.0.0.6 (X11/20071022)
In-Reply-To: <U6GdnQdR3_lkViHanZ2dnUVZ_ramnZ2d@comcast.com>
Xref: g2news1.google.com comp.lang.ada:19943
Date: 2008-02-21T10:11:38+01:00
List-Id: <comp.lang.ada>

tmoran@acm.org wrote:
>>> The simple explanation is that GNAT, by default, is not an Ada compiler.
>> will not be an Ada compiler until they finally get the Last Bug out,
>    Technically it's an Ada compiler if and only if it passes the
> validation tests, and the default Gnat therefore isn't an Ada compiler,
> and shouldn't be advertised as one.  If it its bugs were sufficiently
> obscure they are not detected by the validation tests, then it would be an
> Ada compiler.
>    More importantly, how many times have we seen postings here from people
> new to Ada saying "I heard about Ada, this supposedly highly safe
> language, but it doesn't even catch an overflow, though the manual claims
> it does."?  vs How many times have people new to Ada posted messages
> asking about some obscure compiler bug they've stumbled across.

vs How many times "my number-crunching program is horribly slow, in
fortran it was lightning fast"?

I /believe/ this has happened maybe once or twice in the last lustrum,
for sure not enough to justify not having -gnato by default.