comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Ann: Gcc/GNAT 9.1 released - Test Results
Date: Wed, 08 May 2019 18:09:10 +0100
Date: 2019-05-08T18:09:10+01:00	[thread overview]
Message-ID: <lyef58yitl.fsf@pushface.org> (raw)
In-Reply-To: 7d10dac8-f871-4cf9-b57f-aa9a114d2650@googlegroups.com

alby.gamper@gmail.com writes:

> GCC 9.1 has been released, and below are the test results for GNAT (I
> will try and run the ACATS version 4.1 using Simon Wright's GitHub
> repo at a later stage)

With release GCCs, c452003 will hang during compilation (the test suite
checks for overruns of executions, but not of builds). Killing the hung
gnat1 process lets ACATS proceed.

With non-release GCCs, which have many more checks enabled, you get a
bug box: see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88610

For info, the GCC 9.1.0 x86_64-apple-darwin official results are:

		=== gnat Summary ===

# of expected passes		2964
# of expected failures		23
# of unsupported tests		10

		=== acats Summary ===
# of expected passes		2320
# of unexpected failures	0

The 4.1L results are

		=== acats Summary ===
# of expected passes		2505
# of unexpected failures	11
# of expected failures		1463
# of unresolved testcases	11
# of unsupported tests		124
*** FAILURES: c250002 c452003 c611a04 c650b04 cxd1003 cxd1004 cxd1005 cxd2006 cxd3001 cxd3002 cxd8002 

There are expected failures because I included the whole test suite.

c250002: UTF-8 case conversion issue
c452003: see above
c6*:     hairy tests
cxd*:    Bob Duff says full Annex D compliance not to be expected on
         desktop OS

  reply	other threads:[~2019-05-08 17:09 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-05-04  6:12 Ann: Gcc/GNAT 9.1 released - Test Results alby.gamper
2019-05-08 17:09 ` Simon Wright [this message]
2019-05-08 17:30   ` Optikos
2019-05-09  9:04     ` Simon Wright
2019-05-10 22:32       ` Randy Brukardt
2019-05-09 10:57   ` alby.gamper
2019-05-09 11:18     ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox