From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Subject: Re: ACT announces first 100% validations of Ada 95 compilers
Date: 1997/03/11
Date: 1997-03-11T00:00:00+00:00 [thread overview]
Message-ID: <5g2cdq$244$1@news.nyu.edu> (raw)
In-Reply-To: 332412BB.665C@elca-matrix.ch
In article <332412BB.665C@elca-matrix.ch> Mats.Weber@elca-matrix.ch writes:
>Did optimisation cause problems for the validation ? I'm asking this
>because we have had many optimisation related problems with non-GNAT
>compilers, to the point that we cannot deliver any code compiled with
>optimisation.
We've rarely tried experimenting with options on ACVC. In general,
there have been very few optimization problems with GNAT; most problems
occur with or without optimization. GCC (and hence GNAT) used to have
the property that optimization was more reliable than no optimization
because it was more heavily used, but, at the moment I'd say both are
roughly equally reliable.
That being said, however, we became aware about a week ago about a bug
that would cause some ACVC tests to fail on Sparc with optimization
turned on. That turned out to be a GCC bug, which I fixed this morning.
next prev parent reply other threads:[~1997-03-11 0:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-06 0:00 ACT announces first 100% validations of Ada 95 compilers Robert Dewar
1997-03-07 0:00 ` Thomas Koenig
1997-03-07 0:00 ` Samuel Tardieu
1997-03-07 0:00 ` Robert Dewar
1997-03-07 0:00 ` Tom Moran
1997-03-08 0:00 ` Robert Dewar
1997-03-08 0:00 ` Richard Kenner
1997-03-10 0:00 ` Mats Weber
1997-03-11 0:00 ` Richard Kenner [this message]
1997-03-11 0:00 ` Robert Dewar
1997-03-07 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1997-03-07 0:00 ` Laurent Pautet
1997-03-07 0:00 ` Jon S Anthony
1997-03-07 0:00 ` Chris Morgan
1997-03-09 0:00 ` Chip Richards
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox