comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Constraint or what?
Date: 2000/02/13
Date: 2000-02-13T00:00:00+00:00	[thread overview]
Message-ID: <886frk$qla$1@nnrp1.deja.com> (raw)
In-Reply-To: o7Po4.101$m35.5175@typhoon.we.mediaone.net

In article <o7Po4.101$m35.5175@typhoon.we.mediaone.net>,
  Pascal Martin <pascal.martin@iname.com.nospam> wrote:
> Another well known effect is stack overflow, because the VADS
> compiler tends to reserve the maximum size if a static
> constraint is not used, even for local variables.

This is not a valid implementation for arrays. There was an
explicit ACVC challenege from a compiler that did this and
blew up on one of the tests, and the protest was rejected.
Compilers should not allocate maximum space for variable
length arrays.

Now it is reasonable to do this for very small arrays for
some definition of very small, but to cause stack overflow
from this approach seems quite definitely a bug to me.


Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-02-13  0:00 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-02-10  0:00 Constraint or what? Jan Wuyts
2000-02-10  0:00 ` reason67
2000-02-11  0:00 ` Pascal Martin
2000-02-13  0:00   ` Robert Dewar [this message]
2000-02-18  0:00   ` Robert Dewar
2000-02-16  0:00 ` Ian Ward
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox