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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f894972725d7613
X-Google-Attributes: gid103376,public
From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann)
Subject: Re: Ada strangeness or bug in Gnat?
Date: 1996/11/06
Message-ID: <55prap$7q9@arktur.rz.uni-ulm.de>#1/1
X-Deja-AN: 194842108
references: <E0FBxy.Jwq@cerc.wvu.edu> <328028AE.757F@direct.ca>
organization: University of Ulm, SAI, Germany
newsgroups: comp.lang.ada
Date: 1996-11-06T00:00:00+00:00
List-Id: <comp.lang.ada>


Vincent Celier (vcelier@direct.ca) wrote:
> The result you are getting is correct (from the point of view of the
> compiler). 
> Your program is incorrect, because you have a case of a "Bounded Error".

Sure? Soory, but i haven't got my RM at hand right now. But i tried this
sample program with GNAT-3.05 on HPUX 10.10. It says: 1,2. That means the
array elements were swapped --- correctly?

To my understanding the words "in", "out" and "in out" do not seem to make
sense any more for array parameters if your explanation ist correct.
So could someone increase my knowledge?

Quite curious

George

--
Joerg 'George' Rodemann                      Erhard-Groezinger-Strasse 82
Department of Physics                                   D-89134 Blaustein
University of Ulm                                      Tel. (0731) 553319
e-mail:                                    rodemann@mathematik.uni-ulm.de