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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,6216cea7ed8d90a9
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-03-07 20:16:09 PST
Path: 
 supernews.google.com!sn-xit-03!supernews.com!newsswitch.lcs.mit.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!colt.net!dispose.news.demon.net!demon!btnet-peer0!btnet-feed5!btnet!carbon.eu.sun.com!new-usenet.uk.sun.com!not-for-mail
From: =?iso-8859-1?Q?Herv=E9?= Bitteur <Herve.Bitteur@France.Sun.COM>
Newsgroups: comp.lang.ada
Subject: Re: Got bitten by GNAT.Table
Date: Thu, 08 Mar 2001 05:07:56 +0100
Organization: Sun Microsystems
Message-ID: <3AA7059C.383D9322@France.Sun.COM>
References: <3AA0B68C.AD5F1242@blops.mydiax.ch>
 <LT8o6.2035$6i1.286659@news1.frmt1.sfba.home.com>
 <3AA2C4C4.CF3E6457@blops.mydiax.ch> <3AA2F24A.3843E70@France.Sun.COM>
 <ur909b6wr.fsf@gsfc.nasa.gov>
NNTP-Posting-Host: hobo122.eng.sun.com
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: new-usenet.uk.sun.com 984024430 13824 129.146.31.122 (8 Mar 2001
 04:07:10 GMT)
X-Complaints-To: usenet@new-usenet.uk.sun.com
NNTP-Posting-Date: 8 Mar 2001 04:07:10 GMT
To: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
X-Mailer: Mozilla 4.72 [en] (Win98; I)
X-Accept-Language: fr-FR,en
Xref: supernews.google.com comp.lang.ada:5534
Date: 2001-03-08T04:07:10+00:00
List-Id: <comp.lang.ada>

Hello Stephe,

I'm using the interface provided by GNAT.Table package. So, yes, I think
it's kind of a bug, even if I more or less understand what is happening
when I resize the array while dereferencing it in the same statement.
I will send it to ACT anyway.

Bye,
-- Herv�

Stephen Leake wrote:
> 
> Herv� Bitteur <Herve.Bitteur@France.Sun.COM> writes:
> 
> > GNAT.Table is useful to provide dynamically growing arrays.
> > However I recently discovered the reason why I occasionally
> > had other data overwritten, if not access violation errors.
> > Here is a simple test program that you can run from the command line,
> > with just one argument: the upper bound of the loop.
> > <example snipped>
> 
> Hi Herve!
> 
> GNAT.Table is not implemented in "pure" Ada, so it has some
> restrictions. Be sure to read the spec very carefully. If you believe
> you are following the restrictions, report your bug to report@gnat.com
> 
> Or, use sal.poly.unbounded_arrays, from
> http://users.erols.com/leakstan/Stephe/Ada/sal.html. That's a pure Ada
> solution.
> 
> --
> -- Stephe