From: Peter Amey <pna@erlang.praxis.co.uk>
Subject: Re: Ada strangeness or bug in Gnat?
Date: 1996/11/07
Date: 1996-11-07T00:00:00+00:00 [thread overview]
Message-ID: <Pine.SUN.3.91.961107084208.2384A-100000@erlang.praxis.co.uk> (raw)
In-Reply-To: 328028AE.757F@direct.ca
> rodemann@mathematik.uni-ulm.de (Joerg Rodemann) writes:
> > 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?
>
> The PA-RISC port of GNAT has some esoteric problems... (in the
> backend, to be more precise)
>
> I wouldn't posit the correctness of my programs on the basis of the
> results I get upon running it on this platform.
>
The whole point of the example is that _either_ result is allowed by a
legal compiler which is why the Ada is considered erroneous (to use the
Ada83 term).
If you must, because of the importance of your software, avoid such
problems entirely then you need to use additional development tools, such
as the SPARK Examiner, which detect all instances of aliasing.
Peter
prev parent reply other threads:[~1996-11-07 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-11-06 0:00 Ada strangeness or bug in Gnat? Henry Ware
1996-11-05 0:00 ` Vincent Celier
1996-11-06 0:00 ` Ronald Cole
1996-11-06 0:00 ` Robert Dewar
1996-11-06 0:00 ` Joerg Rodemann
1996-11-06 0:00 ` Vincent Celier
1996-11-07 0:00 ` Peter Amey [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox