Re: ada compiler?

[Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>]

On Wed, 2007-11-14 at 08:36 -0800, Ludovic Brenta wrote:

>  Heap overflows
> are different, of course, and are not affected by -fstack-check. Your
> latest example was a heap overflow and therefore off-topic.

Heap overflow seems entirely unrelated at first sight, but in
two ways it needs to be considered here, I think.

First, the -fstack-check warning suggests, in a sense, to use allocators
and pointers instead of direct objects. When a programmer interprets
the warning this way and starts using pointers, -f[no]-stack-check
is likely to affect the structure of his/her Ada program.

Second, there is a limit to the *sum* of stack memory and heap
memory. ;-) Whatever that means at an implementation level.

> Does someone here know GNAT internals in sufficient detail as to
> enlighten us? Also can someone explain what "reliable" stack checking
> is in GNAT parlance?

I 2nd the request.