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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!news.mixmin.net!news2.arglkargh.de!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 18 Jun 2013 09:29:58 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130509 Thunderbird/17.0.6
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Bug in 'gnatmake' (Was: Range check for type 'Integer')
References: 
 <7f33982d-3bcf-452e-a3b3-3a0a28505ff1@x20g2000vbe.googlegroups.com>
 <87r4g0g9c0.fsf@adaheads.sparre-andersen.dk>
 <wcchagwhebl.fsf@shell01.TheWorld.com>
 <049bb1b4-4a9f-4238-8d60-c990f1a1d392@u9g2000vbc.googlegroups.com>
In-Reply-To: 
 <049bb1b4-4a9f-4238-8d60-c990f1a1d392@u9g2000vbc.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <51c00c73$0$6548$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 18 Jun 2013 09:29:55 CEST
NNTP-Posting-Host: 76b0d123.newsspool4.arcor-online.net
X-Trace: 
 DXC=Z=CgIVGGEVjm7>ihJR;B_c4IUK<Cl32<a4Fo<]lROoRa8kF<OcfhCOk0cGjm6MEWafnc\616M64>jLh>_cHTX3jm\3^KkjVR3mb
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:15803
Date: 2013-06-18T09:29:55+02:00
List-Id: <comp.lang.ada>

On 17.06.13 21:15, Peter Brooks wrote:
> On Jun 17, 6:50 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
> wrote:
>>
>> You usually want -g (debugging info).  And the debugger works
>> better if you turn off optimizations (-O0).
>>
> Since you mention it, I'm interested to know if there are many Ada
> benchmarks.
  

A current state of affairs is partly reflected in

http://benchmarksgame.alioth.debian.org/u64q/benchmark.php?test=all&lang=gnat&data=u64q

When compiling the programs with aggressive optimization turned on,
suppressing all checks has not always had significant effects.
You can try the above programs with or without -gnatp.

While the benchmark is always changing a bit, and the particulars of
submissions called into question every now and then, the overall
results have been stabilizing. There is no clear winner among the
GCC languages. (It turns out that Intel's Fortran compiler can be hard
to beat on Intel CPUs.)

When differences are large among programs written in a language
that GCC supports, the differences are usually changing the algorithm
slightly. In some cases, though, Ada's type system has good effects
without such changes because it lets us choose scalar types that suit
the problem better, both logically, and hardware-wise.