This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: ACATS c460008 and VRP

Laurent GUERBY wrote:
On Thu, 2006-03-02 at 01:34 +0100, Robert Dewar wrote:
Laurent GUERBY wrote:

VRP might now force us to update the overflow list but I'm not sure
about switching to a full -gnato everywhere.
well you can expect some fiddling each version if you work this way 

The list for -gnato tests hasn't changed since it's initial
import into GCC in 2003-10-27, and was present in early
versions of acats4gnat may be a year before. Not yet in the
"fiddling each version" category :).


It might be worth noting in documentation somewhere that this procedure
for running ACATS (using different switches on different tests) does
not conform to the standardized procedure for running these tests
(standardized = relevant ISO standard).

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]