Re: Bug in 'gnatmake' (Was: Range check for type 'Integer')

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

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.